ACM Computing Surveys (CSUR)
Inside Windows NT
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
The operating system kernel as a secure programmable machine
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
The Spring Nucleus: A Microkernel for Objects
The Spring Nucleus: A Microkernel for Objects
The multics system: an examination of its structure
The multics system: an examination of its structure
A caching model of operating system kernel functionality
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Declarative specialization of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards Automatic Specialization of Java Programs
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Magnet: a virtual shared tuplespace resource manager
Virtual shared memory for distributed architectures
BOTS: a constraint-based component system for synthesizing scalable software systems
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Hi-index | 0.00 |
The microkernel concept has once been the most advocated approach for operating system development. Unfortunately, before its publicized advantages have been fully realized in an operating system implementation, current operating system researchers claim its weaknesses and make their ways to develop "extensible" operating systems. New operating systems like SPIN, Ageis, Cache Kernel, Apertos and Scout, employ new concepts to support application specific customization and optimal allocation of system resource, in order to boost up the performance of certain applications. The microkernel concept in itself never contradicts with this purpose, as it is to provide basic efficient primitives for construction of system services. Probably, the crucial problem is that the OS architecture of most current microkernel implementations cannot suitably meet with the new requirements of extensibility. In this paper, we try to explore issues in developing a better OS architecture that can fully enhance OS extensibility. Moreover, we investigate how microkernel abstraction can be remodeled to support better reconfiguration in operating systems. To cope with the conflicting issues of efficiency, flexibility and ease of reconfiguration, we suggest and discuss an approach of structuring operating systems. The approach is characteristed by lightweight meta-abstraction mechanism and progressive reflective reconfiguration.