Queue::on_submitted_work_done Does Not Obey WebGPU Ordering Contract

[cwfitzgerald]

Description

The wgpu spec specifies the following about promise ordering:

For some GPUQueue q and GPUBuffer b on the same GPUDevice,
if p1 = b.mapAsync() is called before p2 = q.onSubmittedWorkDone(),
then p1 must settle before p2.

Repro steps

Submit a piece of work. Block until it is done. Call map_async on a buffer touched by that submit, then call on_submitted_work_done. The callback for on_submitted_work_done will immediately fire, despite the map_async callbacks not happening.

Other

Should be pretty easy to fix this, we just need to remove the optimistic immediate call of the callback. Will try to fix this tomorrow.

[teoxoy]

Has been recently clarified in gpuweb/gpuweb#4117

[cwfitzgerald]

It was always my understanding of what should happen, but that's when it was formalized.