Index

Contents

• Contents
• Figures
• Tables
• Introduction
  • Motivation
  • Challenges
    • Mobile Computing
    • AMIGOS
  • A Distributed File System
    • Environment
    • A Distributed File Service
  • Transactions in Mobile Computing
  • Goals
    • Design
    • Implementation
    • Performance
    • Evaluation
    • Restrictions
  • Overview
    • Terminology
    • Contents
• Mobile Computing
  • Mobile Computers
    • Performance
    • Stable Storage
    • Vulnerability
    • Screen & Keyboard
    • Power Supply
  • Means of Communication
    • Connected
    • Weakly Connected
    • Disconnected
    • Communication State Transitions
  • Mobility
  • Summary
• Replica Control
  • File Usage
    • Classification of Files
    • Operations on Files
    • Operations on Directories
    • File Sharing
    • File Sizes and Types
    • File Sharing Semantics
  • Granularity of Replication
  • Replica Control Strategies
    • Pessimistic
    • Strict
    • Optimistic
    • Multi-Level Consistency
    • Conflict Detection
    • Conflict Resolution
  • Replication transparency
  • Synchronization
  • Caching
  • Summary
• Transactions
  • Properties of Transactions
    • Consistency
    • Isolation
    • Durability
    • Nesting
  • Concurrency Control
    • Optimistic Concurrency Control
    • Boundaries of Transactions
  • Summary
• The Model
  • Reading
    • Pessimistic Reading
    • Optimistic Reading
    • Strict Reading
    • The Consistency Time Bound
  • Writing
  • Creating & Deleting
  • Locking
  • Conflicts
    • Read/Write Conflicts
    • Write/Write Conflicts
  • Other Features
    • Temporary Files
    • Synchronization
    • Status
    • More Primitives
  • Primitives
    • File Primitives
    • System Settings & Primitives
    • Transaction Primitives
  • Existing Applications
• The Implementation
  • System Requirements
    • Test Environment
    • Portability
  • Fault-Tolerance
  • Client/Server Communication
    • Communication with TACO
  • Overview of Files and Subroutines
  • Program Flow
  • Availability
• Test & Evaluation
  • Tests
  • Results
  • Evaluation
    • Problems with PeStO
    • Problems with TACO
• Conclusions
  • Contributions
  • Fulfillment of Goals
  • Future Work
  • Conclusion
  • Postscriptum
• Program
  • Server: pserver.c
  • Client: pclient.h
• Examples
• Flow Diagrams
• Figures from Chapter 5
• References
• Index