source: rtems-docs/common/refs.bib @ c660173

5
Last change on this file since c660173 was c660173, checked in by Kuan-Hsun Chen <c0066c@…>, on 01/26/17 at 13:48:33

c-user: Update overrun handling related functions and structure

State the limited count of postponed_jobs.
Update _rtems_rate_monotonic_get_status() and related structure.
Move "Further Reading" in c-user to references.
Add mentioned papers in ticket #2795 to references.

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