giao thức phân tán và hô trợ tương tranh trong cơ sở dữ liệu phân tán đại học Điều khiển tương tranh đã được nghiên cứu trong nhiều năm qua, đối với các hệ quản trị cơ sở dữ liệu tập trung thì bài toán này đã được giải quyết rất tốt. Một lý thuyết toán học đã được phát triển để p
Giao tác phân tán Khái niêm: Một giao tác đơn vị chương trình thực hiên nhằm mục đích truy xuất đơn vị liệu lưu trữ nhiều vị trí khác giao tác thực việc đọc ghi tính tốn tạo sở liệu sở liệu yêu cầu thao tác quán đáng tin Một giao tác gồm câu lệnh(thao tác).Để truy xuất csdl,giao tác thực thao tác sau read(x): đọc đơn vị liệu x từ csdl vào vùng đệm cục mà giao thức đọc Write(x):giao tác viết đơn vị liệu x từ vùng đệm cục trở lại csdl 1.1 Trang thái giao tác Dựa vào mức độ hoàn thành lệnh giao tác mà chia thành trạng thái giao tác khác Active:trạng thái hoạt động Partially commited:Đã xác nhận phần Failed:sau phát việc thực bình thường khơng thể tiếp tục Aborted:sau giao tác khôi phục lại trạng thái giao tác vừa bắt đầu Commited:sau giao tác hoàn tất Trong trường hợp khơng có hỏng hóc xảy lệnh giao tác thực hoàn toàn Nếu giao tác bị bỏ qua chừng thay đổi csdl mà giao tác thực dở phải trả trạng thái ban đầu,khi ta phải quay trở lại bước để khôi phục liệu cũ -một giao tác thực hồn tất có trạng thái commited.giao tác trạng thái sẽ thực cập nhật biến đổi csdl sang trạng thái quán mới, trạng thái trì trường hợp hệ thống bị hỏng hóc.Một giao tác trạng thái commited khơng thể rơi vào trạng thái Aborted ngược lại Một yêu cầu đặt trường hợp hỏng hóc xảy khơng gây nên mát liệu giao tác thực chừng Một giao tác rơi vào trạng thái Failed(do phần cứng logic) sau hệ thống khôi phục ta phải chọn hai trường hợp sau: Restart lại giao tác này:có lỗi phần cứng phần mềm mà xử lý lỗi bên giao tác Undo lại giao tác này:có lỗi bên giao tác liệu khơng tìm thấy csdl Chúng ta thận trong việc ghi liệu máy in trường hợp khơng thể Undo Vì ghi thiết bị ngồi giao tác trang thái Commited,một khác giải viết tạm vào nhớ ngồi ,sau hoàn tất in giấy Trong ứng dụng có tính đòi hỏi phải thể liệu cho người dùng,đặc biệt giao tác thực khoảng thời gian dài xuất liệu chừng đc 1.2 thuộc tính giao tác 1.2.1 tính nguyên tử(atomicity) Hoặc tất thao tác giao tác phải thực đem lại kết đắn,hoặc không giao tác thực Tính ngun tử đòi hỏi giao tác bị hủy chừng kết trước phải hủy bỏ có hai nguyên nhân cho thao tác phải hủy bỏ lỗi giao tác gây nên như:lỗi nhập liệu đầu vào lỗi hệ thống lỗi thiết bị,lỗi đường truyền điện… 1.2.2 Tính quán (Consistency) Tính quán liệu thực bắt đầu sau kết thúc giao dịch Tính quán liệu hiểu làm cho liệu đắn Để thỏa mãn tính chất đòi hỏi giao tác phải chuyển sở liệu từ vị trí quán đến vị trí quán khác với khái niệm liệu tạm giá trị liệu viết giao tác khoảng thời gian mà thực hiện.Phân loại cấp độ quán sau cấp 0:nếu T viết đè lên liệu tam giao tác khác cấp 1:nếu T quán cấp T không thực thao tác ghi kết thúc giao tác cấp 2:T quán cấp T không đọc dừ liệu tạm giao tác khác cấp 3:T quán cấp giao tác không thực thao tác thay đổi liệu đọc T trước T xác nhận 1.2.3 Tính lập(Isolation) tính lập u cầu giao tác phải kiểm tra điều kiện quán thời điểm Hay giao tác thực chưu hồn tất khơng thể đưa kết cho giao tác tượng tranh khác trước hồn tất, nghĩa có giao tác tương tranh truy cập đơn vị liệu số chúng cập nhật phải đảm bảo giao tác đọc Tính chất để giải đề mát cập nhật liệu,ngồi giải đề hủy bỏ dây chuyên.Nếu thao tác A chưa hồn tất cho B đọc kết A bị hủy B bị hủy theo 1.2.4 Tính bền vững(Durability) Mọi thay đổi mà giao tác thực csdl phải ghi nhận bền vững Sau thao tác thực xong thay đổi csdl trì, chí trường hợp hệ thống bị hỏng ... dùng,đặc biệt giao tác thực khoảng thời gian dài xuất liệu chừng đc 1.2 thuộc tính giao tác 1.2.1 tính nguyên tử(atomicity) Hoặc tất thao tác giao tác phải thực đem lại kết đắn,hoặc không giao tác thực... lý lỗi bên giao tác Undo lại giao tác này:có lỗi bên giao tác liệu khơng tìm thấy csdl Chúng ta thận trong việc ghi liệu ngồi máy in trường hợp khơng thể Undo Vì ghi thiết bị giao tác trang thái...Commited:sau giao tác hồn tất Trong trường hợp khơng có hỏng hóc xảy lệnh giao tác thực hoàn toàn Nếu giao tác bị bỏ qua chừng thay đổi csdl mà giao tác thực dở phải trả trạng thái