Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-19 04:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

webgpu: Use WGPU poller thread for poll_all_devices (#32266)

Browse source 
* Use special WGPU poller thread for poll_all_devices

* Switch to latest wgpu

This is required to fix some deadlocks.

* non-blocking poll unconditionally

* small fixes
This commit is contained in:
Samson 2024-05-15 05:36:01 +02:00 • committed by GitHub
parent bb5906eeec
commit 00f267e289
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 156 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Cargo.toml
View file

@ -125,8 +125,8 @@ webpki-roots = "0.25"
webrender = { git = "https://github.com/servo/webrender", branch = "0.64", features = ["capture"] }
webrender_api = { git = "https://github.com/servo/webrender", branch = "0.64" }
webrender_traits = { path = "components/shared/webrender" }
wgpu-core = "0.20"
wgpu-types = "0.20"
wgpu-core = { git = "https://github.com/gfx-rs/wgpu", rev = "d0a5e48aa7e84683114c3870051cc414ae92ac03" }
wgpu-types = { git = "https://github.com/gfx-rs/wgpu", rev = "d0a5e48aa7e84683114c3870051cc414ae92ac03" }
winapi = "0.3"
xi-unicode = "0.1.0"
xml5ever = "0.18"