{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:11Z","timestamp":1746115871528,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452925"},{"type":"electronic","value":"9783642452932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45293-2_4","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T13:47:06Z","timestamp":1385387226000},"page":"47-61","source":"Crossref","is-referenced-by-count":0,"title":["Towards RTOS: A Preemptive Kernel Basing on Barrelfish"],"prefix":"10.1007","author":[{"given":"Jingwei","family":"Yang","sequence":"first","affiliation":[]},{"given":"Xiang","family":"Long","sequence":"additional","affiliation":[]},{"given":"Xukun","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Shuaitao","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Siyao","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Asanovic, K., Bodik, R., Catanzaro, B., Gebis, J., Husbands, P., Keutzer, K., Patterson, D., Plishker, W., Shalf, J., Williams, S., Yelick, K.: The Landscape of Parallel Computing Research: A View from Berkeley. Electrical Engineering and Computer Sciences, University of California at Berkeley, Technical Report No. UCB\/EECS-2006-183, 18(2006-183):19 (December 2006)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Vajda, A., Brorsson, M.: Programing Many-Core Chips. Springer (2011) ISBN 144 1997385, 9781441997388","DOI":"10.1007\/978-1-4419-9739-5"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Held, J.: \u201cSingle-chip cloud computer\u201d, an IA tera-scale research processor. In: Proceedings of the 2010 Conference on Parallel Processing (May 2011)","DOI":"10.1007\/978-3-642-21878-1_11"},{"key":"4_CR4","unstructured":"Liu, B.-W., Chen, S.-M., Wang, D.: Survey on Advance Microprocessor Architecture and Its Development Trends. Application Research of Computers (2007)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Baumann, A., et al.: The Multi-kernel: A new OS architecture for scalable multicore systems. In: Proceedings of the 22nd ACM Symposium on OS Principles, Big Sky, MT, USA (October 2009)","DOI":"10.1145\/1629575.1629579"},{"key":"4_CR6","unstructured":"Sch\u00fcpbach, A., Peter, S., Baumann, A., Roscoe, T., Barham, P., Harris, T., Isaacs, R.: Embracing diversity in the Barrelfish manycore operating system. In: Proceedings of the 1st Workshop on Managed Multi-Core Systems (2008)"},{"key":"4_CR7","unstructured":"Baumann, A., et al.: Your computer is already a distributed system. Why isn\u2019t your OS? In: Proceedings of the 12th Workshop on Hot Topics in Operating Systems, Monte Verit\u00e0, Switzerland (May 2009)"},{"key":"4_CR8","unstructured":"Bryant, R., Hawkes, J.: Linux scalability for large NUMA systems. In: Ottawa Linux Symp., Ottawa, Canada (July 2003)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM\u00a020(1), 46\u201361 (1973)","journal-title":"J. ACM"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/1978802.1978814","volume":"43","author":"R.I. Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv.\u00a043(4), Article 35, 44 pages (2011)","journal-title":"ACM Comput. Surv."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Burns, A.: Scheduling hard real-time systems: a review. Software Engineering Journal (May 1991)","DOI":"10.1049\/sej.1991.0015"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., et al.: The Worst-Case Execution Time Problem: Overview of Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems, 1\u201353 (April 2008)","DOI":"10.1145\/1347375.1347389"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2008\/582648","volume":"10","author":"E. Betti","year":"2008","unstructured":"Betti, E., Bovet, D.P., Cesati, M., Gioiosa, R.: Hard real-time performances in multiprocessor-embedded systems using asmp-linux. EURASIP Journal on Embedded System, 10:1\u201310:16 (April 2008)","journal-title":"EURASIP Journal on Embedded System"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Sacha, K.M.: Measuring the Real-Time Operating System Performance. In: Proceedings of Seventh Euromicro Workshop on Real-Time Systems, pp. 34\u201340 (1995)","DOI":"10.1109\/EMWRTS.1995.514289"},{"key":"4_CR15","unstructured":"Bovet, D.P., Cesati, M.: Understanding the Linux Kernel, 3rd edn. O\u2019Reilly (November 2005) ISBN 0-596-00565-2"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., et al.: seL4: Formal verification of an OS kernel. In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles (October 2009)","DOI":"10.1145\/1629575.1629596"},{"key":"4_CR17","unstructured":"Sauermann, J., Thelen, M.: Realtime Operating Systems: Concepts and Implementation of Microkernels for Embedded Systems (1997)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/5.259426","volume":"82","author":"K. Ramamritham","year":"1994","unstructured":"Ramamritham, K., Stankovic, J.A.: Scheduling Algorithms and Operating Systems Support for Real-Time Systems. Proceedings of the IEEE\u00a082(1), 55\u201367 (1994)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR19","unstructured":"Franke, H., Nagar, S., Kravetz, M., Ravindran, R.: PMQS: scalable Linux Scheduling for high end servers. In: Proceedings of the 5th Annual Linux Showcase Conference (November 2001)"},{"key":"4_CR20","unstructured":"Intel: Intel 64 and IA-32 Architectures Software Developer\u2019s Manual. Intel Corporation (May 2007)"},{"key":"4_CR21","unstructured":"AMD: AMD64 Architecture Programmer\u2019s Manual. AMD Corporation (September 2006)"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45293-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T23:03:35Z","timestamp":1746054215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45293-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452925","9783642452932"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45293-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}