| Title: |
On system rollback and totalised fields |
| Authors: |
Burgess, Mark, Couch, Alva |
| Source: |
Journal of Logic and Algebraic Programming 80 (2011), pp. 427-443 |
| Publication Year: |
2021 |
| Collection: |
Computer Science |
| Subject Terms: |
Computer Science - Distributed, Parallel, and Cluster Computing, F.3.0, I.1.0, H.0, K.6.4 |
| More Details: |
In system operations it is commonly assumed that arbitrary changes to a system can be reversed or `rolled back', when errors of judgement and procedure occur. We point out that this view is flawed and provide an alternative approach to determining the outcome of changes. Convergent operators are fixed-point generators that stem from the basic properties of multiplication by zero. They are capable of yielding a repeated and predictable outcome even in an incompletely specified or `open' system. We formulate such `convergent operators' for configuration change in the language of groups and rings and show that, in this form, the problem of convergent reversibility becomes equivalent to the `division by zero' problem. Hence, we discuss how recent work by Bergstra and Tucker on zero-totalised fields helps to clear up long-standing confusion about the options for `rollback' in change management. |
| Document Type: |
Working Paper |
| DOI: |
10.1016/j.jlap.2011.07.001 |
| Access URL: |
http://arxiv.org/abs/2104.11958 |
| Accession Number: |
edsarx.2104.11958 |
| Database: |
arXiv |
