Index

Advanced Mobile Integration in General Operating Systems

see AMIGOS

AMIGOS

AMIGOS | Transparent Communication | Mobile Computers | Mobile Computers | Performance

TACO: see TACO

"Transactions in Mobile Computing": A Mobility-Transparent Model

atomicity

average set

bandwidth

Classification of Files | Classification of Files

Bayou

Mobile Computers | File Sharing | Caching

boundaries (of transactions)

see concurrency control, boundaries

cache size

Stable Storage | Stable Storage

caching

Caching | Caching

average set: Caching
critical set: Caching
current working set: Caching
full set: Caching
LRU: Caching | Caching

challenges

Challenges | Transparent Communication

AMIGOS: AMIGOS
mobile computing: Mobile Computing

classification of files

client/server

communication

Client/Server Communication

TACO: Communication with TACO

closing

Conflicts | Conflicts

expiration time bound: Conflicts

Coda

communication

Means of Communication | Communication State Transitions

connected

Connected

disconnected

Disconnected

mobility

Communication State Transitions

networks

Communication State Transitions

bandwidth: Means of Communication
latency: Means of Communication

state transitions

weakly connected

Weakly Connected

communication state transitions

Communication State Transitions | Communication State Transitions

conclusion

Conclusion

concurrency control

Concurrency Control | Boundaries of Transactions

boundaries: Boundaries of Transactions
optimistic: Optimistic Concurrency Control

conflict detection

Conflict Detection | Conflict Detection

conflict resolution

Conflict Resolution | Conflict Resolution

conflicts

Conflicts

possible: Operations on Files | Operations on Directories
read/write: Read/Write Conflicts
write/write: Write/Write Conflicts

connected

Means of Communication | Connected | Connected

consistency

Properties of Transactions | Consistency | Conclusion

operation level: Operation Level Consistency
system level: System Level Consistency

consistency time bound

The Consistency Time Bound

contents

Contents

contributions

Contributions

CPU

Mobile Computers | Performance

creating

Creating & Deleting

critical set

CTB

see consistency time bound

current working set

deleting

Creating & Deleting

design

see model, the

design goals

Design

desktops

disconnected

Means of Communication | Disconnected | Disconnected

durability

Properties of Transactions | Durability | Durability

environment

Environment | Environment

test: Test Environment

ETB

see expiration time bound

evaluation

see test & evaluation

evaluation goals

Evaluation

examples

Examples | Blackboard

bank account: Bank Account to Bank Account
blackboard: Blackboard to Blackboard
mail reader: Mail Reader
make: make to make

existing applications

Existing Applications

expiration time bound

Conflicts

fault-tolerance

Fault-Tolerance

file sharing

File Sharing | File Sharing

file sharing semantics

File Sharing Semantics | File Sharing Semantics

file sizes

File Sizes and Types

file types

File Sizes and Types

file usage

File Usage | File Sharing Semantics

classification of files: Classification of Files
file sharing: File Sharing
file sharing semantics: File Sharing Semantics
file sizes: File Sizes and Types
file types: File Sizes and Types
operations on directories: Operations on Directories
operations on files: Operations on Files

fulfillment of goals

Fulfillment of Goals

full set

Granularity of Replication | Granularity of Replication

fully connected

see connected

future work

Future Work

goals

Goals | Restrictions

design: Design
evaluation: Evaluation
fulfillment: Fulfillment of Goals
implementation: Implementation
overall: Motivation
performance: Performance

granularity

harddisk

Mobile Computers | Stable Storage

heterogeneous

Mobile Computers | Mobile Computers | Mobile Computers

I'm a lucky guy

Postscriptum

implementation goals

Implementation

implementation, the

The Implementation | Availability

client/server communication: Client/Server Communication
communication with TACO: Communication with TACO
fault-tolerance: Fault-Tolerance
overview: Overview of Files and
portability: Portability
program flow: Program Flow
system requirements: System Requirements
test environment: Test Environment

inner transactions

Isolation-Only Transactions

introduction

Introduction | Contents

AMIGOS: AMIGOS
challenges: Challenges
contents: Contents
distributed file service: A Distributed File Service
distributed file system: A Distributed File System
environment: Environment
goals: Goals
mobile computing: Mobile Computing
motivation: Motivation
overview: Overview
terminology: Terminology
transactions in mobile computing: Transactions in Mobile Computing

