civodul, 1 year ago

#Fibers provides synchronous ‘put’ and ‘get’ operations on channels (inherited from Concurrent ML?).

This can be problematic if the sender doesn’t trust the receiver: the receiver can trivially DoS the sender. I wonder how Spritely comrades deal with this? @cwebber @tsyesika @dthompson

This was a hot topic among μkernel designers: https://srl.cs.jhu.edu/courses/600.439/shap03vulnerabilities.pdf