A. Các tiến trình trong một hệ thống phân tán giao tiếp với nhau bằng cách gửi và nhận thông điệp qua mạng truyền thông

A. Luôn tồn tại tài nguyên toàn cục giữa các tiến trình hoạt động trên các máy tính trong hệ thống phân tán

A. Các tiến trình trong một hệ thống phân tán luôn biết được trạng thái toàn cục của hệ thống tại bất kỳ thời điểm nào

A. Không tồn tại tài nguyên toàn cục giữa các tiến trình hoạt động trên các máy tính trong một hệ thống phân tán

Sử dụng mô hình bộ nhớ chia sẻ

Không sử dụng mô hình bộ nhớ chia sẻ hoặc truyền tin qua mạng giao tiếp

Sử dụng mô hình truyền tin qua mạng giao tiếp

Trong các chương trình đồng thời, nhiều phép tính có thể được thực hiện cùng một lúc, trong khi trong các chương trình tuần tự, chỉ có một phép tính có thể được thực hiện tại một thời điểm

Không có sự khác biệt nào giữa hai loại chương trình này

Các chương trình tuần tự chỉ cho phép một luồng thực thi, trong khi các chương trình đồng thời cho phép nhiều luồng thực thi

Khi chạy một chương trình đồng thời, nhiều kịch bản khác nhau có thể xảy ra, dẫn đến các kết quả khác nhau

p1 -> q1 -> p2 -> q2

p1 -> q1 -> p2 -> q2

p1 ->p2 -> q1 -> q2

p1-> q2 -> p2 ->q1

q1 -> p2 -> q2 -> p1

A. Tính chính xác của chương trình phụ thuộc vào thời gian thực thi tương đối của các sự kiện

Các giá trị của các biến chia sẻ luôn nhất quán và chính xác khi các luồng cập nhật những biến đó

A. Dữ liệu biến chia sẻ có thể bị mất mát khi các luồng cùng thực hiện việc thay đổi dữ liệu đó

3

4

2

1

Khi hai luồng T1, T2 có thể thực thi đồng thời

Khi hai luồng T1, T2 làm việc cùng nhau trên một vấn đề chung

Khi luồng T1 dừng lại và chờ luồng T2 hoàn thành trước khi T1 có thể tiếp tục

A. T-m T-1 T-2

A. T-2 T-1 T-m

A. T-m T-2 T-1

A. T-1 T-m T-2

A. T-2 T-m T-1

3

1

2

0

3 4 2 1

1 2 3 4

1 3 2 4

3 1 2 4

3 1 4 2

Gây ra chương trình bị treo

Gây mất mát, hỏng hóc hoặc không nhất quán dữ liệu

Tăng thời gian tính toán của chương trình

A. Phương thức requestCS() có mục đích kiểm tra điều kiện đi vào khu vực quan trọng của luồng gọi đã được thoả mãn hay chưa

A. Phương thức requestCS() được gọi SAU khi một luồng muốn đi vào khu vực quan trọng

A. Phương thức releaseCS() có mục đích khôi phục / thay đổi trạng thái của hệ thống để cho phép các luồng khác đi vào khu vực quan trọng

A. Phương thức releaseCS() được gọi TRƯỚC khi một luồng đi ra khỏi khu vực quan trọng

Phương thức requestCS() được thiết kế để kiểm tra xem điều kiện vào phần vùng quan trọng của luồng gọi đã được thỏa mãn hay chưa.

Phương thức requestCS() được gọi SAU KHI một luồng muốn vào phần vùng quan trọng.

Phương thức releaseCS() được thiết kế để khôi phục/thay đổi trạng thái của hệ thống để cho phép các luồng khác vào phần vùng quan trọng.

Phương thức releaseCS() được gọi TRƯỚC KHI một luồng thoát khỏi phần vùng quan trọng.

1 3 2 4

3 4 1 2

3 1 4 2

3 1 2 4

1 3 4 2

Đoạn mã thực hiện một phép toán quan trọng của luồng

Đoạn mã của luồng được chia sẻ với một luồng khác

