Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
The LOCUS distributed system architecture
The LOCUS distributed system architecture
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
The structure of System/88, a fault-tolerant computer
IBM Systems Journal
Scale and performance in a distributed file system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
The Sprite Network Operating System
Computer
Performance of the world's fastest distributed operating system
ACM SIGOPS Operating Systems Review
ACM Transactions on Computer Systems (TOCS)
Maintaining availability in partitioned replicated databases
ACM Transactions on Database Systems (TODS)
Virtual memory management for transaction processing systems
Virtual memory management for transaction processing systems
Performance of the Firefly RPC
ACM Transactions on Computer Systems (TOCS)
Parallel Communication in a Large Distributed Environment
IEEE Transactions on Computers
Coda: A Highly Available File System for a Distributed Workstation Environment
IEEE Transactions on Computers
Measurements of a distributed file system
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
FICUS: a very large scale reliable distributed file system
FICUS: a very large scale reliable distributed file system
Disconnected operation in the Coda File System
ACM Transactions on Computer Systems (TOCS)
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Concurrent compacting garbage collection of a persistent heap
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
An empirical study of a highly available file system
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Exploiting weak connectivity for mobile file access
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Long term distributed file reference tracing: implementation and experience
Software—Practice & Experience
Dealing with disaster: surviving misbehaved kernel extensions
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
A complete guide to lotus notes 4.5
A complete guide to lotus notes 4.5
Resource Conservation in a Mobile Transaction System
IEEE Transactions on Computers - Special issue on mobile computing
Free transactions with Rio Vista
Proceedings of the sixteenth ACM symposium on Operating systems principles
Frangipani: a scalable distributed file system
Proceedings of the sixteenth ACM symposium on Operating systems principles
Automated hoarding for mobile computers
Proceedings of the sixteenth ACM symposium on Operating systems principles
PalmPilot: the ultimate guide
Consistent global states of distributed systems: fundamental concepts and mechanisms
Distributed systems (2nd Ed.)
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
A trace-driven analysis of the UNIX 4.2 BSD file system
Proceedings of the tenth ACM symposium on Operating systems principles
The notions of consistency and predicate locks in a database system
Communications of the ACM
Log-based directory resolution in the coda file system
PDIS '93 Proceedings of the second international conference on Parallel and distributed information systems
The importance of translucence in mobile computing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Caching trust rather than content
ACM SIGOPS Operating Systems Review
Software Engineering
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Project Aura: Toward Distraction-Free Pervasive Computing
IEEE Pervasive Computing
The Future of Systems Research
Computer
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
LOCUS a network transparent, high reliability distributed system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The LOCUS distributed operating system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Improving data consistency in mobile computing using isolation-only transactions
HOTOS '95 Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V)
Translucent cache management for mobile computing
Translucent cache management for mobile computing
Operation-based update propagation in a mobile file system
Operation-based update propagation in a mobile file system
Flexible and safe resolution of file conflicts
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Caubweb: detaching the web with Tcl
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Operation-based update propagation in a mobile file system
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Porting the coda file system to windows
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Simplifying automated hoarding methods
MSWiM '02 Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Operation Shipping for Mobile File Systems
IEEE Transactions on Computers
The Personal Server: Changing the Way We Think about Ubiquitous Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Power-Aware Network Swapping for Wireless Palmtop PCs
Proceedings of the conference on Design, automation and test in Europe - Volume 2
A docked-aware storage architecture for mobile computing
Proceedings of the 1st conference on Computing frontiers
Flexible on-device service object replication with replets
Proceedings of the 13th international conference on World Wide Web
Tactics-based remote execution for mobile computing
Proceedings of the 1st international conference on Mobile systems, applications and services
Reincarnating PCs with portable SoulPads
Proceedings of the 3rd international conference on Mobile systems, applications, and services
Data Staging on Untrusted Surrogates
FAST '03 Proceedings of the 2nd USENIX Conference on File and Storage Technologies
Wireless Personal Communications: An International Journal
Universal access architecture for digital libraries
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Power-Aware Network Swapping for Wireless Palmtop PCs
IEEE Transactions on Mobile Computing
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
A design pattern for mobile-distributed knowledge spaces
MIS '05 Proceedings of the 2005 symposia on Metainformatics
CriStore: dynamic storage system for heterogeneous devices in off-site ubiquitous communities
Proceedings of the 2007 ACM symposium on Applied computing
Undo for operators: building an undoable e-mail store
ATEC '03 Proceedings of the annual conference on USENIX Annual Technical Conference
Pervasive Personal Computing in an Internet Suspend/Resume System
IEEE Internet Computing
Unibus: a contrarian approach to grid computing
The Journal of Supercomputing
OmniStore: Automating data management in a personal system comprising several portable devices
Pervasive and Mobile Computing
Automatically linking live experiences captured with a ubiquitous infrastructure
Multimedia Tools and Applications
Decentralized access control in distributed file systems
ACM Computing Surveys (CSUR)
Portable desktop applications based on P2P transportation and virtualization
LISA'08 Proceedings of the 22nd conference on Large installation system administration conference
Interactive resource-intensive applications made easy
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Perspective: semantic data management for the home
FAST '09 Proccedings of the 7th conference on File and storage technologies
Enabling Pervasive Collaboration with Platform Composition
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Using common Lisp to prototype offline work in web applications for rich domains
Proceedings of the 6th European Lisp Workshop
Transient customization of mobile computing infrastructure
Proceedings of the First Workshop on Virtualization in Mobile Computing
Information security underlying transparent computing: Impacts, visions and challenges
Web Intelligence and Agent Systems
Towards seamless mobility on pervasive hardware
Pervasive and Mobile Computing
Caching and Materialization for Web Databases
Foundations and Trends in Databases
Towards dynamic and cooperative multi-device personal computing
The disappearing computer
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers
Proceedings of the 2010 ACM Symposium on Applied Computing
Interactive resource-intensive applications made easy
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
GUESSTIMATE: a programming model for collaborative distributed systems
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Data staging on untrusted surrogates
FAST'03 Proceedings of the 2nd USENIX conference on File and storage technologies
Separating computation and storage with storage virtualization
Computer Communications
Combining mobile and cloud storage for providing ubiquitous data access
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
A proxy service for the xrootd data server
SAG'04 Proceedings of the First international conference on Scientific Applications of Grid Computing
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
3PC: System support for adaptive peer-to-peer pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
TAO: Facebook's distributed data store for the social graph
USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
Hi-index | 0.00 |
Failure-resilient, scalable, and secure read-write access to shared information by mobile and static users over wireless and wired networks is a fundamental computing challenge. In this article, we describe how the Coda file system has evolved to meet this challenge through the development of mechanisms for server replication, disconnected operation, adaptive use of weak connectivity, isolation-only transactions, translucent caching, and opportunistic exploitation of hardware surrogates. For each mechanism, the article explains how usage experience with it led to the insights for another mechanism. It also shows how Coda has been influenced by the work of other researchers and by industry. The article closes with a discussion of the technical and nontechnical lessons that can be learned from the evolution of the system.