diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-07-06 11:11:25 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 11:11:25 -0400 |
commit | 1cd78e78f60bf732baffc54be207b3fa646488f3 (patch) | |
tree | ccab92dcbe167bcf8c22cef7bcb1bc56db1b7df5 /components/webgpu/lib.rs | |
parent | cf30457776b84d772bf1dbe45788c58bf7219cd2 (diff) | |
parent | 58259c199ab3874c37b32e60fd8a37f8e611d939 (diff) | |
download | servo-1cd78e78f60bf732baffc54be207b3fa646488f3.tar.gz servo-1cd78e78f60bf732baffc54be207b3fa646488f3.zip |
Auto merge of #26998 - gterzian:improve_task_cancelling, r=jdm
Use a stronger atomic guarantee when cancelling tasks
<!-- Please describe your changes on the following line: -->
In the context of https://github.com/servo/servo/issues/22507
Note that the "other side" of these operations is at https://github.com/servo/servo/blob/0b61cfc3ae803ac0f9deef937f890f83b24c9a35/components/script/task.rs#L102
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/webgpu/lib.rs')
0 files changed, 0 insertions, 0 deletions