D. M. Goodeve, J. R. Davy, P. M. Dew, J. M. Nash  Home/Search
Context Related
| scs.leeds.ac.uk/scs/doc/re...96_35.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/~don...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a concurrent FIFO queue. The queue is designed to support high, scalable performance through both partitioning its representation, and the removal of locks. A proof of the consistency properties of the queue operations is developed, based on the Linearizability consistency condition. Linearizability is of interest because of its compositional properties, providing a strong foundation for the construction of reliable concurrent systems. The FIFO queue is proven to be... (Update)
Context of citations to this paper: More
.... the imaging of the Mandelbrot set, using three different implementations of the shared queue on a simulated massively parallel machine[23, 35]: ffl Sequential. The queue is implemented in the memory of one processor in the system. All workers communicate with this memory to...
Cited by: More
Fast Multi-Threading on Shared Memory Multiprocessors - Cordina (2000) (Correct)
Towards a Model for Shared Data Abstraction with.. - Goodeve, Dobson, Nash, .. (1998) (Correct)
Active bibliography (related documents): More All
0.6: Capturing Branch-and-Bound using Shared Abstract Date-types - Goodeve, al. (1996) (Correct)
0.5: Concurrent Sharing through Abstract Data-types: A Case Study - Goodeve, al. (1996) (Correct)
0.3: Implementation Issues Relating to the WPRAM Model for.. - Nash, Dew, Davy, Dyer (1996) (Correct)
Similar documents based on text: More All
0.4: Dynamic Load Balancing using a Highly Concurrent Shared Data .. - Nash, Dew, Davy, Dyer (1996) (Correct)
0.3: A Simple, Fast and Scalable Non-Blocking Concurrent FIFO Queue .. - Tsigas, Zhang (Correct)
0.3: Parallel CSG, Skeletons and Performance Modelling - Deldari, Davy, Dew (1996) (Correct)
Related documents from co-citation: More All
2: ACM Transactions on Programming Languages and Systems (context) - Herlihy - 1991
BibTeX entry: (Update)
D.M. Goodeve, J.R. Davy, P.M. Dew, and J.M. Nash. The Consistency Properties of a Scalable Concurrent Queue. Technical Report 96.35, School of Computer Studies, University of Leeds, UK, December 1996. http://citeseer.ist.psu.edu/goodeve96consistency.html More
@misc{ goodeve96consistency,
author = "D. Goodeve and J. Davy and P. Dew and J. Nash",
title = "The Consistency Properties of a Scalable Concurrent Queue",
text = "D.M. Goodeve, J.R. Davy, P.M. Dew, and J.M. Nash. The Consistency Properties
of a Scalable Concurrent Queue. Technical Report 96.35, School of Computer
Studies, University of Leeds, UK, December 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/goodeve96consistency.html" }
Citations (may not include all citations):606 How to make a Multiprocessor Computer that Correctly Execute.. (context) - Lamport - 1979 DBLP
326 Linearizability: A Correctness Condition for Concurrent Obje.. (context) - Herlihy, Wing - 1990 ACM DBLP
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
248 Orca: A Language for Parallel Programming of Distributed Sys.. - Bal, Kaashoek et al. - 1992 DBLP
186 A Methodology for Implementing Highly Concurrent Data Object.. - Herlihy - 1993 ACM
181 ACM Transactions on Programming Languages and Systems (context) - Herlihy - 1991
171 Parallel Programming Using Skeleton Functions - Darlington, Field et al. - 1993 ACM DBLP
159 The NYU Ultracomputer --- Designing an MIMD Shared Memory Pa.. (context) - Gottlieb, Grishman et al. - 1983
122 Multilisp: A Language for Concurrent Symbolic Computation (context) - Halstead - 1985 ACM DBLP
80 Programming Distributed Systems (context) - Bal - 1990 ACM
64 Concurrent Aggregates (context) - Chien - 1993 ACM
42 Elimination Trees and the Construction of Pools and Stacks - Shavit, Touitou - 1995 ACM DBLP
38 Are Wait-Free Algorithms Fast - Attiya, Lynch et al. - 1994
26 An Architecture Independent Programming Model For Scalable P.. (context) - McColl - 1993
24 A Nonblocking Algorithm for Shared Queues Using Compare-and-.. (context) - Prakash, Lee et al. - 1994 ACM DBLP
22 A Combining Mechanism for Parallel Computers - Valiant - 1992 ACM DBLP
18 Concurrent set manipulation without locking (context) - Lanin, Shasha - 1988
12 Parallel Algorithm Design on the WPRAM Model (context) - Nash, Dew et al. - 1995 ACM
9 Testing and Verifying Concurrent Objects (context) - Wing, Gong - 1993 ACM DBLP
5 Concurrent Search and Insertion in AVL Trees (context) - Ellis - 1980 DBLP
5 Scalable Data Sharing on a Message Passing Machine (context) - Nash, Dew - 1994
4 and Chris Wadsworth (context) - Goodeve, Davy - 1995
1 Ideas of Statistics (context) - Folks - 1981
Documents on the same site (http://www.cs.york.ac.uk/~don/publications.html):
Abstraction and Implementation of a Lightweight.. - Goodeve, Tofts, Dobson (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC