tailieunhanh - bài giảng hệ điề hành phân tán phần 10

Đôi khi bạn phải đưa ra các khẩu súng lớn. Nếu bạn không thấy một vấn đề logic như bạn đang đọc thông qua các mã nguồn và không thể cô lập các vấn đề với báo cáo cảnh báo, bạn có thể phải nghỉ mát để sử dụng một trình gỡ lỗi để tìm ra vấn đề. không có các tác phẩm nghệ thuật cho, nhấp vào nút iTunes, thêm album nghệ thuật để theo dõi, và Dashboard chặt chẽ. | Hà Quang Thụy Bài giảng Hệ điều hành phân tán Phần 1 Mỗi giao dịch trong hệ thống dữ liệu bao gồm tuần tự các thao tác đọc ghi. Để tránh tình trạng hư hỏng dữ liệu phải khoá trước khi đọc ghi. Hơn nữa thì thao tác đọc đồng bô và thao tác ghi duy nhất phải đảm bảo khác biệt thì một khoá dungf chung được dùng cho đọc đồng thời và khoá duy nhất được dùng cho ghi. Tất cả các khoá phải được mở sau mỗi thao tác và trước khi kết thúc một thao tác. Nếu khoá không được dùng thao tác ghi có thể chỉ được thực hiện không dứt khoát. Tất cả các thao tác trong tập hợp các giao dịch được sắp xếp thành lịch để thực hiện. Một lịch được gọi là liên tiếp nếu kết quả thực hiện diễn ra tuần tự theo lịch. Giả sử có ba giao dịch t0 t1 t2 đã được thực hiện t1 và t2 là hai giao dịch khác cùng thực hiện. t0 bt write A 100 write B 20 et t1 bt read A read B 1 write sum in C 2 write diff in D et t2 bt read A read B 3 write sum in C 4 write diff in D et Có 3 giao dịch chia xẻ đối tượng dữ liệu định vị ở những vị trí khác nhau như ở hình . Thao tác 1 3 và 2 4 đều ghi dẫn tới xung đột trên C D các thao tác khác không có xung đột. Có khả năng chèn vào thao tác 4. Nếu t1 t2 thực hiện liên tiếp thì để hoàn thành C D sẽ là 80 120 hoặc 120 80 . Với Wi trên đối tượng tại C D là thao tác ghi. Việc cập nhật sẽ được ghi nhớ và được ghi tại mỗi vị trí. Bảng . Lập lịh xếp chèn Lịch Xếp chèn Đăng nhập tại C Đăng nhập tại D Hàm Result C D 2PL Tem thời gian 1 1 2 3 4 W1 120 W2 80 W1 80 W2 120 80 120 nhất quán khả thi khả thi 2 3 4 1 2 W1 80 W2 120 W1 120 W2 80 120 80 nhất quán khả thi t1 bỏ dở và bắt đầu lại 3 1 3 2 4 W1 120 W2 80 W1 80 W2 120 80 120 nhất quán không khả thi khả thi 4 3 1 4 2 W1 80 W2 120 W1 120 W2 80 80 80 nhất quán không khả thi t1 bỏ dở và làm lại 5 1 3 4 2 W1 120 W2 80 W1 120 W2 80 80 80 không nhất quán không khả thi bỏ dở nhiều 6 3 1 2 4 W1 80 W2 120 W1 80 W2 120 120 120 không nhất quán không khả thi t1 bỏ dở và bắt đầu lại . Giao thức điều khiển đồng bô Có một số phương pháp .

TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.