TAILIEUCHUNG - Nguyên lý hệ điều hành - Phần 4

Ví dụ đồng bộ hóa (1) Tiến trình ghi P: while (true) { while (counter==SIZE) ; buf[in] = nextItem; in = (in+1) % SIZE; counter++; } buf: Buffer SIZE: cỡ của buffer counter: Biến chung Tiến trình đọc Q: while (true) { while (counter==0) ; nextItem = buf[out]; out = (out+1) % SIZE; counter--; } Đây là bài toán vùng đệm có giới hạn 3 Ví dụ đồng bộ hóa (2) Các toán tử ++ và -- có thể được cài đặt như sau: counter++ register1 = counter; register1 = register1 + 1; counter = register1; counter-register2 = counter; register2 = register2 - 1;. | Nguyên lý hệ điều hành Nguyễn Hải Châu Khoa Công nghệ thông tin Trường Đại học Công nghệ 1 Đồng bộ hóa tiến trình Ví dụ đồng bộ hóa 1 Tiến trình ghi P while true while counter SIZE buf in nextItem in in 1 SIZE counter buf Buffer SIZE cỡ của buffer counter Biến chung Tiến trình đọc Q while true while counter 0 nextItem buf out out out 1 SIZE counter-- Đây là bài toán vùng đệm có giới hạn Ví dụ đồng bộ hóa 2 Các toán tử và -- có thể được cài đặt như sau counter register1 counter register1 register1 1 counter register1 counter-- register2 counter register2 register2 -1 counter register2 P và Q có thể nhận được các giá trị khác nhau của counter tại cùng 1 thời điểm nếu như đoạn mã xanh và đỏ thực hiện xen kẽ nhau. 4 Ví dụ đồng bộ hóa 3 Ví dụ đồng bộ hóa 4 register1 5 register1 6 register2 5 register2 4 counter 6 counter 4 Giả sử P và Q thực hiện song song với nhau và giá trị của counter là 5 register1 counter register1 register1 1 register2 counter register2 register2 -1 counter register1 counter register2 Lỗi Cho phép P và Q đồng thời thao tác trên biến chung counter. Sửa lỗi register1 counter register1 register1 1 counter register1 register2 counter register2 register2 -1 counter register2 register1 5 register1 6 counter 6 register2 6 register2 5 counter 5 1 Tương tranh và đồng bộ Tình huống xuất hiện 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 trên dữ liệu chung gọi là tình huống tương tranh race condition Để 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 đó Vấn đề nghiên cứu Đồng bộ hóa các tiến trình 7 Khái niệm về đoạn mã găng 1 Thuật ngữ Critical section Thuật ngữ tiếng Việt Đoạn mã găng đoạn mã tới hạn. Xét một hệ có n tiến trình P0 P1 . Pn mỗi tiến trình có một đoạn mã lệnh gọi là đoạn mã găng ký hiệu là CSỉ nếu như trong đoạn mã này các tiến trình thao tác trên các biến chung đọc ghi file. tổng quát thao tác trên dữ liệu chung 8 .

• Hệ điều hành
• Nguyên lý máy tính
• hệ điều hành
• phân tích thiết kế
• quản lý tiến trình
• đồng bộ hóa tiến trình
• Cấu trúc máy tính
• Lập trình hợp ngữ
• Mô hình máy turing
• Nguyên lý von neumann
• Nguyên lý hoạt động của máy tính
• Nguyên lý hoat động máy Turing
• Bài giảng Cấu trúc máy tính
• Tổng quan về cấu trúc máy tính
• Nguyên lý phần cứng
• Kỹ thuật ghép nối máy vi tính
• Máy vi tính
• Ghép nối máy vi tính
• Thực hành ghép nối máy vi tính
• Ghép nối máy in và modem
• nguyên lý xây dưng máy tính
• mạch điện trong máy tính
• nguyên lý turing
• nguyên lý vonneumann
• sơ đồ chi tiết máy tính
• Bài giảng Lắp ráp và cài đặt máy tính
• Lắp ráp máy tính
• Cài đặt máy tính
• Phần cứng máy tính
• Tổ chức máy tính
• Cấu trúc máy tính của Intel
• Hệ thống máy tính
• Mạng máy tính
• Bài giảng mạng máy tính
• Quản lý tài nguyên
• Quản lý ổ đĩa
• Tài nguyên dùng riêng
• Chia sẻ tài nguyên
• Kỹ thuật sửa chữa máy tính
• Kỹ thuật lắp ráp máy tính
• Nguyên lý hệ điều hành
• Giáo trình Nguyên lý hệ điều hành
• Phân loại hệ điều hành
• Hệ điều hành đa xử lý phân tán
• Quản lý phân phối bộ nhớ
• Cấu trúc tổng quát hệ thống máy tính
• Nguyên lý máy
• Bài giảng Nguyên lý máy
• Cơ cấu máy
• Cân bằng máy
• Lực quán tính
• Lực quán tính ly tâm
• Cân bằng tĩnh vật quay mỏng
• Vẽ và thiết kế trên máy tính
• Nguyên lý chi tiết máy
• Giáo trình Nguyên lý chi tiết máy
• Cấu tạo cơ cấu
• Động học cơ cấu
• Các bộ truyền cơ khí thường gặp
• Mối ghép ren
• Mối ghép hàn
• Mối ghép đinh tán
• Cơ cấu bánh răng
• Vật liệu chế tạo trục
• Truyền động bánh răng
• Bộ truyền động đai
• Kỹ thuật máy tính
• Bài giảng kỹ thuật máy tính
• Bài giảng nguyên lý hệ điều hành
• Quản lý thiết bị
• Hệ điều hành Processor
• Hệ điều hành đa xử lý
• Điều khiển dữ liệu
• Hệ thống tính toán song song
• Quản lý tài nguyên hệ thống tính toán song
• Quản lý hệ thống máy tính
• Hệ thống tính toán song song Cluster
• Tính toán tuần tự
• Kiến trúc máy tính
• Bài tập kiến trúc máy tính
• Nguyên lý kiến trúc máy tính
• Hệ thống kiến trúc máy tính
• Cấu tạo kiến trúc máy tính
• hướng dẫn ghép nối máy vi tính
• kinh nghiệm ghép nối máy vi tính
• phương pháp ghép nối máy vi tính
• cẩm nang ghép nối máy vi tính