A. Phân đoạn mã của luồng cần được thực thi một cách nguyên tử (hay được thực thi một cách trọn vẹn, không bị can thiệp bởi luồng khác)

T1, T0, T1, T0, T1, T0

T0, T1, T1, T0, T0, T1

T1, T1, T1, T0, T0, T0

T0, T1, T0, T1, T0,T1

Hàng đợi chứa các luồng đang thực thi

Phép toán P() được thực hiện một cách nguyên tử: được sử dụng để thêm luồng gọi vào hàng đợi nếu Semaphore không sẵn sàng

Biến giá trị (kiểu boolean hoặc int) để xác định trạng thái của Semaphore

Phép toán V() được thực hiện một cách nguyên tử: được sử dụng để đánh thức bất kỳ luồng nào trong hàng đợi

Hàng đợi các luồng bị chặn/loại trừ khỏi việc thực thi

A. Sử dụng biến chia sẻ, dẫn đến mất mát dữ liệu

A. Không có nhược điểm

A. Các luồng phải liêu tục kiểm tra xem điều kiện đi vào khu vực quan trọng đã được thoả mãn hay chưa, thông qua vòng lặp. Điều này dẫn đến lãng phí chu trình CPU

Tiến trình: Nếu một hoặc nhiều luồng đang cố gắng vào CS và không có luồng nào đang ở trong CS, ít nhất một trong các luồng sẽ thành công trong việc vào CS

Loại trừ lẫn nhau: Hai luồng không thể ở trong phần quan trọng cùng một lúc

Không bị đói: Nếu một luồng đang cố gắng vào CS, luồng đó phải cuối cùng thành công trong việc vào CS

Có thể hoạt động với bất kỳ số lượng luồng nào lớn hơn 1

Giải quyết vấn đề chờ đợi bận, không lãng phí chu kỳ CPU

Chạy chương trình nhanh hơn

Không có lợi thế nào

A. Điều kiện để một luồng i đi vào khu vực quan trọng là : 1, không có luồng j # i nào thực hiện bước lấy số và 2, (number[j], j)  > (number[i], i)

Điều kiện để một luồng i cạnh tranh cho phần vùng quan trọng là: 1, không có luồng j # i đang thực hiện bước lấy số và 2, tồn tại k # i sao cho (số[j}, j) < (số[i], i)

Thuật toán chỉ có thể được triển khai trong các chương trình đồng thời với 2 luồng

Thuật toán có thể được triển khai trong các chương trình đồng thời với hơn 1 luồng

Không có thao tác V() trong Semaphore Đếm

Biến giá trị trong Semaphore Đếm có kiểu int, không phải boolean như trong Semaphore Nhị phân

Không có thao tác P() trong Semaphore Đếm

Không có hàng đợi các luồng bị chặn trong Semaphore Đếm

Semaphore Đếm cho phép nhiều luồng trong phần mã quan trọng cùng một lúc, trong khi Semaphore Nhị phân chỉ cho phép 1 luồng trong CS (loại trừ lẫn nhau)

Khi luồng (1 - i) muốn vào phần vùng quan trọng và hiện tại là lượt của luồng (1 - i)

Khi luồng (1 - i) không muốn vào phần vùng quan trọng hoặc hiện tại không phải là lượt của luồng (1 - i)

Chỉ cần đó là lượt của luồng i để vào

Chỉ cần luồng i muốn vào phần vùng quan trọng thì được phép

Đánh thức luồng Consumer để tiếp tục thực hiện công việc nếu nó bị chặn trong hàng đợi Semaphore isEmpty

Đánh thức luồng Producer để tiếp tục thực hiện công việc nếu nó bị chặn trong hàng đợi Semaphore isFull

Khóa luồng Producer

Khóa luồng Consumer

Điều kiện đồng bộ hóa khi bộ đệm rỗng, luồng Consumer phải dừng lại

Điều kiện đồng bộ hóa cho phép 2 luồng Producer và Consumer đọc và ghi dữ liệu đồng thời

Điều kiện loại trừ lẫn nhau giữa luồng Producer ghi dữ liệu vào bộ đệm và luồng Consumer đọc dữ liệu từ bộ đệm

