A measurement-based analysis of the responsiveness of the Linux kernel

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2006, Pages 397-405

  Marchesotti, Matteo ^a   Migliardi, Mauro ^b   Podestà, Roberto ^a  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITY OF PADOVA   (Italy)

Author keywords

Embedded systems; Linux; Soft real time

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE; EMBEDDED SYSTEMS; MULTIMEDIA SYSTEMS; REAL TIME SYSTEMS;

HARDWARE INTERRUPTS; KERNELS; LINUX; VARIANCE;

COMPUTER OPERATING SYSTEMS;

EID: 34249994149     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.9     Document Type: Conference Paper

References (17)

1. Linux Kernel http://www.kernel.org
2. Embedded Linux market snapshot, 2005 http://linuxdevices.com/articles/ AT4036830962.html
3. POSIX Standard http://standards.ieee.org/regauth/posix/
4. Linux Devices http://www.linuxdevices.com/
5. P. Mantegazza, E. Bianchi, L. Dozio, S. Papachar-alambous, RTAI: Real Time Application Interface, Linux Journal, April 2000.
6. Platform and Linux Distributions http://www.linuxhq.com/dist.html
7. The Linux/Microcontroller project for systems without a MMU http://www.uclinux.org/
8. Linux distribution for embedded system http://www.linuxlinks.com/ Embedded/Distributions/
9. RTAI http://www.aero.polimi.it/~rtai
10. E. Bianchi, L. Dozio, Some Experiences in fast hard realtime control in user space with RTAI-LXRT, 2nd Realtime Linux Workshop, Orlando, Florida (USA), November 27-28, 2000.
11. M. Barabanov and V. Yodaiken. Real-time Linux - Linux journal, March 1996
12. RTLinux http://www.fsmlabs.com
13. Clark Williams, Red Hat, Inc. March 2002, Linux Scheduler Latency http://www.linuxdevices.com/files/article027/rh-rtpaper.pdf
14. Doug Abbot - Linux for Embedded and Real-time Applications, (Newnes)
15. Jonathan Corbet, Alessandro Rubini, Greg Kroah-Hartman, Linux Device Drivers 3rd edition, pp. 213-233. O'Reilly, 2005.
16. Thttpd web server http://www.acme.com/software/thttpd/
17. Apache web server http://www.apache.org