GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
ReserveVisitedFlag Method (visitorID)
Called by the transaction manager just when it gets notified about a vfree. The visited flag freed must be reserved until the transaction finished, cause otherwise it might be impossible for the transaction manager to roll the vfree back with a valloc; that may happen if the flag is handed out again in a succeeding valloc, during a transaction pause.
Declaration Syntax
public void ReserveVisitedFlag(
	int visitorID
visitorID (Int32)

Assembly: lgspBackend (Module: lgspBackend) Version: (