 | LGSPGraphReserveVisitedFlag Method |
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.
Namespace:
de.unika.ipd.grGen.lgsp
Assembly:
lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2
Syntaxpublic void ReserveVisitedFlag(
int visitorID
)
Parameters
- visitorID
- Type: SystemInt32
See Also