IOTs

see isolation-only transactions

isolation

Properties of Transactions | Isolation | Serial Transactions

isolation-only transactions

keyboard

Mobile Computers | Screen & Keyboard | Screen & Keyboard

laptops

latency

least-recently-used

see LRU

Linux

Mobile Computers | Mobile Computers | Stable Storage

X-Windows: Screen & Keyboard

Little Work

locking

Locking | Locking

LRU

Caching | Caching | Caching

means of communication

see communication

memory

see RAM

MIo-NFS

System Settings & Primitives

mobile computers

Mobile Computers | Mobile Computers

heterogeneous: Mobile Computers
keyboard: Screen & Keyboard
performance: Performance
power supply: Power Supply
screen: Screen & Keyboard
self-contained: Mobile Computers
stable storage: Stable Storage
vulnerability: Vulnerability

mobile computing

Mobile Computing to Mobile Computing | Mobile Computing | Summary

communication: see communication
computers: see mobile computers
mobility: Mobility
summary: Summary to Summary

mobility

Mobility | Mobility

model, the

The Model | Existing Applications

closing

conflicts

creating

deleting

existing applications

Existing Applications

features

Other Features

locking

Locking

primitives

Primitives

file primitives: File Primitives
system primitives: System Settings & Primitives
transaction primitives: Transaction Primitives

reading

Reading

status

Status

synchronization

Synchronization

system settings

temporary files

Temporary Files

writing

Writing

modification time bound

Writing

motivation

Motivation | Motivation

MTB

see modification time bound

multi-level consistency

Multi-Level Consistency | Multi-Level Consistency

nested transactions

see nesting

nesting (of transactions)

Nesting | Conclusion

networks

ATM: Means of Communication
bandwidth: Means of Communication
Ethernet: Means of Communication
FDDI: Means of Communication
GSM: Means of Communication
LAN: Means of Communication
latency: Means of Communication
modem: Means of Communication
serial line: Means of Communication

NFS

PC-NFS: Mobile Computers

notebooks

Operation Level Consistency

Odyssey

File Sizes and Types

operating system

Mobile Computers | Mobile Computers | Mobile Computers | Stable Storage

operation level consistency

operations on directories

Operations on Directories | Operations on Directories

operations on files

Operations on Files | Operations on Files

optimistic

Optimistic | Optimistic

concurrency control: Optimistic Concurrency Control

optimistic reading

Optimistic Reading

ORACLE

Bank Account | Bank Account

OS/2

Workplace Shell: Screen & Keyboard

outer transactions

overall goals

Motivation

overview

Overview

implementation: Overview of Files and

palmtops

partially connected

see weakly connected

PDAs

performance

Performance | Performance

performance goals

Personal Digital Assistants

see PDAs

pessimistic

Pessimistic | Pessimistic

pessimistic reading

Pessimistic Reading

portability

Portability

power supply

Mobile Computers | Power Supply | Power Supply

primitives

Primitives

file primitives: File Primitives
system primitives: System Settings & Primitives
transaction primitives: Transaction Primitives

priority list

processing power

Replica Control Strategies | Conflict Resolution

program

Program | Client: pclient.h

program flow

Program Flow | Flow Diagrams

RAM

Mobile Computers | Performance

read/write conflicts

Read/Write Conflicts | Read/Write Conflicts

reading

Reading | The Consistency Time Bound

consistency time bound: The Consistency Time Bound
optimistic: Optimistic Reading
pessimistic: Pessimistic Reading
strict: Strict Reading

references

References

replica control

Replica Control | Summary

caching: Caching
file usage: File Usage
granularity: Granularity of Replication
replication transparency: see replication transparency
strategies: see replica control strategies
summary: Summary to Summary
synchronization: Synchronization

replica control strategies

conflict detection: Conflict Detection
conflict resolution: Conflict Resolution
multi-level consistency: Multi-Level Consistency
optimistic: Optimistic
pessimistic: Pessimistic
strict: Strict

replication

see replica control

replication transparency

Replication transparency | Replication transparency

restrictions

Restrictions

results

Results | Results

screen

Mobile Computers | Screen & Keyboard | Screen & Keyboard

Seer

Mobile Computers | Caching | Caching

self-contained