Real-Time Systems: Spring Kernel Documentation
University of Massachusetts, Amherst

Spring Kernel Version 2

M. Humphrey, G. Wallace and J. Stankovic Kernel-Level Threads for Dynamic, Hard Real-Time Environments, accepted by 1995 Real-Time Systems Symposium, August 1995.

M. Teo Real-Time Multicasting for Group Communication in the Spring Kernel, Spring internal document, July 1995.

M. Teo A Preliminary Look at Spring and POSIX.4, Spring internal document, July 1995.

G. Zlokapa, G. Wallace Spring Kernel: Added Features (Making Open Spring), Spring internal document, December 1993.

G. Wallace, G. Zlokapa Spring Kernel: Added Features (Implementation Notes), Spring internal document, December 1993.

D. Niehaus, C. Kuan, D. Mao Address Space and Resource Management in the Spring System, Spring internal document, June 1992.

D. Niehaus, Address Space Manipulation Support in Spring, Spring internal document, June 1992.

D. Niehaus, Spring System Calls, Spring internal document, June 1992.

E. Nahum, K. Ramamritham, J. Stankovic, Real-Time Interprocess Communication in the Spring Kernel, Spring internal document, May 1992.

D. Niehaus, E. Nahum, J. Stankovic, K. Ramamritham, Architecture and OS Support for Predictable Real-Time Systems, Spring internal document, March 1992.

L. Molesky, Obtaining Accurate Timings in the Presence of Clock Interrupts, Spring internal document, January 1992.

Spring Kernel Version 1

L. Molesky, Spring Kernel Version 2 OS Primitives, Spring internal document, August 1991.

L. Molesky, Spring Kernel Low Level Control, Spring internal document, December 1990.

L. Molesky, K. Ramamritham, C. Shen, J. Stankovic, and G. Zlokapa, Implementing a Predictable Real-Time Multiprocessor Kernel - The Spring Kernel, extended abstract, IEEE Workshop on Real-Time Operating Systems and Software, May 1990.




Real-Time Systems