Điều kiện đồng bộ hóa khi bộ đệm đầy, luồng Producer phải dừng lại

Ràng buộc Đọc-Ghi: Một luồng đọc và một luồng ghi không thể truy cập cơ sở dữ liệu chia sẻ đồng thời

Ràng buộc Đọc-Đọc: Nhiều luồng đọc có thể truy cập cơ sở dữ liệu chia sẻ đồng thời

Ràng buộc Ghi-Ghi: Hai luồng ghi không thể truy cập cơ sở dữ liệu chia sẻ đồng thời

Ràng buộc Đọc-Đọc: Hai luồng đọc không thể truy cập cơ sở dữ liệu chia sẻ đồng thời

Đảm bảo rằng các quá trình ghi và đọc dữ liệu được thực hiện một cách nguyên tử (tức là, loại trừ lẫn nhau)

Khóa luồng Consumer

Khóa luồng Producer

Cho phép các luồng ghi và đọc dữ liệu thực hiện đồng thời

Khóa luồng Consumer

Khóa luồng Producer

Đánh thức luồng Consumer để tiếp tục công việc của nó nếu nó bị chặn trong hàng đợi semaphore isEmpty

Đánh thức luồng Producer để tiếp tục công việc của nó nếu nó bị chặn trong hàng đợi semaphore isFull

Đánh thức cả hai luồng Producer và Consumer

Đánh thức luồng Consumer

Đánh thức luồng Producer

Không có mục đích

A. Đánh thức luồng đọc bất kì đang bị khoá dậy thực hiện tiếp công việc của nó

A. Nếu đây là luồng đọc đầu tiên muốn đi vào khu vực quan trọng thì sẽ chuyển Semaphore nhị phân wlock sang trạng thái không sẵn sàng để chặn các luồng đọc phía sau đi vào khu vực quan trọng

A. Đánh thức luồng ghi bất kì đang bị khoá dậy thực hiện tiếp công việc của nó

A. Nếu đây là luồng đọc đầu tiên muốn đi vào khu vực quan trọng thì sẽ chuyển semaphore nhị phân wlock sang trạng thái không sẵn sàng để chặn các luồng ghi phía sau đi vào khu vực quan trọng

A. Nếu đây là luồng đọc cuối cùng đã thực hiện xong việc đọc CSDL chia sẻ thì luồng đọc này sẽ đánh thức một luồng ghi bất kì đang bị khoá dậy để thực hiện tiếp công việc

A. Khoá một luồng đọc đang muốn vào khu vực quan trọng

A. Khoá một luồng ghi đang muốn vào khu vực quan trọng

A. Nếu đây là luồng đọc cuối cùng đã thực hiện xong việc đọc CSDL chia sẻ thì luồng đọc sẽ đánh thức một luồng đọc bất kì đang bị khoá dạy để thực hiện tiếp công việc

Các gói tin được truyền theo thứ tự và phải có xác nhận trả lại.

Các quá trình gửi và nhận có thể KHÔNG cần hoạt động vào thời điểm truyền tin.

Các quá trình gửi và nhận phải hoạt động vào thời điểm truyền tin.

Quá trình gửi PHẢI biết địa chỉ IP và cổng của quá trình nhận.

A. Lập trình Socket CHỈ có thể dựa trên giao thức UDP (Universal Datagram Protocol)

A. Socket gồm có 2 thành phần: Địa chỉ IP và Cổng

A. Socket là một điểm cuối của liên kết truyền thông hai chiều giữa hai tiến trình đang hoạt động trên mạng truyền thông

A. Socket cung cấp một giao diện ở mức thấp cho việc xây dựng các ứng dụng phân tán

A. Tiến trình nhận, khi chờ nhận dữ liệu từ tiến trình gửi, sẽ bị chặn lại (block) để chờ nhận đủ dữ liệu thì mới được thực thi tiếp

A. Hai tiến trình gửi và nhận có thể KHÔNG cần hoạt động tại thời điểm truyền thông điệp

A. Tiến trình gửi KHÔNG cần phải biết địa chỉ IP và cổng của tiến trình nhận

