Rozproszone systemy komputerowe

1.

ROZPROSZONE SYSTEMY KOMPUTEROWE
prof. dr hab. Ludwik Czaja
UV - 2021/2022 semestr zimowy
piątki, 10:10-12:05
Teams/Platon (on-line)
08.10.2021
15.10.2021
22.10.2021
29.10.2021
05.11.2021
12.11.2021
19.11.2021
26.11.2021
03.12.2021
10.12.2021
17.12.2021
14.01.2022

2.

Problemy przedstawiane na kolejnych wykładach:
• Struktura i działanie komputera o wewnętrznym sterowaniu: główne części składowe i cykl
wykonania rozkazu, przykładowa lista rozkazów, przykłady wykonania prostych programów
w przykładowych rozkazach – symulacja animowana
• Pojęcie procesu. Mechanizmy synchronizacji i komunikacji międzyprocesowej.
Scentralizowane systemy wieloprocesowe symulowane (wieloprogramowe, podział
czasu, przerwania) i rzeczywiste (z wieloma fizycznymi procesorami). Przykłady działania
takich systemów (m.in. synchronicznych: wektorowych, macierzowych) – symulacja
animowana. Zjawiska patologiczne w systemach wieloprocesowych: zakleszczenie,
zagłodzenie, niesprawiedliwy przydział zasobów
• Od systemów scentralizowanych symulujących pewne funkcje systemów
rozproszonych do systemów fizycznie rozproszonych. Przegląd różnych rodzajów
systemów relacji między nimi. Pewna klasyfikacja – tzw. taksonomia Flynn’a
• Systemy rozproszone: definicje (nieformalne), cele, cechy

3.

• Współbieżne wykonywanie programów
- transakcje współbieżne
- zakleszczenia przy synchronizacji. Graf oczekiwania
- zagłodzenia
- wzajemne wykluczanie w systemach rozproszonych: z serwerem nadzorczym oraz
algorytm pierścienia z żetonem
• Czas, koordynacja, wykluczanie bez nadzorcy, zagadnienia:
- czas fizyczny i synchronizacja zegarów: metoda Cristiana, metoda
Berkeley – „demon czasu”, metoda NTP (Network Time Protocol)
- czas logiczny
- wzajemne wykluczanie bez zewnętrznych usług dla procesów
• Komunikacja międzyprocesowa
- podstawowe zagadnienia komunikacji
- zadania protokołów komunikacyjnych – przykłady
- wysyłanie i odbiór, rodzaje transmitowania komunikatów
- warstwowe struktury protokołów

4.

• Zdalne wywoływanie procedur (RPC)
- motywacje, problemy, ograniczenia
- przykład działania mechanizmu RPC
• Awarie w systemie rozproszonym
- twierdzenia o szeregach liczbowych
- reakcja na sytuacje awaryjne i ich szanse
- problemy uzgodnień (problem „dwóch armii”, problem „bizantyjskich generałów”)
- wybór nowego koordynatora po awarii: algorytm tyrana, pierścieniowy algorytm elekcji
• Rozproszona pamięć dzielona
- motywacje, problemy, cechy korzystne i niekorzystne
- przeplotowy model działania systemu
- współbieżność operacji dostępu do pamięci DSM
- zdarzenia inicjacji i zakończeń czytania i pisania
- formalne definicje spójności ścisłej i sekwencyjnej, inne rodzaje spójności pamięci

5.

Literatura
1. G. Coulouris, J. Dollimore, T. Kindberg: Systemy rozproszone, WNT 1999.
2. L. Czaja: Zasady systemów rozproszonych z ilustracjami działania, Vistula 2014
3. L. Czaja: Introduction to Distributed Systems. Principles and Features, SpringerVerlag, 2018
4. L. Czaja: Cause-Effect Structures, An Algebra of Nets with Examples of
Applications, Springer-Verlag 2019
5. A.S. Tanenbaum: Rozproszone systemy operacyjne, WNT 1997
6. M. Ben-Ari: Podstawy programowania współbieżnego i rozproszonego,
WNT 1996

