Example Isolation Specification

• Insert delays to reduce CPU use

• Disallow dangerous operations

module genericIsolateconnect --> sleep(60); fake(ETIMEDOUT)

bind --> sleep(5); fake(EADDRINUSE)
recv --> sleep(1)
open --> sleep(1)
end

Previous slide

Next slide

Back to first slide

View graphic version