diff options
| author | Nicolas Lacasse <nlacasse@google.com> | 2020-07-23 17:40:46 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-07-23 17:42:50 -0700 |
| commit | 4ec351633206fdbd191bc3aef29a007925a731cc (patch) | |
| tree | ef71fa86a6d319145a268e0c8e461b8dbef7ca0e /pkg/sentry/kernel/task_exit.go | |
| parent | 5e34ee68c93888eba3d56a2b713dbeebf406efa3 (diff) | |
Implement get/set_robust_list.
PiperOrigin-RevId: 322904430
Diffstat (limited to 'pkg/sentry/kernel/task_exit.go')
| -rw-r--r-- | pkg/sentry/kernel/task_exit.go | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkg/sentry/kernel/task_exit.go b/pkg/sentry/kernel/task_exit.go index c4ade6e8e..231ac548a 100644 --- a/pkg/sentry/kernel/task_exit.go +++ b/pkg/sentry/kernel/task_exit.go @@ -253,6 +253,9 @@ func (*runExitMain) execute(t *Task) taskRunState { } } + // Handle the robust futex list. + t.exitRobustList() + // Deactivate the address space and update max RSS before releasing the // task's MM. t.Deactivate() |