A. Tiến trình gửi không cần phải đảm bảo thông điệp đến phía tiến trình nhận đầy đủ và đúng thứ tự (i.e., thông điệp gửi đi sau có thể đến trước)

A. Các gói tin được truyền đi tuần tự và phải có xác nhận trả về

A. Hai tiến trình gửi và nhận có thể KHÔNG cần hoạt động tại thời điểm truyền thông điệp

A. Hai tiến trình gửi và nhận bắt buộc phải hoạt động tại thời điểm truyền thông điệp

A. Tiến trình gửi PHẢI biết địa chỉ IP và cổng của tiến trình nhận

TCP là một giao thức kết nối đáng tin cậy, có nghĩa là các gói tin không bị mất trong quá trình truyền tải.

TCP KHÔNG đảm bảo thứ tự nhận gói tin như chúng đã được gửi.

Các gói tin được gửi qua giao thức UDP có thể bị mất trong quá trình truyền tải.

Các gói tin được gửi qua giao thức UDP KHÔNG được đảm bảo sẽ được nhận theo thứ tự mà chúng đã được gửi.

A. Hai thành phần đại diện stub và skeleton KHÔNG bắt buộc phải được tạo ra khi thực hiện một lời gọi từ xa

A. Mỗi lời gọi từ xa luôn được thực hiện thông qua 2 thành phần đại diện: stub phía client và skeleton phía server

Kỹ thuật này đòi hỏi phải có 3 kiểu tiến trình: Tiến trình máy khách, Tiến trình máy chủ, RMI Registry

A. Tiến trình gửi không cần biết đến vị trí thực sự của đối tượng từ xa

Các kỹ thuật này luôn làm chậm quá trình truyền tải tin nhắn giữa các quá trình gửi và nhận.

Cả hai kỹ thuật đều yêu cầu quá trình gửi phải biết thông tin (địa chỉ IP, cổng) của quá trình nhận để truyền tải.

A. Để thực hiện được quá trình truyền thông, tiến trình gửi và tiến trình nhận bắt buộc phải thực thi tại cùng một thời điểm

A. Thông thường, tiến trình gửi yêu cầu sẽ bị chặn thực thi cho đến khi nhận được kết quả trả về

Giao tiếp Điểm đến Điểm

A. Truyền thông điệp đa điểm ( Collective communication )

Trong khu vực mã tuần tự.

Trong khu vực mã song song, được đánh dấu bởi các lệnh khởi tạo và kết thúc của môi trường MPI.

Trong bất kỳ khu vực nào.

Trong mô hình đã-xảy-ra-trước, nếu e là sự kiện gửi của một thông điệp và f là sự kiện nhận của cùng thông điệp đó, thì e → f

A. Trong mô hình đã-xảy-ra-trước, nếu e và f là hai sự kiện xảy ra trên cùng một tiến trình và e xảy ra trước f, thì e → f

A. Trong mô hình đã-xảy-ra-trước, các tiến trình luôn biết được thứ tự tổng thể trên tập các sự kiện đã xảy ra trong hệ phân tán

A. Trong mô hình đã-xảy-ra-trước, nếu tồn tại một sự kiện g sao cho e → g, g → f, thì e → f

A. Trong mô hình đã-xảy-ra-trước, các tiến trình chỉ có thể biết được một thứ tự bộ phận trên tập các sự kiện đã xảy ra trong hệ phân tán

A. f2 à g2

A. e4 à f4

A. f2 à g4

A. e3 à g4

A. e1 à f4

A. Trong mô hình này, một chủ đề (topic), khi đã có trên Messaging Server, sẽ được gửi đến tất cả tiến trình đăng ký chủ đề này

A. Trong mô hình này, một thông điệp chỉ được gửi đến duy nhất một tiến trình nhận

A. Mô hình này cho phép phía gửi và phía nhận có thể không cần hoạt động cùng một thời điểm mà quá trình truyền thông điệp vẫn diễn ra được

A. Trong mô hình này, đôi khi không cần đến thành phần Messaging Server

A. Các hệ thống dựa trên MOM cho phép việc truyền thông diễn ra thông qua trao đ hông điệp, i.e., phía gửi và phía nhận có thể không cần hoạt động tại thời điểm truyền thông

