I've started reading a book about concurrent programming and found the part about critical reference quite difficult to understand.
- Definition 1: An occurrence of a variable v is defined to be a critical reference if
a) it is assigned to in one process and has an occurrence in another process
b) if it has an occurrence in an expression in one process and is assigned to in another
- Definition 2: A program satisfies limited-critical-reference (LCR) if each statement has at most 1 critical reference.
"Concurrent programs that satisfy the LCR restriction yield the same set of behaviors whether the statements are considered atomic or are compiled to a machine architecture with atomic load and store."
Do they mean that if LCR <= 1 for all statements the arbitrary interleaving of machine code instructions is such that there is no overlapping between the individual statements of the processes, that is they are executed atomically?
