High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures
Source: University of New South Wales
This paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. The authors examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. They also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model. ARM is processor architecture particularly popular for battery-powered devices with moderate CPU performance requirements. It has been adopted in a wide range of applications from automotive to mobile phones, PDAs and networking gear.
| Format: | Size: | 152.60 | |
| Date: | Feb 2007 |
People who downloaded this item also downloaded
- Monitor services in the cloud: Tips, tricks and tools
- Unite Communications Across Multiple Devices to Foster Collaboration
- Top Ten Differentiators When Evaluating Unified Communications Solutions
- Understanding the Cloud Computing Stack: SaaS, PaaS, IaaS
- The Hybrid Computing Proposition: Challenging and Overcoming Past Bias is Key to Achieving Breakthrough Gains
