Towards a framework for dedicated operating systems development in high-end computing systems

ABSTRACT

In the context of high-end computing systems, general-purpose operating systems impose overhead on the applications they support due to unneeded services. Although dedicated operating systems overcome this issue, they are difficult to develop or adapt. In this paper, we propose a framework, based on the component programming paradigm, which supports the development and adaptation of such operating systems. This framework makes possible the a la carte construction of operating systems which provide specific high-end computing system characteristics.

REFERENCES

• 1: http://sources.redhat.com/ecos/.
• 2: J. Appavoo , M. Auslander , M. Butrico , D. M. da Silva , O. Krieger , M. F. Mergen , M. Ostrowski , B. Rosenburg , R. W. Wisniewski , J. Xenidis, Experience with K42, an open-source, Linux-compatible, scalable operating-system kernel, IBM Systems Journal, v.44 n.2, p.427-440, January 2005
• 3: Paul Barham , Boris Dragovic , Keir Fraser , Steven Hand , Tim Harris , Alex Ho , Rolf Neugebauer , Ian Pratt , Andrew Warfield, Xen and the art of virtualization, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
• 4: B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
• 5: R. Brightwell, T. Hudson, R. Riesen, and A. Maccabe. The Portals 3.0 message passing interface. Technical Report SAND99-2959, Sandia National Laboratories, 1999.
• 6: Ron Brightwell, Rolf Riesen, Keith Underwood, Trammell Hudson, Patrick Bridges, and Arthur B. Maccabe. A Performance Comparison of Linux and a Lightweight Kernel. In Proceedings of the IEEE International Conference on Cluster Computing (Cluster2003), 2003.
• 7: E. Bruneton, T. Coupaye, M. Leclerc, V. Quema, and JB. Stefani. An Open Component Model and its Support in Java. In 7th Int. Symp. CBSE, 2004.
• 8: Roy H. Campbell , Nayeem Islam , David Raila , Peter Madany, Designing and implementing Choices: an object-oriented system in C++, Communications of the ACM, v.36 n.9, p.117-126, Sept. 1993 [doi>10.1145/162685.162717]
• 9: NR Adiga , G Almasi , GS Almasi , Y Aridor , R Barik , D Beece , R Bellofatto , G Bhanot , R Bickford , M Blumrich , AA Bright , J Brunheroto , C Caşcaval , J Castaños , W Chan , L Ceze , P Coteus , S Chatterjee , D Chen , G Chiu , TM Cipolla , P Crumley , KM Desai , A Deutsch , T Domany , MB Dombrowa , W Donath , M Eleftheriou , C Erway , J Esch , B Fitch , J Gagliano , A Gara , R Garg , R Germain , ME Giampapa , B Gopalsamy , J Gunnels , M Gupta , F Gustavson , S Hall , RA Haring , D Heidel , P Heidelberger , LM Herger , D Hoenicke , RD Jackson , T Jamal-Eddine , GV Kopcsay , E Krevat , MP Kurhekar , AP Lanzetta , D Lieber , LK Liu , M Lu , M Mendell , A Misra , Y Moatti , L Mok , JE Moreira , BJ Nathanson , M Newton , M Ohmacht , A Oliner , V Pandit , RB Pudota , R Rand , R Regan , B Rubin , A Ruehli , S Rus , RK Sahoo , A Sanomiya , E Schenfeld , M Sharma , E Shmueli , S Singh , P Song , V Srinivasan , BD Steinmacher-Burow , K Strauss , C Surovic , R Swetz , T Takken , RB Tremaine , M Tsao , AR Umamaheshwaran , P Verma , P Vranas , TJC Ward , M Wazlowski , W Barrett , C Engel , B Drehmel , B Hilgart , D Hill , F Kasemkhani , D Krolak , CT Li , T Liebsch , J Marcella , A Muff , A Okomo , M Rouse , A Schram , M Tubbs , G Ulsh , C Wait , J Wittrup , M Bae , K Dockser , L Kissel , MK Seager , JS Vetter , K Yates, An overview of the BlueGene/L Supercomputer, Proceedings of the 2002 ACM/IEEE conference on Supercomputing, p.1-22, November 16, 2002, Baltimore, Maryland
• 10: Jean-Philippe Fassino , Jean-Bernard Stefani , Julia L. Lawall , Gilles Muller, Think: A Software Framework for Component-based Operating System Kernels, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.73-86, June 10-15, 2002
• 11: Linux for High Performance Computing. http://www.linuxhpc.org/.
• 12: Bryan Ford , Godmar Back , Greg Benson , Jay Lepreau , Albert Lin , Olin Shivers, The Flux OSKit: a substrate for kernel and language research, ACM SIGOPS Operating Systems Review, v.31 n.5, p.38-51, Dec. 1997
• 13: Eran Gabber, Christopher Small, John Bruno, José Brustoloni, and Avi Silberschatz. The pebble component-based operating system. In USENIX Techincal Conference, pages 267--282, 1999.
• 14: Michael Horie, James C. Pang, Eric G. Manning, and Gholamali C. Shoja. Designing meta-interfaces for object-oriented operating systems. In IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing, pages 989--992, 1997.
• 15: Terry Jones , Shawn Dawson , Rob Neely , William Tuel , Larry Brenner , Jeffrey Fier , Robert Blackmore , Patrick Caffrey , Brian Maskell , Paul Tomlinson , Mark Roberts, Improving the Scalability of Parallel Jobs by adding Parallel Awareness to the Operating System, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.10, November 15-21, 2003
• 16: Sandia National Laboratories. ASCI Red, http://www.sandia.gov/ASCI/TFLOP.
• 17: Philip Levis, Sam Madden, Joseph Polastre, Robert Szewczyk, Kamin Whitehouse, Alec Woo, David Gay, Jason Hill, Matt Welsh, Eric Brewer, and David Culler. Ambient Intelligence, chapter TinyOS: An Operating System for Wireless Sensor Networks. Springer, 2005.
• 18: Bertrand Meyer , Christine Mingins, Component-Based Development: From Buzz to Spark, Computer, v.32 n.7, p.35-37, July 1999 [doi>10.1109/2.774916 ]
• 19: Allen Brady Montz, David Mosberger, Sean W. O'Malley, Larry L. Peterson, Todd A. Proebsting, and John H. Hartman. Scout: A communications-oriented operating system. In Operating Systems Design and Implementation, 1994.
• 20: Fabrizio Petrini , Darren J. Kerbyson , Scott Pakin, The Case of the Missing Supercomputer Performance: Achieving Optimal Performance on the 8,192 Processors of ASCI Q, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.55, November 15-21, 2003
• 21: John A. Stankovic , Ruiqing Zhu , Ram Poornalingam , Chenyang Lu , Zhendong Yu , Marty Humphrey , Brian Ellis, VEST: An Aspect-Based Composition Tool for Real-Time Systems, Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, p.58, May 27-30, 2003
• 22: Thomas L. Sterling, The Gilgamesh MIND Processor-in-Memory Architecture for Petaflops-Scale Computing, Proceedings of the 4th International Symposium on High Performance Computing, p.1-5, May 15-17, 2002
• 23: J. C. Tournier. A Survey of Configurable Operating Systems. Technical Report TR-CS-2005-43, University of New Mexico, Computer Science Department, 2005.
• 24: J. C. Tournier and J. P. Fassino. The Think Components-Based Operating System. In Hermes Science and Lavoisier Company, editors, Model Driven Engineering for Distributed Real-time Embedded Systems. International Scientific and technical Encyclopedia, 2005.
• 25: Rob van Ommering , Frank van der Linden , Jeff Kramer , Jeff Magee, The Koala Component Model for Consumer Electronics Software, Computer, v.33 n.3, p.78-85, March 2000 [doi>10.1109/2.825699 ]
• 26: Stephen R. Wheat, Arthur B. Maccabe, Rolf Riesen, David W. van Dresser, and T. Mack Stallcup. PUMA: an operating system for massively parallel systems. In Proceedings of the 27th Hawaii International Conference on System Sciences, volume II, pages 56--65, 1994.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Distributed systems

General Terms:
Design