|Page 430 of 800||Search internet|
Nodes of a server state are labeled by 'attribute functions'. The domain of an attribute function is finite and consists of cardinals. The range of an attribute function consists of 'attribute lists'.
An attribute list is a list of pairs of timestamps and 'attributes'. Attribute lists must be sorted chronologically with the oldest timestamp first. Some attribute lists are required to be 'strictly chronological' in the sense that no two timestamps of the list are allowed to represent the same time instant.
Whenever attributes are added to an attribute list, they are added to the end of the list with the current Logiweb time as timestamp. Whenever an attribute is removed from an attribute list, it is removed without permuting the other attributes.
Among other, timestamps make it very efficient to do incremental mirroring of the state of a Logiweb server.
|Page 430 of 800||Search logiweb.eu|