summaryrefslogtreecommitdiffhomepage
path: root/pkg/sentry/kernel/BUILD
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-07-23 16:22:41 -0700
committergVisor bot <gvisor-bot@google.com>2020-07-23 16:25:34 -0700
commit8fed97794edcbaa7069dbd39604030e4fbb6891c (patch)
tree2bfacd76be57fd91a279f256c35c73ba640db164 /pkg/sentry/kernel/BUILD
parent3a2fac0ab9e24382c8e19e6cf8170ba01e78930c (diff)
Add task work mechanism.
Like task_work in Linux, this allows us to register callbacks to be executed before returning to userspace. This is needed for kcov support, which requires coverage information to be up-to-date whenever we are in user mode. We will provide coverage data through the kcov interface to enable coverage-directed fuzzing in syzkaller. One difference from Linux is that task work cannot queue work before the transition to userspace that it precedes; queued work will be picked up before the next transition. PiperOrigin-RevId: 322889984
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
-rw-r--r--pkg/sentry/kernel/BUILD1
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/sentry/kernel/BUILD b/pkg/sentry/kernel/BUILD
index 25fe1921b..f6886a758 100644
--- a/pkg/sentry/kernel/BUILD
+++ b/pkg/sentry/kernel/BUILD
@@ -132,6 +132,7 @@ go_library(
"task_stop.go",
"task_syscall.go",
"task_usermem.go",
+ "task_work.go",
"thread_group.go",
"threads.go",
"timekeeper.go",