Future ambient intelligence environments will embed powerful multi-core processors to compose various functionalities into a smaller number of hardware components. This makes the maintainability of intelligent environments better because it is not easy to manage massively distributed processors. A composition kernel makes it possible to compose multiple functionalities on a multi-core processor with the minimum modification of OS kernels and applications. A multi-core processor is a good candidate to compose various software developed independently for dedicated processors into one multi-core processor to reduce both the hardware and development cost. In this paper, we present SPUMONE which is a composition kernel for developing future smart products.

Porting operating systems to a virtualization layer produces a semantic gap because the assumptions that guest OSes rely on may not be ensured. On multi-core environments, this gap can cause the fatal performance degradations. The lock holder preemption (LHP) problem is a well known example of the sources of the performance degradation. It occurs when a thread holding a spin lock in an OS kernel is preempted by other OS kernels.Some previous proposals can avoid this problem, but none of them cares about the real-time responsiveness of guest OSes. Therefore the approaches are not suitable for embedded systems. We have developed a new technique for avoiding the LHP problem. The approach can ensure both the real-time responsiveness of RTOS and the high throughput of GPOS that supports shared memory multi-processors.This paper introduces the basic approach of our new technique and its experimental results. The results show that our new technique can make RTOS and GPOS coexist without degrading the real-time latency and is suitable to be applied to modern high performance multi-core processor based real-time embedded systems.

No abstract

No abstract

No abstract