Now showing items 1-5 of 5

    • A Graphical Interface for CHIP 

      Alvisi, Lorenzo; Schneider, Fred B. (Cornell University, 1996-06)
      CHIP (Cornell Hypothetical Instructional Processor) [BBDS83] is a computer system designed as an educational tool for teaching undergraduate courses in operating system and machine architecture. This document describes ...
    • 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 ...
    • Paralex: An Environment for Parellel Programming in Distributed Systems 

      Babaoglu, Ozalp; Alvisi, Lorenzo; Amoroso, Alessandro; Davoli, Renzo; Giachini, Luigi Alberto (Cornell University, 1991-12)
      Modern distributed systems consisting of powerful workstations and high-speed interconnection networks are an economical alternative to special-purpose super computers. The technical issues that need to be addressed in ...
    • Run-time Support for Dynamic Load Balancing and Debugging in Paralex 

      Babaoglu, Ozalp; Alvisi, Lorenzo; Amoroso, Alessandro; Davoli, Renzo; Giachini, Luigi Alberto (Cornell University, 1991-12)
      Paralex is a programming environment for developing and executing parallel applications in distributed systems. The user is spared complexities of distributed programming including remote execution, data representation, ...
    • Understanding the Message Logging Paradigm for Masking Process Crashes 

      Alvisi, Lorenzo (Cornell University, 1996-04)
      Message logging is a popular technique for building systems that can tolerate process crashes and transient channel failures. The technique, which was first developed in the mid-80s, is popular because message-logging ...