Browse Definitions :
Definition

sequential consistency

In computers, sequential consistency is best defined by its inventor, Leslie Lamport, who declared that a multiprocessing system had sequential consistency if:

"...the results 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."
This definition was one of the first statements on what constituted "correct" behavior for a symmetric multiprocessing ( SMP ) system. It has been restated in various forms, among them the following:
Sequential consistency requires that a shared memory multiprocessor appear to be a multiprogramming uniprocessor system to any program running on it.
Sequential consistency requires that:

1. All instructions are executed in order.

2. Every write operation becomes instantaneously visible throughout the system.

Implicit in the definition of sequential consistency was the acknowledgement that SMP systems could fail to be sequentially consistent. Should machines be sequentially consistent? From the vantage point of almost twenty years later, the answers are mixed. Some say "yes", that machines should conceal implementation complexities in order to make the machines as easy to use as possible. Others say "no", that violating SC allows machines to increase performance considerably while at the same time inconveniencing only a vanishingly small number of programmers.

This was last updated in November 2005

Start the conversation

Send me notifications when other members comment.

Please create a username to comment.

-ADS BY GOOGLE

File Extensions and File Formats

SearchCompliance

SearchSecurity

  • cybersecurity

    Cybersecurity is the protection of internet-connected systems, including hardware, software and data, from cyberattacks.

  • asymmetric cryptography (public key cryptography)

    Asymmetric cryptography, also called public key cryptography, uses a pair of numerical keys that are mathematically related to ...

  • digital signature

    A digital signature is a mathematical technique used to validate the authenticity and integrity of a message, software or digital...

SearchHealthIT

SearchDisasterRecovery

  • business continuity plan (BCP)

    A business continuity plan (BCP) is a document that consists of the critical information an organization needs to continue ...

  • disaster recovery team

    A disaster recovery team is a group of individuals focused on planning, implementing, maintaining, auditing and testing an ...

  • cloud insurance

    Cloud insurance is any type of financial or data protection obtained by a cloud service provider. 

SearchStorage

  • hard disk drive (HDD)

    A computer hard disk drive (HDD) is a non-volatile memory hardware device that controls the positioning, reading and writing of ...

  • byte

    In most computer systems, a byte is a unit of data that is eight binary digits long. Bytes are often used to represent a ...

  • network-attached storage (NAS)

    Network-attached storage (NAS) is dedicated file storage that enables multiple users and heterogeneous client devices to retrieve...

Close