@agoric/swingset-vat 0.32.3-dev-d8f6bce.0.d8f6bce → 0.32.3-dev-b3de433.0.b3de433

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/swingset-vat",
-  "version": "0.32.3-dev-d8f6bce.0.d8f6bce",
+  "version": "0.32.3-dev-b3de433.0.b3de433",
   "description": "Vat/Container Launcher",
   "type": "module",
   "main": "src/index.js",
@@ -22,7 +22,7 @@
     "lint:eslint": "yarn run -T eslint ."
   },
   "devDependencies": {
-    "@agoric/xsnap": "0.14.3-dev-d8f6bce.0.d8f6bce",
+    "@agoric/xsnap": "0.14.3-dev-b3de433.0.b3de433",
     "@types/better-sqlite3": "^7.6.13",
     "@types/microtime": "^2.1.0",
     "@types/tmp": "^0.2.0",
@@ -30,15 +30,15 @@
     "ava": "^5.3.0"
   },
   "dependencies": {
-    "@agoric/internal": "0.3.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/kmarshal": "0.1.1-dev-d8f6bce.0.d8f6bce",
-    "@agoric/store": "0.9.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/swing-store": "0.9.2-dev-d8f6bce.0.d8f6bce",
-    "@agoric/swingset-liveslots": "0.10.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/swingset-xsnap-supervisor": "0.10.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/time": "0.3.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/vat-data": "0.5.3-dev-d8f6bce.0.d8f6bce",
-    "@agoric/xsnap-lockdown": "0.14.1-dev-d8f6bce.0.d8f6bce",
+    "@agoric/internal": "0.3.3-dev-b3de433.0.b3de433",
+    "@agoric/kmarshal": "0.1.1-dev-b3de433.0.b3de433",
+    "@agoric/store": "0.9.3-dev-b3de433.0.b3de433",
+    "@agoric/swing-store": "0.9.2-dev-b3de433.0.b3de433",
+    "@agoric/swingset-liveslots": "0.10.3-dev-b3de433.0.b3de433",
+    "@agoric/swingset-xsnap-supervisor": "0.10.3-dev-b3de433.0.b3de433",
+    "@agoric/time": "0.3.3-dev-b3de433.0.b3de433",
+    "@agoric/vat-data": "0.5.3-dev-b3de433.0.b3de433",
+    "@agoric/xsnap-lockdown": "0.14.1-dev-b3de433.0.b3de433",
     "@endo/base64": "^1.0.12",
     "@endo/bundle-source": "^4.1.2",
     "@endo/captp": "^4.4.8",
@@ -105,5 +105,5 @@
   "typeCoverage": {
     "atLeast": 76.71
   },
-  "gitHead": "d8f6bce3ae096eaaa0d864aa75af9e818b80162e"
+  "gitHead": "b3de4336b200fe768939266b07f1687dd6c065e4"
 }

package/src/kernel/state/vatKeeper.js

@@ -369,54 +369,47 @@ export function makeVatKeeper(
       required = false,
       requireNew = false,
     } = options;
-    assert(
-      !(required && requireNew),
-      "'required' and 'requireNew' are mutually exclusive",
-    );
+    !(required && requireNew) ||
+      Fail`'required' and 'requireNew' are mutually exclusive`;
     typeof vatSlot === 'string' || Fail`non-string vatSlot: ${vatSlot}`;
     const { type, allocatedByVat } = parseVatSlot(vatSlot);
     const vatKey = `${vatID}.c.${vatSlot}`;
-    if (!kvStore.has(vatKey)) {
+    if (kvStore.has(vatKey)) {
+      !requireNew || Fail`vref ${q(vatSlot)} is already allocated`;
+    } else {
       !required || Fail`vref ${vatSlot} not in clist`;
-      if (allocatedByVat) {
-        let kernelSlot;
-        if (type === 'object') {
-          // this sets the initial refcount to reachable:0 recognizable:0
-          kernelSlot = addKernelObject(vatID);
-        } else if (type === 'device') {
-          Fail`normal vats aren't allowed to export device nodes`;
-        } else if (type === 'promise') {
-          kernelSlot = addKernelPromiseForVat(vatID);
-        } else {
-          Fail`unknown type ${type}`;
-        }
-        // now increment the refcount with isExport=true and
-        // onlyRecognizable=true, which will skip object exports (we only
-        // count imports) and leave the reachability count at zero
-        const incopts = { isExport: true, onlyRecognizable: true };
-        incrementRefCount(kernelSlot, `${vatID}|vk|clist`, incopts);
-        const kernelKey = `${vatID}.c.${kernelSlot}`;
-        incStat('clistEntries');
-        // we add the key as "unreachable" but "recognizable", and then rely
-        // on setReachableFlag() at the end to both mark it reachable and to
-        // update any necessary refcounts consistently
-        kvStore.set(kernelKey, buildReachableAndVatSlot(false, vatSlot));
-        kvStore.set(vatKey, kernelSlot);
-        kernelSlog.changeCList(
-          vatID,
-          getCrankNumber(),
-          'export',
-          kernelSlot,
-          vatSlot,
-        );
-        kdebug(`Add mapping v->k ${kernelKey}<=>${vatKey}`);
+      allocatedByVat || Fail`unknown vatSlot ${q(vatSlot)}`;
+      let kernelSlot;
+      if (type === 'object') {
+        // this sets the initial refcount to reachable:0 recognizable:0
+        kernelSlot = addKernelObject(vatID);
+      } else if (type === 'device') {
+        Fail`normal vats aren't allowed to export device nodes`;
+      } else if (type === 'promise') {
+        kernelSlot = addKernelPromiseForVat(vatID);
       } else {
-        // the vat didn't allocate it, and the kernel didn't allocate it
-        // (else it would have been in the c-list), so it must be bogus
-        Fail`unknown vatSlot ${q(vatSlot)}`;
+        Fail`unknown type ${type}`;
       }
-    } else if (requireNew) {
-      Fail`vref ${q(vatSlot)} is already allocated`;
+      // now increment the refcount with isExport=true and
+      // onlyRecognizable=true, which will skip object exports (we only
+      // count imports) and leave the reachability count at zero
+      const incopts = { isExport: true, onlyRecognizable: true };
+      incrementRefCount(kernelSlot, `${vatID}|vk|clist`, incopts);
+      const kernelKey = `${vatID}.c.${kernelSlot}`;
+      incStat('clistEntries');
+      // we add the key as "unreachable" but "recognizable", and then rely
+      // on setReachableFlag() at the end to both mark it reachable and to
+      // update any necessary refcounts consistently
+      kvStore.set(kernelKey, buildReachableAndVatSlot(false, vatSlot));
+      kvStore.set(vatKey, kernelSlot);
+      kernelSlog.changeCList(
+        vatID,
+        getCrankNumber(),
+        'export',
+        kernelSlot,
+        vatSlot,
+      );
+      kdebug(`Add mapping v->k ${kernelKey}<=>${vatKey}`);
     }
     const kernelSlot = getRequired(vatKey);