Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. Extensibility, safety, and performance in the SPIN operating system. In Proc. of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO, Dec. 1995), pp. 267-284. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
System Call Clustering: A Profile Directed.. - Rajagopalan.. (2003) (Correct)
....parameter structure, simplifying the modified code. 3 Original: res = write(out,buff,write size) error handling of write with error code res; g else f res = read(in,buff,read size) error handling of read with error code res; Same program segment using multi call: sys params args[2]; int results[2] args[1] sys call no = NR write; args[1] params = out, buff, write size] args[1] check return value = true; args[1] result = results[1] args[2] sys call no = NR read; args[2] params = in, buff, read size] args[2] check return value = true; args[2] result = ....
....simplifying the modified code. 3 Original: res = write(out,buff,write size) error handling of write with error code res; g else f res = read(in,buff,read size) error handling of read with error code res; Same program segment using multi call: sys params args[2] int results[2]; args[1] sys call no = NR write; args[1] params = out, buff, write size] args[1] check return value = true; args[1] result = results[1] args[2] sys call no = NR read; args[2] params = in, buff, read size] args[2] check return value = true; args[2] result = results[2] res = ....
[Article contains additional citation context not shown here]
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain Resort, CO, Dec 1995.
User-Level Sandboxing: a Safe and Efficient Mechanism for.. - West, Gloudon (2003) (Correct)
....does not consider the timely and predictable execution of processes. Similarly, a web server [24] may benefit from its own buffer cache algorithm that over rides the default caching and paging policy [3] This has motivated researchers to study various system designs that support extensibility [32, 16, 2, 31, 6, 8, 14], thereby allowing services to be tailored to the requirements of the applications they support [4, 15] While extensible systems have desirable properties, they have posed at least three conflicting challenges: 1) how to guarantee efficient execution of the extension code that modifies or adds ....
....code is placed in a trusted address space that may jeopardize system correctness and or violate security guarantees. Various approaches have been proposed to guarantee the safety of kernel service extensions [36] These approaches rely on techniques such as type safe languages [2, 27, 28, 9, 22], sandboxing [30, 31] proof carrying codes [29] or hardware support [6, 26] Notwithstanding, many researchers have argued that kernel extensions are inappropriate for a number of reasons, beyond the sophisticated techniques necessary to enforce safety. One argument against extensible kernels is ....
[Article contains additional citation context not shown here]
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
System Support for Bandwidth Management and Content - Adaptation In Internet (2000) (Correct)
No context found.
Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. Extensibility, safety, and performance in the SPIN operating system. In Proc. of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO, Dec. 1995), pp. 267-284.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Distributed Computing in Practice: The Condor Experience - Thain, Tannenbaum, Livny (2004) (6 citations) (Correct)
No context found.
B.N. Bershad, S. Savage, P.Pardyak, E.G. Sirer, M. Fiuchynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 251--266, December 1995.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Slinky: Static Linking Reloaded - Christian Collberg John (2004) (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In 15th ACM Symposium on Operating Systems Principles, pages 267--284, December 1995.
Improving Application Performance through System Call .. - Purohit.. (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP '95), pages 267--284, Copper Mountain Resort, CO, December 1995. ACM SIGOPS.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin G un Sirer, Marc Fiuczynski, David Becker, Susan Eggers, and Craig Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 251--266, Copper Mountain, Colorado, December 1995.
A System for Improving Application Performance through System.. - Purohit (2003) (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP '95), pages 267--284, Copper Mountain Resort, CO, December 1995. ACM SIGOPS.
An Efficient End-host Architecture for Cluster Communication.. - Qi, Parmer, West (2004) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, December 1995.
System Support for Bandwidth Management and.. - Andersen, Bansal, .. (2000) (29 citations) (Correct)
No context found.
Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. Extensibility, safety, and performance in the SPIN operating system. In Proc. of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO, Dec. 1995), pp. 267-284.
Cosy: Develop in User-Land, Run in Kernel-Mode - Purohit, Wright.. (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP '95), pages 267--284, Copper Mountain Resort, CO, December 1995. ACM SIGOPS.
Distributed Computing in Practice: The Condor Experience - Thain, Tannenbaum, Livny (2004) (6 citations) (Correct)
No context found.
B.N. Bershad, S. Savage, P.Pardyak, E.G. Sirer, M. Fiuchynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 251--266, December 1995.
Constructing Services with Interposable Virtual Hardware - Andrew Whitaker Richard (2004) (2 citations) (Correct)
No context found.
Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, and Susan Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, Dec 1995.
System Support for Bandwidth Management and.. - Andersen, Bansal, .. (2000) (29 citations) (Correct)
No context found.
Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. Extensibility, safety, and performance in the SPIN operating system. pp. 267-284.
Terra: A Virtual Machine-Based Platform for Trusted Computing - Tal Garfinkel Ben (2003) (16 citations) (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proc. 15th ACM Symp. on Operating Sys. Principles, Dec. 1995.
Controlled Flexibility in System Design - Montz, Peterson (1998) (Correct)
No context found.
Brian N. Bershad et al. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 267--284, December 1995.
Terra: A Virtual Machine-Based Platform for Trusted Computing - Tal Garfinkel Ben (2003) (16 citations) (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proc. 15th ACM Symp. on Operating Sys. Principles, Dec. 1995.
Terra: A Virtual Machine-Based Platform for Trusted Computing - Tal Garfinkel Ben (2003) (16 citations) (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proc. 15th ACM Symp. on Operating Sys. Principles, Dec. 1995.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, and B. E. Chambers. Extensibility, safety, and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267--284, Copper Mountain, Colorado, December 1995.
Design Considerations for the Symphony Integrated.. - Shenoy, Goyal, Rao, Vin (Correct)
No context found.
B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety, and Performance in the SPIN Operating System. In Proceedings of the Fifteenth ACMSymposium on Operating Systems Principles, pages 267--284, December 1995.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC