18 search results - page 4 / 4 » Safe Kernel Extensions Without Run-Time Checking |
HPCA
1996
IEEE
13 years 9 months ago
1996
IEEE
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
POS
1994
Springer
13 years 9 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
OSDI
2004
ACM
14 years 5 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...