Lightweight remote procedure call
ACM Transactions on Computer Systems (TOCS)
Multi-model parallel programming in psyche
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The design of OS/2
Systems programming with Modula-3
Systems programming with Modula-3
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Designing and implementing Choices: an object-oriented system in C++
Communications of the ACM
Fbufs: a high-bandwidth cross-domain transfer facility
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Efficient software-based fault isolation
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
IBM Power and PowerPC
Inside Windows 95
Reducing cross domain call overhead using batched futures
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Sharing and protection in a single-address-space operating system
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Stackable design of file systems
Stackable design of file systems
ACM Computing Surveys (CSUR)
MVM - An Environment for Running Multiple DOS, Windows and DPMI Programs on the Microkernel
USENIX MACH III Symposium
USENIX MACH III Symposium
In-Kernel Servers on Mach 3.0: Implementation and Performance
USENIX MACH III Symposium
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
A Model and Prototype of VMS Using the Mach 3.0 Kernel
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Experience with SVR4 Over Chorus
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
The multics system: an examination of its structure
The multics system: an examination of its structure
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Proceedings of the seventeenth ACM symposium on Operating systems principles
Supporting Flexible Safety and Sharing in Multi-threaded Environments
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
ATEC '03 Proceedings of the annual conference on USENIX Annual Technical Conference
Alpine: a user-level infrastructure for network protocol development
USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3
SLIC: an extensibility system for commodity operating systems
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Privilege separation made easy: trusting small libraries not big processes
Proceedings of the 1st European Workshop on System Security
Flexible and efficient sandboxing based on fine-grained protection domains
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
SegSlice: towards a new class of secure programming primitives for trustworthy platforms
TRUST'10 Proceedings of the 3rd international conference on Trust and trustworthy computing
| Hi-index | 0.00 |
Protected Shared Libraries, or PSLs, are a new type of support for modularity that form a basis for building flexible library-based operating system services. PSLs extend the familiar notion of shared libraries with protected state and data sharing across protection boundaries. Protected state information allows PSLs to be used to implement sensitive operating system services. Sharing of data across protection boundaries yields significant performance benefits. These features make PSLs a viable basis on which a complete operating system can be built largely as a set of dynamically loadable libraries without compromising protection or sacrificing performance. PSLs also allow highly flexible implementations of new functionality to be added to current commercial operating systems. A prototype PSL implementation has been built into AIX 3.2.5 and early performance results are encouraging.