From f5e8e8068f0378a80d5181f7ee38f76f34f3646c Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 25 Jan 2017 08:26:39 +0100 Subject: Sort references --- common/refs.bib | 218 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 110 insertions(+), 108 deletions(-) (limited to 'common/refs.bib') diff --git a/common/refs.bib b/common/refs.bib index 3255356..0076c8f 100644 --- a/common/refs.bib +++ b/common/refs.bib @@ -1,16 +1,28 @@ -@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}, +% Use :: for the reference labels. +% Sort lexicographically by (YEAR, AUTHOR, TOPIC). +@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}, } -@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{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 = {1987}, + 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, } @inproceedings{Franke:2002:Futex, author = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew}, @@ -20,32 +32,25 @@ year = {2002}, url = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.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}, +@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}, } -@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{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}, } -@manual{Drepper:2013:TLS, - author = {Drepper, Ulrich}, - title = {ELF Handling For Thread-Local Storage}, - year = {2013}, - url = {http://www.akkadia.org/drepper/tls.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}, } @inproceedings{Gleixner:2006:Hrtimers, author = {Gleixner, Thomas and Niehaus, Douglas}, @@ -55,21 +60,28 @@ year = {2006}, url = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf}, } -@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}, +@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}, } -@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 = {1987}, - month = {November}, - url = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps}, +@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.}, @@ -89,6 +101,20 @@ month = {September}, url = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf} } +@book{MISRA:2012:C, + 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}}, @@ -98,6 +124,34 @@ 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}, +} +@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/}, +} @techreport{Robinson:2014:CilkN3872, author = {Robinson, Arch}, title = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}}, @@ -107,67 +161,15 @@ month = {January}, url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf} } -@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, -} -@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}, -} -@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{Williams:2012:CA, - author = {Williams, Anthony}}, - title = {{C++ Concurrency in Action – Practical Multithreading}}, - year = {2012}, - isbn = {978-1933988771}, - publisher = {Manning Publications Co}, -} -@book{MISRA:2012:C, - 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}, +@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}, } @book{CERT:2016:CCS, title = {{SEI CERT C Coding Standard}}, year = {2016}, publisher = {Carnegie Mellon University}, } -@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/}, -} -- cgit v1.2.3