git.barrelfish.org Git - barrelfish/search

2017-08-31	Razvan Damachi	Merge branch 'master' of ssh://code.systems.ethz.ch... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Tidy up the process management test. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Clean up and document the process management code. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Change 'exit' from RPC to message in if/proc_mgmt.if. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Preallocate an L2 cnode and fill it with domain caps... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix typo in if/proc_mgmt.if Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix bug in libdomain/domain_cap_hash() Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	DIRTY benchmark commit Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Change proc_mgmt/pending_clients.h to use reply queues... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add extra layer of queuing above the Flounder UMP one. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Remove the mutex-based event queuing in the process... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix a bug where pending cleanup clients wouldn't be... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add per-spawnd message queues to the process manager. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Break the spawnd kill API into kill + cleanup. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Have the spawn interface for the process manager require... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Extract a through-monitor-only cap_identify call from... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement "wait" in the process manager + fix bug in... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement kill() and exit() in the process manager. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement kill_request_handler in spawnd, using domain... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add spawn, spawn_with_caps and span calls to the Process... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Create "ProcessManager" and "Domain" capabilities. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Refactor process manager to enable spawnd discovery. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	First outline of a process management service server. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>	commit \| commitdiff \| tree

Barrelfish OS git repo

RSS Atom