diff options
| author | Zach Koopmans <zkoopmans@google.com> | 2019-08-23 16:53:00 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-08-23 16:54:18 -0700 |
| commit | a5d0115943c591173ea322cd1d721c89fc9c442d (patch) | |
| tree | 540d50aca84d3954172abc69f5620d23e8242d48 /pkg/sentry/kernel/time/BUILD | |
| parent | e75a12e89de123fb55f19fdf3457d1a200973f59 (diff) | |
Second try at flaky futex test.
The flake had the call to futex_unlock_pi() returning EINVAL with the
FUTEX_OWNER_DIED set. In this case, userspace has to clean up stale
state. So instead of calling FUTEX_UNLOCK_PI outright, we'll use the
advised atomic compare_exchange as advised in the man page.
PiperOrigin-RevId: 265163920
Diffstat (limited to 'pkg/sentry/kernel/time/BUILD')
0 files changed, 0 insertions, 0 deletions