Computer Science Department
School of Computer Science, Carnegie Mellon University


Selected Reports: Fall 1997 Systems Course

Garth A. Gibson, Editor
Author Contributions: C. Colohan, C. Rosenberg, G. Steffan; D. Petrou, J. Milford; O. Cheiner, I. Derenyi; J. Gao, S. Rao, P. Venable; D. Rohde, R. Romero, P. Wickline; M. Mateas, K. Nigam; M. Budiu, R. Budiu

April 1998

Keywords:Security and protection, scheduling, transaction processing, data compaction and compression, distributed programming, access methods

This technical report contains seven final project reports contributed by sixteen participants in CMU's Fall97 Systems Software introductory graduate course offered by Garth Gibson. This courses studies the design and analysis of operating systems and distributed systems through a series of background lectures, paper readings, guest lectures and group projects. Projects were done in groups of two or three, required some kind of implementation and evaluation pertaining to the classroom material, but with the topic of these projects left up to each group. Final reports were held to the standard of a systems conference paper submission; a standard well met by the majority of the completed projects, albeit with less thoroughness in the related work category than is expected in most conferences.

The reports that follow cover a broad range of topics Specifically, these reports descripe implementations and experimentation with: secure file systems when servers and administrators are untrusted; proportional share allocation for processor scheduling and its interaction with kernel realities such as locks; eventually serializable replicated databases with constant-order dependency checking; compressed file data structures optimized to specific access patterns; atomic, shared object semantics for distributed computing in JAVA; transaction semantics for federated agent databases; and user-level file service offering enhanced memory caching for remote files.

  • Secure Sharing with Satan's File System, Chris Colohan, Chuck Rosenberg, and Greg Steffan, pp. 1-16
  • Proportional-Share Scheduling: Implementation and Evaluation in a Widely-Deployed Operating System, David Petrou and John Milford, pp. 17-28
  • Fault Tolerance in an Eventually-Serializable Data Service, Oleg Cheiner and Istvan Derenyi, pp. 29-46
  • Design and Evaluation of a Compressed File System, Jun Gao, Sanjay Rao, and Peter Venable, pp. 47-58
  • Dishrag: Distributed, Shared Objects in Java, Doug Rohde, Rick Romero, and Philip Wickline, pp. 59-70
  • Fighting Fire with Truth: a Concurrent Transactional Truth Maintenance System, Michael Mateas and Kamal Nigam, pp. 71-80
  • A User-Level File Service Based on Watchdogs, Mihai Budiu and Raluca Budiu, pp. 81-92

96 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by