WorldCat Identities

Herlihy, Maurice

Overview
Works: 62 works in 201 publications in 2 languages and 2,107 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Creator
Classifications: QA76.6, 005.434
Publication Timeline
.
Most widely held works by Maurice Herlihy
The art of multiprocessor programming by Maurice Herlihy( Book )

46 editions published between 2008 and 2012 in 3 languages and held by 574 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 : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings by Maurice Herlihy( Book )

22 editions published between 2000 and 2002 in English and held by 268 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 through combinatorial topology by Maurice Herlihy( Book )

12 editions published between 2013 and 2014 in English and held by 57 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. Named a 2013 Notable Computer Book for Computing Methodologies by Computing Reviews Gathers knowledge otherwise spread across research and conference papers using consistent notations and a standard approach to facilitate understanding Presents 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
Transmitting abstract values in messages by Maurice Herlihy( Book )

7 editions published in 1980 in English and Undetermined and held by 16 WorldCat member libraries worldwide

This thesis develops primitives for a programming language intended for use in a distributed computer system where individual nodes may have different hardware or software configurations. Our primitives are presented as extensions to the CLU language. We assume that differences in hardware and in administrative policy require that individual nodes be free to choose their own local representations for common types, including user-defined types. Our main objective is to provide primitives to communicate values of user-defined type. Our primitives support a large degree of node autonomy, without requiring that communicating nodes have prior knowledge of one another's special characteristics. We argue that the precise meaning of value transmission is type-dependent; thus the user, not the language, must control the meaning of transmission for values of a type. (Author)
Replication methods for abstract data types by Maurice Herlihy( Book )

6 editions published in 1984 in English and held by 16 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
Counting networks by James Aspnes( Book )

6 editions published between 1991 and 1993 in English and Undetermined and held by 12 WorldCat member libraries worldwide

Many fundamental multiprocessor coordination problems can be expressed as counting problems: processes must cooperate to assign successive values from a given range, such as addresses in memory or destinations on an interconnection network. Conventional solutions to these problems perform poorly because of synchronization bottlenecks and high memory contention. Motivated by observations on the behavior of sorting networks, we offer a completely new approach to solving such problems. We introduce a new class of networks called counting networks, i.e., networks that can be used to count. We give two counting network constructions of depth log square n, using n log square n gates, avoiding the sequential bottlenecks inherent to former solutions, and substantially lowering the memory contention. Finally, to show that counting networks are not merely mathematical creatures, we provide experimental evidence that they outperform conventional synchronization techniques under a variety of circumstances
Proceedings from the Second Workshop on Large-Grained Parallelism by Jeannette Marie Wing( Book )

4 editions published between 1987 and 1988 in English and held by 9 WorldCat member libraries worldwide

Concurrency and availability as dual properties of replicated atomic data by Maurice Herlihy( Book )

3 editions published in 1986 in English and held by 9 WorldCat member libraries worldwide

Impossibility and universality results for wait-free synchronization by Maurice Herlihy( Book )

3 editions published in 1988 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Optimal randomized fair exchange with secret shared coins( )

1 edition published in 2005 in English and held by 7 WorldCat member libraries worldwide

In the fair exchange problem, mutually untrusting parties must securely exchange digital goods. A fair exchange protocol must ensure that no combination of cheating or failures will result in some goods being delivered but not others, and that all goods will be delivered in the absence of cheating and failures. This paper proposes two novel randomized protocols for solving fair exchange using simple trusted units. Both protocols have an optimal expected running time, completing in a constant (3) expected number of rounds. They also have optimal resilience. The first one tolerates any number of dishonest parties, as long as one is honest, while the second one, which assumes more aggressive cheating and failures assumptions, tolerates up to a minority of dishonest parties. The key insight is similar to the idea underlying the code-division multiple access (CDMA) communication protocol: outwitting an adversary is much easier if participants share a common, secret pseudo-random number generator
Linearizable counting networks by Maurice Herlihy( Book )

2 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide

Reasoning about atomic objects by Maurice Herlihy( Book )

3 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide

General quorum consensus : a replication method for abstract data types by Maurice Herlihy( Book )

3 editions published in 1984 in English and held by 7 WorldCat member libraries worldwide

On the correctness of orphan management algorithms by M Herlihy( Book )

2 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

In a distributed system, node failures, network delays and other unpredictable occurrences can result in orphan computations--subcomputations that continue to run but whose results are no longer needed. Several algorithms have been proposed to prevent such computations from seeing inconsistent states of the shared data. In this paper, two such orphan management algorithms are analyzed. The first is an algorithm proposed at Carnegie-Mellon. The algorithms are described formally, and complete proofs of their correctness are given. The proofs show that the fundamental concepts underlying the two algorithms are very similar in that each can be regarded as an implementation of the same high-level algorithm. By exploiting properties of information flow within transaction management systems, the algorithms ensure that orphans only see states of the shared data that they could also see if they are not orphans. When the algorithms are used in combination with any correct concurrency control algorithm, they guarantee that all computations, orphan as well as non-orphan see consistent states of the shared data. (KR)
Timestamp-based orphan elimination by Maurice Herlihy( Book )

3 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide

Wait-free implementations in message-passing systems by Soma Chaudhuri( Book )

4 editions published in 1998 in English and held by 6 WorldCat member libraries worldwide

Optimistic concurrency control for abstract data types by Maurice Herlihy( Book )

3 editions published in 1986 in English and held by 6 WorldCat member libraries worldwide

Comparing how atomicity mechanisms support replication by Maurice Herlihy( Book )

2 editions published in 1985 in English and held by 6 WorldCat member libraries worldwide

The Art of Multiprocessor Programming, Revised Reprint by Maurice Herlihy( )

1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide

Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that needed for efficient single-core programming. This book provides comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. Students and professionals alike will benefit from thorough coverage of key multiprocessor programming issues. This revised edition incorporates much-demanded updates thr
The art of multiprocessor programming, revised first edition by Maurice Herlihy( )

2 editions published in 2012 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.40 for The art of ... to 0.95 for Optimal ra ...)

The art of multiprocessor programming
Alternative Names
Herlihy, Maurice P.

Herlihy, Maurice P. 1954-

Herlihy, Maurice Peter.

Herlihy, Maurice Peter 1954-

Maurice Herlihy American computer scientist

Maurice Herlihy Amerikaans informaticus

Maurice Herlihy informaticien américain

Maurice Herlihy US-amerikanischer Informatiker

헐리히, 모리스

ハーリヒ, モーリス

Languages
English (128)

Chinese (2)

Covers
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings