Ecma262: HostEnqueuePromiseJob is missing the implicit invariant jobs are only executed once
Currently, everyone follows the spirit that jobs should only be executed once, but the spec leaves that invariant entirely implicit and not even specified in the relevant host-defined operation. I feel this should be made explicit just for clarity if nothing else.
This, while technically proposing a normative change, is one I highly doubt will break anyone, and of course, there's no way to exploit this except from the host (and I'm not about to compile several various engines just to test this).
isiahmeadows
>All comments
I like this clarification and agree should be made to apply to all jobs, not just Promise jobs.
We could further own up to the fact that we expect tasks to be processed by queues: the FIFO and run-once invariants come down to that we expect jobs to be scheduled by being enqueued, and run by being dequeued.
syg
on 8 Sep 2020
Related issues
erights
路
4Comments
bkardell
路
3Comments
ExE-Boss
路
4Comments
codehag
路
3Comments
moonformeli
路
3Comments
Most helpful comment
I like this clarification and agree should be made to apply to all jobs, not just Promise jobs.
We could further own up to the fact that we expect tasks to be processed by queues: the FIFO and run-once invariants come down to that we expect jobs to be scheduled by being enqueued, and run by being dequeued.