6.

Wykład 1
1. Zasada wewnętrznego (von Neumann) vs. zewnętrznego sterowania,
uniwersalność – programowalność.
2. Schemat funkcjonalny komputera z wewnętrznym sterowaniem
z przykładową listą rozkazów, przykład działania - symulacja
(program w języku maszyny).
3. Wieloprogramowość z jednym procesorem.
4. Systemy wieloprocesorowe ze wspólną pamięcią.
Przykład działania systemu 2-procesorowego (symulacja), zyski i zagrożenia.

7.

Schemat połączeń układów komputera 1-procesorowego
pamięć operacyjna
DMA
(Direct
Memory
Access)
procesor: jednostka
arytmetyczo-logiczna + sterowanie
układ koordynujący
kanał
transmisji
danych
dysk
kanał
transmisji
danych
…
kanał
transmisji
danych
urządzenie
zewnętrzne
…
urządzenie
zewnętrzne

8.

Schemat funkcjonalny komputera z wewnętrznym sterowaniem
LR – licznik rozkazów, RR –rejestr rozkazów, A - akumulator
pamięć operacyjna
0
1
2
3
pamięci zewnętrzne
4
5
6
7 …… 20
21
22
23
24
procesor (jednostka arytmetyczo-logiczna + sterowanie)
LR: 20 RR:
A:
inne rejestry:
we/wy, karty:
graficzna, sieciowa,
dźwiękowa,
kontroler dysku,
kanały transmisji
danych
Prześlij do
Gdy w RR jest rozkaz: Prześlij do
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
cykl wykonania rozkazu
RR := zawartość adresu wskazanego przez LR
urządzenia zewnętrzne
25

9.

Przykładowa lista rozkazów (fragment)
operacja adres
znaczenie
UA
n
Umieść w Akumulatorze zawartość adresu n i idź do następnego rozkazu w programie
PA
DO
n
n
OD
n
Pamiętaj zawartość Akumulatora pod adresem n i idź do następnego rozkazu w programie
DOdaj do zawartości Akumulatora zawartość adresu n, wynik umieść w akumulatorze
i idź do następnego rozkazu w programie
ODejmij od zawartości Akumulatora zawartość adresu n, wynik umieść w akumulatorze
i idź do następnego rozkazu w programie
MNóż zawartość Akumulatora przez zawartość adresu n, wynik umieść w akumulatorze
i idź do następnego rozkazu w programie
DZiel zawartość Akumulatora przez zawartość adresu n, wynik umieść w akumulatorze
i idź do następnego rozkazu w programie; gdy zawartość adresu n jest zerem – sygnalizuj błąd
idź do rozkazu pod adresem n w programie (SKok bezwarunkowy)
gdy w akumulatorze jest 0 to idź do rozkazu pod adresem n w programie,
a gdy nie to idź do następnego rozkazu („Skocz przy Zerze” - skok warunkowy)
gdy w akumulatorze jest to idź do rozkazu pod adresem n w programie,
a gdy nie to idź do następnego rozkazu („Skocz przy ” - skok warunkowy)
idź do rozkazu pod adresem n w programie i zatrzymaj działanie procesora
MN n
DZ
n
SK
SZ
n
n
S
n
ST
n

10.

• algorytm: metoda postępowania, np. obliczeń
• program: algorytm zapisany w jakimś języku
• proces: (nieformalnie) wykonywanie się programu
Program wykonania x := y*z + u/v zapisany rozkazami z powyższej listy:
UA
MN
PA
UA
DZ
DO
PA
ST
y
z
rob
u
v
rob
x
0
język typu assembler

11.

Symulacja wykonania programu na schemacie
funkcjonalnym komputera 1-procesorowego z
wewnętrznym sterowaniem
LR – licznik rozkazów
RR – rejestr rozkazów
A - akumulator

