Clean up and document the process management code.
authorRazvan Damachi <razvan.damachi@gmail.com>
Sun, 27 Aug 2017 13:47:02 +0000 (15:47 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:10 +0000 (16:35 +0200)
commitf0d121ee3cda09e75f845f7427e4033cedd90520
tree76bc98e378aa63649013636de57e031d49172afb
parentbdce97c26d57af363dc67940e5cf0b8a70ce8a28
Clean up and document the process management code.

* clean up benchmarking code from spawnd and the process manager;
* document the process management functions in usr/proc_mgmt;
* remove dangling prints from lib/barrelfish/domain.c and threads.c.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
14 files changed:
include/bench/bench.h
lib/barrelfish/domain.c
lib/barrelfish/threads.c
usr/proc_mgmt/Hakefile
usr/proc_mgmt/domain.c
usr/proc_mgmt/domain.h
usr/proc_mgmt/pending_clients.h
usr/proc_mgmt/service.c
usr/proc_mgmt/spawn_client.c [deleted file]
usr/proc_mgmt/spawn_client.h [deleted file]
usr/proc_mgmt/spawnd_state.c
usr/proc_mgmt/spawnd_state.h
usr/spawnd/Hakefile
usr/spawnd/service.c