Review Note

Explain the concept of 'Sequential Consistency' in multicore programming.

'Sequential Consistency' is a memory consistency model which postulates that operations from all processors in a multicore system appear to execute in some interleaved, sequential manner and that operations' order conforms to the program order established by each individual processor.

In a system adhering to Sequential Consistency, the result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program. It simplifies reasoning about parallel programs but can be a hindrance to various performance optimizations that involve reordering memory operations.