12.

LR:
020
RR:
A:
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
1

13.

LR:
020
RR:
UA y
A:
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
2

14.

LR:
120
RR:
UA y
A: 3.14
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
3

15.

LR:
120
RR:
MN z
A: 3.14
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
4

16.

LR:
220
RR:
MN z
A: 6.28
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
5

17.

LR:
220
RR: PA rob
A: 6.28
y
z u
v
x
3.14 2.0 15.9 3.0
rob
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
6

18.

LR:
320
RR: PA rob
A: 6.28
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
7

19.

LR:
320
RR: UA u
A: 6.28
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
8

20.

LR:
420
RR: UA u
A: 15.9
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
9

21.

LR:
420
RR: DZ v
A: 15.9
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
10

22.

LR:
520
RR: DZ v
A:
5.3
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
11

23.

LR:
520
RR: DO rob
A:
5.3
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
12

24.

LR:
620
RR: DO rob
A: 11.58
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
13

25.

LR:
620
RR: PA x
A: 11.58
y
z u
v
x
3.14 2.0 15.9 3.0
rob
6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
14

26.

LR:
720
RR: PA x
A: 11.58
y
z u
v
x
rob
3.14 2.0 15.9 3.0 11.58 6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
15

27.

LR:
720
RR: ST 0
A: 11.58
y
z u
v
x
rob
3.14 2.0 15.9 3.0 11.58 6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
16

28.

LR:
020
RR: ST 0
A: 11.58
y
z u
v
x
rob
3.14 2.0 15.9 3.0 11.58 6.28
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
Prześlij do
• skoku bezwarunkowego to LR := część adresowa
• skoku warunkowego i warunek jest spełniony to LR := część adresowa;
gdy nie jest spełniony to LR := LR+1
• stopu to LR := część adresowa i zakończ działanie
• inny to wykonaj go i LR := LR+1
cykl rozkazowy
0
1
2
3
4
5
6
7
UA y MN z PA rob UA u DZ v DO rob PA x ST 0
17

29.

Animowana symulacja działania komputera
wieloprogramowego (z podziałem czasu).
Komputer ma rozkazy przerwania
(wstrzymywania i wznawiania procesów)
i obsługi kolejki

30.

Stan programów:
przed działaniem
działa
wstrzymany
zakończył działanie
kolejka procesów
wstrzymanych
pamięć
P3: program
P2: program
P4: program
P1: program
przed działaniem przed działaniem przed działaniem przed działaniem
Prześlij do
procesor
1

31.

Stan programów:
przed działaniem
działa
wstrzymany
zakończył działanie
kolejka procesów
wstrzymanych
pamięć
P2: program
P1: program
przed działaniem przed działaniem
P3: program
działa
Prześlij do
procesor
P4: program
przed działaniem
2

32.

Stan programów:
przed działaniem
działa
wstrzymany
zakończył działanie
kolejka procesów
wstrzymanych
pamięć
P1: program
działa
P2: program
przed działaniem
P3: program
P4: program
wstrzymany przed działaniem
Prześlij do
procesor
3

33.

Stan programów:
przed działaniem
działa
wstrzymany
zakończył działanie
kolejka procesów
wstrzymanych
pamięć
P1: program
wstrzymany
P2: program
przed działaniem
P3: program
wstrzymany
Prześlij do
procesor
P4: program
działa
4

34.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
działa
P3: program
wstrzymany
Prześlij do
procesor
P4: program
wstrzymany
5

35.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
wstrzymany
P3: program
działa
Prześlij do
procesor
P4: program
wstrzymany
6

36.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
działa
ogon
P2: program
wstrzymany
P3: program
wstrzymany
Prześlij do
procesor
P4: program
wstrzymany
7

37.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
wstrzymany
P3: program
wstrzymany
Prześlij do
procesor
P4: program
działa
8

