Coherence = Data Race

 

Coherence and Data Race achieve the same goal.

They both make sure data has update integrity.

The software has program logic that provides logical integrity.

Coherence ensures hardware update integrity.

Thread-safe solves the data race and ensures software update integrity.

However the hardware does not know what data is shared and the software does.

This distinction enables software to have an algorithm that handles an infinite number of tasks.

Because software treats shared data differently.

But hardware can not.

So a new allocation instruction is needed to differentiate shared data from private data.
Because private data does not require coherence. It is thread-safe.

Creating a thread-safe cache that does not require coherence, results in less coherence overhead.

Different Algorithms for the Same Problem