summaryrefslogtreecommitdiffhomepage
path: root/pkg/pool
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-09-27 15:31:43 -0700
committergVisor bot <gvisor-bot@google.com>2020-09-27 15:33:51 -0700
commit2a60f9229166effac64653be4f46683ea1a0cd87 (patch)
tree96264a77d7b541a884e41bb85efaadcb23f4d4eb /pkg/pool
parenta376a0baf362506549fcc58861465fa89ed33f7f (diff)
Clean up kcov.
Previously, we did not check the kcov mode when performing task work. As a result, disabling kcov did not do anything. Also avoid expensive atomic RMW when consuming coverage data. We don't need the swap if the value is already zero (which is most of the time), and it is ok if there are slight inconsistencies due to a race between coverage data generation (incrementing the value) and consumption (reading a nonzero value and writing zero). PiperOrigin-RevId: 334049207
Diffstat (limited to 'pkg/pool')
0 files changed, 0 insertions, 0 deletions