Similar presentations:
Rozproszone systemy komputerowe
1.
ROZPROSZONE SYSTEMY KOMPUTEROWEprof. 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.
Literatura1. 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 11. 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-procesorowegopamięć 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 sterowaniemLR – 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 schemaciefunkcjonalnym 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 komputerawieloprogramowego (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 maszynyJeż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.
kanpamięć 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.
kanpamięć 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 danychkan
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 danychkan
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.
kanpamięć 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.
kanpamięć 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.
kanpamięć 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.
kanpamięć 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.
kany
??? 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.
kany
??? 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.
kany
??? 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ławartoś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óbprogramy
sem = 1
sekcja krytyczna
1
62.
sem = 02
63.
sem = 03
64.
sem = 04
65.
sem = 15
66.
sem = 06
67.
sem = 07
68.
sem = 08
69.
sem = 19
70.
sem = 110
71.
Symulacja wykonania programu na schemacie funkcjonalnym systemu2-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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 1pamięć 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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 1pamięć 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 danychsem
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 2pamięć 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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 2pamięć 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 danychsem
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 danychsem
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 systemu2-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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 1pamięć 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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 1pamięć 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 danychsem
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 2pamięć 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 2pamięć 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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 danychsem
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 2pamięć 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 2pamięć 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 danychsem
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 danychsem
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 danychsem
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 danychsem
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)