COS226 - Lecture - Primitive Synchronization Operations - 1

COS226 - Lecture - Primitive Synchronization Operations - 1...

Info iconThis preview shows pages 1–9. Sign up to view the full content.

View Full Document Right Arrow Icon
COS226: Concurrent Systems Chapter 5: Primitive Synchronization Operations - Part 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Overview CPU Registers Operations Locks Operating System Applications
Background image of page 2
Primitive +instruction() n m >= n l >= m
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Consensus Problem public interface Consensus<T> { T decide(T value); } consistent: all threads decide the same value; valid: the common decision value is some thread's input.
Background image of page 4
Consensus Problem decideA(); decideB(); decideC(); Chosen value
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Aim Is a particular class of objects powerful enough to solve the consensus problem?
Background image of page 6
Observations Objects are supported by lower levels, i.e. the OS and the hardware, so we're interested in the properties of a class; Any modern system will provide generous amounts of read-write memory.
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Definitions 5.1.1: A class C solves n-thread consensus if there exists a consensus protocol using any number of objects of class C and any number of atomic registers. 5.1.2:
Background image of page 8
Image of page 9
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/11/2010 for the course COS COS226 taught by Professor Klazar during the Spring '10 term at University of Pretoria.

Page1 / 17

COS226 - Lecture - Primitive Synchronization Operations - 1...

This preview shows document pages 1 - 9. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online