Quatros: a preemptive multithreaded embedded OS for education
Abstract
Hands-on experience is crucial to truly understanding the principles of operating systems (OS). This paper describes a preemptive, multithreaded embedded OS assigned as a project in a junior-level OS course. It targets the popular 8051 instruction set architecture (ISA) and can run with as little as 128 bytes of RAM and 1 KB of program memory with preemption and synchronization primitives such as semaphores. It is written in C and assembly and compiled using the open-source Small Device C Compiler (SDCC). It runs on the free EdSim51 simulator, which simulates common peripherals such as LCD, keypads, 7-segment LEDs, ADC, and UART all in high fidelity. This course project has received positive feedback from students who took the course.
References
[1]
Krishna K Agarwal and Achla Agarwal. 2004. Do we need a separate assembly language programming course? Journal of Computing Sciences in Colleges 19, 4 (2004), 246--251.
[2]
Arm Limited. 2019. RTX51 Tiny Real-Time Kernel. http://www.keil.com/rtx51tiny/.
[3]
Richard Barry. 2019. The FreeRTOS Kernel: Market-Leading, De-facto Standard and Cross Platform RTOS Kernel. https://www.freertos.org.
[4]
Wayne A Christopher, Steven J Procter, and Thomas E Anderson. 1993. The Nachos Instructional Operating System. In USENIX Winter. 481--488.
[5]
Nannan He and Han-Way Huang. 2014. Use of FreeRTOS in Teaching a Real-Time Embedded Systems Design Course. The ASEE Computers in Education (CoED) Journal 5, 4 (2014), 18.
[6]
Intel. 1994. MCS ® 51 Microcontroller Family User's Manual.
[7]
C. Kao, C. Lee, Y. Yeh, J. Sung, and P. H. Chou. 2019. EcoSim: A Smartphone-Based Sensor-Node Emulator with Native Sensors and Protocol Stack. In 2019 International Symposium on VLSI Design, Automation and Test (VLSI-DAT). 1--4.
[8]
Vinicius Kursancew. 2011. 805x RTOS - a simple free RTOS (scheduler) for the 8051 microcontroller. https://sites.google.com/site/viniciusalexandre/arquivos/805x-rtos-8051.
[9]
James Larus. 2019. SPIM: A MIPS32 Simulator. http://spimsimulator.sourceforge.net.
[10]
James Rogers. 2019. EdSim51 - the 8051 Simulator for Teachers and Students. https://www.edsim51.com/.
[11]
Mike Saunders. 2019. MikeOS - x86 Operating System. http://mikeos.berlios.de.
[12]
Wei-Fang Sun, Shih-Hsien Chan, Zhe-Ting Liu, Yu-Hung Yeh, and Pai H. Chou. 2019. Quatros: A Preemptive Multithreaded Embedded OS for Education. https://epl.tw/quatros/.
[13]
Texas Instruments. 2011. OS Abstraction Layer Application Programming Interface. https://e2e.ti.com/cfs-file/__key/CommunityServer-Discussions-Components-Files/158/0184.OSAL-API.pdf.
Index Terms
- Quatros: a preemptive multithreaded embedded OS for education
Recommendations
Certifying low-level programs with hardware interrupts and preemptive threads
PLDI '08Hardware interrupts are widely used in the world's critical software systems to support preemptive threads, device drivers, operating system kernels, and hypervisors. Handling interrupts properly is an essential component of low-level system ...
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
Hardware interrupts are widely used in the world's critical software systems to support preemptive threads, device drivers, operating system kernels, and hypervisors. Handling interrupts properly is an essential component of low-level system ...
Transaction-friendly condition variables
SPAA '14: Proceedings of the 26th ACM symposium on Parallelism in algorithms and architecturesRecent microprocessors and compilers have added support for transactional memory (TM). While state-of-the-art TM systems allow the replacement of lock-based critical sections with scalable, optimistic transactions, there is not yet an acceptable ...
Comments
Information & Contributors
Information
Published In
Copyright © 2020 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 July 2020
Published in SIGBED Volume 17, Issue 1
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 46Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 11 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in