1 Esercizi sulla sincronizzazione dei processi S em afori definizione

2ter. Esercitazione su sincronizzazione di processi
marco lapegna
1
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
2
')
!" #
$#
%
$#
+
" &'
+
,
.
/
+
+
+
-
+
'
+
+
" ('
)
"#
*
2ter. Esercitazione su sincronizzazione di processi
%
3
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
4
marco lapegna
1
'01
2, 3 " ' 00 '
2, 3 " - 00
101
4
5
4
'
-
" &'
""
" &'
"
"
'
(' 6 ,
2 3
""
(' 6 ,
2 3
23$#
2 3"
2 3 "" #
2 3" -
2 3& '
"
2 3
2ter. Esercitazione su sincronizzazione di processi
2 3
5
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
6
'01
2, 3 " ' 00 '
2, 3 " - 00
2, 3 "
4
5
00
'
4
5
4
7 8
" &'
"
'
(' 6 ,
2 3
2 3 "" #
2 3" 7 8
2 3
2 3" 2 3" 7 8
2 3
2ter. Esercitazione su sincronizzazione di processi
7
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
8
marco lapegna
2
101
1)
9
" &'
:
,
""
"
'
;
/
""
(' 6 ,
2 3
2 3 ""
23$#
2 3"
+
/
2 3& '
"
2 3
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
9
2ter. Esercitazione su sincronizzazione di processi
'01
10
marco lapegna
12
marco lapegna
'01
00
" # 00
00
" , 00
'
#
!:
"
'
,
('
"
'
1#
$
$#
"
",
2ter. Esercitazione su sincronizzazione di processi
"
11
marco lapegna
<
&'
2ter. Esercitazione su sincronizzazione di processi
3
'01
"' 00
" # 00
"' 00
" , 00
"' 00
"
00
: (' &
'
#
'
,
'
"
",
"
2ter. Esercitazione su sincronizzazione di processi
13
marco lapegna
'01
!:
"
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
14
=)
""
('
"" '
"
'
1#
$
"
<
9
"
>
+
&'
"" #
2ter. Esercitazione su sincronizzazione di processi
15
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
16
marco lapegna
4
1
0
'
<
+
)
@
?
)
00
!
!
"
?
9
Processo scrittore
1
<
+
)
#
?
#
%
?
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
17
Processo lettore
A B
((B
"" '
A B
%
%
/
+
1# # E +
+
B
%
C
+
+
)
C
/
A B
+
/
< <B
&
"" #
'
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
18
D)
0
$
2ter. Esercitazione su sincronizzazione di processi
B
A B
19
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
20
marco lapegna
5
H)
9
"# +
:
"#
A' " '+
I
/
A1"'+
+
/
+I
"'
F
%
A'
((
I
I
.
I
)
+
J
I
/
/
"" '
A'
.
A'
&&
)
# ++:
"" #
A'
/
#
K% :
G
2ter. Esercitazione su sincronizzazione di processi
marco lapegna
21
2ter. Esercitazione su sincronizzazione di processi
:
+
marco lapegna
22
'01
: (' +
: (' +
: (' +
: ('
"#
" &'B
' F
"
""
"
# :
# :
"
((
<&
'
$# F
'
/
"'
'
((
C
C
'
'
'
&&
=
"" #
$# F
'
/
C
"'
C
=
G
((
"#
=
=
@
"":
"#
"
"
G
2ter. Esercitazione su sincronizzazione di processi
23
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
24
marco lapegna
6
H)
'01
L
: (' +
: (' +
)
I
J
"
: (' +
: (' +
: (' +
: ('
"#
# :
# :
"
!
F
'
((
'
'
&&
"" #
'
G
2ter. Esercitazione su sincronizzazione di processi
25
marco lapegna
F
2ter. Esercitazione su sincronizzazione di processi
101
G
marco lapegna
26
'01
F
" &'B
' F
1
"
""
((
((
<&
1
'
$# M M
1
""
F
/
"'
'
&&
C
C
"" #
1
'
G
1
=
$# M M
((
"
F
"'
1
=
@
1
2ter. Esercitazione su sincronizzazione di processi
27
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
28
marco lapegna
7
101
E)
=
$# F
/
C
"'
C
G
"#
=
"":
"#
/
/
"
"
+
G
+
2ter. Esercitazione su sincronizzazione di processi
29
marco lapegna
31
marco lapegna
2ter. Esercitazione su sincronizzazione di processi
30
marco lapegna
wait
wait
signal
signal
wait
signal
signal
wait
signal
2ter. Esercitazione su sincronizzazione di processi
8