Quantitative analysis of hardware support for real-time operating systems

Real-Time Systems

Volumn 10, Issue 2, 1996, Pages 123-142

  Chatterjee, Saurav ^a   Strosnider, Jay ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Analysis; Computer architecture; Modeling; Operating systems

Indexed keywords

AIR NAVIGATION; AVIONICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SIMULATION; COMPUTER SOFTWARE; MICROPROCESSOR CHIPS; PERFORMANCE; REAL TIME SYSTEMS;

HARDWARE ASSISTED FIXED PRIORITY SCHEDULER; MONOLITHIC KERNEL DESIGN; REAL TIME MACH OPERATING SYSTEM; REAL TIME TASK SETS; SCHEDULING MODEL; WORST CASE PERFORMANCE;

COMPUTER OPERATING SYSTEMS;

EID: 0030108937     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00360338     Document Type: Article

References (27)

1. Agarwal, A., Hennessy, J., and Horowitz, M. 1988. Cache performance of operating system and multiprogramming workloads. ACM Transactions on Computer Systems, November, pp. 393-431.
2. Anderson, T. E., Levy, H. M.,Bershad, B. N., and Lazowska, E. D. 1991. The Interaction of Architecture and Operating System Design. Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 108-120, April 8, 1991.
3. Arakawa, H., Katcher, D., Strosnider, J., and Tokuda, H. 1993. Modeling and Validation of the Real-Time Mach Scheduler. ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, May.
4. Bershad, B. 1992. The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems. Proceedings of the 1992 USENIX Workshops on Microkernels.
5. Chatterjee, S., and Strosnider, J. 1994. Issues in Hardware Support for Micro-kernel Based Operating Systems. CMUCSC-94-1 Technical Report, Carnegie Mellon University, March.
6. Chen, J., and Bershad, B. 1993. The Impact of Operating System Structure on Memory System Performance. 14th Symposium on Operating System Principles.
7. Clark D., and Emer, J. 1985. Performance of the VAX-11/780 Translation Buffer: Simulation and Measurements. ACM Transactions on Computer Systems, Feb.
8. Golub, D., Dean, R., Forin, A., and Rashid, R. 1990. Unix as an Application Program. Proceedings of the USENIX Summer Conference, June.
9. Hand, T. 1989. Real-Time systems need predictability. Computer Design RISC Supplement, August.
10. Hennessy, J., and Patterson, D. 1990. Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, Inc.
11. Intel Corporation. 1992. 1960 Extended Architecture Programmer's Reference Manual.
12. Joseph, M., and Pandya, P. 1986. Finding Response Times in a Real-Time System. The Computer Journal, pp. 390-95, October
13. Johnson, M. 1991. Superscalar Microprocessor Design. Prentice Hall.
14. Katcher, D., Arakawa, H., and Strosnider, J. 1992. Engineering and analysis of real-time microkernels. Proceedings of the 9th IEEE Workshop on Real-Time Operating Systems and Software, vol. 1, pp. 15-19, May.
15. Katcher, D., Sathaye, S., and Strosnider, J. 1994. Fixed Priority Scheduling with Limited Priority Levels. IEEE Transactions on Computers.
16. Katcher, D., and Strosnider, J.K. 1993. Fixed Versus Dynamic Priority Scheduling, A Case Study. CMU Technical Report, August.
17. Lehoczky, J., Sha, L., and Ding, Y. 1989. The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. IEEE Real Time Systems Symposium.
18. Liu, C., and Layland, J. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, vol. 30, pp. 46-61, January.
19. Locke, C., Vogel, D., and Mesler, T. 1991. Building a Predictable Avionics Platform in Ada: A Case Study. Proceedings of the IEEE Real Time Systems Symposium, pp. 181-189.
20. Mraz, R. 1992. A RISC-Based Architecture for Real-Time Computation. Ph.D. Thesis, Carnegie Mellon University.
21. Nagle, D., Uhlig, R., Mudge, T., and Sechrest, S. 1994. Optimal Allocation of On-chip Memory for Multiple API Operating Systems. 21st International Symposium on Computer Architecture.
22. Niehaus, D., Ramamritham, K., Stankovic, J., Wallace, G., and Weems, C. 1993. The Spring Scheduling CoProcessor: Design, Use, and Performance. Proceedings of the IEEE Real Time Systems Symposium, pp. 106-111.
23. Ousterhout, J. K. 1990. Why aren't Operating Systems Getting Faster as Fast as Hardware. Proceedings of the Summer 1990 USENIX Conference, pp. 247-256, June.
24. Papadopoulos, G., and Culler, D. 1990. Monsoon: An Explicit Token-Store Architecture. J 7th Annual International Symposium on Computer Architecture.
25. Papadopoulos, G., and Traub, K. 1991. Multithreading: A Revisionist View of Dataflow Architectures. 18th Annual International Symposium on Computer Architecture.
26. Rashid, R. et. al. 1987. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. 2nd Symposium on Architectural Support for Programming Languages and Operating Systems, October.
27. Rashid, R. et. al. 1989. Mach: A System Software Kernel. Proceedings of the 34th Computer Society International Conference COMPCON 89, February.