Index Concurrency Control
- Logical Correctness: This means that the thread is able to read values that it should expect to read, e.g. a thread should read back the value it had written previously.
- Physical Correctness: This means that the internal representation of the object is sound, e.g. there are no pointers in the data structure that will cause a thread to read invalid memory locations.