TAILIEUCHUNG - Bài giảng Hệ điều hành nâng cao - Chapter 6: Process Synchronization

Bài giảng Hệ điều hành nâng cao - Chapter 6: Process Synchronization trình bày về những vấn đề cơ bản của đồng bộ hóa, giải pháp của Peterson, phần cứng đồng bộ, vấn đề cổ điển của đồng bộ, màn hình, đồng bộ hóa, giao dịch nguyên tử,. | Chapter 6: Process Synchronization 1 Module 6: Process Synchronization Background The Critical-Section Problem Peterson’s Solution Synchronization Hardware Semaphores Classic Problems of Synchronization Monitors Synchronization Examples Atomic Transactions 2 Objectives To introduce the critical-section problem, whose solutions can be used to ensure the consistency of shared data To present both software and hardware solutions of the critical-section problem To introduce the concept of an atomic transaction and describe mechanisms to ensure atomicity Background Concurrent access to shared data may result in data inconsistency Maintaining data consistency requires mechanisms to ensure the orderly execution of cooperating processes Suppose that we wanted to provide a solution to the consumer-producer problem that fills all the buffers. We can do so by having an integer count that keeps track of the number of full buffers. Initially, count is set to 0. It is incremented by the producer after it produces a new buffer and is decremented by the consumer after it consumes a buffer. 4 Producer while (true) { /* produce an item and put in nextProduced */ while (counter == BUFFER_SIZE) ; // do nothing buffer [in] = nextProduced; in = (in + 1) % BUFFER_SIZE; counter++; } 5 Consumer while (true) { while (counter == 0) ; // do nothing nextConsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; counter--; /* consume the item in nextConsumed */ } 6 Race Condition counter++ could be implemented as register1 = counter register1 = register1 + 1 counter = register1 counter-- could be implemented as register2 = counter register2 = register2 - 1 count = register2 Consider this execution interleaving with “count = 5” initially: S0: producer execute register1 = counter {register1 = 5} S1: producer execute register1 = register1 + 1 {register1 = 6} S2: consumer execute register2 = counter {register2 = 5} S3: consumer execute register2 = register2 - 1 {register2 = 4} S4: producer .

• Hệ điều hành
• Hệ điều hành nâng cao
• Bài giảng Hệ điều hành nâng cao
• Hệ điều hành nâng cao Chapter 6
• Đồng bộ hóa
• Quá trình đồng bộ hóa
• Hệ điều hành nâng cao Chapter 2
• Operating System Structures
• Hệ điều hành
• Cấu trúc hệ thống điều hành
• Hệ điều hành nâng cao Chapter 21
• The Linux System
• Nguyên lý hệ điều hành
• Hệ điều hành Linux
• Hệ điều hành nâng cao Chapter 1
• Tổ chức hệ thống máy tính
• Kiến trúc máy tính
• Hệ điều hành nâng cao Chapter 3
• Lập kế hoạch quy trình
• Hệ thống IPC
• Hệ điều hành iOS
• Hệ điều hành nâng cao Chapter 19
• Real Time Systems
• Hệ thống thời gian
• Hệ điều hành nâng cao Chapter 22
• Hệ điều hành Windows
• Hệ thống tập tin
• Lập trình Windows XP
• Hệ điều hành nâng cao Chapter 4
• Tổng quan về chủ đề
• Mô hình đa luồng
• Hệ điều hành nâng cao Chapter 12
• Mass Storage Systems
• Thiết bị lưu trữ
• Hệ điều hành nâng cao Chapter 13
• Application I O interface
• Kernel I O subsystem
• Hệ điều hành nâng cao Chapter 18
• Phối hợp phân phối
• Các thuật toán
• Bài giảng Hệ điều hành
• Nguyên lý thiết kế hệ điều hành
• Chức năng của hệ điều hành
• Kiến trúc hệ điều hành
• Hệ điều hành nâng cao Chapter 10
• File System Interface
• Giao diện hệ thống
• Cấu trúc thư mục
• Hệ điều hành nâng cao Chapter 11
• File System Implementation
• Tập tin hệ thống
• Thực hiện thư mục
• Hệ điều hành nâng cao Chapter 14
• Bảo vệ hệ thống
• Kiểm soát truy cập
• Thu hồi quyền truy cập
• Hệ điều hành nâng cao Chapter 16
• Distributed System Structures
• Phân phối cấu trúc hệ thống
• Cấu trúc mạng
• Hệ điều hành nâng cao Chapter 17
• Hệ thống file
• Cách đặt tên file
• Truy cập file từ xa
• Hệ điều hành nâng cao Chapter 20
• Hệ thống đa phương tiện
• Đa phương tiện
• Quản lý mạng
• Hệ điều hành nâng cao Chapter 5
• Lập kế hoạch CPU
• Tiêu chuẩn lập kế hoạch
• Thuật toán đánh giá
• Operating system structures
• Memory management
• Virtual memory