Đồng bộ hóa tiến trình (Process Synchronization) Là kỹ thuật cho phép các tiến trình phối hợp thực hiện một cách đồng bộ (có thứ tự) - Chờ nhau thực hiện - Chia sẻ tài nguyên yêu cầu, truy cập độc quyền trên vùng găng (Critical Section - CS) Vấn đề trên được thực hiện nhờ loại trừ lẫn nhau để độc quyền trên găng tại bất kỳ thời gian nhất định. | NỘI DUNG Giới thiệu Loại trừ tương hỗ không dựa trên Token Loại trừ tương hỗ dựa trên Token Thuật toán bầu cử Kết luận DUYTAN UNIVERSITY GIỚI THIỆU Là kỹ thuật cho phép các tiến trình phối hợp thực hiện một cách đồng bộ (có thứ tự) - Chờ nhau thực hiện - Chia sẻ tài nguyên yêu cầu, truy cập độc quyền trên vùng găng (Critical Section - CS) Vấn đề trên được thực hiện nhờ loại trừ lẫn nhau để độc quyền trên găng tại bất kỳ thời gian nhất định. DUYTAN UNIVERSITY Đồng bộ hóa tiến trình (Process Synchronization) Đ • Loại trừ tương hỗ : là quá trình truy cập đồng thời của các tiến trình với một tài nguyên hoặc dữ liệu được chia sẻ, thực hiện theo cách loại trừ lẫn nhau. Trong hệ thống phân tán không có các biến chia sẻ có thể sử dụng để thực hiện loại trừ lẫn nhau. DUYTAN UNIVERSITY Loại trừ tương hỗ (Mutual Exclusion) GIỚI THIỆU Đối với tài nguyên được quản lý bởi một máy chủ mà thực hiện với khóa riêng của mình cùng với các cơ chế cần thiết để đồng bộ hóa các truy cập vào các nguồn tài nguyên thì loại trừ tương hỗ và đồng bộ hóa là liên quan trong suốt cho quá trình truy cập vào các tài nguyên này (xãy ra cho các hệ thống cơ sở dữ liệu xử lý giao dịch) Thường thì có không đồng bộ hóa được xây dựng trong thực hiện bảo vệ các nguồn tài nguyên (file, hiển thị cửa sổ, các thiết bị ngoại vi, .) DUYTAN UNIVERSITY GIỚI THIỆU Loại trừ tương hỗ (Mutual Exclusion) • Để xử lý nhiều tiến trình thường sử dụng nhiều vùng găng - Khi một tiến trình yêu cầu đọc hoặc cập nhật liệu, đầu tiên đi vào một vùng găng để loại trừ lẫn nhau và đảm bảo rằng không có quá trình khác sẽ sử dụng cấu trúc dữ liệu được chia sẻ cùng một lúc • Loại trừ tương hỗ thông qua : - Kiểm tra và thiết lập phần cứng - Semaphores - Messages - Condition variables DUYTAN UNIVERSITY Loại trừ tương hỗ đối với hệ thống tập trung GIỚI THIỆU • Thuật toán loại trừ tương hỗ phải đối phó với sự chậm trễ thông điệp và thiếu hoặc không đoán trước thông tin về trạng thái của hệ thống Ba cách tiếp cận cơ bản để . | NỘI DUNG Giới thiệu Loại trừ tương hỗ không dựa trên Token Loại trừ tương hỗ dựa trên Token Thuật toán bầu cử Kết luận DUYTAN UNIVERSITY GIỚI THIỆU Là kỹ thuật cho phép các tiến trình phối hợp thực hiện một cách đồng bộ (có thứ tự) - Chờ nhau thực hiện - Chia sẻ tài nguyên yêu cầu, truy cập độc quyền trên vùng găng (Critical Section - CS) Vấn đề trên được thực hiện nhờ loại trừ lẫn nhau để độc quyền trên găng tại bất kỳ thời gian nhất định. DUYTAN UNIVERSITY Đồng bộ hóa tiến trình (Process Synchronization) Đ • Loại trừ tương hỗ : là quá trình truy cập đồng thời của các tiến trình với một tài nguyên hoặc dữ liệu được chia sẻ, thực hiện theo cách loại trừ lẫn nhau. Trong hệ thống phân tán không có các biến chia sẻ có thể sử dụng để thực hiện loại trừ lẫn nhau. DUYTAN UNIVERSITY Loại trừ tương hỗ (Mutual Exclusion) GIỚI THIỆU Đối với tài nguyên được quản lý bởi một máy chủ mà thực hiện với khóa riêng của mình cùng với các cơ chế cần thiết để đồng bộ hóa các truy cập vào các nguồn tài .
