Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

23156 Osprey: Operating system for predictable clouds
Home Policy Brochure Browse Search User Area Contact Help

Sacha, J. and Napper, J. and Mullender, S.J. and McKie, J. (2012) Osprey: Operating system for predictable clouds. In: Proceedings of the 42nd IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2012), 25-28 June 2012, Boston, MA, USA. pp. 1-6. IEEE. ISBN 978-1-4673-2264-5

Full text available as:


111 Kb
Open Access

Official URL:

Exported to Metis


Cloud computing is currently based on hardware virtualization wherein a host operating system provides a virtual machine interface nearly identical to that of physical hardware to guest operating systems. Full transparency allows backward compatibility with legacy software but introduces unpredictability at the guest operating system (OS) level. The time perceived by the guest OS is non-linear. As a consequence, it is difficult to run real-time or latency-sensitive applications in the cloud. In this paper we describe an alternative approach to cloud computing where we run all user applications on top of a single cloud operating system called Osprey. Osprey allows dependable, predictable, and real-time computing by consistently managing all system resources and exporting relevant information to the applications. Osprey ensures compatibility with legacy software through OS emulation provided by libraries and by porting runtime environments. Osprey's resource containers fully specify constraints between applications to enforce full application isolation for real-time execution guarantees. Osprey pushes much of the state out of the kernel into user applications for several benefits: full application accounting, mobility support, and efficient networking. Using a kernel-based packet filter, Osprey dispatches incoming packets to the user application as quickly as possible, eliminating the kernel from the critical path. A real-time scheduler then decides on the priority and order in which applications process their incoming packets while maintaining the limits set forth in the resource container. We have implemented a mostly complete Osprey prototype for the x86 architecture and we plan to port it to ARM and PowerPC and to develop a Linux library OS.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-PS: Pervasive Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
ID Code:23156
Deposited On:28 March 2013
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item