Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
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
The synergy between non-blocking synchronization and operating system structure
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
First-class user-level threads
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
An infrastructure for multiprocessor run-time adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
Supporting Hot-Swappable Components for System Software
HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
Efficient, Unified, and Scalable Performance Monitoring for Multiprocessor Operating Systems
Proceedings of the 2003 ACM/IEEE conference on Supercomputing
Meta-data snapshotting: a simple mechanism for file system consistency
SNAPI '03 Proceedings of the international workshop on Storage network architecture and parallel I/Os
Towards a framework for dedicated operating systems development in high-end computing systems
ACM SIGOPS Operating Systems Review
SmartApps: middle-ware for adaptive applications on reconfigurable platforms
ACM SIGOPS Operating Systems Review
Understanding collateral evolution in Linux device drivers
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
K42: lessons for the OS community
ACM SIGOPS Operating Systems Review
Factored operating systems (fos): the case for a scalable operating system for multicores
ACM SIGOPS Operating Systems Review
Instruction-level simulation of a cluster at scale
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
An operating system for multicore and clouds: mechanisms and implementation
Proceedings of the 1st ACM symposium on Cloud computing
A Safari Through the MPSoC Run-Time Management Jungle
Journal of Signal Processing Systems
HotACI'06 Proceedings of the First international conference on Hot topics in autonomic computing
Cache injection for parallel applications
Proceedings of the 20th international symposium on High performance distributed computing
A case for secure and scalable hypervisor using safe language
Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
The case for elastic operating system services in fos
Proceedings of the 49th Annual Design Automation Conference
Hi-index | 0.00 |
K42 is an open-source, Linux-compatible, scalable operating-system kernel that can be used for rapid prototyping of operating-system policies and mechanisms. This paper reviews the structure and design philosophy of K42 and discusses our experiences in developing and using K42 in the open-source environment.