{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T20:32:50Z","timestamp":1775421170009,"version":"3.50.1"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,2,16]],"date-time":"2012-02-16T00:00:00Z","timestamp":1329350400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2012,2,16]]},"abstract":"<jats:p>In this paper we propose a SystemC-based design methodology focusing on the implementation of operating system components in hardware by using Aspect-oriented Programming concepts. As a case study to validate our approach, we have designed and implemented a hardware thread scheduler and a debugging aspect program. For comparison purposes, a hand-made scheduler with debugging capabilities was also implemented. The hardware synthesis results shown that Aspect-oriented Programming concepts and techniques can be efficiently applied to digital hardware design in SystemC through the proposed methodology. The observed overhead in terms of area was less than 1% and the increase in the longest path delay for the circuit was less than 3%. Being SystemC an extension of C++, our strategy puts effective hardware implementation of operating system components into reach for many operating system developers.<\/jats:p>","DOI":"10.1145\/2146382.2146395","type":"journal-article","created":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T18:42:36Z","timestamp":1329936156000},"page":"64-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Implementing OS components in hardware using AOP"],"prefix":"10.1145","volume":"46","author":[{"given":"Tiago Rogerio","family":"Muck","sequence":"first","affiliation":[{"name":"Federal University of Santa Catarina, Florianopolis, Brazil"}]},{"given":"Antonio Augusto","family":"Frohlich","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florianopolis, Brazil"}]},{"given":"Michael","family":"Gernoth","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander University, Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"Wolfgang","family":"Schroder-Preikschat","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander University, Erlangen-Nuremberg, Erlangen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,2,16]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"24th IEEE International Real-Time Systems Symposium","author":"Akgul B.","year":"2003","unstructured":"B. Akgul . Hardware support for priority inheritance. In K. A. Publishers, editor , 24th IEEE International Real-Time Systems Symposium , 2003 . B. Akgul. Hardware support for priority inheritance. In K. A. Publishers, editor, 24th IEEE International Real-Time Systems Symposium, 2003."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2006.40"},{"key":"e_1_2_1_3_1","volume-title":"18th IEEE International Conference on Electronics, Circuits, and Systems, Beirut, Lebanon, dec","author":"J.","year":"2011","unstructured":"J. ao Paulo Pizani Flor, T. R. M\u00fcck, and A. A. Fr\u00f6hlich. High-level design and synthesis of a resource scheduler . In 18th IEEE International Conference on Electronics, Circuits, and Systems, Beirut, Lebanon, dec 2011 . J. ao Paulo Pizani Flor, T. R. M\u00fcck, and A. A. Fr\u00f6hlich. High-level design and synthesis of a resource scheduler. In 18th IEEE International Conference on Electronics, Circuits, and Systems, Beirut, Lebanon, dec 2011."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70770"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2005.1568562"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITCC.2005.69"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127983"},{"key":"e_1_2_1_9_1","volume-title":"Generative programming: methods, tools, and applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . Generative programming: methods, tools, and applications . ACM Press\/Addison-Wesley Publishing Co. , New York, NY, USA , 2000 . K. Czarnecki and U. W. Eisenecker. Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA, 2000."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150343.1150378"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960314.1960322"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404891.1404896"},{"key":"e_1_2_1_13_1","volume-title":"Sankt Augustin, aug","author":"Fr\u00f6hlich A. A.","year":"2001","unstructured":"A. A. Fr\u00f6hlich . Application-Oriented Operating Systems. Number 17 in GMD Research Series. GMD - Forschungszentrum Informationstechnik , Sankt Augustin, aug 2001 . A. A. Fr\u00f6hlich. Application-Oriented Operating Systems. Number 17 in GMD Research Series. GMD - Forschungszentrum Informationstechnik, Sankt Augustin, aug 2001."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics","author":"Fr\u00f6hlich A. A.","year":"2000","unstructured":"A. A. Fr\u00f6hlich and W. Schr\u00f6der-Preikschat . Scenario Adapters: Efficiently Adapting Components . In Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics , Orlando, USA , 2000 . A. A. Fr\u00f6hlich and W. Schr\u00f6der-Preikschat. Scenario Adapters: Efficiently Adapting Components. In Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, USA, 2000."},{"key":"e_1_2_1_15_1","volume-title":"IEEE Standard VHDL Language Reference Manual","author":"EE.","year":"2000","unstructured":"IE EE. Std 1076-2000 : IEEE Standard VHDL Language Reference Manual , 2000 . IEEE. Std 1076-2000: IEEE Standard VHDL Language Reference Manual, 2000."},{"key":"e_1_2_1_16_1","volume-title":"IEEE Standard Verilog Hardware Description Language","author":"EE.","year":"2001","unstructured":"IE EE. Std 1364-2001 : IEEE Standard Verilog Hardware Description Language , 2001 . IEEE. Std 1364-2001: IEEE Standard Verilog Hardware Description Language, 2001."},{"key":"e_1_2_1_17_1","first-page":"1","article-title":"The application of Aspectual Feature Module in the development and verification of SystemC models. In Specification Design Languages, 2009","author":"Jun Y.","year":"2009","unstructured":"Y. Jun , L. Tun , and T. Qingping . The application of Aspectual Feature Module in the development and verification of SystemC models. In Specification Design Languages, 2009 . FDL 2009 . Forum on, pages 1 -- 6 , sep 2009. Y. Jun, L. Tun, and T. Qingping. The application of Aspectual Feature Module in the development and verification of SystemC models. In Specification Design Languages, 2009. FDL 2009. Forum on, pages 1--6, sep 2009.","journal-title":"FDL"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2010.5487605"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_2_1_20_1","volume-title":"Aspect-Oriented Programming. In Proceedings of the European Conference on Object-oriented Programming'97","volume":"1241","author":"Kiczales G.","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. V. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-Oriented Programming. In Proceedings of the European Conference on Object-oriented Programming'97 , volume 1241 of Lecture Notes in G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of the European Conference on Object-oriented Programming'97, volume 1241 of Lecture Notes in"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944656"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2009.4810318"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1785481.1785562"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2008.4629901"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2009.407"},{"key":"e_1_2_1_26_1","first-page":"89","volume-title":"Proceedings of Design Automation of Embedded Systems","author":"Mooney V.","year":"2000","unstructured":"V. Mooney and G. D. Micheli . Hardware\/software codesign of run-time schedulers for real-time systems . In Proceedings of Design Automation of Embedded Systems , pages 89 -- 144 , 2000 . V. Mooney and G. D. Micheli. Hardware\/software codesign of run-time schedulers for real-time systems. In Proceedings of Design Automation of Embedded Systems, pages 89--144, 2000."},{"key":"e_1_2_1_27_1","unstructured":"OSCI. Systemc synthesizable subset draft 1.3 2010.  OSCI. Systemc synthesizable subset draft 1.3 2010."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of International Conference on Engineering of Reconfigurable Systems and Algorithms -- ERSA'03","author":"Kuacharoen M. S. P.","year":"2003","unstructured":"M. S. P. Kuacharoen and V. Mooney . A configurable hardware scheduler for real-time systems . In Proceedings of International Conference on Engineering of Reconfigurable Systems and Algorithms -- ERSA'03 , 2003 . M. S. P. Kuacharoen and V. Mooney. A configurable hardware scheduler for real-time systems. In Proceedings of International Conference on Engineering of Reconfigurable Systems and Algorithms -- ERSA'03, 2003."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/500001.500018"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2011.6026348"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331338"},{"key":"e_1_2_1_32_1","first-page":"53","volume-title":"Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, CRPIT '02","author":"Spinczyk O.","year":"2002","unstructured":"O. Spinczyk , A. Gal , and W. Schr\u00f6der-Preikschat . AspectC++: an aspect-oriented extension to the C++ programming language . In Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, CRPIT '02 , pages 53 -- 60 , Darlinghurst, Australia, Australia , 2002 . Australian Computer Society, Inc. O. Spinczyk, A. Gal, and W. Schr\u00f6der-Preikschat. AspectC++: an aspect-oriented extension to the C++ programming language. In Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, CRPIT '02, pages 53--60, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996865"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218581"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1983.12531"}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146382.2146395","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2146382.2146395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:02Z","timestamp":1750243922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146382.2146395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,16]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2,16]]}},"alternative-id":["10.1145\/2146382.2146395"],"URL":"https:\/\/doi.org\/10.1145\/2146382.2146395","relation":{},"ISSN":["0163-5980"],"issn-type":[{"value":"0163-5980","type":"print"}],"subject":[],"published":{"date-parts":[[2012,2,16]]},"assertion":[{"value":"2012-02-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}