2 search results - page 1 / 1 » Threads and Input Output in the Synthesis Kernel |
SOSP
1989
ACM
13 years 6 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...