Professional Documents
Culture Documents
Updated 2009-03-03
{
{
= {D
}{
Task
1
2
3
Ci
Di
Ti
2
2
3
3
7
12
4
8
16
}{ }
}{}
k
3
K = K1 K 2 K 3 = 3,7,11,12,15
( )
( )
N C1
N C2
N C3
C P 0, L
CP 0, L L
3 3
4 + 1 2 = 2
3 7
8 + 1 2 = 0
3 12
16 + 1 3 = 0
OK!
7 3
7 7
7 12
4 + 1 2 = 4 8 + 1 2 = 2 16 + 1 3 = 0
OK!
11
11 3
11 7
11 12
+ 1 2 = 6
+ 1 2 = 2
+ 1 3 = 0
4
8
16
OK!
11
OK!
15
OK!
12
15
L
1
L
2
L
3
12 3
12 7
12 12
4 + 1 2 = 6
+ 1 2 = 2
+ 1 3 = 3
8
16
15 3
15 12
15 7
+ 1 2 = 4 16 + 1 3 = 3
4 + 1 2 = 8
2
3
0
12
16
S1
S2
Task
Task
1
2
3
S3
Cii
Di
Ti
6
7
10
10
50
17
25
50
50
Problem: (cont
(contd)
Task 1 first requests R3 and then, while using R3, requests R1
Task 2 first requests R3 and then, while using R3, requests R2;
then, after releasing the two resources, 2 requests R1
Task 3 first requests R2 and then, while using R2, requests R1;
then, after releasing the two resources, 3 requests R3
2
R1 R2 R3
1
2
3
1
3
S1
S2
S3
1 = H (
2 = M
3 = L (
C R (3)
R1
C R (2)
L
1 uses
3 may block
C R (1)
L
2 uses
3 may block
R2
1
R3
H
3 uses
1 may block
M
3 uses
2 may block
C R (0)
M
1 or 3 use
2 may block
M
1 and 3 use
2 may block
H
2 uses
1 may block
Wait( R3 ,1) H
Signal( R1 )
Wait( R1 ,3)
Signal( R2 )
Signal( R1 )
Signal( R3 ) H
Signal( R3 ) H
Wait( R3 ,1) H
Signal( R1 ) H
Signal( R3 ) H
Wait( R1 ,2) H
}{}
}{}
50, k = 0}= {25}
k
3
B2 = max{2,5} = 5
3 uses R3
3 uses R1
3 uses R1
Signal( R2 ) M
{
{
= {D
2 uses R1
Wait( R2 ,1) M
Wait( R2 ,1)
B1 = max{1,4,2,2} = 4
Wait( R3 ,3) H
Wait( R1 ,1)
K = K1 K 2 K 3 = 10,17,25
B3 = 0
L D1
+ 1 C1 +
+ 1 B1
C 1P =
T1
T1
L D1
L D2
+ 1 C1 +
C P2 =
T1
T2
L D2
+ 1 C2 + T
+ 1 B2
L D1
L D2
L D3
L D2
C P3 =
+ 1 C1 +
+ 1 C2 +
+ 1 C3 +
+ 1 B3 =
T1
T2
T3
T2
L D1
L D2
L D3
= {B3 = 0 } =
+
1
+
1
+
1
+
+
C
C
C
T1
1 T2
2 T3
3
( )
C 1P 0, L
10
10 10
10 10
50 + 1 6 + 50 + 1 4 =
= 6 + 4 = 10
17
17 10
17 10
50 + 1 6 + 50 + 1 4 =
= 6 + 4 = 10
25
25 10
25 10
50 + 1 6 + 50 + 1 4 =
= 6 + 4 = 10
( )
C P2 0, L
10 10
10 17
50 + 1 6 + 50 + 1 7 +
10 17
+
+ 1 5 = 6 + 0 + 0 = 6
50
17 10
17 17
50 + 1 6 + 50 + 1 7 +
17 17
+
+ 1 5 = 6 + 7 + 5 = 18
50
( )
( )
C P3 0, L
10 10
10 17
50 + 1 6 + 50 + 1 7 +
10 25
+
+ 1 10 = 6 + 0 + 0 = 6
50
17 10
17 17
50 + 1 6 + 50 + 1 7 +
17 25
+
+ 1 10 = 6 + 7 + 0 = 13
50
25 10
25 17
+ 1 6 +
+ 1 7 +
50
50
25 10
25 17
+ 1 6 +
+ 1 7 +
50
50
25 17
+
+ 1 5 = 6 + 7 + 5 = 18
50
25 25
+
+ 1 10 = 6 + 7 + 10 = 23
50