% Use :: for the reference labels. % Use the surname of the main author for AUTHOR. % Sort lexicographically by (YEAR, AUTHOR, TOPIC). @article{Liu:1973:Scheduling, author = {Liu, C. L. and Layland, James W.}, title = {{Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}}, journal = {Journal of the ACM}, volume = {20}, year = {1973}, pages = {46-61}, } @inproceedings{Varghese:1987:TimerWheel, author = {Varghese, G. and Lauck, T.}, title = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}}, booktitle = {Proceedings of the 11th ACM Symposium on Operating Systems Principles}, year = {1987}, url = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf}, } @inproceedings{Lehoczky:1989:RM, author = {Lehoczky, J. and Sha, L. and Ding, Y.}, booktitle = {Real-Time Systems Symposium}, title = {{The rate monotonic scheduling algorithm: exact characterization and average case behavior}}, year = {1989}, pages = {166-171}, } @inproceedings{Lehoczky:1990:Arbitrary, author = {Lehoczky, J. P.}, booktitle = {11th Real-Time Systems Symposium}, title = {{Fixed priority scheduling of periodic task sets with arbitrary deadlines}}, year = {1990}, pages = {201-209}, } @article{Sha:1990:Ada, author = {Sha, Lui and Goodenough, J. B.}, journal = {Computer}, title = {{Real-time scheduling theory and Ada}}, year = {1990}, volume = {23}, pages = {53-62}, } @article{Sha:1990:PI, author = {Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P.}, journal = {IEEE Transactions on Computers}, title = {{Priority Inheritance Protocols: An Approach to Real-Time Synchronization}}, year = {1990}, volume = {39}, pages = {1175-1185}, } @ARTICLE{Burns:1991:Review, author = {Burns, A.}, journal = {Software Engineering Journal}, title = {{Scheduling hard real-time systems: a review}}, year = {1991}, volume = {6}, pages = {116-128}, } @techreport{Varghese:1995:BSDCallout, author = {Varghese, G. and Costello, A.}, title = {{Redesigning the BSD callout and timer facilities}}, institution = {Washington University in St. Louis}, note = {WUCS-95-23}, year = {1995}, month = {November}, url = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps}, } @article{Blumofe:1999:WS, author = {Blumofe, Robert D. and Leiserson, Charles E.}, title = {{Scheduling multithreaded computations by work stealing}}, journal = {Journal of the ACM}, year = 1999, pages = {720-748}, volume = 46, } @book{Burns:2001:RealTimeSystems, author = {Burns, A. and Wellings, A. J.}, title = {{Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}}, year = {2001}, month = {November}, isbn = {978-0321417459}, publisher = {Addison-Wesley}, } @inproceedings{Franke:2002:Futex, author = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew}, title = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}}, booktitle = {Proceedings of the Ottawa Linux Symposium 2002}, pages = {479-495}, year = {2002}, url = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf}, } @misc{Kamp:2002:Timecounters, author = {Kamp, Poul-Henning}, title = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}}, year = {2002}, url = {http://www.freebsd.dk/pubs/timecounter.pdf}, } @inproceedings{Robertson:2003:ULE, author = {Robertson, Jeff}, title = {{ULE: A Modern Scheduler For FreeBSD}}, booktitle = {Proceedings of BSDCon ’03}, year = {2003}, url = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf}, } @book{Lookheed:2005:JSFAV, title = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}}, year = {2005}, month = {December}, publisher = {Lockheed Martin Corporation}, url = {http://www.stroustrup.com/JSF-AV-rules.pdf}, } @book{Buttazzo:2005:SRS, author = {Buttazzo, Giorgio and Lipari, Giuseppe and Abeni, Luca and Caccamo, Marco}, title = {{Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)}}, year = {2005}, publisher = {Plenum Publishing Co.}, } @inproceedings{Gleixner:2006:Hrtimers, author = {Gleixner, Thomas and Niehaus, Douglas}, title = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}}, booktitle = {Proceedings of the Linux Symposium}, pages = {333-346}, year = {2006}, url = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf}, } @manual{Drepper:2007:Memory, author = {Drepper, Ulrich}, title = {{What Every Programmer Should Know About Memory}}, year = {2007}, url = {http://www.akkadia.org/drepper/cpumemory.pdf}, } @inproceedings{Leijen:2009:TPL, author = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian}, title = {{The Design of a Task Parallel Library}}, booktitle = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)}, year = {2009}, month = {September}, publisher = {ACM SIGPLAN}, url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf}, address = {Atlanta, FL}, } @phdthesis{Brandenburg:2011:SL, author = {Brandenburg, Björn B.}, title = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}}, school = {The University of North Carolina at Chapel Hill}, year = {2011}, url = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf}, } @techreport{Boehm:2012:Seqlock, author = {Boehm, Hans-J.}, title = {{Can Seqlocks Get Along With Programming Language Memory Models?}}, institution = {HP Laboratories}, note = {HPL-2012-68}, year = {2012}, month = {June}, url = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf} } @techreport{Halpern:2012:CilkN3409, author = {Halpern, Pablo}, title = {{Strict Fork-Join Parallelism}}, institution = {Intel, Corp.}, note = {N3409}, year = {2012}, month = {September}, url = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf} } @book{MISRA:2012:C, author = {Banham, Dave and Banks, Andrew and Bradbury, Mark and Burden, Paul and Dawson-Butterworth, Mark and Hennell, Mike and Hills, Chris and Montgomery, Steve and Tapp, Chris and Whiting, Liz}, title = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}}, year = {2013}, month = {March}, isbn = {978-1906400101}, publisher = {MISRA Limited}, } @book{Williams:2012:CA, author = {Williams, Anthony}, title = {{C++ Concurrency in Action – Practical Multithreading}}, year = {2012}, isbn = {978-1933988771}, publisher = {Manning Publications Co}, } @techreport{Halpern:2013:CilkN3557, author = {Halpern, Pablo}, title = {{Considering a Fork-Join Parallelism Library}}, institution = {Intel, Corp.}, note = {N3557}, year = {2013}, month = {March}, url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf} } @inproceedings{Brandenburg:2013:OMIP, author = {Brandenburg, Björn B.}, title = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}}, booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, pages = {292-302}, year = {2013}, url = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf}, } @inproceedings{Burns:2013:MrsP, author = {Burns, A. and Wellings, A. J.}, title = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}}, booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, year = {2013}, url = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf}, } @manual{Drepper:2013:TLS, author = {Drepper, Ulrich}, title = {{ELF Handling For Thread-Local Storage}}, year = {2013}, url = {http://www.akkadia.org/drepper/tls.pdf}, } @inproceedings{Gujarati:2013:LPP, author = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.}, title = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}}, booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, year = {2013}, url = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf}, } @book{PRQA:2013:HIC, title = {{High Integrity C++ Coding Standard Version 4.0}}, year = {2013}, month = {October}, publisher = {Programming Research Ltd}, url = {http://www.codingstandard.com/}, } @inproceedings{Cerqueira:2014:LPA, author = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.}, title = {{Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}}, booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)}, year = {2014}, url = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf}, } @inproceedings{Compagnin:2014:RUN, author = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio}, title = {{Putting RUN into practice: implementation and evaluation}}, booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)}, year = {2014}, } @techreport{Robinson:2014:CilkN3872, author = {Robinson, Arch}, title = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}}, institution = {Intel, Corp.}, note = {N3872}, year = {2014}, month = {January}, url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf} } @inproceedings{Catellani:2015:MrsP, author = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico}, title = {{Challenges in the Implementation of MrsP}}, booktitle = {Reliable Software Technologies - Ada-Europe 2015}, pages = {179-195}, year = {2015}, } @inproceedings{Huang:2015:RTB, author = {Huang, Wen-Hung and Chen, Jian-Jia}, title = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors}, booktitle = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems}, year = {2015}, pages = {215-224}, } @book{CERT:2016:CCS, title = {{SEI CERT C Coding Standard}}, year = {2016}, publisher = {Carnegie Mellon University}, } @inproceedings{Chen:2016:Overrun, author = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia}, title = {{Overrun Handling for Mixed-Criticality Support in RTEMS}}, booktitle = {Mixed Criticality Systems - WMC 2016}, pages = {13-14}, year = {2016}, url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf}, } @inproceedings{vonderBr:2016:DynRT, author = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia}, booktitle = {IEEE Real-Time Systems Symposium (RTSS)}, title = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}}, year = {2016}, pages = {303-314}, } @inproceedings{Lozi:2016:LSDWC, author = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra}, title = {{The Linux Scheduler: a Decade of Wasted Cores}}, booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)}, year = {2016}, url = {https://hal.archives-ouvertes.fr/hal-01295194/document}, } @misc{RTEMS:CPU, title = {{RTEMS CPU Architecture Supplement}}, url = {https://docs.rtems.org/branches/master/cpu-supplement.pdf}, }