Bài toán bải đậu xe ô tô và vấn đề đồng bộ giữa các tiến trình

Tiểu luận: Hệ phân tán GVHD: PGS.TS Lê Văn Sơn PHẦN A: LỜI MỞ ĐẦU Trong những thập niên gần đây, các thành tựu mới nhất của hệ thông tin học về phần cứng, phần mềm và các hệ dữ liệu ổn định, tin cậy đã góp phần đáng kể cho sự phát triển của toàn xã hội loài người nói chung, ngành Công nghệ thông tin nói riêng. Một trong những thành tựu nổi bật đó, phải kể đến sự ra đời của mạng máy tính và hệ thống viễn thông là thành phần cơ bản của hệ thống tin học đương đại - hệ tin học phân tán. Hệ tin học phân tán hay nói ngắn gọn là hệ phân tán (Distributed System) là hệ thống xử lý thông tin bao gồm nhiều bộ xử lý hoặc bộ vi xử lý nằm tại các vị trí khác nhau và được liên kết với nhau thông qua phương tiện viễn thông dưới sự điều khiển thống nhất của một hệ điều hành. Để đảm bảo tính gắn bó của hệ, yêu cầu đặt ra trước hết là đồng bộ hóa các tiến trình. Trình tự và đồng bộ các tiến trình trong hệ phân tán chỉ ra cho ta các vấn đề đồng bộ có thể sẽ dẫn đến phải thiết chế một trật tự tổng quát của các sự kiện diễn ra trong hệ. Cần phải xác định mối liên hệ trao đổi thông qua các thông điệp với thời gian truyền khác nhau, những thông tin tạm thời trao đổi không có giá trị tuyệt đối và trình tự tổng quát cần phải được thể hiện bằng phương tiện giải thuật đảm bảo hoạt động nhịp nhàng giữa các tiến trình có liên quan với nhau. Giới hạn của tiểu luận này, với vấn đề chính là “Bài toán bải đậu xe ô tô và vấn đề đồng bộ giữa các tiến trình”, tiểu luận chủ yếu tập trung phân tích cách giải quyết vấn đề dựa vào thuật toán liên quan đến đồng bộ của Lamport. Nội dung của tiểu luận gồm những phần chính sau : - Khái quát chung về hệ phân tán. - Bài toán bãi để xe ôtô và vấn đề đồng bộ hoá giữa các tiến trình. - Phần bài tập: Bài tập này nhằm vào giải quyết vấn đề phương pháp sắp xếp các đồng hồ lô gíc (Bài tập số 4, chương IV – Trang 195 – Sách Hệ tin học phân tán – NXB ĐH Quốc gia TP HCM – tác giả TS.Lê Văn Sơn). Mặc dù tôi đã cố gắng, nhưng tiểu luận này chắc hẳn vẫn còn nhiều thiếu sót, kính mong sự góp ý của thầy giáo và các bạn. Tôi xin chân thành cảm ơn sự hướng dẫn, chỉ bảo tận tình của Thầy giáo PGS.TS.Lê Văn Sơn và các bạn học viên trong lớp. HVTH: Nguy n Quang Th chễ ạ Trang 1