Cơ bản về hoạt động đồng thời của hệ điều hành

ORCA

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. Giao thức quảng bá kỳ vọng đảm bảo rằng mọi phía đối t−ợng nhận đ−ợc toàn bộ các TĐ quảng bá và tất cả các TĐ đ−ợc phân phát theo đúng một thứ tự (tức là quảng bá đ−ợc xem nh− là một nguyên tử). Về ngữ nghĩa, phân phát bội có thể đ−ợc xác định sao cho TĐ đ−ợc nhận theo thứ tự khác nhau tại các nút khác nhau có thể đ−ợc sắp xếp lại và phân phối tới QT ứng dụng theo quy tắc chặt chẽ nhỏ hơn.

Giao thức thứ tự nhân quả này giả thiết rằng phân phát bội trong một nhóm đóng (tức là nguồn của phân phát bội cũng là một thành viên của nhóm) và phân phát bội không thể mở rộng dọc theo nhóm (mục sau sẽ bàn luận về việc này). Khi thi hành, phân phát bội đòi hỏi công phu hơn. Theo trực giác, đòi hỏi rằng một phân phát bội buộc phải hoàn thiện và TĐ phân phát bội buộc phải đ−ợc sắp xếp theo thời gian hoàn thiện phân phát bội trước khi phân phát tới QT ứng dụng. Điều đó tạo nên lý do kết hợp quảng bá nguyên tử với quảng bá thứ tự tổng thành một giao thức. Điều này đ−a đến khái niệm phân phát bội thứ tự tổng hai pha. Trong pha đầu tiên của giao thức phân phát bội, QT khởi tạo quảng bá TĐ và thu thập xác nhận với tem thời gian lôgic từ tất cả các thành viên trong nhóm. Suốt thời gian pha 2, sau khi đã thu thập xong mọi xác nhận với tem thời gian lôgic, QT khởi tạo gửi một TĐ cam kết mang tem thời gian xác nhận cao nhất nh− là thời gian logic đối với việc cam kết. Thành viên trong nhóm sau đó quyết định hoặc TĐ cam kết đ−ợc đ−a vào vùng đệm hoặc phân phát dựa trên thời gian cam kết lôgic toàn cục của TĐ phân phát bội. Giao thức phân phát bội 2 pha đ−ợc biểu diễn trong hình 4.8. Trong hình vẽ, hai TĐ, m1 và m2 từ hai nguồn khác nhau đ−ợc quảng bá tới một nhóm. Thời gian đồng hồ lôgic khởi tạo của chúng cho trong vòng tròn. Các đ−ờng liền nét và rời nét t−ơng ứng trình bày TĐ và TĐ xác nhận. Mỗi một cung đ−ợc gán nhãn bởi một cặp hai số. đến 8) chỉ bước theo thứ tự bộ phận của xuất hiện và số thứ hai là tem thời gian của TĐ. Ví dụ, các thành viên của nhóm có thể đ−ợc cấu trúc nh− là một cây thác triển (cây thác triển là một biểu diễn hợp lý của quan hệ thành viên nhóm trong mạng máy tính không có hỗ trợ quảng bá về phần cứng). Điều này đạt được nhờ việc gọi một ch−ơng trình con (routine) creat của th− viện thời gian chạy RPC và creat gửi một TĐ chứa tên máy phục vụ, ch−ơng trình và số hiệu phiên bản, cùng giao thức giao vận (UDP hoặc TCP) tới bộ ánh xạ cổng từ xa.

Trong trường hợp tổng quát hơn khi chưa biết được máy phục vụ, khách cần định vị máy phục vụ bằng cách tiếp xúc với một phục vụ th− viện (đôi lúc đ−ợc gọi là bộ liên kết, bộ giao dịch) để định vị địa chỉ của hệ thống phục vụ. Nếu trong khoảng thời gian quy định, bộ phối hợp kết nối đ−ợc tất cả các trả lời YES thì nó cam kết giao dịch bằng việc ghi bản ghi cam kết tới sổ lộ trình của nó và đa phân phát TĐ COMMIT tới mọi thành viên. Bộ phối hợp cũng bỏ giao dịch nếu nó sụp đổ giữa tiền cam kết và cam kết, nh−ng hiệu quả hơn thì nên cố gắng tiếp tục cam kết giao dịch bằng cách đa phân phát lại TĐ yêu cầu (nhân bản có thể đ−ợc các thành viên phát hiện ra).

Trong hệ tự trị cộng tác, dịch vụ tên đ−ợc mở rộng để hỗ trợ hạ tầng truyền thông để định danh và định vị mọi đối t−ợng tự trị trong hệ thống và quản lý kết nối và phân phát dữ liệu giữa các đối t−ợng. (1) Nếu QT nhận REQUEST khi nó đang ở trong khoảng tới hạn của nó, hoặc nó. đã gửi một REQUEST mà có tem thời gian nhỏ thua tem thời gian của REQUEST. đang tới thì nó làm trễ việc phát REPLY. Chú ý rằng QT giành d−ợc mọi REPLY chỉ khi nó trở thành QT có −u tiên cao nhÊt. Thi hành thuật toán −u thế tem thời gian là đơn giản. Đồng hồ lôgic trong mỗi QT đ−ợc tăng tr−ởng theo sự xuất hiện của TĐ thiết lập thứ tự giữa gửi và nhận của các QT và hệ quả là thứ tự tổng cộng của mọi yêu cầu. Thuật toán đạt đ−ợc loại từ ràng buộc và phát triển bỏ qua sự trì hoãn mập mờ của bất kỳ QU yêu cầu. b) Sơ đồ phiếu bầu.