A. Để thực hiện được quá trình truyền thông điệp, hai tiến trình gửi và nhận bắt buộc phải thực thi tại cùng một thời điểm

A. Luôn có một thành phần trung gian, thường được gọi là Messaging Server / Broker, để điều phối quá trình gửi và nhận các thông điệp

A. Phía gửi và phía nhận bắt buộc phải biết đến sự tồn tại của nhau (ví dụ: thông tin về địa chỉ IP, cổng, ...) thì quá trình truyền thông điệp mới diễn ra được

A. Mô hình này cho phép các tiến trình phía gửi và phía nhận có thể không cần hoạt động cùng một thời điểm mà quá trình truyền thông điệp vẫn diễn ra được

A. Trong mô hình này, cùng một thông điệp có thể được gửi đến nhiều tiến trình nhận

Trong mô hình này, đôi khi không cần đến thành phần Messaging Server

A. Messaging Server sử dụng queue làm nơi lưu trữ. Queue giữ lại các thông điệp cho đến khi tiến trình đích nhận được thông điệp hoặc đến thời gian timout được thiết lập.

A. Trong mô hình này, một thông điệp chỉ được gửi đến duy nhất một tiến trình nhận

A. Kí hiệu C(e), C(f) là hai số nguyên dương được gán cho hai sự kiện e,f đã xảy ra,
nếu C(e) < C(f) thì chúng ta có thể kết luận rằng e -> f

A. Giả sử E là tập các sự kiện đã xảy ra, đồng hồ logic được định nghĩa là một ánh xạ C từ tập E sang tập các số nguyên dương N, sao cho: ∀��,��∈��: �� →��⇒��(��)<��(��)

A. Trong thuật toán này, mỗi sự kiện, hoặc trạng thái, của một tiến trình được gán với một số nguyên dương để biểu thị dấu thời gian của sự kiện, hoặc trạng thái đó

A. Một đồng hồ vector v là một ánh xạ từ tập trạng thái S đến N^n (vector của các số tự nhiên) với rằng buộc sau: ∀s,t ∈S:s→t ⇒ s.v < t.v à Sai vì phải là dấu 2 chiều

A. Thuật toán đồng hồ vector khắc phục được nhược điểm của thuật toán đồng hồ logic với việc cung cấp thông tin hoàn chỉnh (hai chiều) về mối quan hệ đã-xảy-ra-trước

A. Một đồng hồ vector v là một ánh xạ từ tập trạng thái S đến N^n (vector của các số tự nhiên) với rằng buộc sau: ∀s,t ∈S:s→t ⇔ s.v < t.v

Thuật toán vẫn hoạt động đúng, thoả mãn 3 yêu cầu đồng bộ của bài toán Người đọc - Người gh

Việc này cho phép nhiều luồng đọc được thực hiện việc đọc dữ liệu từ cơ sở dữ liệu chia sẻ tại một thời điểm

bất ky

Việc này sẽ chỉ cho phép nhiều nhất một luồng đọc được thực hiện việc đọc dữ liệu từ cơ sở dữ liệu chia sẻ tại

một thời điểm bất kỳ -> không thoả mãn được yêu cầu cho phép nhiều luồng đọc cùng đọc cơ sở dữ liệu chia

sẻ

Monitor KHÔNG hỗ trợ khái niệm biến điều kiện

Mỗi biến điều kiện X, được hỗ trợ bởi monitor, định nghĩa các thao tác như: wait, notify/signal,notifyAll/broadcast

Monitor hướng đối tượng: mỗi đối tượng, trong các ngôn ngữ lập trình hướng đối tượng, mặc định đi kèm với một monitor

Trong một thời điểm, chỉ có nhiều nhất một luồng chiếm giữ monitor (hay "ở bên trong monitor")

