Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
A self-stabilizing distributed file system is presented. The system constructs and maintains a spanning tree for each file volume. The spanning tree consists of the servers that have volume replicas and caches for the specific file volume. The spanning trees are constructed and maintained by self-stabilizing distributed algorithms. File system updates use the tree to implement file read and write operations.