Chúng ững hành dộng write ệm của giao dịch ượp một thao tác prewrite trướcc s d ng đ đi u khi nử dụng các khái niệm của giao dịch ục hồi cho mô hình của ển tương tranh và các thuật toán
Trang 1Mô hình giao d ch l ng an toàn ịch lồng an toàn ồng an toàn và m ở : t ương ng
Lớp Hệ thống thông tin_K53
Trang 2M c l c ục hồ ục hồ
Tóm tắt 3
1 Giới thiệu 3
1.1 Tổng quan về các mô hình giao dịch lồng nhau và thuật toán phục hồi 3
1.1.1 Mô hình giao dịch lồng đóng 3
1.1.2 Mô hình giao dịch lồng mở 4
1.1.3 Thuật toán khôi phục giao dịch lồng 4
1.2 Đóng góp của chúng tôi 5
2.Thuật toán Phục hồi mô hình giao dịch lồng nhau 6
2.1 Thuật toán phục hồi sự cố 7
2.1.1 Mục tiêu cơ bản của thuật toán phục hồi sự cố hệ thống 7
2.1.2 các bước phục hồi hệ thống 8
2.2.Cấu trúc dữ liệu 10
2.2.1 Giao dịch và các bảng khóa 11
2.2.2 Bảng dirty data object 11
3 Mô hình hệ thống giao dịch lồng và cài đặt 12
3.1 Thuật toán điều khiển tương tranh 14
4 Thao tác khởi động hệ thống 16
4.1 Buffer management operations (Các thao tác quản lý buffer) 17
5.Ảnh chụp về xử lý , khai thác và phục hồi giao dịch 17
5.1 Xử lý khởi động lại hệ thống 21
5.1.1 Xử lý Bước phân tích 21
5.1.2 Xử lý bước redo 22
6 Kết luận 24
Trang 3Tóm t t ắt
Trong bài báo này, chúng tôi trình bày m t mô hình giao d ch l ng m an toàn Chúngột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ở an toàn Chúngtôi th o lu n v đi u khi n tển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh và các thu t toán ph c h i cho mô hình c aục hồi cho mô hình của ồng mở an toàn Chúng ủachúng tôi Mô hình giao d ch l ng c a chúng tôi s d ng các khái ni m c a giao d chịch lồng mở an toàn Chúng ồng mở an toàn Chúng ủa ử dụng các khái niệm của giao dịch ục hồi cho mô hình của ệm của giao dịch ủa ịch lồng mở an toàn Chúngcon đi m ph c h i trong cây giao d ch l ng Nó k t h p m t thao tác prewrite trển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ết hợp một thao tác prewrite trước ợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ướcc
m i thao tác write đ tăng tển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh ti m năng Mô hình giao d ch g i là “m và anịch lồng mở an toàn Chúng ọi là “mở và an ở an toàn Chúngtoàn” do các thao tác prewrite cho phép đ c trọi là “mở và an ướcc( trướcc khi nh ng hành d ng writeững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúng
đượp một thao tác prewrite trướcc th c hi n trên đĩa) mà không có t ng h y b H th ng kh i đ ng l i và các ho tệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt ủa ỏ Hệ thống khởi động lại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ại và các hoạt
đ ng qu n lý b đ m cũng đột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ượp một thao tác prewrite trướcc mô hình hóa gi ng nh các giao d ch l ng nhau đống khởi động lại và các hoạt ư ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình củakhai thác các tương tranh và các thuật toán phục hồi cho mô hình củang tranh có th trong su t quá trình kh i đ ng l i Các thu t toán đi uển tương tranh và các thuật toán phục hồi cho mô hình của ống khởi động lại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạtkhi n tển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh đượp một thao tác prewrite trướcc đ xu t trong c s d li u cũng đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ượp một thao tác prewrite trướcc s d ng đ đi u khi nử dụng các khái niệm của giao dịch ục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình củacác ho t đ ng ph c h i tại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ương tranh và các thuật toán phục hồi cho mô hình củang tranh Chúng tôi đã đ a ra m t nh ch p m t ho t đ ngư ột mô hình giao dịch lồng mở an toàn Chúng ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúnggiao d ch hoàn ch nh, c u trúc d li u liên quan và xây d ng m t vùng kh i đ ng l iịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạttrong trường hợp phục hồi sụp đổng h p ph c h i s p đợp một thao tác prewrite trước ục hồi cho mô hình của ồng mở an toàn Chúng ục hồi cho mô hình của ổ
1 Gi i thi u ới thiệu ệu
1.1 T ng quan v các mô hình giao d ch l ng nhau và thu t toán ph c h i ề các mô hình giao dịch lồng nhau và thuật toán phục hồi ịch lồng an toàn ồng an toàn ật toán phục hồi ục hồ ồng an toàn
Trong mô hình giao d ch lông đóng (Moss, 1985), m t giao d ch con có th ch a cácịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ứa cácthao tác đượp một thao tác prewrite trướcc th c hi n đ ng th i, ho c các thao tác mà có th đệm của giao dịch ồng mở an toàn Chúng ờng hợp phục hồi sụp đổ ặc các thao tác mà có thể được hủy bỏ một cách ển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc h y b m t cáchủa ỏ Hệ thống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng
đ c l p v i các giao d ch liên quan Nh v y các thao tác đột mô hình giao dịch lồng mở an toàn Chúng ớc ịch lồng mở an toàn Chúng ư ượp một thao tác prewrite trướcc coi là các giao d ch conịch lồng mở an toàn Chúng
c a giao d ch g c Quan h cha con này t o ra m t cây giao d ch l ng và các giao d chủa ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ệm của giao dịch ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
đượp một thao tác prewrite trướcc g i là các giao d ch l ng (Moss,1985) Nh ng giao d ch con không thành công cóọi là “mở và an ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ững hành dộng write ịch lồng mở an toàn Chúng
th đển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc s a ch a b ng vi c thay th chúng b ng nh ng giao d ch khác nh m th cử dụng các khái niệm của giao dịch ững hành dộng write ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ệm của giao dịch ết hợp một thao tác prewrite trước ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ững hành dộng write ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực
hi n thành công toàn b giao d ch M i giao d ch ph i ki m đệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ượp một thao tác prewrite trướcc khóa tương tranh và các thuật toán phục hồi cho mô hình củang ngứa các
trướcc khi truy c p vào m t đ i tột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u K t qu c a m t giao d ch con không thững hành dộng write ệm của giao dịch ết hợp một thao tác prewrite trước ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình củanhìn th y ngoài giao d ch cha c a chúng (Vì th nó đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ở an toàn Chúng ịch lồng mở an toàn Chúng ủa ết hợp một thao tác prewrite trước ượp một thao tác prewrite trướcc g i là đóng) M t giao d chọi là “mở và an ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúngcon truy c p vào d li u khóa b i cha c a nó Khi m t giao d ch ghi m t đ i tững hành dộng write ệm của giao dịch ở an toàn Chúng ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng dững hành dộng write
li u, m t phiên b n m i c a đ i tệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ớc ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng đượp một thao tác prewrite trước ại và các hoạtc t o ra Phiên b n này đượp một thao tác prewrite trước ưc l u tr trongững hành dộng write
m t b nh n đ nh Khi m t giao d ch con xác nh n thì phiên b n c p nh t c a đ iột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ớc ổ ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ống khởi động lại và các hoạt
tượp một thao tác prewrite trướcng đượp một thao tác prewrite trướcc g i t i giao d ch cha c a chúng N u giao d ch mà b h y, phiên b n m iử dụng các khái niệm của giao dịch ớc ịch lồng mở an toàn Chúng ủa ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ớc
c a đ i tủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng đó cũng b h y luôn U thác cha ch sau khi t t c các giao d ch con c aịch lồng mở an toàn Chúng ủa ỷ thác cha chỉ sau khi tất cả các giao dịch con của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ủa
nó k t thúc Khi Giao d ch trên cùng xác nh n, phiên b n hi n th i c a m i đ i tết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ệm của giao dịch ờng hợp phục hồi sụp đổ ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng
sẽ đượp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểnc c t vào b nh n đ nh.ột mô hình giao dịch lồng mở an toàn Chúng ớc ổ ịch lồng mở an toàn Chúng
Trong Mô hình giao d ch l ng đóng, có h n ch là ph m vi c a m i giao d ch con b gi iịch lồng mở an toàn Chúng ồng mở an toàn Chúng ại và các hoạt ết hợp một thao tác prewrite trước ại và các hoạt ủa ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ớc
h n ch trong giao d ch cha c a chúng Đi u này bu c m t giao d ch con ph i g i t t cại và các hoạt ịch lồng mở an toàn Chúng ủa ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ử dụng các khái niệm của giao dịch ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
Trang 4các khóa cùng các phiên b n c a đ i tủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u c p nh t t i giao d ch cha c aững hành dộng write ệm của giao dịch ớc ịch lồng mở an toàn Chúng ủachúng trên c ch xác nh n, k t qu c a vi c xác nh n giao d ch con ch t n t i lâu dàiơng tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ủa ệm của giao dịch ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ại và các hoạtkhi xác nh n đượp một thao tác prewrite trướcc th c hi n t i giao d ch trên cùng Trong nhi u ng d ng, không thệm của giao dịch ại và các hoạt ịch lồng mở an toàn Chúng ứa các ục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của
ch p nh n đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ượp một thao tác prewrite trước ằng việc thay thế chúng bằng những giao dịch khác nhằm thựcc r ng công vi c c a m t ng d ng m t m t th i gian dài ch đ i đệm của giao dịch ủa ột mô hình giao dịch lồng mở an toàn Chúng ứa các ục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ờng hợp phục hồi sụp đổ ờng hợp phục hồi sụp đổ ợp một thao tác prewrite trước ển tương tranh và các thuật toán phục hồi cho mô hình củahoàn tác khi s d ng m t trong các kỹ thu t trên trong trử dụng các khái niệm của giao dịch ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ường hợp phục hồi sụp đổng h p b l i khâu cu iợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ở an toàn Chúng ống khởi động lại và các hoạtcùng Chi n lết hợp một thao tác prewrite trước ượp một thao tác prewrite trướcc hi n t i bu c các giao d ch v i th i gian s ng ng n ch đ i trệm của giao dịch ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ớc ờng hợp phục hồi sụp đổ ống khởi động lại và các hoạt ắn chờ đợi trước khi ờng hợp phục hồi sụp đổ ợp một thao tác prewrite trước ướcc khithay khóa cho đ n khi giao d ch mết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ướcc cao nh t xác nh n và gi i phóng khóa c a chúng.ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa
Do v y h th ng không thích h p cho h th ng ch a các giao d ch dài và ng n.ệm của giao dịch ống khởi động lại và các hoạt ợp một thao tác prewrite trước ệm của giao dịch ống khởi động lại và các hoạt ứa các ịch lồng mở an toàn Chúng ắn chờ đợi trước khi
Đ khai thác ng nghĩa c th t i m i t ng c a ho t đ ng l ng Weikem đã đ a ra m tển tương tranh và các thuật toán phục hồi cho mô hình của ững hành dộng write ục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ầng hủy bỏ Hệ thống khởi động lại và các hoạt ủa ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ồng mở an toàn Chúng ư ột mô hình giao dịch lồng mở an toàn Chúng
mô hình giao d ch đa t ng (Weikum, 1991, Weikum et at 1990) Mô hình này khôngịch lồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt
th c hi n m t cách không chính t c b i tính đ n tính ch t giao hoán c a ng nghĩa cácệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ắn chờ đợi trước khi ở an toàn Chúng ết hợp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa ững hành dộng write
ho t đ ng m i c p d li u tr u tại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ừu tượng mà thực hiện mức tương tranh cao hơn Một ượp một thao tác prewrite trướcng mà th c hi n m c tệm của giao dịch ứa các ương tranh và các thuật toán phục hồi cho mô hình củang tranh cao h n M tơng tranh và các thuật toán phục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúnggiao d ch con cho phép gi i phóng khóa trịch lồng mở an toàn Chúng ướcc khi xác nh n đ n giao d ch c p caoết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
h n Các khóa m c lá đơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ứa các ượp một thao tác prewrite trướcc gi i phóng s m ch khi ng nghĩa c a các thao tác đớc ững hành dộng write ủa ượp một thao tác prewrite trướcc
bi n trết hợp một thao tác prewrite trước ướcc và thao tác bù tương tranh và các thuật toán phục hồi cho mô hình củang ng đứa các ượp một thao tác prewrite trướcc đ nh nghĩa Khi h y m t giao d ch m c cao,ịch lồng mở an toàn Chúng ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ở an toàn Chúng ứa các
k t qu c a nó đết hợp một thao tác prewrite trước ủa ượp một thao tác prewrite trướcc hoàn tác b ng cách th c thi m t thao tác ngh ch đ o bù vào giaoằng việc thay thế chúng bằng những giao dịch khác nhằm thực ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng
d ch đã hoàn t t Ph c h i m t h th ng b s c b ng cách th c hi n hoàn tác giaoịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ục hồi cho mô hình của ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ệm của giao dịch
d ch m c cao đ ng th i làm l i các thao tác m c lá M i c p địch lồng mở an toàn Chúng ở an toàn Chúng ứa các ồng mở an toàn Chúng ờng hợp phục hồi sụp đổ ại và các hoạt ở an toàn Chúng ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ượp một thao tác prewrite trướcc cung c p v i m tất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ớc ột mô hình giao dịch lồng mở an toàn Chúng
c p c ch ph c h i c th Mô hình này cũng đã đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ơng tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ục hồi cho mô hình của ồng mở an toàn Chúng ục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc đ c p t i trong nghiên c u vớc ứa cáccác h c s d li u hệm của giao dịch ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ướcng đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng trong Muth et al (1993) và Rensende et al (1994)Trong nhi u ng d ng, ng nghĩa c a giao d ch có th không rõ ràng do đó r t khóứa các ục hồi cho mô hình của ững hành dộng write ủa ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểnkhăn đ cung c p m t thi hành không chính tăc Trong trển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ường hợp phục hồi sụp đổng h p th i gian th c, cóợp một thao tác prewrite trước ờng hợp phục hồi sụp đổcác l p khác c a các thao tác không th đớc ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc bù Có nh ng thao tác mà không có thaoững hành dộng writetác đ o ngượp một thao tác prewrite trướcc nh vi c chuy n m t s ti n l n t i m t máy rút ti n t đ ng Ho tư ệm của giao dịch ển tương tranh và các thuật toán phục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ớc ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt
đ ng nh v y ph i đột mô hình giao dịch lồng mở an toàn Chúng ư ượp một thao tác prewrite trướcc trì hoãn cho đ n khi m c cao nh t xác nh n, đó là nh ng ho tết hợp một thao tác prewrite trước ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ại và các hoạt
đ ng b h n ch s n có (nh tăng th i gian ph n ng)ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ại và các hoạt ết hợp một thao tác prewrite trước ẵn có (như tăng thời gian phản ứng) ư ờng hợp phục hồi sụp đổ ứa các
1.1.3 Thu t toán khôi ph c giao d ch l ng ật toán phục hồi ục hồ ịch lồng an toàn ồng an toàn
Thu t toán ph c h i intentions-list và undo-logging đục hồi cho mô hình của ồng mở an toàn Chúng ượp một thao tác prewrite trướcc Fekete et al.(1993) đ a raư
nh m ph c h i các giao d ch b h y trong môi trằng việc thay thế chúng bằng những giao dịch khác nhằm thực ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ường hợp phục hồi sụp đổng giao d ch l ng b ng cách khaiịch lồng mở an toàn Chúng ồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thựcthác tính ch t giao hoán c a các thao tác Thu t toán intention-list làm vi c b ng cáchất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa ệm của giao dịch ằng việc thay thế chúng bằng những giao dịch khác nhằm thựcduy trì m t danh sách các ho t đ ng cho m i giao d ch Khi m t giao xác nh n, danhột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúngsách đượp một thao tác prewrite trướcc k t n i t i giao d ch cha Khi nó b h y intention-list cũng b lo i theo.Khiết hợp một thao tác prewrite trước ống khởi động lại và các hoạt ớc ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ại và các hoạtgiao d ch g c xác nh n, intention-list c a nó địch lồng mở an toàn Chúng ống khởi động lại và các hoạt ủa ượp một thao tác prewrite trướcc truy n t i nh t ký Chớc ương tranh và các thuật toán phục hồi cho mô hình củang trình chgiúp ph c h i các giao d ch h y không đi u khi n s c h th ng Đ tăng đ ng th iục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ống khởi động lại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ồng mở an toàn Chúng ờng hợp phục hồi sụp đổtrong su t quá trình ph c h i undo-logging, chống khởi động lại và các hoạt ục hồi cho mô hình của ồng mở an toàn Chúng ương tranh và các thuật toán phục hồi cho mô hình củang trình cho phép m t vài thi hànhột mô hình giao dịch lồng mở an toàn Chúngkhông nghiêm ng t Nó cho phép m t giao d ch chia s các b n c p nh t không xácặc các thao tác mà có thể được hủy bỏ một cách ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ẻ các bản cập nhật không xác
nh n đượp một thao tác prewrite trướcc th c hi n b i các giao d ch khác b ng cách khai thác tính giao hoán c a cácệm của giao dịch ở an toàn Chúng ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ủathao tác Trên s thi hành c a m t thao tác,h s c a các đ i tủa ột mô hình giao dịch lồng mở an toàn Chúng ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u thay đ iững hành dộng write ệm của giao dịch ổ
tr ng thái và tr ng thái c a c a chúng đại và các hoạt ại và các hoạt ủa ủa ượp một thao tác prewrite trướcc chuy n t i nh t ký Khi m t giao d ch bển tương tranh và các thuật toán phục hồi cho mô hình của ớc ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng
h y , Ngủa ượp một thao tác prewrite trướcc v i thu t toán intentions-list, t t các các giao d ch thi hành b i các giaoớc ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ở an toàn Chúng
Trang 5d ch trên đ i tịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng đượp một thao tác prewrite trướcc hoàn tác t tr ng thái hi n h i và sau đó chúng cũng đừu tượng mà thực hiện mức tương tranh cao hơn Một ại và các hoạt ệm của giao dịch ờng hợp phục hồi sụp đổ ượp một thao tác prewrite trướcc gỡ
kh i nh t ký Thu t toán này không quan tăm t i ph h i t h th ng đ v ỏ Hệ thống khởi động lại và các hoạt ớc ục hồi cho mô hình của ồng mở an toàn Chúng ừu tượng mà thực hiện mức tương tranh cao hơn Một ệm của giao dịch ống khởi động lại và các hoạt ổ ỡ
Trong c hai thu t toán intentions-list và undo-logging, m t giao d ch ch a hoàn ch nhột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ư
đượp một thao tác prewrite trướcc phép không xác nh n c p nh t s n có t i nh ng giao d ch mà th c hi n m t thaoẵn có (như tăng thời gian phản ứng) ớc ững hành dộng write ịch lồng mở an toàn Chúng ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúngtác giao hoán Tuy nhiên đây l i là h n ch đ i v i nh ng giao d ch cùng c p tr uại và các hoạt ại và các hoạt ết hợp một thao tác prewrite trước ống khởi động lại và các hoạt ớc ững hành dộng write ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ừu tượng mà thực hiện mức tương tranh cao hơn Một
tượp một thao tác prewrite trướcng hóa Đi u này có gi i h n Trong c hai thu t toán, t t c các công vi c đớc ại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ệm của giao dịch ượp một thao tác prewrite trướcc
th c hi n các giao d ch m c dệm của giao dịch ở an toàn Chúng ịch lồng mở an toàn Chúng ứa các ước ịch lồng mở an toàn Chúng ại và các hoạt ỏ Hệ thống khởi động lại và các hoạti b lo i b trong trường hợp phục hồi sụp đổng h p h y b t i m t giaoợp một thao tác prewrite trước ủa ỏ Hệ thống khởi động lại và các hoạt ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng
d ch m c cao Đi u này có th x y ra và không địch lồng mở an toàn Chúng ứa các ển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc m ng mu n trong nhi u ng d ngọi là “mở và an ống khởi động lại và các hoạt ứa các ục hồi cho mô hình của
th i gian th c Trong thu t toán undo-logging algorithm, khi m t h y b m t giao d ch,ờng hợp phục hồi sụp đổ ột mô hình giao dịch lồng mở an toàn Chúng ủa ỏ Hệ thống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng
ngương tranh và các thuật toán phục hồi cho mô hình củac v i thu t toán intentions-list, t t c các thao tác thi hành b i các giao d ch m cớc ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ở an toàn Chúng ịch lồng mở an toàn Chúng ứa các
dước ủai c a giao d ch địch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc hoàn tác t tr ng thái hi n t i và đừu tượng mà thực hiện mức tương tranh cao hơn Một ại và các hoạt ệm của giao dịch ại và các hoạt ượp một thao tác prewrite trướcc g kh i nh t ký ngayỡ ỏ Hệ thống khởi động lại và các hoạtsau đó Trong c hai thu t toán, m t giao d ch ch a hoàn thành đột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ư ượp một thao tác prewrite trướcc cho phép khôngxác nh n c p nh t t i nh ng giao d ch mà th c hi n các thao tác giao hoán Đây là gi iớc ững hành dộng write ịch lồng mở an toàn Chúng ệm của giao dịch ớc
h n cho nh ng giao d ch cùng m c tr u tại và các hoạt ững hành dộng write ịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ừu tượng mà thực hiện mức tương tranh cao hơn Một ượp một thao tác prewrite trướcng
Hai mô hình ph c h i trên ch chú ý đ n ng nghĩa c a các thao tác t i m c lá Hục hồi cho mô hình của ồng mở an toàn Chúng ết hợp một thao tác prewrite trước ững hành dộng write ủa ại và các hoạt ứa các ệm của giao dịch
th ng R (Gray et al., 1981) khai thác l p ng nghĩa đ c bi t nh ng h n ch đ n 2 m cống khởi động lại và các hoạt ớc ững hành dộng write ặc các thao tác mà có thể được hủy bỏ một cách ệm của giao dịch ư ại và các hoạt ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ứa các
c a giao d ch l ng Trong h th ng R, Đ th c hi n ph c h i, c p nh t đủa ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ệm của giao dịch ục hồi cho mô hình của ồng mở an toàn Chúng ượp một thao tác prewrite trướcc hoàn tác
b ng cách thi hành m t b các thao tác ngằng việc thay thế chúng bằng những giao dịch khác nhằm thực ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc t i t ng đó Đ th c hi n đi u nàyại và các hoạt ầng hủy bỏ Hệ thống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ệm của giao dịchSystem R ghi t p các c p nh t và m t b n ghi Đ ph c h i t h th ng b s c , c sột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ừu tượng mà thực hiện mức tương tranh cao hơn Một ệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng
d li u trững hành dộng write ệm của giao dịch ướcc tiên ph i đượp một thao tác prewrite trướcc khôi ph c t i m t s t n phù h p Nói cách khác, m t cục hồi cho mô hình của ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ầng hủy bỏ Hệ thống khởi động lại và các hoạt ọi là “mở và an ột mô hình giao dịch lồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của
ch ph c h i c p th p là c n thi t đ t o ra m t b thao tác nguyên t ết hợp một thao tác prewrite trước ục hồi cho mô hình của ồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ử dụng các khái niệm của giao dịch
Trong Moss(1987), m t kỹ thu t ph c h i s c tột mô hình giao dịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ống khởi động lại và các hoạt ương tranh và các thuật toán phục hồi cho mô hình củang t đã đượp một thao tác prewrite trướcc đ xu t cho môiất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
trường hợp phục hồi sụp đổng giao d ch l ng trên c s phịch lồng mở an toàn Chúng ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ương tranh và các thuật toán phục hồi cho mô hình củang pháp undo/redo nh t ký Trong đi u ki n c aệm của giao dịch ủalogging, c nh t ký undo/redo đ đượp một thao tác prewrite trước ử dụng các khái niệm của giao dịch ục hồi cho mô hình củac s d ng Mohan et al (1992,1989) cũng đ c p
đ n “write ahead logging” căn c vào thu t toán ph c h i s c s d ng mô hình giaết hợp một thao tác prewrite trước ứa các ục hồi cho mô hình của ồng mở an toàn Chúng ống khởi động lại và các hoạt ử dụng các khái niệm của giao dịch ục hồi cho mô hình của
d ch l ng Ki u undo/redo c a mô hình giao d ch này khai thác tính ch t c a mô hìnhịch lồng mở an toàn Chúng ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ủa ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủagiao d ch l ng Các thao tác c a m t giao d ch địch lồng mở an toàn Chúng ồng mở an toàn Chúng ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc hoàn tác trướcc sẽ không đượp một thao tác prewrite trướcc hoàntác l i trong trại và các hoạt ường hợp phục hồi sụp đổng h p có thêm l i Đó là m t l n th h n thu t toán ph c h i đa m cợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ơng tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ứa các
c a Weikum mà yêu c u hoàn tác hoàn toàn khi có thêm m t đ v ủa ầng hủy bỏ Hệ thống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ổ ỡ
1.2 Đóng góp c a chúng tôi ủa chúng tôi
Trong bài báo này, chúng tôi gi i thi u m t mô hình giao d ch l ng m an toàn trongớc ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ở an toàn Chúngmôi trường hợp phục hồi sụp đổng các thao tác đ c ghi bình thọi là “mở và an ường hợp phục hồi sụp đổng đ lo i b các khi m khuy t trên, vàển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ở an toàn Chúngnâng cao kh năng h u d ng và cung c p k t qu ph c h i s c Mô hình c a chũngững hành dộng write ục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ết hợp một thao tác prewrite trước ục hồi cho mô hình của ồng mở an toàn Chúng ống khởi động lại và các hoạt ủatôi h tr c giao gichj n i b và liên giao d ch Chúng tôi gi đ nh r ng tính ch t c uợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểncác giao d ch t i nhi u c p trong mô hình l ng là ch a địch lồng mở an toàn Chúng ại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ồng mở an toàn Chúng ư ượp một thao tác prewrite trướcc bi t đ n Có hai đ ng l cết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúngchính cho mô hình giao d ch c a chúng tôi Th nh t, đó là mong mu n các giao d chịch lồng mở an toàn Chúng ủa ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng
t n t i v i th i gian dìa nên phát hành khóa trồng mở an toàn Chúng ại và các hoạt ớc ờng hợp phục hồi sụp đổ ương tranh và các thuật toán phục hồi cho mô hình củac khi giao d ch g c xác nh n Th haiịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ứa cáctrong trương tranh và các thuật toán phục hồi cho mô hình củang h p có th có th lùi l i ho c l y l i nh ng k t qu quan tr ng trong cácợp một thao tác prewrite trước ển tương tranh và các thuật toán phục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt ững hành dộng write ết hợp một thao tác prewrite trước ọi là “mở và angiao d ch m c dịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ướci đã xác nh n sau khi có l i giao d ch c p cao h n do b h y ho cịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ơng tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ủa ặc các thao tác mà có thể được hủy bỏ một cách
s c h th ng Chúng tôi trình bày khái ni m c a m t “đi m ph c h i giao d ch con”ống khởi động lại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ệm của giao dịch ủa ột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
Trang 6c a m t giao d ch g c trong cây giao d ch lông Nó c b n là m t giao d ch con sau xácủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng
nh n trong đó giao d ch phía trên c a nó không địch lồng mở an toàn Chúng ủa ượp một thao tác prewrite trướcc phép quay l i Nói cách khác, m tại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng
đi m ph c h i giao d ch con c a giao d ch g c đã đển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcc xác nh n, t t c các giao d ch ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ở an toàn Chúngtrên c a nó ph i đủa ượp một thao tác prewrite trướcc bu c ph i đột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc xác nh n Trong trường hợp phục hồi sụp đổng h p nó b h y b , tợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ủa ỏ Hệ thống khởi động lại và các hoạt ổtiên c a nó có th ch n m t cahcs thay th đ hoàn thành công vi c Mô hình gia d chủa ển tương tranh và các thuật toán phục hồi cho mô hình của ọi là “mở và an ột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ển tương tranh và các thuật toán phục hồi cho mô hình của ệm của giao dịch ịch lồng mở an toàn Chúng
l ng c a chúng tôi s d ng m t thao tác prewrite trowcs m i thao tác write th c t đồng mở an toàn Chúng ủa ử dụng các khái niệm của giao dịch ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ển tương tranh và các thuật toán phục hồi cho mô hình củalàm tăng tương tranh và các thuật toán phục hồi cho mô hình củang tranh Cây giao d ch l ng c a mô hình bao g m các thao tác c s dịch lồng mở an toàn Chúng ồng mở an toàn Chúng ủa ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write
li u, các thao tác ph c h i h th ng ( nh là phân tích và thao tác ph c h i) và các thaoệm của giao dịch ục hồi cho mô hình của ồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ư ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúngtác qu n lý b đ m đ c bi t quy đ nh cho giao d ch l ng Các thao tác read, prewrite vàột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ặc các thao tác mà có thể được hủy bỏ một cách ệm của giao dịch ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúngwrite là mô hình t i l p lá trong h th ng c p b c các giao d ch Thao tác ph c hôiại và các hoạt ớc ệm của giao dịch ống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ục hồi cho mô hình của
đượp một thao tác prewrite trướcc gi i h n trong các giao d ch l ng đ tăng tớc ại và các hoạt ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh trong su t quá trình kh iống khởi động lại và các hoạt ở an toàn Chúng
đ ng l i h th ng Thu t toán khóa c a chúng tôi đi u khi n thi ành c a c hai thao tácột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ủabình thường hợp phục hồi sụp đổng gi ng nh nh ng thao tác ph c h i Chúng tôi cũng bàn v c u trúc dống khởi động lại và các hoạt ư ững hành dộng write ục hồi cho mô hình của ồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write
li u c n thi t cho thu t toán ph c h i Chúng ta bàn v m t nh ch p c a thu t toaansệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ục hồi cho mô hình của ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ục hồi cho mô hình của ủa
ph c h i và đi u khi n tục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh v i tr giúp c a các ví d M t t ng h p ng n g nớc ợp một thao tác prewrite trước ủa ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ổ ợp một thao tác prewrite trước ắn chờ đợi trước khi ọi là “mở và an
v thu t toán ph c h i s c c a chúng tôi đã t ng đục hồi cho mô hình của ồng mở an toàn Chúng ống khởi động lại và các hoạt ủa ừu tượng mà thực hiện mức tương tranh cao hơn Một ượp một thao tác prewrite trướcc đ c p trong nghiên c u c aứa các ủaMadria(1997c) Tính đúng đ n c a thu t toán đi u khi n tắn chờ đợi trước khi ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ương tranh và các thuật toán phục hồi cho mô hình củang tranh s d ng mô hìnhử dụng các khái niệm của giao dịch ục hồi cho mô hình củavào ra t đ ng đ ng đã đột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc đ c p đ n trong báo cáo madira et al(1997b) ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ết hợp một thao tác prewrite trước
Ph n còn l i c a báo cáo đầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt ủa ượp một thao tác prewrite trướcc trình bày nh sau Trong ph n 2 chúng tôi trình bày vư ầng hủy bỏ Hệ thống khởi động lại và các hoạtcác ví d và t ng quan v mô hình giao d ch l ng mà mô hình ph c h i Trông ph n 3ục hồi cho mô hình của ổ ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạtchúng tôi th o lu n v mô hình h th ng giao d ch l ng và th c hi n Ph n 4 trình bàyệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt
v thao tác kh i đ ng l i h th ng Chúng tôi trình bày v nh ch p c a x lý giao d ch,ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ục hồi cho mô hình của ủa ử dụng các khái niệm của giao dịch ịch lồng mở an toàn Chúngđăng nh p và ph c h i trong ph n 5 T ng k t trong ph n 6ục hồi cho mô hình của ồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ổ ết hợp một thao tác prewrite trước ầng hủy bỏ Hệ thống khởi động lại và các hoạt
2.Thu t toán Ph c h i mô hình giao d ch l ng nhau ật toán phục hồi ục hồ ồng an toàn ịch lồng an toàn ồng an toàn
Trong chương tranh và các thuật toán phục hồi cho mô hình củang này chúng ta sẽ đ c p đ n: mô hình giao d ch l ng nhau v i m t vài víết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ớc ột mô hình giao dịch lồng mở an toàn Chúng
d và cung c p m t vài hình nh v mô hình và thu t toán khôi ph c nó.ục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ục hồi cho mô hình của
Chuy n sang ví d : Hãy xem xét m t ph n mô hình giao d ch l ng nhau là chuy nển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình củakho n t m t nhóm ngừu tượng mà thực hiện mức tương tranh cao hơn Một ột mô hình giao dịch lồng mở an toàn Chúng ường hợp phục hồi sụp đổ ớci t i ngường hợp phục hồi sụp đổi khác Trong giao d ch cây, ịch lồng mở an toàn Chúng hãy đ Tển tương tranh và các thuật toán phục hồi cho mô hình của s là m t giaoột mô hình giao dịch lồng mở an toàn Chúng
d ch trên ,Tịch lồng mở an toàn Chúng s1 g i là giao d ch dọi là “mở và an ịch lồng mở an toàn Chúng ước ển tương tranh và các thuật toán phục hồi cho mô hình củai đ thu th p (truy c p) v n t tài kho n khác M tống khởi động lại và các hoạt ừu tượng mà thực hiện mức tương tranh cao hơn Một ột mô hình giao dịch lồng mở an toàn Chúngkhi Ts1 đượp một thao tác prewrite trướcc xác nh n, Ts g i Tọi là “mở và an s2 đ các kho n ti n tín d ng cu i cùng đển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ống khởi động lại và các hoạt ượp một thao tác prewrite trướcc đ a vào tàiưkho n khác
Gi s sau m t giao d ch Tw đã thu h i t t c s ti n,Ts xác nh n N u b t kỳ giao d chử dụng các khái niệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúngnào trên Ts h y b thì nó mong mu n cho các giao d ch hoàn thanh thành công trênở an toàn Chúng ủa ỏ Hệ thống khởi động lại và các hoạt ống khởi động lại và các hoạt ịch lồng mở an toàn Chúnggiao d ch ph c h i Đi u này b i là vì nó không th s a ch a thành công c a giao d chịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ử dụng các khái niệm của giao dịch ững hành dộng write ủa ịch lồng mở an toàn Chúng
b i m t s thao tác đ n bù M t kh năng khác là trì hoãn ho t đ ng c a Ts cho đ nở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ủa ết hợp một thao tác prewrite trướckhi m c giao d ch trên xác nh n h n ch s n có Ví d m t giao d ch cân b ng ph iứa các ịch lồng mở an toàn Chúng ở an toàn Chúng ại và các hoạt ết hợp một thao tác prewrite trước ẵn có (như tăng thời gian phản ứng) ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực
ch đ n khi giao d ch có m c xác nh n cao nh t.ờng hợp phục hồi sụp đổ ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
M t k ch b n trong giao d ch l ng nhau, giao d ch con sẽ quy t đ nh s thành công hayột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng
th t b i c a giao d ch m c đ nh Gi s cây mô hình giao d ch l ng nhau này ho tất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt ủa ịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ử dụng các khái niệm của giao dịch ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ại và các hoạt
Trang 7đ ng khác nhau có liên quan t i m t kinh doanh du l ch M t s ho t đ ng là r t quanột mô hình giao dịch lồng mở an toàn Chúng ớc ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
tr ng trong vi c xác đ nh s hoàn thành các ho t đ ng c p cao nh t Ví d nh xácọi là “mở và an ệm của giao dịch ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ục hồi cho mô hình của ư
nh n c a “fund” và “visa” là thao tác li u sẽ đi du l ch xác nh n hay không, đó là xácủa ệm của giao dịch ịch lồng mở an toàn Chúng
nh n m c dở an toàn Chúng ứa các ướci Sẽ xác đ nh xác nh n m c cao h n xác nh n hay không đ n sịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ơng tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ống khởi động lại và các hoạt
ph n c a các giao d ch khác cây giao d ch Chú ý r ng Xác nh n gi a fund và visa, giaoủa ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ững hành dộng write
d ch m c trên sẽ địch lồng mở an toàn Chúng ở an toàn Chúng ứa các ượp một thao tác prewrite trướcc b t bu c đ xác nh n (k c m t vài trì ho n hay b t đ u l iắn chờ đợi trước khi ột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ắn chờ đợi trước khi ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt)
Tính năng n i b t c a mô hình c a chúng tôi: Mô hình c a chúng tôi cho phép m t sổ ủa ủa ủa ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạtgiao d ch đ c bi t trịch lồng mở an toàn Chúng ặc các thao tác mà có thể được hủy bỏ một cách ệm của giao dịch ướcc khi có xác nh n giao d ch c a h t tiên Đi u này cho phépịch lồng mở an toàn Chúng ủa ọi là “mở và an ổ
m t s giao d ch khác có đột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc các yêu c u khóa s m h n mô hình giao d ch l ng nhauầng hủy bỏ Hệ thống khởi động lại và các hoạt ớc ơng tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ồng mở an toàn Chúng
c a chúng tôi có th x lý các tình hu ng n i mà k t qu c a các giao d ch m c th pủa ển tương tranh và các thuật toán phục hồi cho mô hình của ử dụng các khái niệm của giao dịch ống khởi động lại và các hoạt ở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ủa ịch lồng mở an toàn Chúng ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
đã đượp một thao tác prewrite trướcc xác nh n không th làm l i ho c b i thển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ồng mở an toàn Chúng ường hợp phục hồi sụp đổng trong trường hợp phục hồi sụp đổng h p m c giao d chợp một thao tác prewrite trước ứa các ịch lồng mở an toàn Chúngcao h n th t b i.ơng tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt
M t ng nghĩa c a giao d ch có th g m m t đi m nh t đ nh, nó có th không ột mô hình giao dịch lồng mở an toàn Chúng ững hành dộng write ủa ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của
ph c h i l i hoàn toàn ho c không nên b m t Chúng tôi đ t đục hồi cho mô hình của ồng mở an toàn Chúng ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt ượp một thao tác prewrite trướcc đi u này b ng cáchằng việc thay thế chúng bằng những giao dịch khác nhằm thực
gi i thi u các khái ni m v “giao d ch đi m ph c h i“ (recovery pointớc ệm của giao dịch ệm của giao dịch ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúngsubstransaction)c a m t giao d ch c p cao nh t trong m t cây giao d ch l ng nhau Đóủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng
là b n ch t là m t giao d ch sau khi có xác nh n, t tiên c a nó là không đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ổ ủa ượp một thao tác prewrite trướcc phép đển tương tranh và các thuật toán phục hồi cho mô hình của
ph c h i l i tr ng thái cũ Trong trục hồi cho mô hình của ồng mở an toàn Chúng ại và các hoạt ại và các hoạt ường hợp phục hồi sụp đổng h p m t giao d ch c p trên h y b ho c cácợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa ỏ Hệ thống khởi động lại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách
h th ng b l i sau xác nh n c a các đi m khôi ph c c a giao d ch, các giao d ch b l iệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ủa ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúngkhông th hoàn t t trên h th ng ph c h i Th c hi n giao d ch nh v y cho phép m tển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ệm của giao dịch ống khởi động lại và các hoạt ục hồi cho mô hình của ồng mở an toàn Chúng ệm của giao dịch ịch lồng mở an toàn Chúng ư ột mô hình giao dịch lồng mở an toàn Chúnggiao d ch ph c h i đi m ti t l k t qu c a nó cho các giao d ch khác t i b t kỳ m cịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ủa ịch lồng mở an toàn Chúng ại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các
đ nào trột mô hình giao dịch lồng mở an toàn Chúng ướcc khi giao d ch cha c a nó xác nh n K t qu c a m t đi m giao d ch ph cịch lồng mở an toàn Chúng ủa ết hợp một thao tác prewrite trước ủa ột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ục hồi cho mô hình của
h i đồng mở an toàn Chúng ượp một thao tác prewrite trước ại và các hoạtc t o ra m t cách b n v ng trột mô hình giao dịch lồng mở an toàn Chúng ững hành dộng write ướcc xác nh n c a giao d ch m c đ nh Đi u nàyủa ịch lồng mở an toàn Chúng ứa các
có trong s h i ph c c a các thu c tính đ c l p c a giao d ch (ồng mở an toàn Chúng ục hồi cho mô hình của ủa ột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng Harder và Reuter, 1983)
Đ tránh hoàn tác thao tác và các h u qu h y b và làm tăng đ s n sàng, chúng tôiển tương tranh và các thuật toán phục hồi cho mô hình của ủa ỏ Hệ thống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ẵn có (như tăng thời gian phản ứng)
gi đ nh m i giao d ch phát ra m t thao tác prewrite trịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ướcc m t thao tác writeột mô hình giao dịch lồng mở an toàn Chúng(Madria,Năm 1995; Madria và c ng s , 1999; Madria và Bhargava, 1997a) c a đ iột mô hình giao dịch lồng mở an toàn Chúng ủa ống khởi động lại và các hoạt
tượp một thao tác prewrite trướcng mà nó d đ nh ghi ịch lồng mở an toàn Chúng M i thao tác prewrite ch a k t qu c a giao d ch user-ứa các ết hợp một thao tác prewrite trước ủa ịch lồng mở an toàn Chúngvisiable và đ ng trứa các ướcc phương tranh và các thuật toán phục hồi cho mô hình củang th c ghi cu i cùng đứa các ống khởi động lại và các hoạt ượp một thao tác prewrite trướcc liên k t M t ho t đ ngết hợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúngprewrite th c s không làm thay đ i tr ng thái c a d li u nh ng nó ch đ a ra giá trổ ại và các hoạt ủa ững hành dộng write ệm của giao dịch ư ư ịch lồng mở an toàn Chúng
đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u sẽ có sau khi phững hành dộng write ệm của giao dịch ương tranh và các thuật toán phục hồi cho mô hình củang th c write đứa các ương tranh và các thuật toán phục hồi cho mô hình củac liên kêt v i nó đớc ượp một thao tác prewrite trướcc th c hiên
L i th c a prewrite là m t thao tác đ c c a các giao d ch khác có th l y đợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ủa ột mô hình giao dịch lồng mở an toàn Chúng ọi là “mở và an ủa ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ượp một thao tác prewrite trướcc các giá
tr trịch lồng mở an toàn Chúng ướcc khi tr ng thái c a m t đ i tại và các hoạt ủa ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u c p nh p lên b nh n đ nh và doững hành dộng write ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ớc ổ ịch lồng mở an toàn Chúng
đó làm tăng tính s n dùng c a các giá tr d li u m i.ẵn có (như tăng thời gian phản ứng) ủa ịch lồng mở an toàn Chúng ững hành dộng write ệm của giao dịch ớc
Ho t đ ng Prewrite này đ c bi t h u ích trong các ng d ng thi t k kỹ thu t (Kim vàại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ặc các thao tác mà có thể được hủy bỏ một cách ệm của giao dịch ững hành dộng write ứa các ục hồi cho mô hình của ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước
c ng s , 1984.) CAD (Korth và c ng s , 1990.), Thi t k d án ph n m m l n (Korth vàột mô hình giao dịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ầng hủy bỏ Hệ thống khởi động lại và các hoạt ớcSpeegle, 1990) vv n i giao d ch dài M t giao d ch con kích ho t các giao d ch con truyơng tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ại và các hoạt ịch lồng mở an toàn Chúng
nh p prewrite khác t i m c lá cho các đ i tại và các hoạt ứa các ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u là đ nh nghĩa đ tr thànhững hành dộng write ệm của giao dịch ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng
m t giao d ch con ph c h i đi m Giao d ch con prewrite gi i phóng khóa trột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ướcc khi các
Trang 8giao d ch t tiên c a chúng xác nh n Lo i b m t vài trong s các prewrite trịch lồng mở an toàn Chúng ổ ủa ại và các hoạt ỏ Hệ thống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ướcc xác
nh n c a giao d ch con đi m ph c h i sẽ không b t đ u vi c h y b khi các giá trủa ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ắn chờ đợi trước khi ầng hủy bỏ Hệ thống khởi động lại và các hoạt ệm của giao dịch ủa ỏ Hệ thống khởi động lại và các hoạt ịch lồng mở an toàn Chúngprewrite đượp một thao tác prewrite trướcc làm rõ ch sau xác nh n c a giao d ch con ph c h i đi m.ủa ịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của
2.1 Thu t toán ph c h i s c ật toán phục hồi ục hồ ồng an toàn ự cố ố
2.1.1 M c tiêu c b n c a thu t toán ph c h i s c h th ng ục hồ ơng ản của thuật toán phục hồi sự cố hệ thống ủa chúng tôi ật toán phục hồi ục hồ ồng an toàn ự cố ố ệu ố
• Khôi ph c tr ng thái c s d li u c a các đ i tục hồi cho mô hình của ại và các hoạt ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u mà c s d không ch aững hành dộng write ệm của giao dịch ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ứa cáccác giá tr địch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc xác nh n cu i cùng v i ống khởi động lại và các hoạt ớc các d li u liên quanững hành dộng write ệm của giao dịch khi l i h th ng x y raệm của giao dịch ống khởi động lại và các hoạt
• Khôi ph c các giá tr prewrite (l u gi t i vùng đ m ghi prewrite-buffer) c a các đ iục hồi cho mô hình của ịch lồng mở an toàn Chúng ư ững hành dộng write ại và các hoạt ệm của giao dịch ủa ống khởi động lại và các hoạt
tượp một thao tác prewrite trướcng d li u đã đững hành dộng write ệm của giao dịch ượp một thao tác prewrite trướcc công b xác nh n đi m ph c h i giao d ch con trống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ướcc khi hệm của giao dịch
th ng th t b i.ống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt
• Đ xác đ nh đ i tển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u, đ i tững hành dộng write ệm của giao dịch ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng b ng dirty object table ph i đượp một thao tác prewrite trướcc ph c h i.ục hồi cho mô hình của ồng mở an toàn Chúng
B ng này đượp một thao tác prewrite trướcc s d ng đ theo dõi các đ i tử dụng các khái niệm của giao dịch ục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u mà (thững hành dộng write ệm của giao dịch ường hợp phục hồi sụp đổng b ng vănằng việc thay thế chúng bằng những giao dịch khác nhằm thực
b n )giá tr không phù h p v i giá tr trong c s d li u n đ nh B ng này cũng giịch lồng mở an toàn Chúng ợp một thao tác prewrite trước ớc ịch lồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ổ ịch lồng mở an toàn Chúng ững hành dộng writethông tin v các đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u có các giá tr prewrite, đững hành dộng write ệm của giao dịch ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc công b b i xác nh nống khởi động lại và các hoạt ở an toàn Chúng
đi m ph c h i các giao d ch con, không đển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc ghi tu n t lên c s d li u trầng hủy bỏ Hệ thống khởi động lại và các hoạt ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ướcc khi
m t h th ng s p đ ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ục hồi cho mô hình của ổ
• M t h th ng s p đ t o ra thêm m t v n đ v s hoàn thành c a các giao d chột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ục hồi cho mô hình của ổ ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa ịch lồng mở an toàn Chúng
m c đ nh mà các giao d ch con đi m ph c h i c a chúng đã đứa các ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ủa ượp một thao tác prewrite trướcc xác nh n trướcc khi
h th ng s p đ H ph i làm l i có đệm của giao dịch ống khởi động lại và các hoạt ục hồi cho mô hình của ổ ọi là “mở và an ại và các hoạt ượp một thao tác prewrite trướcc các khóa đượp một thao tác prewrite trướcc gi b i chúng t i th i đi mững hành dộng write ở an toàn Chúng ại và các hoạt ờng hợp phục hồi sụp đổ ển tương tranh và các thuật toán phục hồi cho mô hình của
s p đ trục hồi cho mô hình của ổ ướcc khi giao d ch m i có địch lồng mở an toàn Chúng ớc ượp một thao tác prewrite trướcc khóa nh v y.ư
• Đ x lý trên, các giao d ch, b ng khóa ph i đển tương tranh và các thuật toán phục hồi cho mô hình của ử dụng các khái niệm của giao dịch ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc h i ph c B ng giao d ch gi m tồng mở an toàn Chúng ục hồi cho mô hình của ịch lồng mở an toàn Chúng ững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúngdanh sách c a t t c các giao d ch đang ho t đ ng trong h th ng b t c lúc nào.ủa ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các
B ng giao d ch ph c h i sẽ nh n ra nh ng thao tác c a nh ng giao d ch m c đ nh màịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng ững hành dộng write ủa ững hành dộng write ịch lồng mở an toàn Chúng ở an toàn Chúng ứa cáccác giao d ch con đi m ph c h i đã địch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ượp một thao tác prewrite trướcc xác nh n trướcc khi h t h ng g p s c B ngệm của giao dịch ống khởi động lại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ống khởi động lại và các hoạtkhóa g m các lo i khóa đồng mở an toàn Chúng ại và các hoạt ượp một thao tác prewrite trước ổc t ch c b i các giao d ch khác nhau v d li u đ i tứa các ở an toàn Chúng ịch lồng mở an toàn Chúng ững hành dộng write ệm của giao dịch ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng
b t kỳ lúc nào B ng khóa ph c h i sẽ giúp đ trong tái t o l i các khóa đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ục hồi cho mô hình của ồng mở an toàn Chúng ỡ ại và các hoạt ại và các hoạt ượp một thao tác prewrite trước ổc t ch cứa các
b i ho t đ ng - m c giao d ch và con cháu c a h vào th i đi m đó th t b i.ở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ứa các ịch lồng mở an toàn Chúng ủa ọi là “mở và an ờng hợp phục hồi sụp đổ ển tương tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt
• Đ kích ho t giao d ch m c đ nh m i ngay sau khi ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ớc dirty object, giao d ch, và cácịch lồng mở an toàn Chúng
b ng khóa g m các tr ng thái c a vi c ghi và ghi b đ m c a ồng mở an toàn Chúng ại và các hoạt ủa ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ủa dirty data đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng
đượp một thao tác prewrite trướcc tái l p
Đ đ t đển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ượp một thao tác prewrite trướcc m c đích ph c h i tren, chúng ta c n làm các bục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ướcc sau đ kh i đ ng l iển tương tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt
h th ng :ệm của giao dịch ống khởi động lại và các hoạt
Revival of dirty table ( ph c h i b ng dirty object ) B ng dirty object c n thi t ph iục hồi cho mô hình của ồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước
đượp một thao tác prewrite trướcc checkpoint m t cách đ nh kỳ b ng cách truy n m t b n sao c a nó vào n i l uột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ột mô hình giao dịch lồng mở an toàn Chúng ủa ơng tranh và các thuật toán phục hồi cho mô hình của ư
tr n đ nh trong su t quá trình x lý bình thững hành dộng write ỏ Hệ thống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ử dụng các khái niệm của giao dịch ường hợp phục hồi sụp đổng Giá tr vi t trịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ướcc và after-images
Trang 9đượp một thao tác prewrite trướcc ghi nh t ký trên n i l u tr trong su t quá trình th c hi n đ xây d ng b ngơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ống khởi động lại và các hoạt ệm của giao dịch ển tương tranh và các thuật toán phục hồi cho mô hình củadirty object lâu dài trong trường hợp phục hồi sụp đổng h p có l i h th ng x y ra trợp một thao tác prewrite trước ệm của giao dịch ống khởi động lại và các hoạt ướcc khi l n checkpoint kầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước
ti p đết hợp một thao tác prewrite trước ượp một thao tác prewrite trướcc ti n hành 1 giao d ch không đết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc ch p nh n hoàn thành cam k t x lý c aất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ết hợp một thao tác prewrite trước ử dụng các khái niệm của giao dịch ủa
nó cho đ n khi ph n làm l i c a giao d ch đó đết hợp một thao tác prewrite trước ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt ủa ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc ghi lên n i l u tr Ph n làm l i c aơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt ủa
m t b n ghi nh t ký cung c p thông tin cho bi t nh thé nào đ redo l i các thay đ iột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ết hợp một thao tác prewrite trước ư ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ổ
đượp một thao tác prewrite trướcc th c hi n b i các giao d ch đã cam k t trệm của giao dịch ở an toàn Chúng ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ở an toàn Chúng ướcc Trong su t quá trình kh i đ ngống khởi động lại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng
l i h th ng, b ng dirty object đại và các hoạt ệm của giao dịch ống khởi động lại và các hoạt ượp một thao tác prewrite trướcc ph c h i v i s tr giúp c a h u h t các b n saoục hồi cho mô hình của ồng mở an toàn Chúng ớc ợp một thao tác prewrite trước ủa ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước
đã đượp một thao tác prewrite trướcc checkpoint g n đây c a b ng dirty object và đầng hủy bỏ Hệ thống khởi động lại và các hoạt ủa ượp một thao tác prewrite trước ủac s a v i s tr giúp c a nh tớc ợp một thao tác prewrite trước ủa
ký l u tr sau l n checkpoint cu i cùng.ư ững hành dộng write ầng hủy bỏ Hệ thống khởi động lại và các hoạt ống khởi động lại và các hoạt
Revival of transaction and lock table ( ph c h i các giao d ch và các b ng khóa ) ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
Các giao d ch và các b ng khóa địch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc checkpoint b ng cách truy n m t b n sao copyằng việc thay thế chúng bằng những giao dịch khác nhằm thực ột mô hình giao dịch lồng mở an toàn Chúng
c a m i cái vào n i l u tr m t cách đ nh kỳ trong su t quá trình x lý bình thủa ơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ử dụng các khái niệm của giao dịch ường hợp phục hồi sụp đổng
B t c khi nào m t giao d ch con đất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ượp một thao tác prewrite trước ại và các hoạtc t o ra ho t đ ng ho c khi b t kỳ giao d ch nàoại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ặc các thao tác mà có thể được hủy bỏ một cách ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng
có đượp một thao tác prewrite trướcc ho c gi i phóng m t khóa, thông tin này cũng dặc các thao tác mà có thể được hủy bỏ một cách ột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc ghi nh t ký đ xây d ngển tương tranh và các thuật toán phục hồi cho mô hình của
m t tr ng thái n đ nh cho các b ng này Tuy nhiên, nh ng thông tin này có th khôngột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ổ ịch lồng mở an toàn Chúng ững hành dộng write ển tương tranh và các thuật toán phục hồi cho mô hình của
đượp một thao tác prewrite trướcc ghi nh t ký cho các giao d ch con truy c p ch đ c và vi t trịch lồng mở an toàn Chúng ọi là “mở và an ết hợp một thao tác prewrite trước ướcc khi chúng b l điịch lồng mở an toàn Chúng ờng hợp phục hồi sụp đổtrong trường hợp phục hồi sụp đổng h p h th ng b h ng N u m t checkpoint đợp một thao tác prewrite trước ệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc ti n hành trong su tết hợp một thao tác prewrite trước ống khởi động lại và các hoạtquá trình ph c h i , sau đó n i dung c a các giao d ch và các b ng khóa cũng sẽ dục hồi cho mô hình của ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướccbao g m trong checkpoint S ghi vào thích h p v i t t c các giao d ch khác lo i trồng mở an toàn Chúng ợp một thao tác prewrite trước ớc ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ại và các hoạt ừu tượng mà thực hiện mức tương tranh cao hơn Một
nh ng n i dung kia đững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc kh i đ ng l i, b g b kh i giao d ch và các b ng khóa Đở an toàn Chúng ồng mở an toàn Chúng ại và các hoạt ịch lồng mở an toàn Chúng ỡ ỏ Hệ thống khởi động lại và các hoạt ỏ Hệ thống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình củalàm đi u này, ta càn tìm các n i l u tr có ch a các tr ng thái cam k t( commit-state)ơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ứa các ại và các hoạt ết hợp một thao tác prewrite trước
c a đi m ph c h i giao d ch con c a m i giao d ch b c cao Thong tin tr ng thái camủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ại và các hoạt
k t bao g m d li u riêng t và các thông tin khác, đ nh danh c a giao d ch con camết hợp một thao tác prewrite trước ồng mở an toàn Chúng ững hành dộng write ệm của giao dịch ư ịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng
k t cũng nh c a các giao d ch cha c a nó.ết hợp một thao tác prewrite trước ư ủa ịch lồng mở an toàn Chúng ủa
M t thông tin cam k t tr ng thái c a m t giao d ch con T1 xác đ nh tr ng thái c a giaoột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ại và các hoạt ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ại và các hoạt ủa
d ch cha T2 c a nó th i di m cam k t c a T1 Thông tin cam k t tr ng thái tr giúpịch lồng mở an toàn Chúng ủa ở an toàn Chúng ờng hợp phục hồi sụp đổ ển tương tranh và các thuật toán phục hồi cho mô hình của ết hợp một thao tác prewrite trước ủa ết hợp một thao tác prewrite trước ại và các hoạt ợp một thao tác prewrite trước
vi c xác th c l i tr ng thái kh i đ ng c a l i c a m t giao d ch b c cao theo th t đệm của giao dịch ại và các hoạt ại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ủa ại và các hoạt ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ứa các ển tương tranh và các thuật toán phục hồi cho mô hình củahoàn thành công vi c c a nó Không m t giao d ch con nào mà toàn b nh hệm của giao dịch ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ưở an toàn Chúngngkhông th đển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc làm xong trong trường hợp phục hồi sụp đổng h p h th ng h ng có th đợp một thao tác prewrite trước ệm của giao dịch ống khởi động lại và các hoạt ỏ Hệ thống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc xem xét hoàntoàn cho đ n khi thông tin cam k t tr ng thái c a nó và t t c d li u c a nó đết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ại và các hoạt ủa ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ủa ượp một thao tác prewrite trướcc ghi
l i m t cách an toàn vào n i l u tr N u n i l u tr không bao g m cam k t tr ngại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ết hợp một thao tác prewrite trước ơng tranh và các thuật toán phục hồi cho mô hình của ư ững hành dộng write ồng mở an toàn Chúng ết hợp một thao tác prewrite trước ại và các hoạtthái c a đi m ph c h i giao d ch con c a m t giao d ch b c cao thì t t c vi c ghi vàoủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ệm của giao dịchthích h p đ n nó và t t c các giao d ch con c a nó b g b kh i b ng Ngợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ỡ ỏ Hệ thống khởi động lại và các hoạt ỏ Hệ thống khởi động lại và các hoạt ượp một thao tác prewrite trước ại và các hoạtc l i, giao
d ch b c cao hoàn thành công vi c còn l i c a nó.ịch lồng mở an toàn Chúng ệm của giao dịch ại và các hoạt ủa
Revival of buffer ( ph c h i b đ m ) đ ph c h i n i dung c a b đ m ghi c a m tục hồi cho mô hình của ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ọi là “mở và an ủa ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ủa ột mô hình giao dịch lồng mở an toàn Chúng
đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng dirty data, chúng ta copy giá tr c a đ i tịch lồng mở an toàn Chúng ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u t stable-db đ n bững hành dộng write ệm của giao dịch ừu tượng mà thực hiện mức tương tranh cao hơn Một ết hợp một thao tác prewrite trước ột mô hình giao dịch lồng mở an toàn Chúng
đ m ghi Tuy nhiên, phiên b n c s d li u lâu dài c a đ i tệm của giao dịch ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u có th khôngững hành dộng write ệm của giao dịch ển tương tranh và các thuật toán phục hồi cho mô hình củabao g m m t s ho c t t c các c p nh t c a các giao d ch cam k t………ồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ủa ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước
Transaction logging and recovery (ph c h i và ghi nh t ký giao d ch ) các b n ghi nh tục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
ký đượp một thao tác prewrite trướcc vi t thay m t các giao d ch ph luôn luôn liên k t v i các b n ghi cu i cùngết hợp một thao tác prewrite trước ặc các thao tác mà có thể được hủy bỏ một cách ịch lồng mở an toàn Chúng ục hồi cho mô hình của ết hợp một thao tác prewrite trước ớc ống khởi động lại và các hoạt
Trang 10c a cha c a chúng tủa ủa ương tranh và các thuật toán phục hồi cho mô hình củang ng v i cây giao d ch trong nh t ký B t c khi nào m t truyứa các ớc ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các ột mô hình giao dịch lồng mở an toàn Chúng
c p vi t trết hợp một thao tác prewrite trước ướcc đượp một thao tác prewrite trướcc truyenf t i giao d ch cha c a nó thì thông tin cam két c a nó và giáớc ịch lồng mở an toàn Chúng ủa ủa
tr vi t trịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ướcc đượp một thao tác prewrite trướcc truy n t i giao d ch cha c a nó , đ y là s ph c h i đi m giao d chớc ịch lồng mở an toàn Chúng ủa ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng
ph Khi s ph c h i đi m giao d ch ph quy t d nh s cam k t, thông tin cam k tục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ục hồi cho mô hình của ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước
tr ng thái c a nó và giá tr vi t trại và các hoạt ủa ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ướcc đượp một thao tác prewrite trướcc ghi nh t ký Cam k t tr ng thái này cho bi tết hợp một thao tác prewrite trước ại và các hoạt ết hợp một thao tác prewrite trước
l ch trình( hay quy trình ) tính t th i di m này, nh hịch lồng mở an toàn Chúng ừu tượng mà thực hiện mức tương tranh cao hơn Một ờng hợp phục hồi sụp đổ ển tương tranh và các thuật toán phục hồi cho mô hình của ưở an toàn Chúngng c a giao d ch ph cam k tủa ịch lồng mở an toàn Chúng ục hồi cho mô hình của ết hợp một thao tác prewrite trướckhông th b m t đi dển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểni b t kỳ hoàn c nh nào S cam k t c a đi m ph c h i giaoết hợp một thao tác prewrite trước ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng
d ch con ch x y ra khi t t cá các giao d ch con truy c p vi t trịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ướcc đã cam k t và b ngết hợp một thao tác prewrite trước ằng việc thay thế chúng bằng những giao dịch khác nhằm thựccách đó , cam k t tr ng thái c a đi m ph c h i giao d ch con nh hết hợp một thao tác prewrite trước ại và các hoạt ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng ưở an toàn Chúngng đ n t t c cácết hợp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểncon cháu truy c p vi t trết hợp một thao tác prewrite trước ướcc đã cam k t c a nó Cam k t tr ng thái c a đi m ph c h iết hợp một thao tác prewrite trước ủa ết hợp một thao tác prewrite trước ại và các hoạt ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúngcác giao d ch ph là cam k t đ u tiên ghi vào trong nh t ký l u tr N u h th ng b sịch lồng mở an toàn Chúng ục hồi cho mô hình của ết hợp một thao tác prewrite trước ầng hủy bỏ Hệ thống khởi động lại và các hoạt ư ững hành dộng write ết hợp một thao tác prewrite trước ệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng
c m t cách tr c ti p sau cam k t c a s ph c h i đi m giao d ch con c a nó,ống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ủa ục hồi cho mô hình của ồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ủascheduler sẽ kh i đ ng l i ho t đ ng giao d ch b c cao c a nó t cam k t tr ngở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ừu tượng mà thực hiện mức tương tranh cao hơn Một ết hợp một thao tác prewrite trước ại và các hoạtthái( trong nh t ký) ch đi.ở an toàn Chúng
B t c khi nào m t gioa d ch con truy c p ghi m c lá quy t đ nh cam k t, cam k tất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ở an toàn Chúng ứa các ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước
tr ng thái và giá tr ghi c a nó đại và các hoạt ịch lồng mở an toàn Chúng ủa ượp một thao tác prewrite trướcc ghi trong nh t ký Thông tin cam k t đết hợp một thao tác prewrite trước ượp một thao tác prewrite trướcc truy n
t i giao d ch cha c a nó mà giúp ch m d t giao d ch cha Quá trình ghi nh t ký cam k tớc ịch lồng mở an toàn Chúng ủa ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ứa các ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước
tr ng thái sẽ v n ti p t c cho đ n khi giao d ch b c cao cam k t Trong trại và các hoạt ' ết hợp một thao tác prewrite trước ục hồi cho mô hình của ết hợp một thao tác prewrite trước ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ường hợp phục hồi sụp đổng h p cóợp một thao tác prewrite trước
l i, nh ng nh t ký này sẽ giúp ph c h i l i m t giao d ch b c cao Quá trình ruy n m tững hành dộng write ục hồi cho mô hình của ồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúngcam k t tr ng thái ho c giá tr vi t trết hợp một thao tác prewrite trước ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ướcc c a m t giao d ch t i nh t ký l u tr đủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ớc ư ững hành dộng write ượp một thao tác prewrite trướcc
g i là transaction checkpointing Các cam k t tr ng thái , giá tr vi t và vi t trọi là “mở và an ết hợp một thao tác prewrite trước ại và các hoạt ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ướcc c aủacác giao d ch ph ph i địch lồng mở an toàn Chúng ục hồi cho mô hình của ượp một thao tác prewrite trướcc s p th t đ giúp hoàn thành m t s th c hi n l i c aắn chờ đợi trước khi ứa các ển tương tranh và các thuật toán phục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ại và các hoạt ủa
m t giao d ch b c cao ho t đ ng Transaction checkpointing sẽ gi t t c các tr ng tháiột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ững hành dộng write ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạtcam k t logic cũng nh giá tr vi t và vi t trết hợp một thao tác prewrite trước ư ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ướcc, ma không th b m t.ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
Các giao d ch ch đ c không yêu c u earrly write khi chúng không thay đ i m t tr ngịch lồng mở an toàn Chúng ọi là “mở và an ầng hủy bỏ Hệ thống khởi động lại và các hoạt ổ ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạtthái c a m t tr ng thái c a đ i tủa ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u.ững hành dộng write ệm của giao dịch
Đ hoàn thành các giao d ch b c cao ho t đ ng, t t c đi m ph c h i giao d ch conển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
đượp một thao tác prewrite trướcc cam k t trết hợp một thao tác prewrite trước ướcc khi h th ng b s c , scheduler sẽ kh i d ng l i các tr ng thái đệm của giao dịch ống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của
kh i t o l i các giao d ch đó N u cam k t c a đi m ph c h i các giao d ch con ch làở an toàn Chúng ại và các hoạt ại và các hoạt ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ết hợp một thao tác prewrite trước ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúngcác b n ghi cam k t trong nh t ký l u tr , thì giao d ch bâc cao ho t đ ng c a nó kh iết hợp một thao tác prewrite trước ư ững hành dộng write ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ủa ở an toàn Chúng
đ ng l i t các cam k t tr ng thái này M t khác, scheduler tìm ra cam k t tr ng tháiột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ừu tượng mà thực hiện mức tương tranh cao hơn Một ết hợp một thao tác prewrite trước ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ết hợp một thao tác prewrite trước ại và các hoạt
đượp một thao tác prewrite trướcc ghi trong nh t ký cu i cùng sau khi cam k t c a đi m ph c h i giao d ch conống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ủa ển tương tranh và các thuật toán phục hồi cho mô hình của ục hồi cho mô hình của ồng mở an toàn Chúng ịch lồng mở an toàn Chúng
trướcc khi system crash theo th t đ kh i đ ng l i giao d ch t tr ng thái cu i cùng.ứa các ển tương tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ịch lồng mở an toàn Chúng ừu tượng mà thực hiện mức tương tranh cao hơn Một ại và các hoạt ống khởi động lại và các hoạt
Ch khi tr ng thái kh i đ ng l i đại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ượp một thao tác prewrite trướcc xác th c, scheduler l y l i d ng c a các khóa giaoất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt ại và các hoạt ủa
d ch b c cao ho t đ ng và t t c con cháu ho t đ ng c a nó địch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ủa ượp một thao tác prewrite trướcc gi th i đi m cóững hành dộng write ở an toàn Chúng ờng hợp phục hồi sụp đổ ển tương tranh và các thuật toán phục hồi cho mô hình của
s c Ch khi các khóa đống khởi động lại và các hoạt ượp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạtc l y l i, s th c thi c a m t giao d ch b c cao b t đ u l iủa ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ắn chờ đợi trước khi ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt
t tr ng thái kh i đ ng l iừu tượng mà thực hiện mức tương tranh cao hơn Một ại và các hoạt ở an toàn Chúng ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt
2.2.C u trúc d li u ấu trúc dữ liệu ữ liệu ệu
( ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ượp một thao tác prewrite trước ử dụng các khái niệm của giao dịch ục hồi cho mô hình của ục hồi cho mô hình của
th c thi logic.H u h t các c u trúc d li u này c n thi t trong vi c th c thi v t lý Đ uầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt
Trang 11tiên chúng ta th o lu n v m t s lĩnh v c hi n th trong các lo i b n ghi đăng nh pột mô hình giao dịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ại và các hoạtkhác nhau
LSN: Cho đ a ch b n ghi đăng nh p tr ng.Nó là m t giá tr tăng.Nó hi n th lo i d li uịch lồng mở an toàn Chúng ống khởi động lại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ại và các hoạt ững hành dộng write ệm của giao dịch
b n ghi đăng nh p Đi u này có th bao g m các b n ghi đăng nh p khác nh ng khôngển tương tranh và các thuật toán phục hồi cho mô hình của ồng mở an toàn Chúng ư
b t bu c.ắn chờ đợi trước khi ột mô hình giao dịch lồng mở an toàn Chúng
Transaction-id: nh n d ng giao d ch tham gia trong b n ghi đăng nh pại và các hoạt ịch lồng mở an toàn Chúng
Object-id:Nh n d ng các đ i tại và các hoạt ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng tham gia vào b n ghi đăng nh p.Nó hi n thi b n ghiển tương tranh và các thuật toán phục hồi cho mô hình củađăng nh p "d li u" và "khóa" các lo iững hành dộng write ệm của giao dịch ại và các hoạt
Value: Đây là d li u mô t th c thi c p nh t Bao g m vi c ghi l i giá tr ững hành dộng write ệm của giao dịch ồng mở an toàn Chúng ệm của giao dịch ại và các hoạt ịch lồng mở an toàn Chúng
Commit-state: Mô t b n ghi nh t ký đượp một thao tác prewrite trướcc gi trong su t th i gian xác nh n c a m tống khởi động lại và các hoạt ờng hợp phục hồi sụp đổ ủa ột mô hình giao dịch lồng mở an toàn Chúnggiao d ch con Nó bao g m d li u liên, bi n c c b … c a giao d ch con địch lồng mở an toàn Chúng ồng mở an toàn Chúng ững hành dộng write ệm của giao dịch ết hợp một thao tác prewrite trước ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc xác nh nActive: Hi n th b n ghi đăng nh p trong phiên giao d ch con.Bao g m d li u cáển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ững hành dộng write ệm của giao dịchnhân,bi n c c b ,etc, c a phiên giao d ch con cam k t ết hợp một thao tác prewrite trước ục hồi cho mô hình của ột mô hình giao dịch lồng mở an toàn Chúng ủa ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước
Lock: Hi n th b n ghi đển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc đăng nh p khi phiên giao d ch con b địch lồng mở an toàn Chúng ẻ các bản cập nhật không xác ượp một thao tác prewrite trướcc khóa.Thông tinkhông khóa bao g m "gi l i" ho c "t ch c" giao d ch.ồng mở an toàn Chúng ững hành dộng write ại và các hoạt ặc các thao tác mà có thể được hủy bỏ một cách ổ ứa các ịch lồng mở an toàn Chúng
Các b n ghi log có th đển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc phân lo i nh sau:ại và các hoạt ư
“Data”: Đ nh d ng d li u c a h s đăng nh p: (LSN, transaction-id, Object-id, giá trịch lồng mở an toàn Chúng ại và các hoạt ững hành dộng write ệm của giao dịch ủa ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúngpriwrite ho c write)ặc các thao tác mà có thể được hủy bỏ một cách
“Transaction”: Đ nh d ng giao d ch c a h s đăng nh p (transaction- id,tr ng thái).ịch lồng mở an toàn Chúng ại và các hoạt ịch lồng mở an toàn Chúng ủa ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt
L u ý r ng tr ng thái là giá tr "ho t đ ng" ho c là "Xác nh n"ư ằng việc thay thế chúng bằng những giao dịch khác nhằm thực ại và các hoạt ịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ặc các thao tác mà có thể được hủy bỏ một cách
“Lock”: Đ nh d ng khóa (transaction-id, lock type, Object-id).ịch lồng mở an toàn Chúng ại và các hoạt
Chúng ta tham kh o c u trúc hoàn ch nh ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển b n ghi log (h s nhìn th y) cùng v i lo iồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ớc ại và các hoạtthông tin c a nó (END-CHK-POINT) là m t h s đ xác đ nh k t thúc c a m t ho tủa ột mô hình giao dịch lồng mở an toàn Chúng ồng mở an toàn Chúng ơng tranh và các thuật toán phục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ết hợp một thao tác prewrite trước ủa ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt
đ ng.ột mô hình giao dịch lồng mở an toàn Chúng
2.2.1 Giao d ch và các b ng khóa ịch lồng an toàn ản của thuật toán phục hồi sự cố hệ thống
Để phân biệt giữa các giao dịch khác nhau và để biết về trạng trạng thái của chúng ( hoạtđộng hay không ) trong hệ thống, chúng ta cần giữ transaction-id và trạng thái của mỗi giaodịch, để làm việc đó ta sử dụng một transaction table Xa hơn nữa, để ánh xạ tới cây giao dịchmỗi transaction-id cũng là để chứa các tùy chỉnh của chúng như là thể hiện cảu giao dịch chachủa chúng Định dạng này của transaction-id giúp trình lập kế hoạch trong báo cáo hủy hoặcxác nhận của một giao dịch tới cha củ nó Thêm vào đó một yêu cầu hủy cũng chứa thể hiệncủa tất cả các tổ tiên của nó
Để cho trình lập kế hoạch biết được là một giao địch hoạt động hay không Nó là đủ để mộtgiao dịch có thể giữ chỉ một trạng thái mang tên “active” Từ khi quan hệ cha con của xác
Trang 12nhận giao dịch con là để lưu trữ trong log một cách riêng biệt bởi việc liên kết tới các bảnghi log của các giao dịch con tới các giao dịch cha của chúng, các bảng giao dịch không cầnlưu thông tin về các giao dịch con đã được xác nhận Một giao dịch con ghi vào trạng thái
“active” ngay khi nó được kịch hoạt và vẫn “active” cho đến khi nó xác nhận hoặc hủy bo.Khi một giao dịch con xác nhận, mục này của nó được gỡ khỏi bảng giao dịch Sau khi xácnhận của giao dịch con điểm phục hồi, trạng thái của các giao dịch con trên của nó vẫn giữ
“active” trong trường hợp hủy tại một cấp cao hơn bởi vì chúng phairhoanf thành công việccủa chugs nên vẫn phải thi hành các công việc phục hồi Trên hệ thống phục hồi, một khi cácgiao dịch múc đỉnh “active” được quyết định, các giao dịch mức đỉnh “actve” khác và cácgiao dịch con cháu “active” của chúng cũng bị dỡ khỏi bảng
Bảng khóa giữ thông tin về các khóa giữ vởi tất cả các giao dịch hoạt động trong hệt hống tạicác thời điểm Mỗi mục của bảng giữ thông tin về transaction-id, dạng khóa đươc giữ vàobject-id Khi một giao dịch có được một khóa trên đối tượng dữ liệu, một, mục được tạo ratrên bảng khóa Khi một giao dịch xác nhận hoặc hủy bỏ, mục giao dịch tương ứng được bỏ
đi khỏi bảng Một mục mới được tao ra ccho giao dịch mà kế thừa khóa từ giao dịch đã bịhủy hoặc xác nhận
2.2.2 B ng dirty data object ản của thuật toán phục hồi sự cố hệ thống
M i l n nh p d li u vào trong b ng đ i tầng hủy bỏ Hệ thống khởi động lại và các hoạt ững hành dộng write ệm của giao dịch ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u thô g m trững hành dộng write ệm của giao dịch ồng mở an toàn Chúng ường hợp phục hồi sụp đổng Object-ID.RccLSN(Dãy s khôi ph c đăng nh p) ghi l i và ghi các ho t đ ng.Giá tr c a ho t đ ngống khởi động lại và các hoạt ục hồi cho mô hình của ại và các hoạt ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ủa ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúngghi RCCLSN trong đăng nh p có th đển tương tranh và các thuật toán phục hồi cho mô hình của ượp một thao tác prewrite trướcc c p nh t,không b m t d li u cho dù b m tịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ệm của giao dịch ịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển
đi nệm của giao dịch Giá tr nh nh t RccLSN trong b ng cho đi m b t đ u kích ho t l i T t c b nịch lồng mở an toàn Chúng ỏ Hệ thống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ển tương tranh và các thuật toán phục hồi cho mô hình của ắn chờ đợi trước khi ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt ại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểnghi đăng nh p ph i ghi l i, LSNs l n h n giá tr nh nh t RccLSN,yêu c u làm l i cácại và các hoạt ớc ơng tranh và các thuật toán phục hồi cho mô hình của ịch lồng mở an toàn Chúng ỏ Hệ thống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt
b n ghi đăng nh p không có tác d ng chuy n đ i thành các c s d li u n đ nh.Giáục hồi cho mô hình của ển tương tranh và các thuật toán phục hồi cho mô hình của ổ ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ổ ịch lồng mở an toàn Chúng
tr ho t đ ng ghi l i c a RccLSN nh nh t l n h n RccLSN t i đa c a t t c các ho tịch lồng mở an toàn Chúng ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ủa ỏ Hệ thống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ớc ơng tranh và các thuật toán phục hồi cho mô hình của ống khởi động lại và các hoạt ủa ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ại và các hoạt
đ ng ghi cho các đi m kh i đ u đ làm l i các ho t đ ng ghi l i.T t c các b n ghiột mô hình giao dịch lồng mở an toàn Chúng ển tương tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ển tương tranh và các thuật toán phục hồi cho mô hình của ại và các hoạt ại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểnđăng nh p ghi l i mà LSNS l n h n RccLSN nh nh t đại và các hoạt ớc ơng tranh và các thuật toán phục hồi cho mô hình của ỏ Hệ thống khởi động lại và các hoạt ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ượp một thao tác prewrite trướcc yêu c u làm l i mà khôngầng hủy bỏ Hệ thống khởi động lại và các hoạt ại và các hoạt
ph i ho t đ ng B i v y, các b n ghi đăng nh p ghi l i c n đại và các hoạt ột mô hình giao dịch lồng mở an toàn Chúng ở an toàn Chúng ại và các hoạt ầng hủy bỏ Hệ thống khởi động lại và các hoạt ượp một thao tác prewrite trướcc làm l i.M i khi các giáại và các hoạt
tr ghi địch lồng mở an toàn Chúng ượp một thao tác prewrite trướcc yêu c u , tầng hủy bỏ Hệ thống khởi động lại và các hoạt ương tranh và các thuật toán phục hồi cho mô hình củang ng v i ph n b ng đ i tứa các ớc ầng hủy bỏ Hệ thống khởi động lại và các hoạt ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u thô đững hành dộng write ệm của giao dịch ượp một thao tác prewrite trướcc xóađi.Tương tranh và các thuật toán phục hồi cho mô hình củang t ,m i khi đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u đững hành dộng write ệm của giao dịch ượp một thao tác prewrite trước ưc l u tr n đ nh,các l n nh p tững hành dộng write ổ ịch lồng mở an toàn Chúng ầng hủy bỏ Hệ thống khởi động lại và các hoạt ương tranh và các thuật toán phục hồi cho mô hình củang ngứa các
đượp một thao tác prewrite trước ất trong cơ sở dữ liệu cũng được sử dụng để điều khiểnc l y ra t b ng.ừu tượng mà thực hiện mức tương tranh cao hơn Một
3 Mô hình h th ng giao d ch l ng và cài đ t ệu ố ịch lồng an toàn ồng an toàn ặt
Mô hình h c s d li u giao d ch l ng c a chúng ta chính th c bao g m các thànhệm của giao dịch ơng tranh và các thuật toán phục hồi cho mô hình của ở an toàn Chúng ững hành dộng write ệm của giao dịch ịch lồng mở an toàn Chúng ồng mở an toàn Chúng ủa ứa các ồng mở an toàn Chúng
ph n sau: Qu n tr giao d ch (Transaction Managers- TMs), qu n tr ph c h iầng hủy bỏ Hệ thống khởi động lại và các hoạt ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ịch lồng mở an toàn Chúng ục hồi cho mô hình của ồng mở an toàn Chúng(Recovery Manager – RMs) và qu n tr d li u (Data Managers – DMs) DMs mô hìnhịch lồng mở an toàn Chúng ững hành dộng write ệm của giao dịchhóa các đ i tống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u M i m t Data Manager gi m t b n sao c a đ i tững hành dộng write ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúng ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng dững hành dộng write
li u trong b nh th c p, g i là stable-db Giá tr c a priwrite và write c a m i đ iệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ớc ứa các ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ọi là “mở và an ịch lồng mở an toàn Chúng ủa ủa ống khởi động lại và các hoạt
tượp một thao tác prewrite trướcng đượp một thao tác prewrite trướcc gi trong b đ m tững hành dộng write ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ương tranh và các thuật toán phục hồi cho mô hình củang ng t i DMs tứa các ại và các hoạt ương tranh và các thuật toán phục hồi cho mô hình củang ng ng v i quá trình đóứa các Ứng với quá trình đó ớcchúng đượp một thao tác prewrite trướcc g i là prewrite-buffer và write-buffer Th c ch t, ch có m t t p con c aọi là “mở và an ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ột mô hình giao dịch lồng mở an toàn Chúng ủacác DMs sẽ priwrite va write các giá tr c a đ i tịch lồng mở an toàn Chúng ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u trong b đ m tững hành dộng write ệm của giao dịch ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch ương tranh và các thuật toán phục hồi cho mô hình củang ng.ứa các
M t thao tác read l y d d li u c a đ i tột mô hình giao dịch lồng mở an toàn Chúng ất trong cơ sở dữ liệu cũng được sử dụng để điều khiển ững hành dộng write ững hành dộng write ệm của giao dịch ủa ống khởi động lại và các hoạt ượp một thao tác prewrite trướcng d li u c n tham chi u t b đ mững hành dộng write ệm của giao dịch ầng hủy bỏ Hệ thống khởi động lại và các hoạt ết hợp một thao tác prewrite trước ừu tượng mà thực hiện mức tương tranh cao hơn Một ột mô hình giao dịch lồng mở an toàn Chúng ệm của giao dịch