chapter

The aspect-aware design and implementation of the CiAO operating-system family

Authors:

Daniel Lohmann,

Wolfgang Schröder-PreikschatAuthors Info & Claims

Transactions on Aspect-Oriented Software Development IX

January 2012

Pages 168 - 215

Published: 01 January 2012 Publication History

Abstract

CiAO is the first operating-system family that has been developed with AOP concepts from the very beginning. By its aspect-aware design and implementation, CiAO reaches excellent configurability, separation of concerns, and low footprints in the resulting systems that outperform leading commercial implementations. CiAO implements the automotive operating-system standard OSEK/AUTOSAR OS and provides configurability of all fundamental system properties by means of AOP.

We describe the aspect-aware design approach and implementation idioms that led to this efficiency and flexibility. On the example of three larger case studies from CiAO, we demonstrate how AOP can be employed in this respect on different levels of complexity: From highly configurable, yet efficient low-level hardware abstractions over the implementation of central kernel policies up to the decomposition of a complete operating-system specification.

Our results show that by a consequent application of the aspect-aware approach, AOP becomes a promising technology to reach configurability, separation of concerns, and runtime/memory efficiency on all levels of operating-system development.

References

[1]

Åberg, R. A., Lawall, J. L., Südholt, M., Muller, G., Le Meur, A.-F.: On the automatic evolution of an OS kernel using temporal logic and AOP. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 196-204. IEEE Computer Society Press, Montreal (2003)

Digital Library

[2]

Accetta, M., Baron, R., Golub, D., Rashid, R., Tevanian, A., Young, M.: MACH: A New Kernel Foundation for UNIX Development. In: Proceedings of the USENIX Summer Conference, pp. 93-113. USENIX Association (June 1986)

[3]

AUTOSAR. Requirements on operating system(version 2.0.1). Technical report, Automotive Open System Architecture GbR (June 2006)

[4]

AUTOSAR. Specification of operating system (version 2.0.1). Technical report, Automotive Open System Architecture GbR (June 2006)

[5]

Baniassad, E., Clarke, S.: Theme: An approach for aspect-oriented analysis and design. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 158-167. IEEE Computer Society Press, Washington, DC (2004)

Digital Library

[6]

UC Berkeley. TinyOS homepage, http://www.tinyos.net

[7]

Beuche, D.: Variant management with pure:variants. Technical report, pure-systems GmbH (2006), http://www.pure-systems.com/fileadmin/downloads/pv-whitepaper-en-04.pdf(visited November 12, 2011)

[8]

Beuche, D., Fröhlich, A. A., Meyer, R., Papajewski, H., Schön, F., Schröder-Preikschat, W., Spinczyk, O., Spinczyk, U.: On architecture transparency in operating systems. In: Proceedings of the 9th ACM SIGOPS European Workshop Beyond the PC: New Challenges for the Operating System, pp. 147-152. ACM Press (September 2000)

Digital Library

[9]

Carzaniga, A., Di Nitto, E., Rosenblum, D. S., Wolf, A. L.: Issues in supporting event-based architectural styles. In: Proceedings of the 3rd International Workshop on Software Architecture (ISAW 1998), pp. 17-20. ACM Press, New York (1998)

Digital Library

[10]

Clarke, S., Walker, R. J.: Composition patterns: An approach to designing reusable aspects. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), pp. 5-14. IEEE Computer Society Press, Washington, DC (2001)

Digital Library

[11]

Coady, Y., Kiczales, G.: Back to the future: A retroactive study of aspect evolution in operating system code. In: Akşit, M. (ed.) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD 2003), pp. 50-59. ACM Press, Boston (2003)

Digital Library

[12]

Czarnecki, K., Eisenecker, U. W.: Generative Programming. Methods, Tools and Applications. Addison-Wesley (May 2000)

Digital Library

[13]

Al Danial. CLOC - count lines of code homepage, http://cloc.sourceforge.net/

[14]

del Foyo, L. E. L., Mejia-Alvarez, P., de Niz, D.: Predictable interrupt management for real time kernels over conventional PC hardware. In: Proceedings of the 12th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS 2006), pp. 14-23. IEEE Computer Society Press, Los Alamitos (2006)

Digital Library

[15]

