Next:
Figures
Up:
A Mobility-Transparent Model for
Previous:
Preface
 
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
michael@garfield.dk
2000-10-13