Tại một thời điểm, có thể có nhiều hơn 1 luồng chiếm giữ monitor (hay "ở bên trong monitor"

Với monitor kiểu Mesa (signal-and-continue monitors), khi một luồng đang trong monitor và gọi notify() để đánh thức luồng khác, luồng gọi này sẽ bị tạm dừng và mất quyền chiếm giữ monitor ngay lập tức

Với monitor kiểu Hoarse, các luồng khi được đánh thức dậy sẽ được chuyển sang hàng đợi s; trong khi với

monitor kiểu Mesa, các luồng sau khi được đánh thức dậy sẽ được chuyển về hàng đợi e

Với monitor kiểu Hoare (signal-and-urgent-wait monitors), khi một luồng đang trong monitor và gọi notify() đểđánh thức luồng khác, luồng gọi này sẽ KHÔNG bị mất quyền chiếm giữ monitor ngay, mà nó vẫn tiếp tục công việc của nó cho đến khi hoàn thành và ra khỏi monitor thì luồng được đánh thức lúc này mới có thể chiếm giữ monitor

Không cần thiết phải có hàng đợi s (cho các luồng được đánh thức) trong monitor kiểu Mes

Thuật toán đồng hồ phụ-thuộc-trực-tiếp là một biến thể của thuật toán đồng hồ vector, trong đó mỗi tiến trình gửi vẫn gắn thêm cả vector để gửi cùng với thông điệp

Một đồng hồ phụ thuộc trực tiếp thoả mãn rằng buộc sau: ∀𝑠,𝑡:𝑠.𝑝≠𝑡.𝑝: 𝑠→_𝑑 𝑡 ⇔ 𝑠.𝑣[𝑠.𝑝] ≤ 𝑡.𝑣[𝑠.𝑝

ột đồng hồ phụ thuộc trực tiếp thoả mãn rằng buộc sau: ∀s,t ∈S: s→t ⇔ s.v < t.v

Thuật toán đồng hồ phụ-thuộc-trực-tiếp là một phiên bản yếu hơn của thuật toán đồng hồ vector, trong đó mỗi tiến trình gửi chỉ gắn thêm 1 số nguyên (là phần tử có chỉ số tương ứng với định danh của tiến trình gửi) để gửi cùng với thông điệp

rong thuật toán này, khi được giá trị đồng hồ W gửi cùng với thông điệp từ một tiến trình khác, tiến trình nhận sẽ tiến hành cập nhật đồng hồ M của nó theo 3 bước: 1) cập nhật các hàng khác với định danh của tiến

trình nhận; 2) cập nhật hàng tương ứng với định danh của tiến trình nhận; 3) cập nhật phần tử có hàng và cột tương ứng với định danh của tiến trình nhậ

Trong thuật toán này, khi gửi thông điệp sang tiến trình khác, một tiến trình sẽ đính kèm với thông điệp một vector, là hàng tương ứng với định danh của tiến trình gửi trong ma trận

Đồng hồ ma trận giúp biểu thị mức độ hiểu biết cao hơn so với đồng hồ vector. Giá trị M[i,j] của tiến trình P_k thể hiện độ hiểu biết của tiến trình P_k về "mức độ hiểu biết của tiến trình P_i về tiến trình P_j".

Trong thuật toán này, một tiến trình không phải lúc nào cũng gửi ngược lại một thông điệp okay khi nhận được một yêu cầu đi vào khu vực quan trọng của tiến trình khác

Thuật toán sử dụng 2(N-1) thông điệp cho mỗi lần truy cập khu vực quan trọng, với N là số lượng tiến trình, bao gồm: N-1 thông điệp request, N-1 thông điệp okay*

Thuật toán này KHÔNG thỏa mãn thuộc tính sự sống (liveness), tức là: mỗi yêu cầu đi vào khu vực quan trọng cuối cùng phải được cấp quyền để đi vào khu vực quan trọng

Một tiến trình Pi P_i Pi​ nhận thấy nó có thể đi vào CS nếu Pi P_i Pi​ đã nhận được N−1 N-1 N−1 thông điệp okay từ N−1 N-1 N−1 tiến trình khác đồng ý cho yêu cầu đi vào CS của nó, trong đó N N N là số lượng tiến trình trong hệ thống phân tán

Lớp thuật toán sử dụng dấu thời gian, gần với mỗi yêu cầu tài nguyên, để giải quyết xung đột trong việc truy cập tài nguyên chia sẻ