38.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
działa
P3: program
wstrzymany
Prześlij do
procesor
P4: program
wstrzymany
9

39.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
wstrzymany
P3: program
działa
Prześlij do
procesor
P4: program
wstrzymany
10

40.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
działa
głowa
P2: program
wstrzymany
P3: program
wstrzymany
Prześlij do
procesor
P4: program
wstrzymany
11

41.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
wstrzymany
P3: program
wstrzymany
Prześlij do
procesor
P4: program
działa
12

42.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
działa
P3: program
wstrzymany
Prześlij do
procesor
P4: program
zakończył
13

43.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
wstrzymany
P2: program
wstrzymany
P3: program
działa
Prześlij do
procesor
P4: program
zakończył
14

44.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
działa
P2: program
wstrzymany
P3: program
zakończył
Prześlij do
procesor
P4: program
zakończył
15

45.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
zakończył
P2: program
działa
P3: program
zakończył
Prześlij do
procesor
P4: program
zakończył
16

46.

Stan programów:
przed działaniem
działa
kolejka procesów
wstrzymanych
wstrzymany
zakończył działanie
pamięć
P1: program
zakończył
P2: program
zakończył
P3: program
zakończył
Prześlij do
procesor
P4: program
zakończył
17

47.

Współbieżne wykonywanie programów w języku maszyny
Jeżeli dopuszczamy istnienie wielu procesów w tym samym czasie,
realizowanych w systemie jednoprocesorowym z podziałem czasu lub fizycznie
wieloprocesorowym, to napotykamy problem konfliktu między procesami
korzystającymi ze wspólnych zasobów. Przykład:
Animowana symulacja procesu wykonywania niepoprawnie zaprogramowanej
instrukcji
x := y∗z + u/v
w systemie dwukomputerowym ze wspólną pamięcią danych. Komputery
komunikują się przez wspólny zasób - komórkę kan (kanał komunikacyjny):
komputer 1 posyła do niej wartość y∗z, a komputer 2 - wartość u/v. Konflikt
obydwu transmisji danych następuje gdy komputery dokonują ich w tej samej
chwili, lub w chwilach bardzo bliskich. Nie wiadomo wtedy jaka wartość znajdzie
się w kanale: mamy tu do czynienia z niepożądanym niedeterminizmem.

48.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR:
A:
v
3.0
x
1
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 02
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 02
RR:
A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

49.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR: UA y
A:
v
3.0
x
2
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 02
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 02
RR: UA u
A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

50.

pamięć wspólna danych
kan
y
3.14
z
2.0
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
v
3.0
x
3
pamięć lokalna programu
6
7
PA kan ST 0
LR: 12
RR: UA y
A: 3.14
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
u
15.9
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 12
RR: UA u A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 2

51.

pamięć wspólna danych
kan
y
3.14
z
2.0
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
v
3.0
x
4
pamięć lokalna programu
6
7
PA kan ST 0
LR: 12
RR: MN z A: 3.14
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
u
15.9
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 12
RR: DZ v
A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 2

52.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR: MN z
A: 6.28
v
3.0
x
5
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 22
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 22
RR: DZ v
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

53.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR: S 6
A: 6.28
v
3.0
x
6
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 22
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 22
RR: S 6
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

54.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR: S 6
A: 6.28
v
3.0
x
7
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 62
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 62
RR: S 6
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
BŁĄD! Obydwa procesory
jednocześnie widziały w
kanale symbol
komputer 2

55.

kan
pamięć wspólna danych
y
3.14
z
2.0
pamięć lokalna programu
RR: PA kan A: 6.28
v
3.0
x
8
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 62
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 62
RR: PA kan A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

56.

kan
y
??? 3.14
pamięć wspólna danych
z
2.0
pamięć lokalna programu
RR: PA kan A: 6.28
v
3.0
x
9
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 72
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 72
RR: PA kan A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

57.

