Skip to content

Commit

Permalink
feat(orchestrate): membrane friendly wrapper for agoricNames
Browse files Browse the repository at this point in the history
 * Perform remote calls to agoricNames in membrane-friendly way. This is an
 * interim approach until #9541,
 * #9322, or
 * #9519
  • Loading branch information
0xpatrickdev committed Jun 25, 2024
1 parent ba6eb45 commit 653bde3
Show file tree
Hide file tree
Showing 4 changed files with 164 additions and 23 deletions.
32 changes: 12 additions & 20 deletions packages/orchestration/src/examples/sendAnywhere.contract.js
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ import { heapVowE as E } from '@agoric/vow/vat.js';
import { AmountShape } from '@agoric/ertp';
import { CosmosChainInfoShape } from '../typeGuards.js';
import { provideOrchestration } from '../utils/start-helper.js';
import { makeResumableAgoricNamesHack } from '../exos/agoric-names-tools.js';

const { entries } = Object;
const { Fail } = assert;

/**
* @import {Baggage} from '@agoric/vat-data';
Expand All @@ -16,7 +16,6 @@ const { Fail } = assert;
* @import {LocalChain} from '@agoric/vats/src/localchain.js';
* @import {OrchestrationService} from '../service.js';
* @import {NameHub} from '@agoric/vats';
* @import {VBankAssetDetail} from '@agoric/vats/tools/board-utils.js';
* @import {Remote} from '@agoric/vow';
*/

