Giáo trình phân tích quy trình tập hợp các tiến trình hoạt động của hệ thống multiprocessor p8 pdf

Producer/Consumer.Remove;
<Xử lý dữ liệu>;
Until .F.
End;
Parend
END.
{ }
II.3.4.3. Giải pháp dùng Message
Với giải pháp này chương trình dùng thông điệp empty. Empty hàm ý có một chỗ
trống. Buffer. Khi khởi tạo tiến trình Consumer gởi ngay N thông điệp empty đến
tiến trình Producer. Tiến trình Producer tạo ra một dữ liệu mới và chờ đến khi nhận
được một thông điệp empty từ consumer thì gởi ngược lại cho Consumer một
thông điệp có chứa dữ liệu mà nó tạo ra. Sau khi gởi đi thông điệp Emtry, tiến trình
consumer sẽ chờ để nhận thông điệp chứa dữ liệu từ tiến trình producer. Sau khi xử
lý xong dữ liệu thì consumer gởi lại một thông điệp empty đến tiến trình producer.
Sơ đồ điều độ sẽ như sau:
Program Producer/Consumer;
Var
Buffersize: integer; {kích thước Buffer}
M, m’: Message;
{ }
BEGIN
Buffersize = N;
ParBegin
Procedure Producer();
Begin
Repeat
<Tạo dữ liệu>;
Receive(Consumer,m);
<Tạo thông điệp dữ liệu>
Send(Consumer,m)

Until .F.
End;
{ }
Procedure Consumer ()
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c

u
-
t
r
a
c
k
.
c
o
m
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r

w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c
o
m
Var I:integer;
Begin
For I := 0 to N Do Send(Producer ,m);
Repeat
Receive(Producer ,m);
<Lấy dữ liệu từ thông điệp>
Send (Producer,m);
<Xử lý dữ liệu >
Until .F.
End.
Parend
END.

{ }
 Bài toán 2: Trong môi trường hệ điều hành đa nhiệm, có thể tồn tại các file
chia sẻ, có thể là các file cơ sở dữ liệu. Nhiều tiến trình hoạt động đồng thời trong
hệ thống có thể được chia sẻ sử dụng một file cơ sở dữ liệu này. Tiến trình cần đọc
nội dung của file cơ sở dữ liệu được gọi là là tiến trình Reader. Tiến trình cần cập
nhật thông tin vào file cơ sở dữ liệu được gọi là là tiến trình Writer. Trong hệ thống
này, công tác điều độ tiến trình cần phải thực hiện các ràng buộc sau:
1. Có thể có nhiều tiến trình Reader đồng thời đọc file cơ sở dũ liệu.
2. Không cho phép một tiến trình Writer ghi vào cơ sở dữ liệu khi các tiến
trình Reader khác đang đọc cơ sở dữ liệu.
3. Chỉ có duy nhất một tiến trình Writer được phép ghi vào file cơ sở dữ
liệu
Hãy dùng các giải pháp Semafore, Monitor, Message để tổ chức điều độ cho
các tiến trình Reader và Writer trong bài toán ở trên.
II.3.4.4. Giải pháp dùng Semaphore (sự đánh tín hiệu bằng cờ)
Giải pháp này sử dụng một biến chung RC và hai semaphore (sự đánh tín hiệu bằng
cờ) là Mutex và DB.
 RC (readcount) dùng để ghi nhận số lượng các tiến trình Reader muốn
truy xuất file cơ sở dữ liệu, khởi gán bằng 0.
 Mutex: dùng để kiểm soát truy xuất đến RC, khởi gán bằng 1.
 DB: dùng để kiểm tra sự truy xuất độc quyền đến cơ sở dữ liệu, khởi
gán bằng 1.
Sau đây là sơ đồ điều độ:
Click to buy NOW!
P
D
F
-
X
C

h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c
o
m

Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r

a
c
k
.
c
o
m
Program Producer/Consumer;
Const
Mutex: Seamafore = 1;
Db : Seamafore = 1;
Rc : byte = 0;
{ }
BEGIN
ParBegin
Procedure Reader();
Begin
Repeat
Down(mutex);
Rc = Rc+1;
If Rc = 1 then Down(db);
Up(mutex); {chấm dứt truy xuất Rc}
<Đọc dữ liệu >;
Down(mutex)
Rc = Rc-1
If Rc = 0 then Up(db);
Up(mutex);
< Xử lý dữ liệu đọc được>
Until .F.
End;

{ }
Procedure Writer();
Begin
Repeat
<Tạo dữ liệu >;
Down(Db);
<cập nhận dữ liệu >
Up(db);
Until .F.
End;
ParEnd
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r

w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c
o
m
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c
o
m
End.
{ }
II.3.4.5. Giải pháp dùng Monitor
Giải pháp này sử dụng một biến chung RC, để ghi nhận số lượng các tiến trình
reader muốn truy xuất cơ sở dữ liệu. Tiến trình Writer phải chuyển sang trạng thái

khoá nếu RC > 0. Khi ra khỏi đoạn găng tiến trình Reader cuối cùng sẽ đánh thức
tiến trình Write đang bị khoá.
Sau đây là sơ dồ điều độ:
Program Producer/Consumer;
Monitor Readerwriter
Condition Okwrite,Okread
Var
Rc: integer;
Busy: boolean = False;
{ }
Procedure Beginread()
Begin
If (busy) then wait(okread);
Rc = Rc+1;
Signal(okread);
End;
Procedure Finishread()
Begin
Rc = Rc - 1;
If Rc = 0 Then Wait(okwrite);
End;
Procedure Beginwrite();
Begin
Rc = Rc - 1;
If (busy) or (Rc <> 0) Then Wait(okwrite);
Busy = True;
End;
Procedure FinishWrite()
Begin
Busy = False;

Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r

a
c
k
.
c
o
m
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.

d
o
c
u
-
t
r
a
c
k
.
c
o
m
If (Okread) Then Signal(okread)
Else Signal(okwrite);
End;
Endmonitor.
{ }
BEGIN
ParBegin
Procedure Reader ();
Begin
Repeat
ReaderWriter.BeginRead();
<đọc dữ liệu>
ReaderWriter.FinishRead();
Until .F.
End;
Procedure Writer ();

Begin
Repeat
ReaderWriter.BeginWrite();
<đọc dữ liệu>
ReaderWriter.FinishWrite();
Until .F.
End;
Parend
END.
{ }
II.3.4.6. Giải pháp dùng Message
Giải pháp này cần phải có một tiến trình Sever điều khiển việc truy xuất cơ sở dữ
liệu. Các tiến trình Writer và Reader gửi các thông điệp yêu cầu truy xuất đến
server và nhận từ Sever các thông điệp hồi đáp tương ứng.
Sơ đồ điều độ sẽ như sau:
Program Producer/Consumer;
Begin
ParBegin
Click to buy NOW!
P
D
F
-
X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c
o
m
Click to buy NOW!
P
D
F
-

X
C
h
a
n
g
e

V
i
e
w
e
r
w
w
w
.
d
o
c
u
-
t
r
a
c
k
.
c

o
m