Michael Stumm: Publications

Paper Details

Reference:

Benjamin Gamsa, Orran Krieger, Jonathan Appavoo, and Michael Stumm,
"Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system",
In Proceedings Operating System Design and Implementation (OSDI'99), New Orleans, LA, USA, Usenix Association, Berkeley, CA, USA, October, 1999, pp. 87–100.

Download:

PDF

Abstract:

We describe the design and implementation of Tornado, a new operating systemdesigned from the ground up specifically for today's shared memory multiprocessors. The need for improved locality in the operating system is growing as multiprocessor hardware evolves, increasing the costs for cache misses and sharing, and adding complications due to NUMAness. Tornado is optimized so that locality and independence in application requests for operating system services---whether frommultiple sequential applications or a single parallel application--- are mapped onto locality and independence in the servicing of these requests in the kernel and system servers. By contrast, previous shared memory multiprocessor operating systems all evolved from designs constructed at a time when sharing costs were low, memory latency was low and uniform, and caches were small; for these systems, concurrency was the main performance concern and locality was not an important issue.

Tornado achieves this locality by starting with an objectoriented structure, where every virtual and physical resource is represented by an independent object. Locality, as well as concurrency, is further enhanced with the introduction of three key innovations: (i) clustered objects that support the partitioning of contended objects across processors, (ii) a protected procedure call facility that preserves the locality and concurrency of IPC's, and (iii) a new locking strategy that allows all locking to be encapsulated within the objects being protected and greatly simplifies the overall locking protocols. As a result of these techniques, Tornado has far better performance characteristics, particularly for multithreaded applications, than existing commercial operating systems. Tornado has been fully implemented and runs both on Toronto's NUMAchine hardware and on the SimOS simulator.

Keywords:

Operating systems, shared memory multiprocessors, scalability, protected procedure calls, IPC, interprocess communication, locality, clustered objects, locking

Reference Info:

DOI: 10.1145/296806.296814
ISBN: 1-880446-39-1
ISSN: 0163-5980
OCLC: 205121355

BibTeX:

@inproceedings(Gamsa-OSDI99,
    author = {Benjamin Gamsa and Orran Krieger and Jonathan Appavoo and Michael Stumm},
    title = {Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system},
    booktitle = {Proceedings Operating System Design and Implementation (\textbf{OSDI'99})},
    location = {New Orleans, LA, USA},
    organization = {Usenix Association},
    address = {Berkeley, CA, USA},
    month = {October},
    year = {1999},
    pages = {87-100},
    doi = {10.1145/296806.296814},
    isbn = {1-880446-39-1},
    issn = {0163-5980},
    keywords = {Operating systems, shared memory multiprocessors, scalability, protected procedure calls, IPC, interprocess communication, locality, clustered objects, locking}
)