summaryrefslogtreecommitdiffstats
path: root/index.html
blob: db09a8c89a8207d12718890e7623dca68fc43541 (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
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
<?xml version="1.0" encoding="utf-8" ?> 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
    <meta name="verify-v1" content="pZNmf5XyUUfAPdlSPbFSavMUsLgVsmBYOXzOhbIy2gw=" />
    <link rel="stylesheet" type="text/css" href="inc/format.css"/>
    <title>LITMUS RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems</title>
  </head>
  <body>   
    <div class="logobox">
        <img src="inc/litmusrt.png" alt="LITMUS^RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems" /> 
	<p class="authors">
	   <a href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson &amp;
	   Students</a>, 
	   <a href="http://www.unc.edu">The University of North Carolina at Chapel Hill</a>
	</p> 

   </div>

   <div class="nav">
   <p>   
   <a href="#about">about</a> - 
   <a href="#support">support</a> -
   <a href="#collaborators">collaborators</a> - 
   <a href="#publications">publications</a> - 
   <a href="#download">download</a> - 
   <a href="#install">installation</a> -
   <a href="#links">documentation</a>      
   </p>
   </div>

   <h2 id="about">About</h2>
    <div class="box">
    <p class="nomargin">
    The LITMUS<sup>RT</sup> project is a soft real-time extension of the Linux
    kernel with focus on multiprocessor real-time scheduling and
    synchronization. The Linux kernel is modified 
    to support the sporadic task
    model and modular scheduler plugins. Both partitioned and global scheduling
    is supported. 
    </p>
    <p>
    The current version of LITMUS<sup>RT</sup> is <strong>2008.1</strong> and is based on Linux&nbsp;2.6.24. 
    It was released on 7/19/2008 and includes plugins for the following
    scheduling policies:
    </p>
    <ul>
      <li> Partitioned EDF with synchronization support (PSN-EDF)</li>
      <li> Global EDF with synchronization support (GSN-EDF)</li>
      <li> Clustered EDF (C-EDF) </li>
      <li> PFAIR (both staggered and aligned quanta are supported)</li>
    </ul>
    <p>
    </p>
    <p>Earlier versions (2007.1 &mdash; 2007.3), which are based on Linux&nbsp;2.6.20 
    and support additional scheduling policies, are discussed 
    on a separate page dedicated to the <a href="litmus2007.html">LITMUS<sup>RT</sup> 2007 series</a>.
    </p>
    <p class="nobottommargin">
       The first version of LITMUS<sup>RT</sup>, which was implemented in Spring 2006, 
       is based on Linux&nbsp;2.6.9.
    </p>
    </div>

   <h2 id="support">Support</h2>
    <div class="box">
    <p class="nomargin">
    The LITMUS<sup>RT</sup> development effort is being supported by grants from
    Intel Corp., IBM Corp., The National Science Foundation (grant CCR 0615197), and The U.S.
    Army Research Office (grant W911NF-06-1-0425).
    </p>
    </div>

   <h2 id="collaborators">Collaborators</h2> 
    <div class="box"> 
    <p class="notopmargin"> The LITMUS<sup>RT</sup> project is led by <a
    href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>.
    </p>
    <p>
    The implementation effort is carried out by students of the 
    <a href="http://www.cs.unc.edu/~anderson/real-time/">Real-Time Systems
    Group</a> at the <a href="http://www.unc.edu">University of North Carolina
    at Chapel Hill</a>:
    </p>
    <ul>
    <li>
	<a href="http://www.cs.unc.edu/~bbb/">Bj&ouml;rn B. Brandenburg</a>
    </li>
    <li> <a href="http://www.cs.unc.edu/~jmc/">John M. Calandrino</a>
    </li>
    </ul>
	<p>
	(<a href="litmus2007.html#collaborators">Additional contributors</a> contributed to earlier versions of LITMUS<sup>RT</sup>.)
	</p>
    </div>
    

    <h2 id="publications">Publications</h2> 
    <div class="box"> 
    
    <ol class="nomargin">      

      <li>
      	<p>
	B. Brandenburg and J. Anderson,
	&ldquo;A Comparison of the M-PCP, D-PCP, and FMLP on LITMUS<sup>RT</sup>&rdquo;, 
	<cite>Proceedings of the 12th International Conference on Principles of Distributed Systems</cite>, December 2008, to appear. 
	<a href="http://www.cs.unc.edu/~anderson/papers/opodis08.ps">Postscript</a>. <a href="http://www.cs.unc.edu/~anderson/papers/opodis08.pdf">PDF</a>.
	</p>
      </li>
      
      <li>
      	<p>
	B. Brandenburg, J. Calandrino,  and J. Anderson,
	&ldquo;On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study&rdquo;,
	<cite>Proceedings of the 29th IEEE Real-Time Systems Symposium</cite>, December 2008, to appear.
	<a href="http://www.cs.unc.edu/~anderson/papers/rtss08b.ps">Postscript</a>. <a href="http://www.cs.unc.edu/~anderson/papers/rtss08b.pdf">PDF</a>.
	</p>
      </li>

      <li>
      	<p>
	B. Brandenburg and J. Anderson,
	&ldquo;An Implementation of the PCP, SRP, D-PCP, M-PCP, 
	and FMLP Real-Time Synchronization Protocols in LITMUS<sup>RT</sup>&rdquo;, 
	<cite>Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications</cite>, pp. 185-194, August 2008. 
	<a href="http://www.cs.unc.edu/~anderson/papers/rtcsa08.ps">Postscript</a>. <a href="http://www.cs.unc.edu/~anderson/papers/rtcsa08.pdf">PDF</a>.
	</p>
	<p><strong>Note:</strong> The work described in this paper took part in a branch that is currently not part of
	   the main distribution. For reference, we provide the branch as a separate download:
	</p>
 	  <ul>
	 <li>
	 	<a href="download/RTCSA08/litmus-rt-RTCSA08.patch">litmus-rt-RTCSA08.patch</a>
	 </li>
	 <li>
	 	<a href="download/RTCSA08/liblitmus-RTCSA08.tgz">liblitmus-RTCSA08.tgz</a>
	 </li>
	 <li><a href="download/RTCSA08/SHA256SUMS">SHA256 check sums</a>
	 </li>
         </ul>
	 <p>Please don't use this version for active development. If you are interested in this work, it would be best 
	 to first port the desired features to LTIMUS<sup>RT</sup> 2008 and merge them into the main distribution.
	 </p>

      </li>

      <li>
       <p>
	A. Block, B. Brandenburg, J. Anderson,
	and S. Quint, &ldquo;An Adaptive Framework for Multiprocessor Real-Time Systems&rdquo;, 
	<cite>Proceedings of the 20th Euromicro Conference on Real-Time Systems</cite>, pp. 23-33, July 2008. 
	<a href="http://www.cs.unc.edu/~anderson/papers/ecrts08b.ps">Postscript</a>. <a href="http://www.cs.unc.edu/~anderson/papers/ecrts08b.pdf">PDF</a>.
	</p>
      </li>

      <li>
      <p>
	B. Brandenburg, J. Calandrino, A. Block,
	H. Leontyev, and J. Anderson, &ldquo;Real-Time Synchronization
	on Multiprocessors: To Block or Not to Block, to Suspend or
	Spin?&rdquo;, <cite> Proceedings of the 14th IEEE Real-Time and Embedded
Technology and Applications Symposium</cite>, pp. 342-353, April 2008.  
	<a href="http://www.cs.unc.edu/~anderson/papers/rtas08.ps">Postscript</a>. <a href="http://www.cs.unc.edu/~anderson/papers/rtas08.pdf">PDF</a>.
	</p>
      <p>
	Extended version, including all graphs:
	<a href="http://www.cs.unc.edu/~anderson/papers/rtas08along.ps">Postscript</a>,
	<a href="http://www.cs.unc.edu/~anderson/papers/rtas08along.pdf">PDF</a>.
      </p>
    </li>

    <li>
      <p>
	B. Brandenburg, A. Block, J. Calandrino, U. Devi, H. Leontyev, and J. Anderson,
	&quot;LITMUS<sup>RT</sup>:  A Status Report&quot;, <cite> Proceedings of the 9th
	  Real-Time Linux Workshop</cite>, pp. 107-123, November 2007.
	<a href="http://www.cs.unc.edu/~anderson/papers/rtlws07.ps">Postscript</a>.
	<a href="http://www.cs.unc.edu/~anderson/papers/rtlws07.pdf">PDF</a>.
      </p>
    </li>

    <li>
      <p>
	B. Brandenburg and J. Anderson, &quot;Integrating Hard/Soft Real-Time Tasks
	and Best-Effort Jobs on Multiprocessors&quot;, <cite> Proceedings of the 19th Euromicro
	  Conference on Real-Time Systems</cite>, pp. 61-70, July 2007.
	<a href="http://www.cs.unc.edu/~anderson/papers/ecrts07b.ps">Postscript</a>, 
	<a href="http://www.cs.unc.edu/~anderson/papers/ecrts07b.pdf">PDF</a>.
      </p>
    </li>
    

    <li>
    <p>
      J. Calandrino, H. Leontyev, A. Block, U. Devi, and J. Anderson,
      &quot;LITMUS<sup>RT</sup>: A Testbed for Empirically Comparing Real-Time
      Multiprocessor Schedulers &quot;, <cite>Proceedings of the 27th IEEE Real-Time Systems
	Symposium</cite>, pp. 111-123, December 2006.
      <a href="http://www.cs.unc.edu/~anderson/papers/rtss06b.ps">Postscript</a>,
      <a href="http://www.cs.unc.edu/~anderson/papers/rtss06b.pdf">PDF</a>.
    </p>
    </li>
    
    </ol>
    </div>
    
    <h2 id="download">Download</h2> 
    <div class="box"> 
    <p class="notopmargin">
    The source code of LITMUS<sup>RT</sup> is made available as open source
    under the terms of the <a href="http://www.gnu.org/licenses/gpl.txt">GNU
    General Public License (GPL)</a>. 
    </p>
    <p>
    The current release of LITMUS<sup>RT</sup> is 2008.1. 
    It  consists of our Linux kernel modifications in the form of
    a patch against Linux 2.6.24 and 
    <span class="src">liblitmus</span>, the user-space API for real-time tasks.
    </p>

    <h3 class="relname">LITMUS<sup>RT</sup> 2008.1</h3>
    <div class="release">
    <p>
         Based on Linux 2.6.24. Released in July 2008.
    </p>
   <h4>Files:</h4>
    <ul>
	 <li>
	 	<a href="download/2008.1/litmus-rt-2008.1.patch">litmus-rt-2008.1.patch</a>
	 </li>
	 <li>
	 	<a href="download/2008.1/liblitmus-2008.1.tgz">liblitmus-2008.1.tgz</a>
	 </li>
	 <li><a href="download/2008.1/SHA256SUMS">SHA256 check sums</a>
	 </li>
    </ul>

    <h4>Major changes (since LITMUS<sup>RT</sup> 2007.3):</h4> 
	 <ul>
	   <li>LITMUS<sup>RT</sup> was ported to Linux 2.6.24.
	   </li>
	   <li>LITMUS<sup>RT</sup> was ported to <span style="src">sparc64</span>.
	   </li>
	   <li>LITMUS<sup>RT</sup> is now a proper scheduling class (<span class="src">SCHED_LITMUS</span>).
	   </li>
	   <li>
	   LITMUS<sup>RT</sup> queues are now based on mergeable heaps.
	   </li>
	   <li>Support for multi-threaded real-time tasks.
	   </li>
	   <li>Scheduler plugins can be selected at runtime; no reboot required.
	   </li>
	   <li>
	     Many bug fixes.
	   </li>
	 </ul>
    </div>
    
    <p>
       Please note that the current implementation is a <em>prototype</em> with
       certain limitations. Most notably, it is not secure in a multiuser context,
       <em>i.e.</em>, real-time system calls do not require superuser
       privileges.
    </p>

    <p class="nobottommargin">
    Older releases: <a href="litmus2007.html">LITMUS<sup>RT</sup> 2007 series</a>.
    </p>

    </div>


    <h2 id="install">Installation</h2> 
    <div class="box"> 
    <p class="notopmargin">
    The current release of LITMUS<sup>RT</sup> consists of an
    extension of the Linux kernel that adds support for the sporadic task
    model, a scheduler plugin infrastructure, and some scheduler plugins, as
    well as a user-space library that provides the LITMUS<sup>RT</sup>
    real-time API. Note that the current implementation only works on the
    Intel x86-32 and sparc64 architectures.
    </p>
    <h3>Patching the Kernel</h3>
    <p class="notopmargin">
    The extension to the Linux kernel is released as a patch against Linux
    2.6.24. To install the LITMUS<sup>RT</sup> kernel, first <a
    href="http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.24.tar.bz2">download the Linux
    kernel 2.6.24</a> and untar it in a directory of your choice (hereafter
    referred to as <span class="src">$DIR</span>). Second, apply the
    LITMUS<sup>RT</sup> patch (see <a href="#download">Section Download</a>)
    and configure, compile, and install the kernel as usual. The patch is <span
    class="src">-p1</span> applicable. 
    To summarize, the  LITMUS<sup>RT</sup> kernel can be obtained, patched, and
    compiled with the following commands:
    </p>
<pre class="shell">
cd $DIR
# get Linux 2.6.24
wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.24.tar.bz2
tar xjf linux-2.6.24.tar.bz2
wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2008.1/litmus-rt-2008.1.patch
mv linux-2.6.24 litmus2008
# apply the LITMUS RT patch
cd litmus2008
patch -p1 &lt; ../litmus-rt-2008.1.patch
# create a working kernel configuration with HZ=1000
make menuconfig
# compile the kernel
make bzImage
make modules
# proceed to install kernel, build initrd, etc.
...
</pre>
    <p>
      When configuring the kernel, note that there is a menu (at the very end of the list) 
      with LITMUS<sup>RT</sup>-specific configuration options.
    </p>

    <h3>Libraries</h3>
    <p class="notopmargin">
    The user-space library for real-time tasks, <span class="src">liblitmus</span>, 
    depends on the LITMUS<sup>RT</sup> kernel kernel and provides its own makefile. 
    In order to compile <span class="src">liblitmus</span>, you need to adjust the
    variable <span class="src">KERNEL_DIR</span> in the Makfile to point to your 
    copy of the kernel.
    </p>
<pre class="shell">
cd $DIR
wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2008.1/liblitmus-2008.1.tgz
tar xzf liblitmus-2008.1.tgz
cd liblitmus 
# change KERNEL_DIR in Makefile to point to the kernel source
make
</pre>
    <p class="nobottommargin">
    Please refer to the <a href="#doc">documentation</a> on how to use the LITMUS<sup>RT</sup>
    real-time API as provided by <span class="src">liblitmus</span>.
    </p>

    </div>


    <h2 id="doc">Documentation</h2> 
    <div class="box"> 

    <p class="notopmargin">
      Unfortunately, most of the documentation has yet to be written. To get an overview of
      the architecture of the kernel extension, we recommend reading the paper
      <a href="http://www.cs.unc.edu/~anderson/papers/rtlws07.pdf">&ldquo;LITMUS<sup>RT</sup>:
      A Status Report&rdquo;</a>.
    </p>
    <h3>Real-Time Scheduling Policies</h3>
    <p class="qa">
    The kernel contains the following real-time scheduling policy implementations:
    </p>
    <ul>
      <li>
      PFAIR, an implementation of the PD<sup>2</sup> algorithm,
      </li>
      <li>
      PSN-EDF, a partitioned EDF (P-EDF) implementation with support for the real-time synchronization protocol
      FMLP,
      </li>
      <li>
      GSN-EDF, a global EDF (G-EDF) implementation with support for the real-time synchronization protocol
      FMLP,
      </li>
      <li>
      C-EDF (Clustered EDF), a hybrid of G-EDF and P-EDF, and
      </li>
      <li>
      Linux, a placeholder policy that disables all real-time functionality added by the LITMUS<sup>RT</sup> patch.
      </li>
    </ul>
    <p>
    Only one policy can be active at any time. Initially (<em>i.e.,</em> during boot), the "Linux" policy is active.
    You can use the tool <span class="src">showsched</span> (part of <span class="src">liblitmus</span>) to display
    the name of the currently active policy.
    </p>
    <h3>Changing the Active Policy</h3>
    <p class="qa">
    You can use the tool <span class="src">setsched</span> (part of <span class="src">liblitmus</span>) 
    to select a new plugin at run time.
    </p>
    <div class="screenshot">
    <img  src="gfx/setsched.png" alt="Screen shot of setsched"/>
    </div>
    <p>
    Only root can change the active policy, and only when there are no real-time tasks present.
    </p>
    <h3>Writing Real-Time Tasks</h3>
    <p class="qa">
    The user space library that provides the LITMUS<sup>RT</sup> API, 
    <span class="src">liblitmus</span>, contains two example real-time tasks 
    (<span class="src">base_task.c</span> and 
     <span class="src">base_mt_task.c</span>)
    that both illustrate how to use the API and provide a skeleton for real-time
    task development. To get started with development, please take a look these example
    programs.
    </p>
    <p class="nobottommargin">
      Please contact <span class="src">bbb[AT]cs.unc.edu</span> if you have any
      questions.
    </p>


    </div>

    <h2 id="credits">Credits</h2> 
    <div class="box">
    <div style="float: right;">    
    <a href="http://validator.w3.org/check?uri=referer"><img
        src="http://www.w3.org/Icons/valid-xhtml10"
        alt="Valid XHTML 1.0 Strict" height="31" width="88"/></a>
    </div>

    <p class="nomargin">
    Linux is a registered trademark of Linus Torvalds. <br /> The
    LITMUS<sup>RT</sup> logo was designed by Jasper McChesney of <a href="http://www.breakforsense.net/">Break for Sense Design</a>. <br />
    Web design by Bj&ouml;rn Brandenburg.
    </p>


    </div>

<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-3184628-1";
urchinTracker();
</script>
</body>
</html>