. Lớp thuật toán sử dụng các cấu trúc đồng bộ hóa (như Semaphore, Monitor) để giải quyết xung đột trong việc truy cập tài nguyên chia sẻ

Lớp thuật toán sử dụng tài nguyên phụ, token, để giải quyết xung đột trong việc truy cập tài nguyên chia sẻ. Các thuật toán này phải đảm bảo tại một thời điểm bất kỳ chỉ có một tài nguyên phụ tồn tại trong hệ thống phân tán và chỉ có một tiến trình nắm giữ tài nguyên phụ này

Có thể sử dụng Monitor cho bài toán truy cập tài nguyên chia sẻ trong một hệ thống phân tán

Có thể sử dụng các tài nguyên chia sẻ và dùng các vòng lặp (ví dụ: while) để kiểm tra một tiến trình truy cập, điều kiện để vào CS (Critical Section) của tiến trình đó chưa được thỏa mãn

Có thể sử dụng Semaphore cho bài toán truy cập tài nguyên chia sẻ trong một hệ thống phân tán

Do không có tài nguyên toàn cục trong hệ phân tán, nên không thể sử dụng các cấu trúc đồng bộ hóa như Semaphore hoặc Monitor cho bài toán này

Thuật toán của RA không thoả mãn thuộc tính công bằng, giống như thuật toán của Lamport.

Thuật toán của RA chỉ sử dụng 2*(N-1) thông điệp cho một lần 1 tiến trình truy cập tài nguyên chia sẻ, thay vì 3*(N-1) thông điệp như trong thuật toán của Lamport. Với N là số lượng tiến trình trong hệ thống phân tân.

Trong thuật toán của BA một tiến trình, khi nhận được thông điệp yêu cầu truy cập tài nguyên chia sẻ, không phải lúc nào cũng gửi thông điệp về cho tiến trình yêu cầu. Với thuật toán của Lamport, tiến trình nhận được yêu cầu sẽ luôn gửi thông điệp xác nhận về cho tiến trình gửi yêu cầu.

Trong thuật toán của RA, điều kiện một tiến trình được truy cập tài nguyên chia sẻ giống với thuật toán của Lamport. Tức là: tiến trình gửi yêu cầu đã nhận được N-1 thông điệp xác nhận từ tất cả các tiến trình khác và yêu cầu của tiến trình này có dấu thời gian là nhỏ nhất trong số các yêu cầu

Một tiến trình Pi nhận thấy nó có thể đi vào CS nếu: vjzi:(q[i],i)<(q[j].j)^(q[i].i) <(v[j].j), trong đô q[i], qj): dấu thời gian của yêu cầu đi vào CS của hai tiến trình P_i, P_j và v[j] là dấu thời gian của thông điệp ack từ tiến trình Pj được ghi nhận ở tiến trình Pi

Một tiến trình Pi nhận thấy nó có thể đi vào CS nếu: vjzi:(q[i],i)<(v[j].j)^(q[i].i) <(q[j].j), trong đô q[i], qj): dấu thời gian của yêu cầu đi vào CS của hai tiến trình P_i, P_j và v[j] là dấu thời gian của thông điệp ack từ tiến trình Pj được ghi nhận ở tiến trình Pi

Thuật toán sử dụng 3*(N-1) thông điệp cho mỗi lần truy cập khu vực quan trọng, với N là số lượng tiến trình, bao gồm: N-1 thông điệp request, N-1 thông điệp ack, N-1 thông điệp release

Thuật toán này thoả mãn thuộc tính An toàn, tức là đảm bảo hai tiến trình không được phép truy cập tài nguyên chia sẻ cùng lúc

Thuật toán đảm bảo rằng các tiến trình đi vào khu vực quan trọng theo thứ tự dấu thời gian của yêu cầu, tức là thoả mãn thuộc tính Công bằng.

Thuật toán KHÔNG thỏa mãn thuộc tính Tiến triển, tức là mỗi yêu cầu đi vào khu vực quan trọng cuối cùng phải được cấp quyền để đi vào khu vực quan trọng Chọn ccacs đáp án đúng

A, C, B, D

B, A, C, D

A, B, D, C

B, A, D, C

A, B, C, D