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

  • Trusted Platform Module (TPM)

    - A Trusted Platform Module (TPM) is a specialized chip on an endpoint device that stores RSA encryption keys specific to the host system for hardware authentication. (WhatIs.com)

  • IT asset disposition (ITAD)

    - IT asset disposition (ITAD) is the business built around disposing of obsolete or unwanted equipment in a safe and ecologically-responsible manner. ITAD vendors specialize in the process of stream... (WhatIs.com)

  • geo-fencing (geofencing)

    - Geo-fencing is a feature in a software program that uses the global positioning system (GPS) or radio frequency identification (RFID) to define geographical boundaries. A geofence is a virtual barr... (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.