Cache coherence in large-scale shared-memory multiprocessors: Issues and comparisons

DJ Lilja - ACM Computing Surveys (CSUR), 1993 - dl.acm.org
Due to data spreading among processors and due to the cache coherence problem, private
data caches have not been as effective in reducing the average memory delay in …

Symmetry in temporal logic model checking

A Miller, A Donaldson, M Calder - ACM Computing Surveys (CSUR), 2006 - dl.acm.org
Temporal logic model checking involves checking the state-space of a model of a system to
determine whether errors can occur in the system. Often this involves checking …

[BUCH][B] Parallel computer architecture: a hardware/software approach

D Culler, JP Singh, A Gupta - 1999 - books.google.com
The most exciting development in parallel computer architecture is the convergence of
traditionally disparate approaches on a common machine structure. This book explains the …

Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset

MMK Martin, DJ Sorin, BM Beckmann… - ACM SIGARCH …, 2005 - dl.acm.org
The Wisconsin Multifacet Project has created a simulation toolset to characterize and
evaluate the performance of multiprocessor hardware systems commonly used as database …

The turn model for adaptive routing

CJ Glass, LM Ni - ACM SIGARCH Computer Architecture News, 1992 - dl.acm.org
We present a model for designing wormhole routing algorithms that are deadlock free,
livelock free, minimal or nonminimal, and maximally adaptive. A unique feature of this model …

[BUCH][B] Advanced computer architecture: parallelism, scalability, programmability

K Hwang, N Jotwani - 1993 - academia.edu
Course Syllabus Course Title: Advanced Computer Architecture Page 1 Page 1 of 5
Philadelphia University Faculty of Information Technology Department of Computer Science …

Memory consistency and event ordering in scalable shared-memory multiprocessors

K Gharachorloo, D Lenoski, J Laudon… - ACM SIGARCH …, 1990 - dl.acm.org
Scalable shared-memory multiprocessors distribute memory among the processors and use
scalable interconnection networks to provide high bandwidth and low latency …

Treadmarks: Distributed shared memory on standard workstations and operating systems

AL Cox, S Dwarkadas, P Keleher… - Proceedings of the …, 1994 - infoscience.epfl.ch
TreadMarks is a distributed shared memory (DSM) system for standard Unix systems such
as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running …

The SGI Origin: A ccNUMA highly scalable server

J Laudon, D Lenoski - ACM SIGARCH Computer Architecture News, 1997 - dl.acm.org
The SGI Origin 2000 is a cache-coherent non-uniform memory access (ccNUMA)
multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was …

Treadmarks: Shared memory computing on networks of workstations

C Amza, AL Cox, S Dwarkadas, P Keleher, H Lu… - Computer, 1996 - ieeexplore.ieee.org
Shared memory facilitates the transition from sequential to parallel processing. Since most
data structures can be retained, simply adding synchronization achieves correct, efficient …