Now showing items 1-20 of 27

    • Concurrency Control for Transactions with Priorities 

      Marzullo, Keith (Cornell University, 1989-05)
      Priority inversion occurs when a process is delayed by the actions of another process with less priority. With atomic transactions, the concurrency control mechanism can cause delays, and without taking priorities into ...
    • Consistent Detection of Global Predicates 

      Cooper, Robert; Marzullo, Keith (Cornell University, 1991-04)
      A fundamental problem in debugging and monitoring is detecting whether the state of system satisfies some predicate. If the system is distributed, then the resulting uncertainty in the state of the system makes such ...
    • Deceit: A Flexible Distributed File System 

      Siegel, Alexander; Birman, Kenneth P.; Marzullo, Keith (Cornell University, 1989-11)
      Deceit, a distributed file system being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability. Deceit servers are interchangeable and collectively provide the ...
    • Derivation of Sequential, Real-Time, Process-Control Programs 

      Marzullo, Keith; Schneider, Fred B.; Budhiraja, Navin (Cornell University, 1991-07)
      The use of weakest-precondition predicate tranformers in the derivation of sequential, process-control software is discussed. Only one extension to Dijkstra's calculus for deriving ordinary sequential programs was found ...
    • Election Vs. Consensus in Asynchronous Systems 

      Sabel, Laura S.; Marzullo, Keith (Cornell University, 1995-02)
      It was shown in 1985 that the {\em Consensus problem} cannot be solved in an asynchronous system if even a single crash failure can occur. In this paper, we show that there are other problems that cannot be solved in an ...
    • Harary Networks: Connectivity for Highly Available Real-Time Distributed Databases 

      Shah, Amitabh; Marzullo, Keith (Cornell University, 1990-01)
      A methodology, called network designing by the desirable partition, for designing Underlying communication networks for distributed databases is proposed. It exploits the fact that in most real-life databases, the data is ...
    • ISIS and META Projects: Progress Report 

      Birman, Kenneth P.; Cooper, Robert; Marzullo, Keith (Cornell University, 1990-03)
      No abstract is available.
    • Making Real-time Reactive Systems Reliable 

      Marzullo, Keith; Wood, Mark D. (Cornell University, 1990-09)
      No Abstract is Available.
    • MTP: An Atomic Multicast Transport Protocol 

      Freier, Alan O.; Marzullo, Keith (Cornell University, 1990-07)
      This paper describes MTP: a reliable transport protocol that utilizes the multicast strategy of applicable lower layer network architectures. In addition to transporting data reliably and efficiently, MTP provides the ...
    • NAP: Practical Fault-Tolerance for Itinerant Computations 

      Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii (Cornell University, 1998-11)
      NAP, a detection and recovery based scheme for implementing fault-tolerant itinerant computations, is presented. We give the semantics for the scheme and describe a protocol that implements NAP in Tacoma.
    • NAP: Practical Fault-Tolerance for Itinerant Computations 

      Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii (Cornell University, 1999-03)
      NAP is a protocol for supporting fault-tolerance in intinerant computations. It employs a form of failure detection and recovery, and it generalizes the primary-backup approach to a new compuational model. The guarantees ...
    • Optimal Message Logging Protocols \\ (Preliminary Version) 

      Alvisi, Lorenzo; Marzullo, Keith (Cornell University, 1994-10)
      Message logging protocols are an integral part of a technique for implementing processes that can recover from crash failures. All message logging protocols require that the state of a recovered process be consistent with ...
    • Optimal Primary-Backup Protocols 

      Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam (Cornell University, 1992-08)
      We give primary-backup protocols for various models of failure. These protocols are optimal with respect to degree of replication, failover time, and response time to client requests.
    • Primary-Backup Protocols: Lower Bounds and Optimal Implementations 

      Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam (Cornell University, 1992-01)
      We present a formal specification of primary-backup. We then prove lower bounds on the degree of replication, failover time and worst-case response time to client requests assuming different failure models. Finally, we ...
    • Putting Time into Proof Outlines 

      Scheider, Fred B.; Bard, Bloom; Marzullo, Keith (Cornell University, 1991-09)
      A logic for reasoning about timing properties of concurrent programs is presented. The logic is based on Hoare-style proof outlines and can handle maximal parallelism as well as certain resource-constrained execution ...
    • Putting Time into Proof Outlines 

      Schneider, Fred B.; Bloom, Bard; Marzullo, Keith (Cornell University, 1991-09)
    • Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol 

      Marzullo, Keith; Schneider, Fred B.; Dehn, Jon (Cornell University, 1994-04)
      Part of the Advanced Automation System (AAS) for air-traffic control is a protocol to permit flight hand-off from one air-traffic controller to another. The protocol must be fault-tolerant and, therefore, is subtle--an ...
    • The Role of Order in Distributed Programs 

      Marzullo, Keith; Birman, Kenneth P. (Cornell University, 1989-05)
      We discuss the role of order in building distributed systems. It is our belief that a "principle of event ordering" underlies the wide range of operating systems mechanisms that have been put forward for building robust ...
    • Simulating Fail-Stop in Asynchronous Distributed Systems 

      Sabel, Laura S.; Marzullo, Keith (Cornell University, 1994-03)
      The fail-stop failure model appears frequently in the distributed systems literature. However, in an asynchronous distributed system, the fail-stop model cannot be implemented. In particular, it is impossible to reliably ...
    • Supplying High Availability with a Standard Network File System 

      Marzullo, Keith; Schmuck, Frank B. (Cornell University, 1987-12)
      This paper describes the design of a network file service that is tolerant to fail-stop failures and can be run on top of a standard network file service. The fault-tolerance is completely transparent, so the resulting ...