Definition

sequential consistency

Part of the Hardware glossary:

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
Posted by: Margaret Rouse

Related Terms

Definitions

  • solid state storage technologies comparison

    - Solid-state storage (SSS) is an increasingly popular backup alternative to traditional storage technologies such as the hard disk drive (HDD), compact disc, rewriteable (CD-RW), and digital versati... (WhatIs.com)

  • SimpliVity

    - SimpliVity Corp. is the Westborough, Massachusetts vendor of the hyper-converged storage product OmniCube. (SearchVirtualStorage.com)

  • headless server

    - A headless server is a computing device without a local interface that is dedicated to providing services to other computers and their users. Servers in large data center environments are often hea... (WhatIs.com)

Glossaries

  • Hardware

    - Terms related to computer hardware, including definitions about cables, connectors and power supply units and words and phrases about computing peripheral devices including the keyboard, mouse, au...

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question. Find an Answer.Powered by ITKnowledgeExchange.com

Ask An IT Question

Get answers from your peers on your most technical challenges

Ask Question

Tech TalkComment

Share
Comments

    Results

    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.