Self-stabilization
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Protection and the control of information sharing in multics
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Virtual memory, processes, and sharing in Multics
SOSP '67 Proceedings of the first ACM symposium on Operating System Principles
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,
Improving the reliability of commodity operating systems
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Toward Self-Stabilizing Operating Systems
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Proactive recovery in a Byzantine-fault-tolerant system
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
The IBM history of memory management technology
IBM Journal of Research and Development
Self-stabilizing operating systems
Proceedings of the twentieth ACM symposium on Operating systems principles
Self-stabilizing device drivers
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A self-stabilizing autonomic recoverer for eventual Byzantine software
Journal of Systems and Software
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stabilization enabling technology
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing device drivers
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of Byzantine guests
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests
ACM SIGOPS Operating Systems Review
| Hi-index | 0.00 |
This work presents several approaches for designing the memory management component of self-stabilizing operating systems. We state the requirements which a memory manager should satisfy. One requirement is eventual memory hierarchy consistency among different copies of data residing in different (level of) memory devices e.g., ram and disk. Another requirement is stabilization preserving where the memory manager ensures that every process that is proven to stabilize independently, also stabilizes under the (self-stabilizing scheduler and the) memory manager operation. Three memory managers that satisfy the above requirements are presented. The first allocates the entire physical memory to a single process in every given point of time, the second uses fixed partition of the memory among processes, and the last uses memory leases for dynamic memory allocations.