@agoric/swingset-vat 0.32.3-dev-ad7ac3c.0 → 0.32.3-dev-9c73ae4.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/swingset-vat",
-  "version": "0.32.3-dev-ad7ac3c.0+ad7ac3c",
+  "version": "0.32.3-dev-9c73ae4.0+9c73ae4",
   "description": "Vat/Container Launcher",
   "type": "module",
   "main": "src/index.js",
@@ -27,16 +27,16 @@
     "@types/yargs-parser": "^21.0.0"
   },
   "dependencies": {
-    "@agoric/internal": "0.3.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/kmarshal": "0.1.1-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/store": "0.9.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/swing-store": "0.9.2-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/swingset-liveslots": "0.10.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/swingset-xsnap-supervisor": "0.10.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/time": "0.3.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/vat-data": "0.5.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/xsnap": "0.14.3-dev-ad7ac3c.0+ad7ac3c",
-    "@agoric/xsnap-lockdown": "0.14.1-dev-ad7ac3c.0+ad7ac3c",
+    "@agoric/internal": "0.3.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/kmarshal": "0.1.1-dev-9c73ae4.0+9c73ae4",
+    "@agoric/store": "0.9.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/swing-store": "0.9.2-dev-9c73ae4.0+9c73ae4",
+    "@agoric/swingset-liveslots": "0.10.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/swingset-xsnap-supervisor": "0.10.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/time": "0.3.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/vat-data": "0.5.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/xsnap": "0.14.3-dev-9c73ae4.0+9c73ae4",
+    "@agoric/xsnap-lockdown": "0.14.1-dev-9c73ae4.0+9c73ae4",
     "@endo/base64": "^1.0.8",
     "@endo/bundle-source": "^3.4.2",
     "@endo/captp": "^4.4.2",
@@ -103,5 +103,5 @@
   "typeCoverage": {
     "atLeast": 75.82
   },
-  "gitHead": "ad7ac3c0b5722cecd8bed5c3c554499a39a1d519"
+  "gitHead": "9c73ae4bfa7d48114690e694b065ee0a1ce99e30"
 }

package/src/kernel/kernel.js

@@ -710,6 +710,7 @@ export default function buildKernel(
       total:
         work.exports +
         work.imports +
+        work.promises +
         work.kv +
         work.snapshots +
         work.transcripts,
@@ -1851,6 +1852,7 @@ export default function buildKernel(
       {
         exports: M.number(),
         imports: M.number(),
+        promises: M.number(),
         kv: M.number(),
         snapshots: M.number(),
         transcripts: M.number(),

package/src/kernel/state/kernelKeeper.js

@@ -1021,6 +1021,7 @@ export default function makeKernelKeeper(
     const work = {
       exports: 0,
       imports: 0,
+      promises: 0,
       kv: 0,
       snapshots: 0,
       transcripts: 0,
@@ -1045,6 +1046,7 @@ export default function makeKernelKeeper(
     const clistPrefix = `${vatID}.c.`;
     const exportPrefix = `${clistPrefix}o+`;
     const importPrefix = `${clistPrefix}o-`;
+    const promisePrefix = `${clistPrefix}p`;
 
     // Note: ASCII order is "+,-./", and we rely upon this to split the
     // keyspace into the various o+NN/o-NN/etc spaces. If we were using a
@@ -1097,8 +1099,22 @@ export default function makeKernelKeeper(
       }
     }
 
-    // the caller used enumeratePromisesByDecider() before calling us,
-    // so they already know the orphaned promises to reject
+    // The caller used enumeratePromisesByDecider() before calling us,
+    // so they have already rejected the orphan promises, but those
+    // kpids are still present in the dead vat's c-list. Clean those
+    // up now.
+    remaining = budget.promises ?? budget.default;
+    for (const k of enumeratePrefixedKeys(kvStore, promisePrefix)) {
+      const kref = kvStore.get(k) || Fail`getNextKey ensures get`;
+      const vref = stripPrefix(clistPrefix, k);
+      vatKeeper.deleteCListEntry(kref, vref);
+      // that will also delete both db keys
+      work.promises += 1;
+      remaining -= 1;
+      if (remaining <= 0) {
+        return { done: false, work };
+      }
+    }
 
     // now loop back through everything and delete it all
     remaining = budget.kv ?? budget.default;

package/src/types-external.js

@@ -227,6 +227,7 @@ export {};
  *
  * @typedef { { exports: number,
  *              imports: number,
+ *              promises: number,
  *              kv: number,
  *              snapshots: number,
  *              transcripts: number,