kan
y
??? 3.14
pamięć wspólna danych
z
2.0
pamięć lokalna programu
RR: ST 0
A: 6.28
v
3.0
x
10
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 72
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 72
RR: ST 0
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

58.

kan
y
??? 3.14
pamięć wspólna danych
z
2.0
pamięć lokalna programu
RR: ST 0
A: 6.28
v
3.0
x
11
pamięć lokalna programu
0
1
2
3
4
5
UA y MN z S 6 DO kan PA x ST 0
LR: 02
u
15.9
6
7
PA kan ST 0
inne rejestry:
0
1
2
3
4
5
6
7
UA u DZ v S 6 DO kan PA x ST 0 PA kan ST 0
LR: 02
RR: ST 0
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

59.

Po wykonaniu instrukcji x := y*z+u/v zmienna x nie otrzymała
wartości wyrażenia y*z+u/v
(zawartość komórki x jest taka jak przed wykonaniem!)

60.

Jak zaprogramować poprawnie? Trzeba synchronizować procesy!
Można zastosować mechanizm semaforów (tu binarnych) – gdy komputery (procesy) mają
dostęp do wspólnej pamięci. Taki system nie jest więc prawdziwie rozproszonym!
Semafor (E.W. Dijkstra) binarny jest zmienną przyjmującą wartości 0 i 1, wspólną dla
programów współdzielących chroniony zasób. Dopuszczalne są na niej dwie operacje
nazywane zwykle P i V, o następującym znaczeniu, gdzie zmienna sem jest semaforem:
P(sem): gdy sem > 0 to sem := sem - 1, gdy sem = 0 to wstrzymaj proces.
V(sem): sem := 1; wznów któryś z wstrzymanych procesów (np. wstrzymywany najdłużej).
Fragment programu użytkownika między operacjami P(sem) i odpowiadajacym V(sem) to
sekcja krytyczna chroniona semaforem sem.
Operacje P, V (oznaczane niekiedy wait, signal) są niepodzielne (atomowe): gdy jakiś
program wykonuje którąś, to inny nie może w tym czasie wykonać żadnej. Same są też
sekcjami krytycznymi ale wykonywanymi na niższym poziomie niż programy użytkownika
(np. w układach elektronicznych komputera lub w jądrze systemu operacyjnego).

61.

zasób
programy
sem = 1
sekcja krytyczna
1

62.

sem = 0
2

63.

sem = 0
3

64.

sem = 0
4

65.

sem = 1
5

66.

sem = 0
6

67.

sem = 0
7

68.

sem = 0
8

69.

sem = 1
9

70.

sem = 1
10

71.

Symulacja wykonania programu na schemacie funkcjonalnym systemu
2-procesorowego z dostępem do wspólnej pamięci danych dla
obydwu procesorów i z jednakową prędkością ich zegarów.
Synchronizacja semaforowa – wzajemne wykluczanie.
Sekcja krytyczna: rozkazy czerwone
Rozwiązanie poprawne!
LR – licznik rozkazów
RR – rejestr rozkazów
Przykład działania: obliczenie x := y*z + u/v
A – akumulator

72.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
1
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
A:
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

73.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
2
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR: UA y
A:
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
UA u A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

74.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
3
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 12
RR: UA y
A: 3.14
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
UA u A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

75.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
4
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 12
RR: MN z A: 3.14
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
DZ v
A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

76.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
5
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: MN z A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR:
DZ v
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

77.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
6
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

78.

