CHƢƠNG 1 : GIỚI THIỆU VỀ XỬ LÝ GIAO TÁC
1.6 Các kiểu tƣơng đƣơng khác của các lịch biểu
Thứ tự của các lịch biểu đôi khi được xem như là một điều kiện để đảm bảo sự chính xác của các thực hiện đồng thời. Một số ứng dụng có thể đưa ra các lịch biểu đúng bằng việc thoả mãn các điều kiện ít khắt khe hơn so với
sắp thứ tự xung đột hoặc sắp thứ tự khung nhìn. Một ví dụ là kiểu các giao tác gọi là các giao tác nợ-có được áp dụng để gửi tiền và rút tiền đối với một mục dữ liệu mà giá trị của nó là số dư hiện tại của một tài khoản ngân hàng. Ngữ nghĩa của các thao tác nợ-có là chúng cập nhật giá trị của mục dữ liệu X bằng cách trừ đi hoặc thêm vào giá trị của mục dữ liệu. Bởi vì các phép cộng và trừ là giao hoán, nghĩa là chúng có thể được áp dụng theo thứ tự tuỳ ý- việc tạo ra các lịch biểu đúng không phải là sắp thứ tự là có thể. Ví dụ, xét 2 giao tác sau, mỗi giao tác có thể được sử dụng để chuyển một lượng tiền giữa 2 tài khoản.
T1 : r1(X); X:=X-10; w1(X);r1(Y);Y:=Y+10; w1(Y); T2 : r2(Y); X:=X-20; w2(Y) ; r2(X); X:=X+20; w2(X); Xét lịch biểu không sắp thứ tự Sh sau đây đối với 2 giao tác: Sh : r1(X); w1(X); r2(Y); w2(Y); r1(Y); w1(Y); r2(X);w2(X);
Với ngữ nghĩa rằng các thao tác giữa mỗi ri(I) và wi(I) là giao hoán, chúng ta biết rằng thứ tự thực hiện một dãy bao gồm (đọc, cập nhật, ghi) là không quan trọng cũng như mỗi dãy (đọc, cập nhật, ghi) bởi một giao tác cụ thể Ti trên một mục cụ thể I là không bị gián đoạn bởi các thao tác xung đột Do đó, lịch biểu Sh được xem là đúng mặc dù nó không phải là sắp được thứ tự.
Các nhà nghiên cứu đã làm việc trên lý thuyết kiểm soát đồng thời để điều khiển với trường hợp trong đó tính sắp được thứ tự được xem là quá hạn chế như là một điều kiện cho sự đúng đắn của các lịch biểu [1].