Provides a way to check whether there was any "modification" during execution of a body of code.
The macro
with-modification-change
, together with the macro with-modification-check-macro, provides a way for a body of code to execute and check whether there was any "modification" during this execution, where modification is execution of some other piece of code.
See Aids for implementing modification checks for the full description and an example.
modification-place does not need to be one of the places efined for low level atomic operations.