gvisor

History

Dean Deng 2a60f92291 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	2020-09-27 15:33:51 -07:00
..
BUILD	Expose basic coverage information to userspace through kcov interface.	2020-08-25 16:28:45 -07:00
coverage.go	Clean up kcov.	2020-09-27 15:33:51 -07:00

Dean Deng 2a60f92291 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

2020-09-27 15:33:51 -07:00

BUILD

Expose basic coverage information to userspace through kcov interface.

2020-08-25 16:28:45 -07:00

coverage.go

Clean up kcov.

2020-09-27 15:33:51 -07:00