Closed rikard-sics closed 1 year ago
Can a server/client process messages while KUDOS is running? If yes, do so. If no, queue them and attempt to do it when KUDOS is done (if possible)
Assumes NSTART > 1
See also #25
4.3.2.1 and 4.3.1.1: Extend these sections to say to NOT send any non-KUDOS message while KUDOS is running.
Can a server/client process messages while KUDOS is running? If yes, do so. If no, queue them and attempt to do it when KUDOS is done (if possible)