diff options
author | Lennart Poettering <lennart@poettering.net> | 2013-11-06 02:03:04 +0100 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2013-11-06 02:31:35 +0100 |
commit | d3e84ddb885e9d5f0ae9930eb905910e3a81f157 (patch) | |
tree | 06f15d176ed35af4b825e901e73d8c8629473963 /src/machine/machined.h | |
parent | cd6f997f71c3aba16aa08226d423d14cbc787f82 (diff) |
machined: keep track of the initial leader PID of a machine
This way we can without races always determine the machine for a leader
PID. This allows machine managers to query the machine for a forked off
container/VM without a race where the child might already have died
before we could read the cgroup information from /proc/$PID/cgroup.
Diffstat (limited to 'src/machine/machined.h')
-rw-r--r-- | src/machine/machined.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/machine/machined.h b/src/machine/machined.h index dfb63bd7f1..3f07d4dd8e 100644 --- a/src/machine/machined.h +++ b/src/machine/machined.h @@ -40,6 +40,7 @@ struct Manager { Hashmap *machines; Hashmap *machine_units; + Hashmap *machine_leaders; LIST_HEAD(Machine, machine_gc_queue); }; |