summaryrefslogtreecommitdiffhomepage
path: root/pkg/sentry/fs/proc/device/BUILD
diff options
context:
space:
mode:
authorJamie Liu <jamieliu@google.com>2019-09-06 17:23:15 -0700
committergVisor bot <gvisor-bot@google.com>2019-09-06 17:25:07 -0700
commit9e1cbdf565a1f5bf5bbc84bad0103fe2289e817c (patch)
treea314fc1e1eb496f7dfcff6177b85597acf306b91 /pkg/sentry/fs/proc/device/BUILD
parent98f7fbb59fc5aca00f47a8145ce1227550869cb8 (diff)
Indicate flipcall synchronization to the Go race detector.
Since each Endpoint has a distinct mapping of the packet window, the Go race detector does not recognize accesses by connected Endpoints to be related. This means that this change isn't necessary for the Go race detector to accept accesses of flipcall.Endpoint.Data(), but it *is* necessary for it to accept accesses to shared variables outside the scope of flipcall that are synchronized by flipcall.Endpoint state; see updated test for an example. RaceReleaseMerge is needed (instead of RaceRelease) because calls to raceBecomeInactive() from *unrelated* Endpoints can occur in any order. (DowngradableRWMutex.RUnlock() has a similar property: calls to RUnlock() on the same DowngradableRWMutex from different goroutines can occur in any order. Remove the TODO asking to explain this now that this is understood.) PiperOrigin-RevId: 267705325
Diffstat (limited to 'pkg/sentry/fs/proc/device/BUILD')
0 files changed, 0 insertions, 0 deletions