TAILIEUCHUNG - Bài giảng Lập trình đồng thời và phân tán: Bài 6 - Lê Nguyễn Tuấn Thành

Bài giảng "Lập trình đồng thời và phân tán - Bài 6: Bài toán truy cập tài nguyên chỉa sẻ" cung cấp cho người học các kiến thức: Bài toán loại trừ lẫn nhau trong hệ thống phân tán, những thuật toán dựa trên timestamp, những thuật toán dựa trên token. . | Bài giảng Lập trình đồng thời và phân tán: Bài 6 - Lê Nguyễn Tuấn Thành LẬP TRÌNH BÀI 6: ĐỒNG BÀI TOÁN TRUY CẬP THỜI TÀI NGUYÊN CHỈA SẺ & 1 PHÂN Giảng viên: Lê Nguyễn Tuấn Thành TÁN Email: thanhlnt@ NỘI DUNG ▪Bài toán loại trừ lẫn nhau trong hệ thống phân tán ▪Những thuật toán dựa trên timestamp ▪Những thuật toán dựa trên token Bài giảng có sử dụng hình vẽ trong cuốn sách “Concurrent and Distributed Computing in Java, Vijay K. Garg, 2 University of Texas, John Wiley & Sons, 2005” Bài toán loại trừ lẫn nhau trong hệ thống phân tán ▪ Xét hệ thống phân tán bao gồm một số lượng cố định tiến trình và một tài nguyên chia sẻ ▪ Việc truy cập đến tài nguyên chia sẻ được coi là khu vực quan trọng CS ▪ Yêu cầu: Đưa ra thuật toán để phối hợp truy cập tới tài nguyên chia sẻ thỏa mãn 3 thuộc tính sau: 1. Safety: hai tiến trình không có quyền truy cập đồng thời vào CS 2. Liveness: bất kỳ yêu cầu nào tới CS cuối cùng phải được cấp quyền 3. Fairness: những yêu cầu khác nhau phải được cấp quyền đi vào CS theo thứ tự mà chúng được tạo ra ▪ Giả sử rằng không có lỗi trong hệ thống phân tán, các bộ xử lý và liên kết giao tiếp là tin cậy 3 Giao diện Xử lý thông điệp và Khoá 4 Những thuật 5 toán dựa trên timestamp Thuật toán mutex của Lamport (1) ▪ Trong thuật toán này, mỗi tiến trình sẽ lưu giữ: 1. Một đồng hồ vector V (dùng để lưu dấu thời gian) 2. Một hàng đợi Q (dùng để lưu các yêu cầu đi vào CS của các tiến trình trong hệ thống phân tán) ▪ Thuật toán này đảm bảo: các tiến trình đi vào CS theo thứ tự dấu thời gian của yêu cầu ở phía tiến trình gửi ▪ Chứ không phải thứ tự nhận được của yêu cầu bên phía tiến trình nhận ! ▪ Giả sử các thông điệp truyền đi theo thứ tự FIFO 6 Thuật toán mutex của Lamport (2) ▪ Nếu hai yêu cầu có cùng một dấu thời gian, thì yêu cầu của tiến trình có số hiệu nhỏ hơn được coi là nhỏ hơn ▪ Một cách chính thức, Pi có thể đi vào CS nếu: ▪ q[i], q[j]: dấu thời

• Kỹ thuật lập trình
• Lập trình đồng thời
• Lập trình phân tán
• Kỹ thuật lập trình
• Distributed programming
• Bài toán truy cập tài nguyên chỉa sẻ
• Bài toán truy cập tài nguyên
• Lập trình mạng
• Bài giảng Lập trình mạng
• Máy chủ xử lý đồng thời
• Xử lý đồng thời
• Xử lý đa luồng
• Khởi tạo luồng
• Busy waiting problem
• Cơ sở đồng bộ hoá
• Tính toán phân tán
• Mô hình phân tán
• Đồng hồ vector
• Bài toán sắp thứ tự thông điệp
• Thứ tự đồng bộ
• Tổng quan môn học
• Đề cương môn học
• Giới thiệu môn học
• Luồng trong java
• Hệ thống phân tán
• Bài toán loại trừ lẫn nhau
• Hệ thống chia sẻ bộ nhớ
• Universal datagram protocol
• Transmission control protocol
• Bài toán bầu cử
• Thuật toán Hirschberg Sinclair
• Lập trình máy chủ
• Máy chủ xứ lý đồng thời
• Đa tiến trình
• Hướng kết nối
• Bài giảng Kỹ thuật lập trình vi điều khiển
• Kỹ thuật lập trình vi điều khiển
• Lập trình vi điều khiển
• Công nghệ kỹ thuật cơ khí
• Bộ định thời
• Lập trình ứng dụng
• Vi điều khiển PIC
• hệ thống thời gian thực
• hệ điều hành windows
• ngôn ngữ lập trình C
• đồng hồ hệ thống
• sự rời rạc thời gian
• chương trình lập trình
• ngôn ngữ lập trình
• thủ thuật lập trình
• mẹo lập trình
• thủ thuật hay về tin học
• Đồ án tốt nghiệp
• Đồ án tốt nghiệp đại học
• Thiết kế đồng hồ
• Ma trận LED RGE
• Vi điều khiển
• Thuật toán hiển thị thời gian
• Giao thức đồng bộ thời gian mạng
• Truyền nhận dữ liệu
• Lập trình ứng dụng Android
• Giáo trình Hệ điều hành phân tán
• Hệ điều hành phân tán
• Mô hình hiệu năng hệ thống
• Ngôn ngữ lập trình đồng thời
• Lập trình trên mạng
• Tim mạch học
• Bài viết về y học
• Tối ưu hóa thời gian dẫn truyền nhĩ thất
• Máy tạo nhịp tái đồng bộ cơ tim
• Bệnh nhân suy tim nặng
• Tạp chí Tim mạch học Việt Nam
• Tối ưu hóa thời gian dẫn truyền hai thất
• Điều trị suy tim
• Lập trình hệ thống nhúng
• Tác vụ chạy đồng thời
• Biến dùng chung
• Máy trạng thái
• Bảng kế hoạch
• Cấu trúc nhiệm vụ
• Giáo trình Hệ điều hành
• Hệ điều hành
• Thành phần của hệ thống máy tính
• Tổ chức phần cứng của máy tính
• Giao diện lập trình của hệ điều hành
• Đồng bộ hóa tiến trình đồng thời
• điều khiển tự động hoá
• Giáo trình PLC
• hệ thống điều khiển
• lập trình PLC
• lập trình điều khiển
• ngôn ngữ PLC
• điều khiển đèn giao thông
• Sự tiến hóa của hệ điều hành
• sự tiến hóa hệ điều hành
• kiến trúc hệ điều hành phân tán
• bộ gaio thức TCP IP
• quá trình đồng thời và lập trình
• Tạp chí tim mạch
• Sức khỏe tim mạch
• Bệnh tim mạch
• Siêu âm Doppler tim
• Tạp chí tim mạch Việt Nam