Abstract: Each node in a data processing system contains at least one undo buffer and one least one redo buffer for insuring that any changes made to a section of a non-volatile storage medium, such as a disk, can be removed, if a transaction has not been committed, or can be recreated if the transaction has not been committed. The undo buffers each correspond to a different uncommitted transaction. The redo buffer contains the changes made to a copy of the section which is maintained in the memory.

Abstract: A data processing system maintains logs for system and media recovery. The logs contain state identifiers each uniquely identifying the state of a corresponding section of a storage medium, such as a disk. The state identifiers are assigned after changes have been made such that they can be determined from the information in the logs. One implementation involves assigning state identifiers in a known sequence, such as in a monotonically increasing sequence of integers beginning with zero.

Abstract: Requests for memory locks upon nodes in a multi-level resource hierarchy of a computer system are granted and denied by a hybrid escalation/de-escalation protocol that dynamically modifies the resource hierarchy so that lock escalation may restrict the extent of the hierarchy. Each of the leaf-level nodes, for example, is identified by a flag indicating whether or not it is possible to further refine a lock on the node by de-escalation. During escalation from a lower level of the hierarchy to a higher-level node, the flag for the higher-level node is set to restrict the extent of the hierarchy and to free-up memory previously allocated to descendants of the higher-level node. In a specific embodiment, the lock protocol attempts to place a strong lock at the highest possible node in the portion of the resource hierarchy including an object to be locked, and also records in memory a leaf node instance for the object.