Engel, M., Freisleben, B.: TOSKANA: A Toolkit for Operating System Kernel Aspects. In: Rashid, A., Aksit, M. (eds.) Transactions on AOSD II. LNCS, vol. 4242, pp. 182-226. Springer, Heidelberg (2006)

Digital Library

[16]

Filman, R. E., Friedman, D. P.: Aspect-oriented programming is quantification and obliviousness. In: Workshop on Advanced SoC (OOPSLA 2000) (October 2000)

[17]

Fiuczynski, M., Grimm, R., Coady, Y., Walker, D.: Patch(1) considered harmful. In: Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS 2005). USENIX Association (2005)

Digital Library

[18]

Ford, B., Back, G., Benson, G., Lepreau, J., Lin, A., Shivers, O.: The Flux OSKit: A substrate for kernel and language research. In: Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP 1997). ACM SIGOPS Operating Systems Review, pp. 38-51. ACM Press (October 1997)

Digital Library

[19]

Groher, I., Baumgarth, T.: Aspect-orientation from design to code. In: Proceedings of the 2004 AOSD Early Aspects Workshop, AOSD-EA 2004 (March 2004)

[20]

Gybels, K., Brichau, J.: Arranging language features for pattern-based crosscuts. In: Akşit, M. (ed.) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD 2003), pp. 60-69. ACM Press, Boston (2003)

Digital Library

[21]

Infineon Technologies AG, St.-Martin-Str. 53, 81669 München, Germany. TriCore 1 User's Manual (V1.3.5), Volume 1: Core Architecture (February 2005)

[22]

Kästner, C., Apel, S., Batory, D.: A case study implementing features using AspectJ. In: Proceedings of the 11th Software Product Line Conference (SPLC 2007), pp. 223-232. IEEE Computer Society Press (2007)

Digital Library

[23]

Kästner, C., Apel, S., Saif ur Rahman, S., Rosenmüller, M., Batory, D., Saake, G.: On the impact of the optional feature problem: Analysis and case studies. In: Muthig, D., McGregor, J. D. (eds.) Proceedings of the 13th Software Product Line Conference (SPLC 2009), Carnegie Mellon University, Pittsburgh (2009)

Digital Library

[24]

Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)

[25]

Kleiman, S., Eykholt, J.: Interrupts as threads. ACM SIGOPS Operating Systems Review 29(2), 21-26 (1995)

Digital Library

[26]

Kniesel, G., Rho, T.: A definition, overview and taxonomy of generic aspect languages. L'Objet, Special Issue on Aspect-Oriented Software Development 11(2-3), 9-39 (2006)

[27]

Liedtke, J.: On µ-kernel construction. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP 1995). ACM Press (December 1995)

Digital Library

[28]

Lohmann, D., Blaschke, G., Spinczyk, O.: Generic Advice: On the Combination of AOP with Generative Programming in AspectC++. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 55-74. Springer, Heidelberg (2004)

[29]

Lohmann, D., Hofer, W., Schröder-Preikschat, W., Spinczyk, O.: Aspect-aware operatingsystem development. In: Chiba, S. (ed.) Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), pp. 69-80. ACM Press, New York (2011)

Digital Library

[30]

Lohmann, D., Hofer, W., Schröder-Preikschat, W., Streicher, J., Spinczyk, O.: CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems. In: Proceedings of the 2009 USENIX Annual Technical Conference, pp. 215-228. USENIX Association, Berkeley (2009)

Digital Library

[31]

Lohmann, D., Scheler, F., Tartler, R., Spinczyk, O., Schröder-Preikschat, W.: A quantitative analysis of aspects in the eCos kernel. In: Berbers, Y., Zwaenepoel, W. (eds.) Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2006), pp. 191-204. ACM Press, New York (2006)

Digital Library

[32]

Lohmann, D., Streicher, J., Spinczyk, O., Schröder-Preikschat, W.: Interrupt synchronization in the CiAO operating system. In: Proceedings of the 6th AOSDWorkshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS 2007), ACM Press, New York (2007)

Digital Library

[33]

Love, R.: Linux Kernel Development, 2nd edn. Novell Press (2005)

Digital Library

[34]

Neville-Neil, G. V., McKusick, M. K.: The Design and Implementation of the FreeBSD Operating System. Addison-Wesley (2004)

