Remove the mutex-based event queuing in the process manager.
authorRazvan Damachi <razvan.damachi@gmail.com>
Tue, 4 Jul 2017 15:19:16 +0000 (17:19 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:09 +0000 (16:35 +0200)
commit80b4b59eb7a947577f44050eab7eabeb9c6c9ff5
treed51aefec407be6973a89792c84dae632c93a26ed
parent681d1d0d33b59680d2f8fb767d57175f5e1704af
Remove the mutex-based event queuing in the process manager.

The process manager now simply registers for sends for different spawnds, as
opposed to mutex-based event enquing, as it is (meant to be) single-threaded.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
usr/proc_mgmt/pending_clients.h
usr/proc_mgmt/service.c