diff options
| author | Andrei Vagin <avagin@google.com> | 2019-07-22 13:27:13 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-07-22 13:28:16 -0700 |
| commit | ec906e46c0f99ab4d134c1d7bd84b48ea0a78488 (patch) | |
| tree | 87566b60696581390e2064994c9ef72668d162a0 /.github | |
| parent | a0a86bbb8250311211161337c0f9530b945450a3 (diff) | |
kvm: fix race between machine.Put and machine.Get
m.available.Signal() has to be called under m.mu.RLock, otherwise it can
race with machine.Get:
m.Get | m.Put
-------------------------------------
m.mu.Lock() |
Seatching available vcpu|
| m.available.Signal()
m.available.Wait |
PiperOrigin-RevId: 259394051
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions