Implementing real-time services in MINIX

Abstract

In this work we present the results of a project devoted to provide programming facilities to develop hard real-time software. We have used MINIX operating system as a tool for our experience. We allow the programmer to define timing constraints for the tasks, letting to the Operating System the work of running these tasks in a timely fashion. In this way, we can improve productivity, security and costs in the system development cycle.

References

1. {Che88} CHENG, S; STANKOVIC, J.; RAMAMRITHAM, K. "Scheduling Algorithms for Real-time systems: a brief survey". In "Real-Time Systems", IEEE Press, 1993. pp. 150-173.
2. {Liu73} LIU, C.; LAYLAND, J. "Scheduling algorithms for multiprogramming in a Hard Real Time System Environment". Journal of the ACM, Vol. 20, No. 1, 1973, pp. 46-61.
3. {Liu91} LIU, W.S. et al. "Algorithms for scheduling imprecise computations". IEEE Computer. May 1991.
4. {Sha90} SHA, L.; GOODENOUGH, J. "Real-Time Scheduling Theory and Ada". IEEE Computer, April 1990. pp. 53-62.
5. {Sta88} STANKOVIC, J. "Misconceptions about Real-Time computing". IEEE Computer, October 1988. pp. 10-19.
6. {Tan87} TANNENBAUM, A. "A Unix clone with source code for Operating Systems courses". Operating Systems Review, vol. 21, January 1987.
7. {Tan91} TANNENBAUM, A. et al. "MINIX 1.5 Reference manual". Prentice-Hall, Englewood Cliffs, New Jersey 07632. 1991.
8. {Wai92} WAINER, G. "A survey of the results of using Minix as a tool for teaching in Operating Systems Courses". Proceedings of the XII International Conference of the SCCC. Editorial de la USACH. 1992.
9. {Wai94} WAINER, G. "Experimental Evaluation of Real-Time Scheduling Algorithms in a Time-Sharing Operating System". Internal report, Computer Sciences Department. Submited to "Sigmetrics and Performance '95".
10. {Wai94b} WAINER, G. "Inclusión de mecanismos de Tiempo Real en un Sistema Operativo de Tiempo Compartido". Proceedings of the II Encuentro Chileno de Computación. 1994.

Index Terms

• Computer systems organization

  • Embedded and cyber-physical systems

    • Embedded systems

  • Real-time systems

• Social and professional topics

  • Professional topics

    • Management of computing and information systems

      • Software management

• Software and its engineering

  • Software creation and management

  • Software organization and properties

    • Contextual software domains

      • Operating systems

    • Software system structures

      • Embedded software

      • Real-time systems software

• Theory of computation

  • Design and analysis of algorithms

    • Approximation algorithms analysis

      • Scheduling algorithms

    • Online algorithms

      • Online learning algorithms

        • Scheduling algorithms

  • Theory and algorithms for application domains

    • Machine learning theory

      • Reinforcement learning

        • Sequential decision making