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

5 352 0
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

Đang tải... (xem toàn văn)

Thông tin tài liệu

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 . 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. 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ử. 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

Ngày đăng: 22/07/2014, 07:21

Từ khóa liên quan

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan