WorldCat Identities

Herlihy, Maurice

Overview
Works: 78 works in 163 publications in 1 language and 1,812 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator
Classifications: QA76.6, 004.36
Publication Timeline
.
Most widely held works by Maurice Herlihy
The art of multiprocessor programming by Maurice Herlihy( )
42 editions published between 2008 and 2012 in English and held by 852 WorldCat member libraries worldwide
Multiprocessor programming, also known as multicore programming, requires new principles, algorithms, and programming tools. This book provides a comprehensive presentation of the principles and tools available for programming multiprocessor machines. It will be of immediate use to programmers working with the new architectures
Distributed computing through combinatorial topology by Maurice Herlihy( )
13 editions published between 2013 and 2014 in English and held by 359 WorldCat member libraries worldwide
Distributed Computing Through Combinatorial Topology describes techniques for analyzing distributed algorithms based on award winning combinatorial topology research. The authors present a solid theoretical foundation relevant to many real systems reliant on parallelism with unpredictable delays, such as multicore microprocessors, wireless networks, distributed systems, and Internet protocols. Today, a new student or researcher must assemble a collection of scattered conference publications, which are typically terse and commonly use different notations and terminologies. This book provides a self-contained explanation of the mathematics to readers with computer science backgrounds, as well as explaining computer science concepts to readers with backgrounds in applied mathematics. The first section presents mathematical notions and models, including message passing and shared-memory systems, failures, and timing models. The next section presents core concepts in two chapters each: first, proving a simple result that lends itself to examples and pictures that will build up readers' intuition; then generalizing the concept to prove a more sophisticated result. The overall result weaves together and develops the basic concepts of the field, presenting them in a gradual and intuitively appealing way. The book's final section discusses advanced topics typically found in a graduate-level course for those who wish to explore further. Gathers knowledge otherwise spread across research and conference papers using consistent notations and a standard approach to facilitate understandingPresents unique insights applicable to multiple computing fields, including multicore microprocessors, wireless networks, distributed systems, and Internet protocols Synthesizes and distills material into a simple, unified presentation with examples, illustrations, and exercises
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings by Maurice Herlihy( Book )
14 editions published in 2000 in English and held by 315 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 14th International Conference on Distributed Computing, DISC 2000, held in Toledo, Spain in October 2000. The 23 revised full papers presented together with one invited contribution were carefully reviewed and selected from more than 100 submissions. The papers address a variety of current issues in distributed computing including mutual exclusion, distributed algorithms, protocols, approximation algorithms, distributed cooperation, electronic commerce, self-stabilizing algorithms, lower bounds, networking, broadcasting, Internet services, interconnection networks, distributed objects, CORBA, etc
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 2000 : proceedings by DISC 2000( Book )
1 edition published in 2000 in English and held by 20 WorldCat member libraries worldwide
The art of multiprocessor programming, revised first edition by Maurice Herlihy( )
2 editions published in 2012 in English and held by 19 WorldCat member libraries worldwide
Replication methods for abstract data types by Maurice Herlihy( Book )
2 editions published in 1984 in English and held by 13 WorldCat member libraries worldwide
An advantage of distributed systems over centralized systems is that valuable data can be stored redundantly at multiple locations--a practica commonly called 'replication'. Replication can enhance the availability of data in the presence of failures, increasing the likelihood that the data will be accessible when needed. This thesis introduces a new method for managing replicated data. We propose new techniques to address four problems associated with replication: the representation and manipulation of replicated data, concurrency control, on-the-fly reconfiguration, and enhancing availability in the presence of partitions. Unlike many methods that support replication only for uninterpreted files, our method makes use of type-specific properties of objects (such as sets, queues, or directories) to provide more effective replication. Associated with each operation of the data type is a set of quorums, which are collections of sites whose cooperation suffices to execute the operation. Analysis of the algebraic structure of the data type is used to derive a set of constraints on quorum intersections. Any choice of quorums that satisfies these constraints yields a correct implementation, and it can be shown that no smaller set of constraints guarantees correctness. By taking advantage of type-specific properties in a general and systematic way, our method can realize a wider range of availability properties, more concurrency, more flexible reconfiguration, and better tolerance of partitions than existing replication methods. Keywords: Atomicity, Availability, Concurrency control, Partitions, Reconfiguration, and Reliability
Transmitting abstract values in messages by Maurice Herlihy( Book )
2 editions published in 1980 in English and held by 11 WorldCat member libraries worldwide
Counting networks by James D Aspnes( Book )
3 editions published between 1991 and 1993 in English and Undetermined and held by 9 WorldCat member libraries worldwide
Concurrency and availability as dual properties of replicated atomic data by Maurice Herlihy( Book )
2 editions published in 1986 in Undetermined and English and held by 8 WorldCat member libraries worldwide
On the correctness of orphan management algorithms by M Herlihy( Book )
1 edition published in 1989 in English and held by 7 WorldCat member libraries worldwide
Linearizable counting networks by Maurice Herlihy( Book )
2 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide
Wait-free implementations in message-passing systems by Soma Chaudhuri( Book )
3 editions published in 1998 in English and held by 7 WorldCat member libraries worldwide
Axioms for concurrent objects by Maurice Herlihy( Book )
1 edition published in 1986 in English and held by 6 WorldCat member libraries worldwide
Specification and verification techniques for abstract data types that have been successful for sequential programs can be extended in a natural way to provide the same benefits for concurrent programs. An approach is proposed to specifying and verifying concurrent objects based on a novel correctness condition, which we call linearizability. Linearizability provides the illusion that each operation takes effect instantaneously at some point between its invocation and its response, implying that the meaning of a concurrent objects operations can still be given by pre- and post conditions. This paper defines and discusses linearizability, and then give examples of how to reason about concurrent objects and verify their implementations based on their (sequential) axiomatic specifications. (JHD)
General quorum consensus : a replication method for abstract data types by Maurice Herlihy( Book )
2 editions published in 1984 in Undetermined and English and held by 6 WorldCat member libraries worldwide
Impossibility and universality results for wait-free synchronization by Maurice Herlihy( Book )
1 edition published in 1988 in English and held by 6 WorldCat member libraries worldwide
Implementation of commit timestamps in Avalon by Maurice Herlihy( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
In this paper, we describe the first implementation of transaction commit timestamps, as provided in Avalon/C++, a high-level language for reliable distributed computing. We focus on the run-time data structures and algorithms needed to achieve a practical implementation of transaction commit timestamps."
Low contention load balancing on large-scale multiprocessors by Maurice P Herlihy( Book )
1 edition published in 1992 in English and held by 6 WorldCat member libraries worldwide
Concurrency vs. availability : atomicity mechanisms for replicated data by Maurice Herlihy( Book )
3 editions published in 1987 in English and Undetermined and held by 6 WorldCat member libraries worldwide
Distributed computing 14th International Symposium, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings ( Book )
2 editions published in 2000 in English and held by 6 WorldCat member libraries worldwide
Time-lapse snapshots by C Dwork( Book )
1 edition published in 1992 in English and held by 5 WorldCat member libraries worldwide
We propose the following methodology for using this abstraction: first, design and verify an algorithm using the more powerful snapshot scan, and second, replace the more powerful but less efficient snapshot with the weaker but more efficient snapshot, and show that the weaker abstraction nevertheless suffices to ensure the correctness of the enclosing algorithm. We give two examples of algorithms whose performance can be enhanced while retaining a simple modular structure: bounded concurrent timestamping, and bounded randomized consensus. The resulting timestamping protocol is the fastest known bounded concurrent timestamping protocol
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.47 for Distribute ... to 0.97 for Linearizab ...)
Alternative Names
Herlihy, Maurice P.
Herlihy, Maurice P. 1954-
Herlihy, Maurice Peter.
Herlihy, Maurice Peter 1954-
ハーリヒ, モーリス
Languages
English (95)
Covers