RTS giả thiết truyền thông là tin cậy Nó hỗ trợ tầng quảng bá tin cậy ngay d−ới hệ thống thời gian chạy Tầng quảng bá tin cậy đó có thể thi hành nhiều giao thức quảng

Một phần của tài liệu Quá trình đồng thới và lập trình (Trang 34)

thống thời gian chạy. Tầng quảng bá tin cậy đó có thể thi hành nhiều giao thức quảng bá theo những đòi hỏi ngữ nghĩa khác nhau. 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ử). Thi hành giao thức quảng bá nguyên tử đ−ợc trình bày ở ch−ơng sau, tuy vậy ở đây giới thiệu khái quát cách tiếp cận đơn giản trong Orca để thực hiện quảng bá nguyên tử. Khi quảng bá đ−ợc RTS yêu cầu, nhân của RTS gửi một TĐ điểm-điểm đến lời gọi nhân đặc biệt sequencer. Sequencer gắn một số hiệu dãy tới yêu cầu và quảng bá TĐ bao gồm các số hiệu dãy tới mọi phía đối t−ợng nhân bản. Chi số dãy đ−ợc mỗi nhân dùng để xác định thứ tự phân phát TĐ, kiểm tra TĐ bội, và yêu cầu sequencer chuyển lại một TĐ nếu nh− TĐ đó bị mất.

Đối t−ợng là đơn vị dữ liệu nền tảng trong Orca. Đối t−ợng đ−ợc trình bày bằng một cấu trúc dữ liệu chẳng hạn nh− danh sách, cây hoặc đồ thị, th−ờng đ−ợc dùng bằng con cấu trúc dữ liệu chẳng hạn nh− danh sách, cây hoặc đồ thị, th−ờng đ−ợc dùng bằng con trỏ trong ngôn ngữ lập trình quy −ớc. Con trỏ (pointer) là một địa chỉ máy. Truyền địa chỉ máy là kém ngữ nghĩa và có thể dẫn đến xung đột an ninh CTĐ ở HPT. Cơ chế cho phép thi hành và truyền cấu trúc dữ liệu phức tạp có sẵn để tạo ra mô hình đối t−ợng chia xẻ hữu dụng. Orca giải quyết vấn đề này bằng cách thay thế con trỏ bởi tên. Với mỗi đối t−ợng đ−ợc RTS quản lý, mảng logic các dữ liệu có cấu trúc sẽ đ−ợc duy trì cho đối t−ợng. Ví dụ, một cây nhị phân đơn giản t với 3 nút {A, B, C} và các liên kết trái và phải, đ−ợc trình bày nh− sau:

t[1] = 6,A,8

t[6] = 0,B,0

t[8] = 0,C,0

Mỗi nút trong cấu trúc dữ liệu này đ−ợc tạo động bởi nguyên thủy RTS addnode(t), trả lại tên n cho nút đó. Tên n đ−ợc dùng nh− số hiệu của cấu trúc mảng để đặt tên cho nút

Một phần của tài liệu Quá trình đồng thới và lập trình (Trang 34)

Tải bản đầy đủ (PDF)

(36 trang)