tailieunhanh - Giáo trình Hệ điều hành phân tán: Phần 2

Nối tiếp phần 1 cuốn "Giáo trình Hệ điều hành phân tán" mời các bạn cùng tìm hiểu phần 2 để nắm bắt một số nội dung cơ bản về: Lập trình phân tán và lập trình trên mạng; truyền thông CTĐ; mô hình đối tượng các phục vụ tài nguyên và ngôn ngữ lập trình đồng thời; truyền thông hỏi-đáp;. | Lập trình phân tán và lập trình trên mạng Occam RS và Linda được mô tả như những ngôn ngữ đồng thời hoặc những mô hình cho hệ thống chặt chẽ. Chúng không đáp ứng được cho hệ thống không chặt chẽ hoặc là mạng máy tính nơi những vấn đề về khả năng trong suốt và khả năng tương tác các toán tử là cần được suy nghĩ. Trong hệ thống lỏng sự thực hiện các hệ chương trình đồng thời cần được cung cấp sự truyền thông tin cậy đối tượng riêng biệt nhân bản dữ liệu và một hệ thống hỗn tạp. Hai ngôn ngữ lập trình ORCA và JAVA là ví dụ liên quan đến lập trình hệ phân tán và mạng. ORCA Orca là ngôn ngữ lập trình động thời dựa trên mô hình đối tượng chia sẻ logic cho hệ thống phân tán lỏng. Nó hỗ trợ việc thực hiện song song của QT trên các máy khác nhau nhờ truy nhập đồng thời đối tượng dữ liệu chia xẻ. Đối tượng dữ liệu chia xẻ là các thể hiện của kiểu dữ liệu trừu tượng được người dùng định nghĩa. Chúng có thể được phân tán vật lý hoặc được nhân bản để truy nhập cục bộ hiệu quả và thuận tiện nhưng chúng hoàn toàn trong suốt đối với chương trình ứng dụng nhờ thi hành của Orca. QT Orca mỗi khi được khởi tạo truyền thông xuyên qua các đối tượng chia xẻ khi dùng các phép toán người dùng định nghĩa trên các đối tượng đó. Ưu điểm của việc sử dụng biến chia xẻ cho TTLQT thì tương phản với CTĐ là hoàn toàn rành mạch. Truyền thông liên bộ xử lý là hoàn toàn trong suốt và các thông tin toàn cục có thể được chia xẻ trực tiếp. Viết một chương trình đồng thời là gần gũi với kiểu lập trình thông thường. Thêm nữa nếu thể hiện cấu trúc dữ liệu phức tạp của đối tượng được phân tán vật lý việc sử dụng CTĐ tường minh để truy cập vào từng phần của cấu trúc dữ liệu sẽ trở nên khó khăn nếu không quá dài dòng. Khái niệm cốt lõi được dùng trong hệ thống Orca là đối tượng chia xẻ lôgic và kiểu dữ liệu trừu tượng. Khái niệm đối tượng chia xẻ lôgic hoặc cấu trúc dữ liệu đã từng biết trong Linda còn khái niệm kiểu dữ liệu trừu tượng có trong SR. Trong Linda đối tượng chai xẻ bao gồm dữ liệu và QT là các bộ