summaryrefslogtreecommitdiffstats
path: root/common/refs.bib
blob: e412fffeba26ccef62c76b21deb27a1d2a004061 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
% Use <AUTHOR>:<YEAR>:<TOPIC> 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},
}
@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}},
  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{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{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},
}