source: rtems-docs/common/refs.bib @ 2a06644

5
Last change on this file since 2a06644 was b033e39, checked in by Sebastian Huber <sebastian.huber@…>, on 02/02/17 at 09:46:05

c-user: Add SMP application issues section

  • Property mode set to 100644
File size: 12.5 KB
Line 
1% Use <AUTHOR>:<YEAR>:<TOPIC> for the reference labels.
2% Use the surname of the main author for AUTHOR.
3% Sort lexicographically by (YEAR, AUTHOR, TOPIC).
4@article{Liu:1973:Scheduling,
5  author      = {Liu, C. L. and Layland, James W.},
6  title       = {{Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}},
7  journal     = {Journal of the ACM},
8  volume      = {20},
9  year        = {1973},
10  pages       = {46-61},
11}
12@inproceedings{Varghese:1987:TimerWheel,
13  author      = {Varghese, G. and Lauck, T.},
14  title       = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}},
15  booktitle   = {Proceedings of the 11th ACM Symposium on Operating Systems Principles},
16  year        = {1987},
17  url         = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf},
18}
19@inproceedings{Lehoczky:1989:RM,
20  author      = {Lehoczky, J. and Sha, L. and Ding, Y.},
21  booktitle   = {Real-Time Systems Symposium},
22  title       = {{The rate monotonic scheduling algorithm: exact characterization and average case behavior}},
23  year        = {1989},
24  pages       = {166-171},
25}
26@inproceedings{Lehoczky:1990:Arbitrary,
27  author      = {Lehoczky, J. P.},
28  booktitle   = {11th Real-Time Systems Symposium},
29  title       = {{Fixed priority scheduling of periodic task sets with arbitrary deadlines}},
30  year        = {1990},
31  pages       = {201-209},
32}
33@article{Sha:1990:Ada,
34  author      = {Sha, Lui and Goodenough, J. B.},
35  journal     = {Computer},
36  title       = {{Real-time scheduling theory and Ada}},
37  year        = {1990},
38  volume      = {23},
39  pages       = {53-62},
40}
41@article{Sha:1990:PI,
42  author      = {Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P.},
43  journal     = {IEEE Transactions on Computers},
44  title       = {{Priority Inheritance Protocols: An Approach to Real-Time Synchronization}},
45  year        = {1990},
46  volume      = {39},
47  pages       = {1175-1185},
48}
49@ARTICLE{Burns:1991:Review,
50  author      = {Burns, A.},
51  journal     = {Software Engineering Journal},
52  title       = {{Scheduling hard real-time systems: a review}},
53  year        = {1991},
54  volume      = {6},
55  pages       = {116-128},
56}
57@techreport{Varghese:1995:BSDCallout,
58  author      = {Varghese, G. and Costello, A.},
59  title       = {{Redesigning the BSD callout and timer facilities}},
60  institution = {Washington University in St. Louis},
61  note        = {WUCS-95-23},
62  year        = {1995},
63  month       = {November},
64  url         = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps},
65}
66@article{Blumofe:1999:WS,
67  author      = {Blumofe, Robert D. and Leiserson, Charles E.},
68  title       = {{Scheduling multithreaded computations by work stealing}},
69  journal     = {Journal of the ACM},
70  year        = 1999,
71  pages       = {720-748},
72  volume      = 46,
73}
74@book{Burns:2001:RealTimeSystems,
75  author      = {Burns, A. and Wellings, A. J.},
76  title       = {{Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}},
77  year        = {2001},
78  month       = {November},
79  isbn        = {978-0321417459},
80  publisher   = {Addison-Wesley},
81}
82@inproceedings{Franke:2002:Futex,
83  author      = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew},
84  title       = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}},
85  booktitle   = {Proceedings of the Ottawa Linux Symposium 2002},
86  pages       = {479-495},
87  year        = {2002},
88  url         = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf},
89}
90@misc{Kamp:2002:Timecounters,
91  author      = {Kamp, Poul-Henning},
92  title       = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}},
93  year        = {2002},
94  url         = {http://www.freebsd.dk/pubs/timecounter.pdf},
95}
96@inproceedings{Robertson:2003:ULE,
97  author      = {Robertson, Jeff},
98  title       = {{ULE: A Modern Scheduler For FreeBSD}},
99  booktitle   = {Proceedings of BSDCon ’03},
100  year        = {2003},
101  url         = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf},
102}
103@book{Lookheed:2005:JSFAV,
104  title       = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}},
105  year        = {2005},
106  month       = {December},
107  publisher   = {Lockheed Martin Corporation},
108  url         = {http://www.stroustrup.com/JSF-AV-rules.pdf},
109}
110@book{Buttazzo:2005:SRS,
111  author      = {Buttazzo, Giorgio and Lipari, Giuseppe and Abeni, Luca and Caccamo, Marco},
112  title       = {{Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)}},
113  year        = {2005},
114  publisher   = {Plenum Publishing Co.},
115}
116@inproceedings{Gleixner:2006:Hrtimers,
117  author      = {Gleixner, Thomas and Niehaus, Douglas},
118  title       = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}},
119  booktitle   = {Proceedings of the Linux Symposium},
120  pages       = {333-346},
121  year        = {2006},
122  url         = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf},
123}
124@manual{Drepper:2007:Memory,
125  author      = {Drepper, Ulrich},
126  title       = {{What Every Programmer Should Know About Memory}},
127  year        = {2007},
128  url         = {http://www.akkadia.org/drepper/cpumemory.pdf},
129}
130@inproceedings{Leijen:2009:TPL,
131  author      = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian},
132  title       = {{The Design of a Task Parallel Library}},
133  booktitle   = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)},
134  year        = {2009},
135  month       = {September},
136  publisher   = {ACM SIGPLAN},
137  url         = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf},
138  address     = {Atlanta, FL},
139}
140@phdthesis{Brandenburg:2011:SL,
141  author      = {Brandenburg, Björn B.},
142  title       = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}},
143  school      = {The University of North Carolina at Chapel Hill},
144  year        = {2011},
145  url         = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf},
146}
147@techreport{Boehm:2012:Seqlock,
148  author      = {Boehm, Hans-J.},
149  title       = {{Can Seqlocks Get Along With Programming Language Memory Models?}},
150  institution = {HP Laboratories},
151  note        = {HPL-2012-68},
152  year        = {2012},
153  month       = {June},
154  url         = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf}
155}
156@techreport{Halpern:2012:CilkN3409,
157  author      = {Halpern, Pablo},
158  title       = {{Strict Fork-Join Parallelism}},
159  institution = {Intel, Corp.},
160  note        = {N3409},
161  year        = {2012},
162  month       = {September},
163  url         = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf}
164}
165@book{MISRA:2012:C,
166  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},
167  title       = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}},
168  year        = {2013},
169  month       = {March},
170  isbn        = {978-1906400101},
171  publisher   = {MISRA Limited},
172}
173@book{Williams:2012:CA,
174  author      = {Williams, Anthony},
175  title       = {{C++ Concurrency in Action – Practical Multithreading}},
176  year        = {2012},
177  isbn        = {978-1933988771},
178  publisher   = {Manning Publications Co},
179}
180@techreport{Halpern:2013:CilkN3557,
181  author      = {Halpern, Pablo},
182  title       = {{Considering a Fork-Join Parallelism Library}},
183  institution = {Intel, Corp.},
184  note        = {N3557},
185  year        = {2013},
186  month       = {March},
187  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf}
188}
189@inproceedings{Brandenburg:2013:OMIP,
190  author      = {Brandenburg, Björn B.},
191  title       = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}},
192  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
193  pages       = {292-302},
194  year        = {2013},
195  url         = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf},
196}
197@inproceedings{Burns:2013:MrsP,
198  author      = {Burns, A. and Wellings, A. J.},
199  title       = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}},
200  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
201  year        = {2013},
202  url         = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf},
203}
204@manual{Drepper:2013:TLS,
205  author      = {Drepper, Ulrich},
206  title       = {{ELF Handling For Thread-Local Storage}},
207  year        = {2013},
208  url         = {http://www.akkadia.org/drepper/tls.pdf},
209}
210@inproceedings{Gujarati:2013:LPP,
211  author    = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.},
212  title     = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}},
213  booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
214  year      = {2013},
215  url       = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf},
216}
217@book{PRQA:2013:HIC,
218  title       = {{High Integrity C++ Coding Standard Version 4.0}},
219  year        = {2013},
220  month       = {October},
221  publisher   = {Programming Research Ltd},
222  url         = {http://www.codingstandard.com/},
223}
224@inproceedings{Cerqueira:2014:LPA,
225  author    = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.},
226  title     = {{Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}},
227  booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)},
228  year      = {2014},
229  url       = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf},
230}
231@inproceedings{Compagnin:2014:RUN,
232  author    = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio},
233  title     = {{Putting RUN into practice: implementation and evaluation}},
234  booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)},
235  year      = {2014},
236}
237@techreport{Robinson:2014:CilkN3872,
238  author      = {Robinson, Arch},
239  title       = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}},
240  institution = {Intel, Corp.},
241  note        = {N3872},
242  year        = {2014},
243  month       = {January},
244  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf}
245}
246@inproceedings{Catellani:2015:MrsP,
247  author      = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
248  title       = {{Challenges in the Implementation of MrsP}},
249  booktitle   = {Reliable Software Technologies - Ada-Europe 2015},
250  pages       = {179-195},
251  year        = {2015},
252}
253@inproceedings{Huang:2015:RTB,
254  author      = {Huang, Wen-Hung and Chen, Jian-Jia},
255  title       = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors},
256  booktitle   = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems},
257  year        = {2015},
258  pages       = {215-224},
259}
260@book{CERT:2016:CCS,
261  title       = {{SEI CERT C Coding Standard}},
262  year        = {2016},
263  publisher   = {Carnegie Mellon University},
264}
265@inproceedings{Chen:2016:Overrun,
266  author      = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia},
267  title       = {{Overrun Handling for Mixed-Criticality Support in RTEMS}},
268  booktitle   = {Mixed Criticality Systems - WMC 2016},
269  pages       = {13-14},
270  year        = {2016},
271  url         = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf},
272}
273@inproceedings{vonderBr:2016:DynRT,
274  author      = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia},
275  booktitle   = {IEEE Real-Time Systems Symposium (RTSS)},
276  title       = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}},
277  year        = {2016},
278  pages       = {303-314},
279}
280@inproceedings{Lozi:2016:LSDWC,
281  author    = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra},
282  title     = {{The Linux Scheduler: a Decade of Wasted Cores}},
283  booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)},
284  year      = {2016},
285  url       = {https://hal.archives-ouvertes.fr/hal-01295194/document},
286}
287@misc{RTEMS:CPU,
288  title     = {{RTEMS CPU Architecture Supplement}},
289  url       = {https://docs.rtems.org/branches/master/cpu-supplement.pdf},
290}
Note: See TracBrowser for help on using the repository browser.