Unbundling Transaction Services in the Cloud (2009)
David Lomet, Alan Fekete, Gerhard Weikum, Mike Zwilling
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a different approach,...
Unbundling Transaction Services in the Cloud (2009)
Lomet, David, Fekete, Alan, Weikum, Gerhard, Zwilling, Mike
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a different approach,...
Dagstuhl Seminar Organizer Authors (2009)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Mohammad Alomari, Michael Cahill, Alan Fekete, Uwe Röhm
Abstract. Snapshot Isolation concurrency control (SI) allows substantial performance gains compared to holding commit-duration readlocks, while still avoiding many anomalies such as lost updates or...
An Event-Driven Workflow Engine for Business Processes across Autonomous Systems (2008)
Julian Jang, Alan Fekete, Surya Nepal, Paul Greenfield
Abstract. The GAT model was developed to describe business processes that interact across autonomous domains. GAT is based on an event-driven programming model and uses conditional guards to...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar (Organizer Authors) (2008)
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
Abstract: This paper is a manifesto for future research on “atomicity ” in its many guises and is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place...
Expressiveness of workflow description languages (2008)
Julian Jang, Alan Fekete, Paul Greenfield, Dean Kuo
Abstract — This paper defines and classifies a set of expressive properties that we consider to be important for adequately specifying the behaviour of one of the parties in a collaborative...
A read-only transaction anomaly under snapshot isolation (2008)
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never delays read-only...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on "Atomicity in Sys-tem Design and Execution " that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32...
A Service-oriented Workflow Language for Robust Interacting Applications (2008)
Surya Nepal, Alan Fekete, Paul Greenfield, Julian Jang, Dean Kuo, Tony Shi
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that make up the overall...
Automating Business Processes (2008)
Alan Fekete, Paul Greenfield, Dean Kuo, Julian Jang
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by automated business...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day ~orlishop on "At,omicity in System Design and Execution " that t,oolt place in Schloss Dagstuhl in Germany (5) in April 2004 alicl was attended by...
Abstract Eventually-Serializable Data Services (2008)
Alan Fekete, David Gupta, Victor Luchangco, Nancy Lynch, Alex Shvartsman
We present a new speci cation for distributed data services that trade-o immediate consistency guarantees for improved system availability and e ciency, while ensuring the long-term consistency of...
A read-only transaction anomaly under snapshot isolation (2008)
Abstract. Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never delays...
Hagit Attiya, Alan Fekete, Unilersc Of Sydney, Michael Fischer, Yale Uni ‘ersi, New Ha Len, ...
not made or distributed for direct commercial advantage, the ACM copyright notice and the title
Patrick ONeil, Alan Fekete, Elizabeth O'Neil, Dimitrios Liarokapis
. We discuss three forms of phantom prevention locking that have been proposed in the literature: (1) predicate locking [EGLT76], (2) precision locking [JBB81], and (3) index locking (specifically,...
Some Considerations of Locking to Prevent Phantoms (2007)
Patrick O'Neil, Alan Fekete, Elizabeth O'Neil, Dimitrios Liarokapis
. There is a good deal of confusion in the database field on the subject of locking to prevent phantoms. Modern phantom prevention methods used in today's products, such as KeyValue locking and...
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
Abstract. Quorum-based methods for managing replicated data are popular because they provide availability of both reads and writes in the presence of faulty behavior by some sites or communication...
Problems: F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning (2007)
Alan Fekete, Nancy Lynch, Yishay Mansour, John Spinelli
Abstract. An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable...
Abstract Eventually-Serializable Data Services (2007)
Alan Fekete, David Guptat, Victor Luchangcot, Nancy Lyncht, Alex Shvartsmant
We present a new specification for distributed data ser-vices that trade-off immediate consistency guarantees for improved system availability and efficiency, while ensuring the long-term consistency...
AN IMPOSSIBILITY RESULT FOR COMMUNICATION OVER UNRELIABLE CHANNELS (2007)
Nancy A. Lynch, Alan Fekete, Alan Fekete, Nancy Lynch
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
Commutativity-Based Locking for Transactions Nested (2007)
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
over Unreliable Channels (2007)
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
A Dynamic Primary View Group Communication Service (2007)
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is important to know when a process has a primary...
A New Dynamic Architecture for an Active Network (2007)
Amila Fern, Bob Kummerfeld, Alan Fekete, Michael Hitchens
Existing active network architectures depend on using statically typed languages for protection and performance. Unfortunately this limits some of the more dynamic features of an active network. In...
Alan Fekete, David Gupta, Victor Luchangco, Nancy Lynch, Alex Shvartsman
Data replication is used in distributed systems to improve availability, to increase throughput and to eliminate single points of failures. The disadvantage of replication is the additional effort...
tacs-01.qxd 8/1/2001 11:16 AM Page 1 Lightweight Analysis of Object Interactions (2007)
Abstract. The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attention to...
Computer assisted assessment of SQL query skills (2007)
Dekeyser, Stijn, De Raadt, Michael, Lee, Tien Yu, Bailey, James, Fekete, Alan
Structured Query Language (SQL) is the dominant language forquerying relational databases today, and is an essential topic in introductory database courses in higher education. Even though the...
Computer assisted assessment of SQL query skills (2007)
Dekeyser, Stijn, De Raadt, Michael, Lee, Tien Yu, Bailey, James, Fekete, Alan
Structured Query Language (SQL) is the dominant language forquerying relational databases today, and is an essential topic in introductory database courses in higher education. Even though the...
Workflow Patterns Represented in Use-Cases (2007)
Alan Fekete, Avner Ottensooser, Alan Fekete
Abstract. While workflow enactment is often configured through a workflow description language based on graphs or rules, an alternative approach takes written Use-Cases to describe a workflow. In...
Isolation Support for Service-based Applications: A Position Paper (2006)
Greenfield, Paul, Fekete, Alan, Jang, Julian, Kuo, Dean, Nepal, Surya
In this paper, we propose an approach to providing the benefits of isolation in service-oriented applications where it is not feasible to hold traditional locks for ACID transactions. Our technique,...
Delivering Promises for Web Service Applications (2006)
Julian Jang, Julian Jang, Alan Fekete, Alan Fekete, Paul Greenfield, Paul Greenfield
One of the many problems facing the designer of complex multi-participant Web services-based applications is dealing with the consequences of the lack of suitable isolation mechanisms. This...
An Event-Driven Workflow Engine for Service-Based Business Systems (2006)
Julian Jang, Alan Fekete, Paul Greenfield, Surya Nepal
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an event-based programming...
Dagstuhl Seminar Organizer Authors (2005)
Cliff Jones, David Lomet, Er Romanovsky, Alan Fekete, Marie-claude Gaudel, Henry F, ...
Copyright c○2004 University of Newcastle upon Tyne
Traditional Monoculture (2005)
Alan Fekete, Judy Kay, Jeff Kingston, Intro Programming
– Lack of diversity in many subjects • Introducing diversity: some examples • Activities for soft skills/graduate attributes • Activities that attack misconceptions • Workshop: identify...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2004)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific...
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
Abstract View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is important to know when a process has a...
Towards a framework for capturing transactional requirements of real workflows (2002)
Dean Kuo, Alan Fekete, Paul Greenfield, Julian Jang
One fundamental issue that has yet to be adequately addressed in loosely couple distributed systems is long duration transactions — maintaining integrity of the system in the presense of both...
A framework for highly available services based on group communication (2001)
We present a general fi'amework for building highly available services. The fiamework uses group communication to coordinate a collection of servers. Our fiamework is configurable, in that one...
A framework for highly available services based on group communication (2001)
We present a framework for building highly available services. The framework uses group communication to coordinate a collection of servers. Our framework is configurable, in that one can adjust...
Dynamic network service installation in an active network (2001)
Amila Fernando, Amila Fern, Amila Fern, Darren Williams, Darren Williams, Alan Fekete, ...
Abstract-- The ability to quickly deploy new protocols, and provide flexibility to both applications and network administrators has been an oft-cited reason for active networks to be seriously...
A framework for highly available services based on group communication (2001)
We present a general framework for building highly available services. The framework uses group communication to coordinate a collection of servers. Our framework is congurable, in that one can...
A framework for highly available services based on group communication (2001)
We present a framework for building highly available services. The framework uses group communication to coordinate a collection of servers. Our framework is configurable, in that one can adjust...
Problem-Based Learning for Foundation Computer Science Courses (2000)
Mike Barg, Alan Fekete, Tony Greening, Owen Holl, Judy Kay, H. Kingston, ...
The foundation courses in Computer Science pose particular challenges for teacher and learner alike. This paper describes some of these challenges and how we have designed Problem-Based Learning...
Specifying and Using a Partitionable Group Communication Service (2000)
Alan Fekete, Nancy Lynch, Alex Shvartsman
Group communication services are becoming accepted as effective building blocks for the construction of fault-tolerant distributed applications. Many specifications for group communication services...
Problem-Based Learning for Foundation Computer Science Courses (2000)
Mike Barg, Alan Fekete, Tony Greening, Owen Holl, Judy Kay, H. Kingston, ...
The foundation courses in Computer Science pose particular challenges for teacher and learner alike. This paper describes some of these challenges and how we have designed Problem-Based Learning...
Making Snapshots Isolation Serializable (2000)
Snapshot Isolation (SI) is a multiversion concurrency control algorithm, first described in Berenson et al. [1995]. SI is attractive because it provides an isolation level that avoids many of the...
A Dynamic Primary Configuration Group Communication Service (1999)
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
. Quorum-based methods for managing replicated data are popular because they provide availability of both reads and writes in the presence of faulty behavior by some sites or communication links....
Specifying and Using a Partitionable Group Communication Service (1999)
Alan Fekete, Nancy Lynch, Alex Shvartsman
Group communication services are becoming accepted as effective building blocks for the construction of fault-tolerant distributed applications. Many specifications for group communication services...
Nested Transactions, Conflict-Based Locking, and Dynamic Atomicity. (1998)
Fekete, Alan, Lynch, Nancy, Merritt, Michael, Weihl, William
In this paper examines some concurrency control algorithms for nested transaction systems. A simple local property called dynamic atomicity is defined for data objects in such a system, and we show...
Nested Transactions and Read/Write Locking. (1998)
Fekete, Alan, Lynch, Nancy, Merritt, Michael, Weihl, William
We give a clear yet rigorous correctness proof for Moss's algorithm for managing data in a nested transaction system. The algorithm, which is the basis of concurrency control and recovery in the...
A Theory of Atomic Transactions. (1998)
Lynch, Nancy, Merritt, Michael, Weihl, William, Fekete, Alan
This paper describes some results of a recent project to develop a theory for reasoning about atomic transactions. This theory allows careful statement of the correctness conditions to be satisfied...
Commutativity-Based Locking for Nested Transactions. (1998)
Fekete, Alan, Lynch, Nancy, Merritt, Michael, Weihl, Bill
A new model is introduced for reasoning about atomic transactions. This model allows careful statement of the correctness conditions to be satisfied by transaction-processing algorithms, as well as...
The Data Link Layer: Two Impossibility Results. (1998)
Lynch, Nancy, Mansour, Yishay, Fekete, Alan
The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data...
A Serialization Graph Construction for Nested Transactions. (1998)
Fekete, Alan, Lynch, Nancy A., Weihl, William E.
This paper makes three contributions. First, we present a proof technique that offers system designers the same ease of reasoning about nested transaction systems as is given by the classical theory...
The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. (1998)
It is proved that any protocol that constructs a reliable data link service using a physical channel service necessarily includes in the packets some header information that enables the protocol to...
The Impossibility of Implementing Reliable communication in the Face of Crashes. (1998)
Fekete, Alan, Lynch, Nancy, Mansour, Yishay, Spinelli, John
An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable communication...
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service (1998)
Roger Khazan, Alan Fekete, Nancy Lynch
We give a rigorous account of an algorithm that provides sequentially consistent replicated data on top of the view synchronous group communication service previously specified by Fekete, Lynch and...
PANTS - Python Active Node Transfer System (1998)
Amila Fernando Bob, Bob Kummerfeld, Alan Fekete
Existing active network architectures depend on using static languages to improve performance. Unfortunately this limits some of the more dynamic features of an active network. In this paper we...
Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound (1998)
. Approximate agreement is a building block for fault-tolerant distributed systems. It is a formalisation for the basic operation of choosing a single real value (representing say speed) for use in...
A Dynamic View-Oriented Group Communication Service (1998)
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is important to know when a process has a primary...
A Dynamic View-Oriented Group Communication Service (1998)
Roberto De Prisco, Alan Fekete, Nancy Lynch, Alex Shvartsman
View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is important to know when a process has a view of the...
Multicast group communication as a base for a load-balancing replicated data service (1998)
Roger Khazan, Alan Fekete, Nancy Lynch
Abstract. We give a rigorous account of an algorithm that provides sequentially consistent replicated data on top of the view synchronous group communication service previously specified by Fekete,...
Specifying and using a partitionable group communication service (1997)
Alan Fekete, Nancy Lynch, Alex Shvartsman
Group communication services are becoming accepted as effective building blocks for the construction of fault-tolerant distributed applications. Many specifications for group communication services...
Specifying and using a partitionable group communication service (1997)
Alan Fekete, Nancy Lynch, Alex Shvartsman
Group communication services are becoming widely accepted as useful building blocks for the construction of fault-tolerant distributed applications. Many system designers and researchers have...
Specifying and Using a Partitionable Group Communication Service (1997)
Alan Fekete, Nancy Lynch, Alex Shvartsman
A new, simple formal specification is presented for a partitionable view-oriented group communication service. The specification consists of a state machine to express safety requirements and a timed...
Specifying and Using a Partitionable Group Communication Service (1997)
Alan Fekete, Nancy Lynch, Alex Shvartsman
Group communication services are becoming widely accepted as useful building blocks for the construction of fault-tolerant distributed applications. Many system designers and researchers have...
A tailorable conflict manager for flexible concurrency control (1996)
Flanagan, Michael, Curtis, Fred, Fekete, Alan, Henskens, Frans, Rosenberg, John
For twenty years, the transaction has been acknowledged as the central abstraction in preventing concurrent applications from corrupting the contents of a database, through errors such as lost...
Eventually-Serializable Data Services (1996)
Alan Fekete, David Gupta, Victor Luchangco, Nancy Lynch, Alex Shvartsman
We present a new specification for distributed data services that trade-off immediate consistency guarantees for improved system availability and efficiency, while ensuring the long-term consistency...
Eventually-Serializable Data Services (1996)
Alan Fekete, David Gupta, Victor Luchangco, Nancy Lynch, Alex Shvartsman
We present a new specification for distributed data services that trade-off immediate consistency guarantees for improved system availability and efficiency, while ensuring the long-term consistency...
A tailorable conflict manager for flexible concurrency control (1996)
Flanagan, Michael, Curtis, Fred, Fekete, Alan, Henskens, Frans, Rosenberg, John
For twenty years, the transaction has been acknowledged as the central abstraction in preventing concurrent applications from corrupting the contents of a database, through errors such as lost...
Hybrid atomicity for nested transactions (1995)
Alan Fekete, Nancy Lynch, William E. Weihl
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
Hybrid atomicity for nested transactions (1995)
This paper defines the notion of hybrid atomicit 3 ' for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property; it...
Hybrid atomicity for nested transactions (1995)
Alan Fekete, Alan Fekete *l, Nancy Lynch, Nancy Lynch, William E. Weihl, William E. Weihl
Abstract. This paper defines the notion of hybrid atomicityfor nested transaction systems, and presents and verifies an algorithm providing this propcrty. Hybrid atomicity is a modular property; it...
Reliable communication over unreliable channels (1994)
Yehuda Afek, Hagit Attiya, Alan Fekete, Michael Fischer, Yishay Mansour, Da-wei Wang, ...
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
Reliable Communication over Unreliable Channels (1994)
Yehuda Afek, Hagit Attiya, Alan Fekete, Michael Fischer, Nancy Lynch, Yishay Mansour, ...
Layered communication protocols frequently implement a FIFO message facility on top of an unreliable non-FIFO service such as that provided by a packet-switching network. This paper investigates the...
A testbed for experiments with concurrency control primitives in persistent systems (1993)
Flanagan, Michael, Fekete, Alan, Henskens, Frans, Rosenberg, John
In current research operating systems, support for objects and the persistence of these objects has been recognised as an important consideration. Research systems provide support for these concepts...
Correctness proof for a network synchronizer (1993)
Harish Devarajan, Harish Devarajan, Alan Fekete, Alan Fekete, Nancy Lynch, Nancy Lynch, ...
In this paper we offer a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization [1]. We specify both the algorithm and the correctness condition using the...
A testbed for experiments with concurrency control primitives in persistent systems (1993)
Flanagan, Michael, Fekete, Alan, Henskens, Frans, Rosenberg, John
In current research operating systems, support for objects and the persistence of these objects has been recognised as an important consideration. Research systems provide support for these concepts...
Graph Construction, Alan Fekete, Nancy A. Lynch, Nancy Lynch T, William E. Weihl, William E. Weihl
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...
The data link layer: two impossibility results (1988)
Nancy Lynch, Yishay Mansour, Alan Fekete
Abstract: The data link layer in a layered commu-nication network is designed to ensure reliable data transfer over a noisy physical channel. Formal spec-ifications are given for physical channels...
Nested Transactions and Read/Write Locking (1987)
Nancy Lynch, Alan Fekete, Alan Fekete, Michael Merritt, Michael Merritt, William Weihl, ...
Code] governs the making of photocopies or other reproductions of copyrighted material Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or...