Expand Down Expand Up @@ -45,44 +44,37 @@ export const SingleAmountRecord = M.and(
* @param {Baggage} baggage
*/
export const start = async (zcf, privateArgs, baggage) => {
const { chainHub, orchestrate, zone } = provideOrchestration(
const { chainHub, orchestrate, vowTools, zone } = provideOrchestration(
zcf,
baggage,
privateArgs,
privateArgs.marshaller,
);
const agoricNamesTools = makeResumableAgoricNamesHack(zone, {
agoricNames: privateArgs.agoricNames,
vowTools,
});

/** @type {import('../orchestration-api.js').OrchestrationAccount<any>} */
let contractAccount;

const findBrandInVBank = async brand => {
const assets = await E(
// XXX heapVowE
/** @type {Promise<Promise<NameHub<VBankAssetDetail>>>} */ (
E(privateArgs.agoricNames).lookup('vbankAsset')
),
).values();
const it = assets.find(a => a.brand === brand);
if (!it) {
throw Fail`brand ${brand} not in agoricNames.vbankAsset`;
}
return it;
};

/** @type {OfferHandler} */
const sendIt = orchestrate(
'sendIt',
{ zcf },
{ zcf, agoricNamesTools },
// eslint-disable-next-line no-shadow -- this `zcf` is enclosed in a membrane
async (orch, { zcf }, seat, offerArgs) => {
async (orch, { zcf, agoricNamesTools }, seat, offerArgs) => {
mustMatch(
offerArgs,
harden({ chainName: M.scalar(), destAddr: M.string() }),
);
const { chainName, destAddr } = offerArgs;
const { give } = seat.getProposal();
const [[kw, amt]] = entries(give);
const { denom } = await findBrandInVBank(amt.brand);
// TODO remove V.when() when integrating with asyncFlow
const { denom } = await V.when(
agoricNamesTools.findBrandInVBank(amt.brand),
);
const chain = await orch.getChain(chainName);

// FIXME ok to use a heap var crossing the membrane scope this way?
Expand Down
96 changes: 96 additions & 0 deletions packages/orchestration/src/exos/agoric-names-tools.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
import { VowShape } from '@agoric/vow';
import { E } from '@endo/far';
import { M, makeCopyMap } from '@endo/patterns';
import { BrandShape } from '@agoric/ertp';

const { Fail } = assert;

/**
* @import {NameHub} from '@agoric/vats';
* @import {AssetInfo} from '@agoric/vats/src/vat-bank.js';
* @import {Remote} from '@agoric/internal';
* @import {Vow, VowTools} from '@agoric/vow';
* @import {Zone} from '@agoric/zone';
*/

/**
* Perform remote calls to agoricNames in membrane-friendly way. This is an
* interim approach until https://github.com/Agoric/agoric-sdk/issues/9541,
* https://github.com/Agoric/agoric-sdk/pull/9322, or
* https://github.com/Agoric/agoric-sdk/pull/9519
*
* XXX consider exposing `has`, `entries`, `keys`, `values` from `NameHub`
*
* @param {Zone} zone
* @param {{ agoricNames: Remote<NameHub>; vowTools: VowTools }} powers
*/
export const makeResumableAgoricNamesHack = (
zone,
{ agoricNames, vowTools: { watch } },
) => {
const makeResumableAgoricNamesHackKit = zone.exoClassKit(
'ResumableAgoricNamesHack',
{
public: M.interface('ResumableAgoricNamesHackI', {
lookup: M.call().rest(M.arrayOf(M.string())).returns(VowShape),
findBrandInVBank: M.call(BrandShape).returns(VowShape),
}),
vbankAssetEntriesWatcher: M.interface('vbankAssetEntriesWatcher', {
onFulfilled: M.call(M.arrayOf(M.record()))
.optional({ brand: BrandShape })
.returns(VowShape),
}),
},
() => ({
vbankAssetsByBrand: zone.mapStore('vbankAssetsByBrand', {
keyShape: BrandShape,
valueShape: M.any(),
}),
}),
{
vbankAssetEntriesWatcher: {
/**
* @param {AssetInfo[]} assets
* @param {{ brand: Brand<'nat'> }} ctx
*/
onFulfilled(assets, { brand }) {
const { vbankAssetsByBrand } = this.state;
vbankAssetsByBrand.addAll(makeCopyMap(assets.map(a => [a.brand, a])));
if (!vbankAssetsByBrand.has(brand)) {
return watch(
Promise.reject(
Fail`brand ${brand} not in agoricNames.vbankAsset`,
),
);
}
return watch(vbankAssetsByBrand.get(brand));
},
},
public: {
/** @param {...string} args */
lookup(...args) {
return watch(E(agoricNames).lookup(...args));
},
/**
* @param {Brand<'nat'>} brand
* @returns {Vow<AssetInfo>}
*/
findBrandInVBank(brand) {
const { vbankAssetsByBrand } = this.state;
if (vbankAssetsByBrand.has(brand)) {
return watch(vbankAssetsByBrand.get(brand));
}
const vbankAssetNameHubP = E(agoricNames).lookup('vbankAsset');
const vbankAssetEntriesP = E(vbankAssetNameHubP).values();
return watch(
vbankAssetEntriesP,
this.facets.vbankAssetEntriesWatcher,
{ brand },
);
},
},
},
);
return makeResumableAgoricNamesHackKit().public;
};
/** @typedef {ReturnType<typeof makeResumableAgoricNamesHack>} AgNamesTools */
7 changes: 4 additions & 3 deletions packages/orchestration/src/utils/start-helper.js
Original file line number Diff line number Diff line change
Expand Up @@ -45,8 +45,9 @@ export const provideOrchestration = (
marshaller,
) => {
const zone = makeDurableZone(baggage);
const { agoricNames, timerService } = remotePowers;

const chainHub = makeChainHub(remotePowers.agoricNames);
const chainHub = makeChainHub(agoricNames);

const vowTools = prepareVowTools(zone.subZone('vows'));

Expand All @@ -55,7 +56,7 @@ export const provideOrchestration = (
zone,
makeRecorderKit,
zcf,
remotePowers.timerService,
timerService,
vowTools,
chainHub,
);
Expand Down Expand Up @@ -103,6 +104,6 @@ export const provideOrchestration = (
vowTools,
...remotePowers,
});
return { ...facade, chainHub, zone };
return { ...facade, chainHub, vowTools, zone };
};
harden(provideOrchestration);
52 changes: 52 additions & 0 deletions packages/orchestration/test/exos/agoric-names-tools.test.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
import { test } from '@agoric/zoe/tools/prepare-test-env-ava.js';

import { E } from '@endo/far';
import { V } from '@agoric/vow/vat.js';
import { makeHeapZone } from '@agoric/zone';
import { withAmountUtils } from '@agoric/zoe/tools/test-utils.js';
import { makeIssuerKit } from '@agoric/ertp';
import { makeResumableAgoricNamesHack } from '../../src/exos/agoric-names-tools.js';
import { commonSetup } from '../supports.js';

test('agoric names tools', async t => {
const {
bootstrap: { agoricNames, agoricNamesAdmin, bankManager, vowTools },
brands: { ist },
} = await commonSetup(t);

const zone = makeHeapZone();
const agNamesTools = makeResumableAgoricNamesHack(zone, {
agoricNames,
vowTools,
});

const chainEntry = await V.when(agNamesTools.lookup('chain', 'celestia'));
t.like(chainEntry, { chainId: 'celestia' });

const istDenom = await V.when(agNamesTools.findBrandInVBank(ist.brand));
t.like(istDenom, { denom: 'uist' });

const moolah = withAmountUtils(makeIssuerKit('MOO'));

await t.throwsAsync(V.when(agNamesTools.findBrandInVBank(moolah.brand)), {
message: /brand(.*?)not in agoricNames.vbankAsset/,
});

await E(E(agoricNamesAdmin).lookupAdmin('vbankAsset')).update(
'umoo',
/** @type {AssetInfo} */ harden({
brand: moolah.brand,
issuer: moolah.issuer,
issuerName: 'MOO',
denom: 'umoo',
proposedName: 'MOO',
displayInfo: { decimals: 6, symbol: 'MOO' },
}),
);

t.like(
await V.when(agNamesTools.findBrandInVBank(moolah.brand)),
{ denom: 'umoo' },
'refresh stale cache for new assets',
);
});

0 comments on commit 653bde3

Please sign in to comment.