SlideShare ist ein Scribd-Unternehmen logo
1 von 50
3. Higher-Level Synchronization ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Motivation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Shared Memory Methods ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Monitors ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Monitors ,[object Object],[object Object],[object Object],[object Object],[object Object]
Hoare Monitors ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Hoare Monitors ,[object Object],Effect of   wait Effect of  signal
Bounded buffer problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Bounded buffer problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Priority waits ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example: alarm clock ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example: alarm clock ,[object Object],[object Object]
Mesa and Java monitors ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Mesa and Java monitors ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Protected types ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Synchronization ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Synchronization ,[object Object],[object Object],[object Object],[object Object],[object Object]
Types of send/receive
Channels, Ports, and Mailboxes ,[object Object],[object Object],[object Object],[object Object],[object Object]
Named Message Channels ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Bounded buffer with CSP ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Bounded Buffer with CSP ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Bounded buffer with CSP ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Ports and Mailboxes ,[object Object],[object Object],[object Object],[object Object],[object Object]
Ports and Mailboxes Figure 3-2
Procedure-Based Communication ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
RPC ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Rendezvous ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Rendezvous ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Rendezvous Figure 3-3
Rendezvous ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example: Bounded Buffer ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Mutual Exclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Mutual Exclusion ,[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Mutual Exclusion with Token Ring Figure  3-4
Distributed Mutual Exclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Readers/Writers Problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Solution using monitor ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Dining philosophers ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 3-5
Dining philosophers ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Dining Philosophers ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Elevator algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 3-6
Elevator algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Elevator algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Logical Clocks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Physical Clocks ,[object Object],[object Object],Figure 3-7
Logical Clocks ,[object Object],[object Object],[object Object],[object Object]
Logical Clocks ,[object Object],[object Object],[object Object]
Logical Clocks Figure 3-8 L p1 (u)=4 L p2 (v)= max (4,1)+1=5 L p3 (x)= max (6,12)+1=13 L p2 (y)= max (7,14)+1=15

Weitere ähnliche Inhalte

Was ist angesagt? (19)

dnp3 Protocol Master Client simulator user manual
dnp3 Protocol Master Client simulator user manualdnp3 Protocol Master Client simulator user manual
dnp3 Protocol Master Client simulator user manual
 
Chapter 7 - Data Link Control Protocols 9e
Chapter 7 - Data Link Control Protocols 9eChapter 7 - Data Link Control Protocols 9e
Chapter 7 - Data Link Control Protocols 9e
 
Chapter 12
Chapter 12Chapter 12
Chapter 12
 
PBFT
PBFTPBFT
PBFT
 
Reliablt transmission
Reliablt transmissionReliablt transmission
Reliablt transmission
 
Tcpip 1
Tcpip 1Tcpip 1
Tcpip 1
 
Mac sub layer
Mac sub layerMac sub layer
Mac sub layer
 
~Ns2~
~Ns2~~Ns2~
~Ns2~
 
Unit 2 data link control
Unit 2 data link controlUnit 2 data link control
Unit 2 data link control
 
Ns2
Ns2Ns2
Ns2
 
Tugas komjar 7-yee
Tugas komjar 7-yeeTugas komjar 7-yee
Tugas komjar 7-yee
 
Chap 06 delivery and routing of ip packets
Chap 06 delivery and routing of ip packetsChap 06 delivery and routing of ip packets
Chap 06 delivery and routing of ip packets
 
Introduction to TCP
Introduction to TCPIntroduction to TCP
Introduction to TCP
 
Ch11
Ch11Ch11
Ch11
 
Ns2
Ns2Ns2
Ns2
 
Sliding window protocol
Sliding window protocolSliding window protocol
Sliding window protocol
 
Wireshark tcp
Wireshark tcpWireshark tcp
Wireshark tcp
 
Chap 12 tcp
Chap 12 tcpChap 12 tcp
Chap 12 tcp
 
Chap 09 icmp
Chap 09 icmpChap 09 icmp
Chap 09 icmp
 

Andere mochten auch

Os10
Os10Os10
Os10issbp
 
Lecture 7: Definite Clause Grammars
Lecture 7: Definite Clause GrammarsLecture 7: Definite Clause Grammars
Lecture 7: Definite Clause GrammarsCS, NcState
 
Class5
 Class5 Class5
Class5issbp
 
Os2 2
Os2 2Os2 2
Os2 2issbp
 
Os4 2
Os4 2Os4 2
Os4 2issbp
 
Ch11 input output systems
Ch11 input output systemsCh11 input output systems
Ch11 input output systemsissbp
 
Class9
 Class9 Class9
Class9issbp
 
Os5 2
Os5 2Os5 2
Os5 2issbp
 
Os6 2
Os6 2Os6 2
Os6 2issbp
 
Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Abhimanyu Mishra
 
Os10 2
Os10 2Os10 2
Os10 2issbp
 
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...Animesh Chaturvedi
 
Pattern detection in mealy machine
Pattern detection in mealy machinePattern detection in mealy machine
Pattern detection in mealy machineAnimesh Chaturvedi
 
Class6
 Class6 Class6
Class6issbp
 

Andere mochten auch (20)

Os10
Os10Os10
Os10
 
Os4
Os4Os4
Os4
 
Lecture 7: Definite Clause Grammars
Lecture 7: Definite Clause GrammarsLecture 7: Definite Clause Grammars
Lecture 7: Definite Clause Grammars
 
Class5
 Class5 Class5
Class5
 
Os2 2
Os2 2Os2 2
Os2 2
 
Os6
Os6Os6
Os6
 
Os4 2
Os4 2Os4 2
Os4 2
 
Ch11 input output systems
Ch11 input output systemsCh11 input output systems
Ch11 input output systems
 
Class9
 Class9 Class9
Class9
 
Os2
Os2Os2
Os2
 
Os5 2
Os5 2Os5 2
Os5 2
 
Os6 2
Os6 2Os6 2
Os6 2
 
Design1
Design1Design1
Design1
 
Os5
Os5Os5
Os5
 
Cspc final
Cspc finalCspc final
Cspc final
 
Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5
 
Os10 2
Os10 2Os10 2
Os10 2
 
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
 
Pattern detection in mealy machine
Pattern detection in mealy machinePattern detection in mealy machine
Pattern detection in mealy machine
 
Class6
 Class6 Class6
Class6
 

Ähnlich wie Os3

Ähnlich wie Os3 (20)

Chapter 6 synchronization
Chapter 6 synchronizationChapter 6 synchronization
Chapter 6 synchronization
 
Synchronization in os.pptx
Synchronization in os.pptxSynchronization in os.pptx
Synchronization in os.pptx
 
Chapter 3 - Processes
Chapter 3 - ProcessesChapter 3 - Processes
Chapter 3 - Processes
 
Ch03
Ch03Ch03
Ch03
 
Chapter 5-Synchronozation.ppt
Chapter 5-Synchronozation.pptChapter 5-Synchronozation.ppt
Chapter 5-Synchronozation.ppt
 
Chapter 6 - Process Synchronization
Chapter 6 - Process SynchronizationChapter 6 - Process Synchronization
Chapter 6 - Process Synchronization
 
OSCh7
OSCh7OSCh7
OSCh7
 
OS_Ch7
OS_Ch7OS_Ch7
OS_Ch7
 
CS6601-Unit 4 Distributed Systems
CS6601-Unit 4 Distributed SystemsCS6601-Unit 4 Distributed Systems
CS6601-Unit 4 Distributed Systems
 
TERMIN@TION AND DETECTION #ALL DET@IL 123
TERMIN@TION AND DETECTION #ALL DET@IL 123TERMIN@TION AND DETECTION #ALL DET@IL 123
TERMIN@TION AND DETECTION #ALL DET@IL 123
 
5-LEC- 5.pptxTransport Layer. Transport Layer Protocols
5-LEC- 5.pptxTransport Layer.  Transport Layer Protocols5-LEC- 5.pptxTransport Layer.  Transport Layer Protocols
5-LEC- 5.pptxTransport Layer. Transport Layer Protocols
 
Os unit 3
Os unit 3Os unit 3
Os unit 3
 
KandR_TCP (1).ppt notes for congestion control
KandR_TCP (1).ppt    notes for congestion controlKandR_TCP (1).ppt    notes for congestion control
KandR_TCP (1).ppt notes for congestion control
 
5 DLL-LLC- Book
5 DLL-LLC- Book5 DLL-LLC- Book
5 DLL-LLC- Book
 
Lecture 5
Lecture 5Lecture 5
Lecture 5
 
Distributed computing time
Distributed computing timeDistributed computing time
Distributed computing time
 
Cassandra 2.1 boot camp, Overview
Cassandra 2.1 boot camp, OverviewCassandra 2.1 boot camp, Overview
Cassandra 2.1 boot camp, Overview
 
Data link layer (Unit 2).pdf
Data link layer (Unit 2).pdfData link layer (Unit 2).pdf
Data link layer (Unit 2).pdf
 
Transport layer
Transport layerTransport layer
Transport layer
 
Synchronization in distributed computing
Synchronization in distributed computingSynchronization in distributed computing
Synchronization in distributed computing
 

Mehr von issbp

Os9 2
Os9 2Os9 2
Os9 2issbp
 
Os8 2
Os8 2Os8 2
Os8 2issbp
 
Os7 2
Os7 2Os7 2
Os7 2issbp
 
Os3 2
Os3 2Os3 2
Os3 2issbp
 
Class8
 Class8 Class8
Class8issbp
 
Class7
 Class7 Class7
Class7issbp
 
Class4
 Class4 Class4
Class4issbp
 
Class3
 Class3 Class3
Class3issbp
 
Class2
 Class2 Class2
Class2issbp
 
Class1
 Class1 Class1
Class1issbp
 
0227 regularlanguages
 0227 regularlanguages 0227 regularlanguages
0227 regularlanguagesissbp
 

Mehr von issbp (14)

Os9 2
Os9 2Os9 2
Os9 2
 
Os9
Os9Os9
Os9
 
Os8 2
Os8 2Os8 2
Os8 2
 
Os8
Os8Os8
Os8
 
Os7 2
Os7 2Os7 2
Os7 2
 
Os7
Os7Os7
Os7
 
Os3 2
Os3 2Os3 2
Os3 2
 
Class8
 Class8 Class8
Class8
 
Class7
 Class7 Class7
Class7
 
Class4
 Class4 Class4
Class4
 
Class3
 Class3 Class3
Class3
 
Class2
 Class2 Class2
Class2
 
Class1
 Class1 Class1
Class1
 
0227 regularlanguages
 0227 regularlanguages 0227 regularlanguages
0227 regularlanguages
 

Os3

Hinweis der Redaktion

  1. Blocking = synchronos Nonblocking = a synchronous Blocking implicit send is rare Blocking receive is common Blocking implicit receive is a natural situation