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.

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to