1881518 - Recycle wgpu resource ID indices

Status: RESOLVED FIXED

(Core :: Graphics: WebGPU, task, P3)

Description

[Nicolas Silva [:nical]]

We used to recycle them and accidentally lost the ability to do so. https://github.com/gfx-rs/wgpu/pull/5244 reintroduces a simple way to recycle IDs. They can be reused as soon as the <resource>_drop function is called which, for Gecko means we can make the index reusable as soon as we have sent the corresponding <Resource>Drop IPDL message.

Comment 1

[Nicolas Silva [:nical]]

Attachment: Bug 1881518 - Recycle indices again. r=#webgpu-reviewers

Comment 2

[Erich Gubler [:ErichDonGubler]]

This has been resolved! 🎉

Comment 3

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/dd10bf41fcea
Recycle indices again. r=webgpu-reviewers,bradwerth

Comment 4

[Sandor Molnar[:smolnar]]

https://hg.mozilla.org/mozilla-central/rev/dd10bf41fcea