TAILIEUCHUNG - Bài giảng Hệ điều hành: Tương tranh và đồng bộ - ThS. Nguyễn Thị Hải Bình

Bài giảng Hệ điều hành: Tương tranh và đồng bộ cung cấp cho người học các kiến thức: Tương tranh và đồng bộ, bài toán sản xuất – tiêu thụ, tiến trình sản xuất, tiến trình tiêu thụ, giải pháp cho miền găng, giải pháp thứ nhất cho hai tiến trình,. . | Bài giảng Hệ điều hành: Tương tranh và đồng bộ - ThS. Nguyễn Thị Hải Bình TƯƠNG TRANH VÀ ĐỒNG BỘ ThS. Nguyễn Thị Hải Bình Khoa CNTT, ĐH Giao thông vận tải Email: calmseahn@ Website: VÍ DỤ VỀ TƯƠNG TRANH 2 TƯƠNG TRANH VÀ ĐỒNG BỘ • Race condition • Thuật ngữ • Tranh đoạt điều khiển • Tình huống tương tranh • Xảy ra khi • Nhiều tiến trình cùng thao tác trên dữ liệu chung và kết quả các thao tác đó phụ thuộc vào thứ tự thực hiện của các tiến trình • Process synchronization • Thuật ngữ: đồng bộ hoá các tiến trình • Để tránh các tình huống tương tranh, các tiến trình cần được đồng bộ theo một phương thức nào đó 3 BÀI TOÁN SẢN XUẤT – TIÊU THỤ • Thuật ngữ • The producer – consumer problem • Yêu cầu của bài toán • Tiến trình sản xuất (producer process) tạo ra thông tin • Còn tiến trình tiêu thụ (consumer process) sử dụng thông tin được tạo ra • Bộ đệm: • Chứa thông tin tạo ra bởi tiến trình sản xuất • Tiến trình tiêu thụ lấy thông tin từ bộ đệm để sử dụng • Bộ đệm cho phép 2 tiến trình thực thi đồng thời • Vấn đề • Tiến trình tiêu thụ không sử dụng thông tin chưa được tạo ra • Nếu bộ đệm rỗng thì tiến trình tiêu thụ phải chờ • Nếu bộ đệm đầy thì tiến trình sản xuất phải chờ 4 KHAI BÁO BIẾN 5 TIẾN TRÌNH SẢN XUẤT item newItem; while( true ) { /* Produce an item and store it in newItem */ newItem = makeNewItem( . . . ); /* Wait for space to become available */ while( counter == BUFFER_SIZE) ; /* Do nothing */ /* And then store the item and repeat the loop. */ buffer[in] = newItem; in = (in + 1) % BUFFER_SIZE; counter++; } 6 TIẾN TRÌNH TIÊU THỤ item usedItem; while( true ) { /* Wait for an item to become available */ while( counter == 0) ; /* Do nothing */ /* Get the next available item */ usedItem = buffer[out]; out = (out+1) % BUFFER_SIZE; counter--; /* Consume the item in usedItem (do something with it) */ } 7 TƯƠNG TRANH? • Lệnh .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.