Slide kỹ thuật đảm bảo đặc tính toàn vẹn dữ liệu trong hệ tin học phân tán

1 TIỂU LUẬN TIỂU LUẬN HỆ TIN HỌC PHÂN TÁN HỆ TIN HỌC PHÂN TÁN N i dung Lý ộ N i dung Lý ộ thuy tế thuy tế HOÀN THIỆN KỸ THUẬT ĐẢM BẢO ĐẶC TÍNH HOÀN THIỆN KỸ THUẬT ĐẢM BẢO ĐẶC TÍNH TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN N i dung bài t pộ ậ N i dung bài t pộ ậ CHỨNG MINH NGUYÊN TẮC GIAO DỊCH HAI PHA CHỨNG MINH NGUYÊN TẮC GIAO DỊCH HAI PHA GVHD: PGS TS. Lê Văn Sơn HVTH: Trần Ngọc Chinh CÁC NỘI DUNG CHÍNH CÁC NỘI DUNG CHÍNH Chương 1 Chương 1 MỘT SỐ KHÁI NIỆM CHUNG MỘT SỐ KHÁI NIỆM CHUNG  Khái niệm toàn vẹn dữ liệu Khái niệm toàn vẹn dữ liệu  Khái niệm Khái niệm giao dịch giao dịch  Một số tính chất của giao dịch Một số tính chất của giao dịch  Trật tự hoá các tác động Trật tự hoá các tác động Chương 2 Chương 2 ĐẶC TÍNH TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN ĐẶC TÍNH TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN KỸ THUẬT GIAO DỊCH 2 PHA KỸ THUẬT GIAO DỊCH 2 PHA  Cơ chế then cài Cơ chế then cài  Giao dịch hai pha Giao dịch hai pha  Quản lý gắn bó các giao dịch Quản lý gắn bó các giao dịch  Sử dụng giao dịch hai pha Sử dụng giao dịch hai pha KỸ THUẬT THỨ TỰ DẤU KỸ THUẬT THỨ TỰ DẤU  Nội dung kỹ thuật thứ tự dấu Nội dung kỹ thuật thứ tự dấu  Giải thuật thứ tự dấu Giải thuật thứ tự dấu  Trật tự hoá thứ tự dấu Trật tự hoá thứ tự dấu BÀI TẬP Chương 1 Chương 1 CÁC KHÁI NIỆM CHUNG CÁC KHÁI NIỆM CHUNG • Khái niệm toàn vẹn dữ liệu Khái niệm toàn vẹn dữ liệu • Tác động và giao dịch Tác động và giao dịch • Một số tính chất của giao dịch Một số tính chất của giao dịch • Trật tự hoá các tác động Trật tự hoá các tác động KHÁI NIỆM TOÀN VẸN DỮ LIỆU KHÁI NIỆM TOÀN VẸN DỮ LIỆU • Đặc tính toàn vẹn dữ liệu trong hệ tin học Đặc tính toàn vẹn dữ liệu trong hệ tin học phân tán thể hiện tính bền vững, tính đúng phân tán thể hiện tính bền vững, tính đúng đắn, tính nhất quán của thông tin. đắn, tính nhất quán của thông tin. • Toàn vẹn dữ liệu tuân theo các luật của một Toàn vẹn dữ liệu tuân theo các luật của một tổ chức, hệ thống. Các luật này được gọi là tổ chức, hệ thống. Các luật này được gọi là các ràng buộc toàn vẹn. các ràng buộc toàn vẹn. • Trạng thái của hệ thoả mãn các ràng buộc Trạng thái của hệ thoả mãn các ràng buộc toàn vẹn gọi là trạng thái gắn bó. toàn vẹn gọi là trạng thái gắn bó. • Mục tiêu cuả đặc tính toàn vẹn dữ liệu là duy Mục tiêu cuả đặc tính toàn vẹn dữ liệu là duy trì hệ thống luôn trong trạng thái gắn bó trì hệ thống luôn trong trạng thái gắn bó KHÁI NIỆM GIAO DỊCH KHÁI NIỆM GIAO DỊCH • Là chương trình duy nhất thực hiện từ Là chương trình duy nhất thực hiện từ một trạng thái gắn bó và đưa hệ đến một một trạng thái gắn bó và đưa hệ đến một trạng thái gắn bó khác. trạng thái gắn bó khác. • Mỗi giao dịch được cấu tạo từ Mỗi giao dịch được cấu tạo từ một dãy một dãy các tác động các tác động MỘT SỐ TÍNH CHẤT MỘT SỐ TÍNH CHẤT CỦA GIAO DỊCH CỦA GIAO DỊCH • Tính nguyên tử(Atomic) : một giao dịch hoặc Tính nguyên tử(Atomic) : một giao dịch hoặc là được thực hiện trọn vẹn hoặc là không thực là được thực hiện trọn vẹn hoặc là không thực hiện gì cả. hiện gì cả. • Đặc tính gắn bó(Consistent): giao dịch Đặc tính gắn bó(Consistent): giao dịch chuyển hệ thống phân tán từ trạng thái gắn bó chuyển hệ thống phân tán từ trạng thái gắn bó này sang trạng thái gắn bó khác. này sang trạng thái gắn bó khác. • Đặc tính cách ly (Isolation): các giao Đặc tính cách ly (Isolation): các giao không biết được sự thực hiện của các giao không biết được sự thực hiện của các giao dịch đồng thời khác. Kết quả của giao dịch đồng thời khác. Kết quả của giao dịch này không ảnh hưởng đến giao dịch dịch này không ảnh hưởng đến giao dịch khác. khác. • Tính bền vững (Durability) : Sau một giao Tính bền vững (Durability) : Sau một giao dịch kết thúc thành công, các thay đổi mà dịch kết thúc thành công, các thay đổi mà nó tạo ra được bảo toàn ngay cả khi hệ nó tạo ra được bảo toàn ngay cả khi hệ thống bị sự cố thống bị sự cố TRẬT TỰ HOÁ TÁC ĐỘNG TRẬT TỰ HOÁ TÁC ĐỘNG Xét tập hợp các giao dịch M = {T1, T2,…, Tn}, Xét tập hợp các giao dịch M = {T1, T2,…, Tn}, mỗi một giao dịch được cấu tạo từ một dãy các mỗi một giao dịch được cấu tạo từ một dãy các tác động tác động – Việc thực hiện toàn bộ giao dịch M tương đương với việc thực hiện Việc thực hiện toàn bộ giao dịch M tương đương với việc thực hiện một dãy S các tác động thuộc các giao dịch này, như S = (a1, a2,…, một dãy S các tác động thuộc các giao dịch này, như S = (a1, a2,…, an) an) – Trong số các trật tự hoá của một tập hợp các giao dịch phải tách ra Trong số các trật tự hoá của một tập hợp các giao dịch phải tách ra cho được những cái phục vụ trạng thái gắn bó dữ liệu, gọi là trật tự cho được những cái phục vụ trạng thái gắn bó dữ liệu, gọi là trật tự hoá gắn bó hoá gắn bó Trật tự hoá S được gọi là hợp thức nếu Trật tự hoá S được gọi là hợp thức nếu thoả mãn các điều sau: thoả mãn các điều sau: – Một đối tượng được cài then chia sẽ thì sẽ không có Một đối tượng được cài then chia sẽ thì sẽ không có then cài loại trừ nào được thực hiện cho đến khi mở then cài loại trừ nào được thực hiện cho đến khi mở then. then. – Một đối tượng được cài then loại trừ thì sẽ không Một đối tượng được cài then loại trừ thì sẽ không có then cài nào được thực hiện cho đến khi mở then có then cài nào được thực hiện cho đến khi mở then . . Chương 2. ĐẶC TÍNH TOÀN VẸN Chương 2. ĐẶC TÍNH TOÀN VẸN DỮ LIỆ DỮ LIỆ U U KỸ THUẬT GIAO DỊCH 2 PHA KỸ THUẬT GIAO DỊCH 2 PHA • Cơ chế then cài Cơ chế then cài • Giao dịch hai pha Giao dịch hai pha • Xử lý các sự cố Xử lý các sự cố • Quản lý gắn bó các giao dịch Quản lý gắn bó các giao dịch . TOÀN VẸN DỮ LIỆU KHÁI NIỆM TOÀN VẸN DỮ LIỆU • Đặc tính toàn vẹn dữ liệu trong hệ tin học Đặc tính toàn vẹn dữ liệu trong hệ tin học phân tán thể hiện tính. Chương 2 Chương 2 ĐẶC TÍNH TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN ĐẶC TÍNH TOÀN VẸN TRONG HỆ TIN HỌC PHÂN TÁN KỸ THUẬT GIAO DỊCH 2 PHA KỸ THUẬT GIAO DỊCH 2