Async CABI: add <memidx> to task.poll/task.wait instead of using Task.opts.memory

Author: lukewagner

design/mvp/Binary.md

@@ -287,8 +287,8 @@ canon    ::= 0x00 0x00 f:<core:funcidx> opts:<opts> ft:<typeidx> => (canon lift
            | 0x06                                                => (canon thread.hw_concurrency (core func)) 🧵
            | 0x08                                                => (canon task.backpressure (core func)) 🔀
            | 0x09 ft:<core:typeidx>                              => (canon task.return ft (core func)) 🔀
-           | 0x0a                                                => (canon task.wait (core func)) 🔀
-           | 0x0b                                                => (canon task.poll (core func)) 🔀
+           | 0x0a m:<core:memdix>                                => (canon task.wait (memory m) (core func)) 🔀
+           | 0x0b m:<core:memidx>                                => (canon task.poll (memory m) (core func)) 🔀
            | 0x0c                                                => (canon task.yield (core func)) 🔀
            | 0x0d                                                => (canon subtask.drop (core func)) 🔀
 opts     ::= opt*:vec(<canonopt>)                                => opt*

design/mvp/CanonicalABI.md

@@ -2353,11 +2353,12 @@ Calling `$f` waits for progress to be made in a subtask of the current task,
 returning the event (which is currently simply an `CallState` value)
 and writing the subtask index as an outparam:
 ```python
-async def canon_task_wait(task, ptr):
+async def canon_task_wait(opts, task, ptr):
   trap_if(not task.inst.may_leave)
   trap_if(task.opts.callback is not None)
   event, payload = await task.wait()
-  store(task, payload, U32Type(), ptr)
+  cx = CallContext(opts, task.inst, task)
+  store(cx, payload, U32Type(), ptr)
   return [event]
 ```
 The `trap_if` ensures that, when a component uses a `callback` all events flow

design/mvp/Explainer.md

@@ -1313,8 +1313,8 @@ canon ::= ...
         | (canon resource.rep <typeidx> (core func <id>?))
         | (canon task.backpressure (core func <id>?)) 🔀
         | (canon task.return <core:typeidx> (core func <id>?)) 🔀
-        | (canon task.wait (core func <id>?)) 🔀
-        | (canon task.poll (core func <id>?)) 🔀
+        | (canon task.wait (memory <core:memidx>) (core func <id>?)) 🔀
+        | (canon task.poll (memory <core:memidx>) (core func <id>?)) 🔀
         | (canon task.yield (core func <id>?)) 🔀
         | (canon subtask.drop (core func <id>?)) 🔀
         | (canon thread.spawn <typeidx> (core func <id>?)) 🧵

design/mvp/canonical-abi/definitions.py

@@ -1530,21 +1530,23 @@ async def canon_task_return(task, core_ft, flat_args):
 
 ### 🔀 `canon task.wait`
 
-async def canon_task_wait(task, ptr):
+async def canon_task_wait(opts, task, ptr):
   trap_if(not task.inst.may_leave)
   trap_if(task.opts.callback is not None)
   event, payload = await task.wait()
-  store(task, payload, U32Type(), ptr)
+  cx = CallContext(opts, task.inst, task)
+  store(cx, payload, U32Type(), ptr)
   return [event]
 
 ### 🔀 `canon task.poll`
 
-async def canon_task_poll(task, ptr):
+async def canon_task_poll(opts, task, ptr):
   trap_if(not task.inst.may_leave)
   ret = await task.poll()
   if ret is None:
     return [0]
-  store(task, ret, TupleType([U32Type(), U32Type()]), ptr)
+  cx = CallContext(opts, task.inst, task)
+  store(cx, ret, TupleType([U32Type(), U32Type()]), ptr)
   return [1]
 
 ### 🔀 `canon task.yield`