Xem xét hình 9. Nơi Ts là một redo-TM và T’slà giao dịch daemon kết hợp. Ts1 và T’s1 lần lượt là redo-RMs và transfer-RM. Tc,{Tr1, Tr2} , Tp và Tt lần lượt là ký hiệu các giao dịch con truy cập copy, read, prewrite và transfer . Trong ví dụ này, để đơn giản chúng ta đã giả sử rằng chỉ đọc một bản ghi nhật ký write và prewrite. Giống như trươc, copy, read và transfer yều cầu truy cập read-lock trong khi truy cập prewrite và write lần lượt yêu cầu prewrite-lock và write-lock. Khi một giao dịch con truy cập xác nhận, khóa của nó truyền tới cha mẹ của nó và như vậy ngoại trừ việc các truy cập write và transfer gửi khóa của mình tới tác tử ngoài . Khi một giao dịch hủy khóa của nó được gửi tới cha mẹ chúng. Các quy định khóa giống như trong 3.1.
6. Kết luận
Một mô hình giao dịch lồng, các thuật toán điều khiển tương tranh và phục hồi của nó đã được trình bày trong bài báo này. Chúng ta đã giới thiệu nội dung của một điểm phục hồi giao dịch và thao tác prewrite trong mô hình cho phép tương tranh cao. Thuật toán phục hồi bào gồm các thao tác khởi động lại hệ thông ; các thao tác phân tích và phục hồi và các thao tác quản lý bộ đệm, mà được mô hình hóa trong khuôn khổ của mô hình giao dịch lồng. Mô hình hóa các chức năng phục hồi trong khuôn khổ các giao dịch con tăng tính đồng thời trong suốt quá trình khởi động lại hệ thống. Trong tương lai mô hình này cần phải mở rộng ra trong môi trường phát triển nhanh chóng của ngôn ngữ lập trình