ĐẠI HỌC ĐÀ NẴNG
TIỂU LUẬN
LẬP TRÌNH MẠNG NÂNG CAO
GVHD : PGS.TS Lê Văn Sơn
HVTH : Nguyễn Thị Quỳnh Trang
Lớp : CH. Khoa học máy tính K24
THUẬT TOÁN LOMET
THUẬT TOÁN LOMET
SẮP XẾP CÁC GIAO DỊCH TRONG
SẮP XẾP CÁC GIAO DỊCH TRONG
HỆ PHÂN TÁN
HỆ PHÂN TÁN
Đề tài:
NỘI DUNG BÁO CÁO
Đặt vấn đề
1
Giải quyết vấn đề
2
Các modules thực hiện
3
Chương trình demo
4
1
2
3
4
Đặt vấn đề

Dùng phương pháp sắp xếp các giao dịch của
Lomet hãy xác định cho trạm i thuật toán cập
nhật đồ thị cục bộ khi nhận thông điệp mới có

Trước khi có thông điệp gửi tới từ trạm j, tại trạm i lúc
này duy trì đồ thị cục bộ với nhiệm vụ hình thành trật tự
cho các giao dịch.

Các giao dịch trên trạm i tại thời điểm trước khi có thông điệp
H(AN
j
) được sắp xếp trong hàng đợi, tiêu chí sắp xếp là dấu
của các thông điệp.

Trạm phát được gắn một giá trị gọi là dấu. Giá trị này có tính
chất thời điểm cho trạm phát thông tin và dựa vào đồng hồ
lôgíc cục bộ của chính trạm đó.

Các đồng hồ được lấy thông qua hộp thoại giữa các trạm.

Trạm i của mạng có thể gửi cho các trạm khác thông điệp có
dạng (T,H
i
,i) trong đó H
i
là dấu của thông điệp tức là đồng hồ
lôgíc của nó và T có thể nhận một trong ba giá trị REQ, REL
và ACQ.

REQ : được phát đi cho tất cả các trạm khi trạm i
muốn vào trong đoạn găng

REL: được phát đi cho tất cả các trạm khi trạm i đã
rời khỏi đoạn găng

vòng lặp cho các đồ thị G
i

Căn cứ theo cấu trúc, điều kiện này có thể được kiểm tra
cục bộ trên từng trạm.

Ta sẽ chỉ ra G có được tình trạng không vòng lặp như
thế nào.

Để làm việc đó, ta bắt đầu chỉ ra sự tồn tại của vòng
trong G kéo theo sự tồn tại của vòng trong ít nhất một G’
i

Giải quyết vấn đề

Để đảm bảo rằng một thông điệp AN
k
nào đó như
H(AN
j
)>H(AN
k
) được xếp trước AN
j
ngay cả khi nó
chỉ đến trạm i sau AN
j
. Ngoài ra, ta còn giả sử rằng
mỗi trạm j có thể gửi cho chính trạm i nhiều thông
điệp AN'

gắn bó mạnh thì thông điệp AN
k
sẽ đến sau AN
j
hoặc mất
thông điệp mặc dù AN
k
phát thông điệp trước.
CÁC MODULES THỰC HIỆN

Mô tả giao diện
public interface Server1 extends java.rmi.Remote
{
public abstract void printQueue()
throws java.rmi.RemoteException;

public abstract void sendMess()
throws java.rmi.RemoteException; public abstract void receiveMess(String R, int H, int I)
throws java.rmi.RemoteException;

public abstract void setStart(boolean start)
throws java.rmi.RemoteException;
}
CÁC MODULES THỰC HIỆN

Khai báo hàng đợi
public class Queue

}
}
CÁC MODULES THỰC HIỆN

Kiểm tra quyền vào đoạn găng
public int checkAccess(int idx)
{
try
{
int i=0;
while (i<max-4 && Q[i] !="")
{
if (Q[i].compareToIgnoreCase("REQ")==0)
{
if (Q[i+2].compareToIgnoreCase(idx +"")==0)
{
System.out.println("==============================");
System.out.println("==============================");
System.out.println("======= ACCESSING =======");
System.out.println("==============================");
System.out.println("==============================");
CÁC MODULES THỰC HIỆN

Kiểm tra quyền vào đoạn găng(tt)
Thread.sleep(5000);
return 5;
}
else
{
return 0;