On system rollback and totalised fields

04/24/2021
by   Mark Burgess, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/14/2023

Real Equation Systems with Alternating Fixed-points (full version with proofs)

We introduce the notion of a Real Equation System (RES), which lifts Boo...
research
11/08/2022

Frugal and Decentralised Resolvent Splittings Defined by Nonexpansive Operators

Frugal resolvent splittings are a class of fixed point algorithms for fi...
research
01/21/2022

Fixed-point cycles and EFX allocations

We study edge-labelings of the complete bidirected graph ↔K_n with funct...
research
02/18/2019

Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Invertible map equivalences are approximations of graph isomorphism that...
research
10/01/2021

Sets of fractional operators and numerical estimation of the order of convergence of a family of fractional fixed point methods

Considering the large number of fractional operators that exist, and sin...
research
06/20/2018

Optimal Seeding and Self-Reproduction from a Mathematical Point of View

P. Kabamba developed generation theory as a tool for studying self-repro...
research
10/17/2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Semiring provenance is a successful approach to provide detailed informa...

Please sign up or login with your details

Forgot password? Click here to reset