Low-synchronization translation lookaside buffer consistency in large-scale shared-memory multiprocessors

Authors:
B. Rosenburg
Affiliations:
IBM Research Division, Thomas J. Watson Research Center, Yorktown Height.s, New York
Venue:
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Year:
1989

Citing 6
Cited 8

An in-cache address translation mechanism

ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
The duality of memory and communication in the implementation of a multiprocessor operating system

SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures

IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
TLB consistency on highly-parallel shared-memory multiprocessors

Proceedings of the Twenty-First Annual Hawaii International Conference on Architecture Track
Translation lookaside buffer consistency: a software approach

ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors

ACM Transactions on Programming Languages and Systems (TOPLAS)

Translation-Lookaside Buffer Consistency

Computer
SoftFLASH: analyzing the performance of clustered distributed virtual shared memory

Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
Cashmere-2L: software coherent shared memory on a clustered remote-write network

Proceedings of the sixteenth ACM symposium on Operating systems principles
Multigrain shared memory

ACM Transactions on Computer Systems (TOCS)
Lazy TLB Consistency for Large-Scale Multiprocessors

PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
Virtual memory on data diffusion architectures

Parallel Computing
Hardware support for spin management in overcommitted virtual machines

Proceedings of the 15th international conference on Parallel architectures and compilation techniques
A portable kernel abstraction for low-overhead ephemeral mapping management

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Operating systems for most current shared-memory multiprocessors must maintain translation lookaside buffer (TLB) consistency across processors. A processor that changes a shared page table must flush outdated mapping information from its own TLB, and it must force the other processors using the page table to do so as well. Published algorithms for maintaining TLB consistency on some popular commercial multiprocessors incur excessively high synchronization costs. We present an efficient TLB consistency algorithm that can be implemented on multiprocessors that include a small set of reasonable architectural features. This algorithm has been incorporated in a version of the MACH operating system developed for the IBM Research Parallel Processor Prototype (RP3).