[seL4] How to avoid timeout exceptions in non-buggy server code

Kelly Dean kelly at prtime.org
Sat Feb 24 10:30:23 AEDT 2018

Kelly Dean writes:
> But network traffic might be mixed criticality. For example, real-time sensor data mixed with bulk file transfers. Suppose the most critical thread must be allocated 90% to cover its worst case utilization

Er, I worded that poorly. Should have been explicit that all the example percentages I gave are of CPU utilization.

Maybe network link capacity could be divvied in a similar way to CPU capacity, but I was only talking about the latter.

More information about the Devel mailing list