Add extra layer of queuing above the Flounder UMP one.
authorRazvan Damachi <razvan.damachi@gmail.com>
Thu, 13 Jul 2017 14:16:22 +0000 (16:16 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:09 +0000 (16:35 +0200)
commit2b03afffdd8ac2dee54c18fe51281df84dfa5b84
tree4fc64083c8b1f28f8edf9873bf50ce05d3a56ea5
parent80b4b59eb7a947577f44050eab7eabeb9c6c9ff5
Add extra layer of queuing above the Flounder UMP one.

The process manager now handles its own high-level queues, over the ones
provided by Flounder for UMP transmission. This is meant so that when many
clients have requests that the process manager needs to forward to the same
spawnd instance, "register_send" does not return an "already registered" error.

The queuing implementation follows the one in usr/monitor/queue.c.

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