Method for isolating a memory location storing an obsolete value

摘要

The procedure for isolating in a divided computer memory a point containing an obsolete value for a variable, in which the point is referenced by a pointer for access within the frame of a first transaction (T1) and a hold preventing access to the point for all but one task, consists of deleting in the descriptor of the variable the identity (T1) of the aborted transaction and the address (ADR1) of the point and writing the address in the descriptor of the transaction before releasing the hold. If the first transaction is aborted because of a second transaction which demands access to the variable to write a new value (Vnou) and which validates the access, and where the obsolete value precedes the current value (Vcou), the procedure consists of changing the address of the points containing the current obsolete and new values in the descriptor of the variable.