IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Flexible update propagation for weakly consistent replication
Proceedings of the sixteenth ACM symposium on Operating systems principles
The clearinghouse: a decentralized agent for locating named objects in a distributed environment
ACM Transactions on Information Systems (TOIS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Unison: A File Synchronizer and Its Specification
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Hash History Approach for Reconciling Mutual Inconsistency
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
ACM Computing Surveys (CSUR)
Simulating Large-Scale P2P Systems with the WiDS Toolkit
MASCOTS '05 Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Improving causality logging in mobile computing networks
ACM SIGMOBILE Mobile Computing and Communications Review
Concise version vectors in WinFS
DISC'05 Proceedings of the 19th international conference on Distributed Computing
| Hi-index | 0.00 |
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and development. DFS-R is currently deployed in various contexts; in Windows Server 2003-R2, Windows Live Messenger (Sharing Folders), and Windows Vista (Meeting spaces). The journey from an initial design sketch to a shipped product required mainly the dedicated effort of several testers, developers, program managers, and several others; but in some places cute problems related to distributed consensus and software model-checking emerged. This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for reconciling treelike data structures, using model-based test case generation, and the use of software model checking in design and development process.