zmienia komputer 1
pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
7
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: P(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

79.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
8
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: S 8
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

80.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
9
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 82
RR: S 8
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

81.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
10
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 82
RR: PA kan A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

82.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
11
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 92
RR: PA kan A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

83.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
12
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 92
RR: V(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

84.

zmienia komputer 1
pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
13
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 10
2 RR: V(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

85.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
14
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 10
2 RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

86.

zmienia komputer 2
pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
15
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

87.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
16
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

88.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
17
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

89.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
18
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: DO kan A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

90.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
19
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR: DO kan A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

91.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
20
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

92.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
21
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

93.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
22
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

94.

zmienia komputer 2
pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
23
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

95.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
24
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)

96.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
25
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)

97.

Symulacja wykonania programu na schemacie funkcjonalnym systemu
2-procesorowego z dostępem do wspólnej pamięci danych dla
obydwu procesorów i z różną prędkością ich zegarów.
Synchronizacja semaforowa – wzajemne wykluczanie.
Sekcja krytyczna: rozkazy czerwone
Rozwiązanie poprawne!
LR – licznik rozkazów
RR – rejestr rozkazów
Przykład działania: obliczenie x := y*z + u/v
A – akumulator

98.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
1
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
A:
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

99.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
2
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR: UA y
A:
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

100.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
3
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 12
RR: UA y
A: 3.14
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
UA u A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

101.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
4
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 12
RR: MN z A: 3.14
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
UA u A:
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

102.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
5
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: MN z A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
UA u A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

103.

pamięć wspólna danych
sem
1
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
6
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
UA u A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

104.

zmienia komputer 1
pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
7
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: P(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
DZ v
A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

105.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
8
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: S 8
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 12
RR:
DZ v
A: 15.9
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

106.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
9
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 82
RR: S 8
A: 6.28
8
9
10
PA kan V(sem) ST 0
LR: 22
RR:
DZ v
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

107.

pamięć wspólna danych
sem
0
kan
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
10
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 82
RR: PA kan A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR:
DZ v
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2

108.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
11
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 92
RR: PA kan A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

109.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
12
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 92
RR: V(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

110.

zmienia komputer 1
pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
13
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 10
2 RR: V(sem) A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

111.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
14
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 10
2 RR:
ST 0
A: 6.28
8
9
10
PA kan V(sem) ST 0
LR: 22
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
komputer 2
(wstrzymany)

112.

zmienia komputer 2
pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
15
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

113.

zmienia komputer 2
pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
16
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: P(sem) A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

114.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
17
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

115.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
18
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 32
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

116.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
19
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

117.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
20
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: S 8
A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

118.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
21
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: DO kan A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

119.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
22
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 42
RR: DO kan A: 5.3
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

120.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
23
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR: DO kan A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

121.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
24
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR: DO kan A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

122.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
25
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

123.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
26
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 52
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

124.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
27
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

125.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
28
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR:
PA x
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

126.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
29
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

127.

pamięć wspólna danych
sem
0
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
30
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 62
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

128.

zmienia komputer 2
pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
31
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

129.

zmienia komputer 2
pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
32
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: V(sem) A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wstrzymany)
komputer 2
(wznowiony)

130.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
33
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)

131.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
34
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 72
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)

132.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
35
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)

133.

pamięć wspólna danych
sem
1
kan
6.28
y
3.14
pamięć lokalna programu
z
2.0
u
15.9
v
3.0
x
36
11.58
pamięć lokalna programu
0
1
2
3
4
5
6
7
0
1
2
3
4
5
6
7
UA y MN z P(sem) S 8 DO kan PA x V(sem) ST 0 UA u DZ v P(sem) S 8 DO kan PA x V(sem) ST 0
8
9
10
PA kan V(sem) ST 0
LR: 02
RR:
ST 0
A: 6.28
inne rejestry:
8
9
10
PA kan V(sem) ST 0
LR: 02
RR: ST 0
A: 11.58
inne rejestry:
RR := zawartość adresu wskazanego przez LR
RR := zawartość adresu wskazanego przez LR
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
Gdy w RR jest rozkaz:
• skoku bezwarunkowego to LR:=część adresowa
• skoku warunkowego i warunek jest spełniony to
LR:=część adresowa; gdy nie to LR:=LR+1
• stopu to LR:=część adresowa i zakończ działanie
• inny to wykonaj go i LR:=LR+1
komputer 1
(wznowiony)
komputer 2
(wznowiony)