Digital Library

[35]

Massa, A.: Embedded Software Development with eCos. New Riders (2002)

Digital Library

[36]

OSEK/VDX Group. Operating system specification 2.2.3. Technical report, OSEK/VDX Group (February 2005), http://portal.osek-vdx.org/files/pdf/specs/os223.pdf (visited August 17, 2011)

[37]

Parnas, D. L.: Some hypothesis about the "uses" hierarchy for operating systems. Technical report, TH Darmstadt, Fachbereich Informatik (1976)

[38]

Reynolds, A., Fiuczynski, M. E., Grimm, R.: On the feasibility of an AOSD approach to Linux kernel extensions. In: Proceedings of the 7th AOSDWorkshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS 2008), pp. 1-7. ACM Press, New York (2008)

Digital Library

[39]

Rubini, A., Corbet, J.: Linux Device Drivers. O'Reilly (2001)

Digital Library

[40]

Schröder, W.: Eine Familie von UNIX-ähnlichen Betriebssystemen - Anwendung von Prozessen und des Nachrichtenübermittlungskonzeptes beim strukturierten Betriebssystementwurf (December 1986)

[41]

Schröder-Preikschat, W.: The Logical Design of Parallel Operating Systems. Prentice Hall PTR (1994)

Digital Library

[42]

Solomon, D. A., Russinovich, M.: Inside Microsoft Windows 2000, 3rd edn. Microsoft Press (2000)

Digital Library

[43]

Spinczyk, O., Lohmann, D.: Using AOP to develop architecture-neutral operating system components. In: Proceedings of the 11th ACM SIGOPS European Workshop, pp. 188-192. ACM Press, New York (2004)

Digital Library

[44]

Spinczyk, O., Lohmann, D.: The design and implementation of AspectC++. Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software 20(7), 636-651 (2007)

Digital Library

[45]

Steimann, F.: Domain Models Are Aspect Free. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 171-185. Springer, Heidelberg (2005)

Digital Library

[46]

Stein, D., Hanenberg, S., Unland, R.: A UML-based aspect-oriented design notation for AspectJ. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), pp. 106-112. ACM Press, New York (2002)

Digital Library

[47]

Yanagisawa, Y., Kourai, K., Chiba, S., Ishikawa, R.: A dynamic aspect-oriented system for OS kernels. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE 2006), pp. 69-78. ACM Press, New York (2006)

Digital Library

Cited By

Belson BHoldsworth JXiang WPhilippa B(2019)A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/331961818:3(1-21)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3319618
Stengel KSchmaus FKapitza RFerreira PVeiga L(2013)EsseOSProceedings of the 12th International Workshop on Adaptive and Reflective Middleware10.1145/2541583.2541587(1-6)Online publication date: 9-Dec-2013
https://dl.acm.org/doi/10.1145/2541583.2541587

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide books

Transactions on Aspect-Oriented Software Development IX

January 2012

305 pages

ISBN:9783642355509

Editors:
Gary T. Leavens
University of Central Florida, School of Electrical Engineering and Computer Science, 439C Harris Center, Building 116, 4000 Central Florida Boulevard, Orlando, FL
,
Shigeru Chiba
Graduate School of Information Science and Technology, The University of Tokyo, 7-3-1 Hongo, Tokyo, Bunkyo-ku, Japan
,
Michael Haupt
Oracle Labs, Oracle Deutschland B.V. & Co. KG, Schiffbauergasse 14, Potsdam, Bunkyo-ku, Germany
,
Klaus Ostermann
Oracle Labs, University of Marburg, Biegenstr. 10, Marburg, Bunkyo-ku, Germany
,
Eric Wohlstadter
Oracle Labs, University of British Columbia, 2366 Main Mall, Vancouver, BC, Canada

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 2012

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Belson BHoldsworth JXiang WPhilippa B(2019)A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/331961818:3(1-21)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3319618
Stengel KSchmaus FKapitza RFerreira PVeiga L(2013)EsseOSProceedings of the 12th International Workshop on Adaptive and Reflective Middleware10.1145/2541583.2541587(1-6)Online publication date: 9-Dec-2013
https://dl.acm.org/doi/10.1145/2541583.2541587

View Options

View options

Media

Figures

Other

Tables

View Table of Contents