    !"#$%&'# Giáo viên hưng dn: ()*+),-./) Sinh viên thc hin: .01+2' +34,456 78+679:7;6+<6 78+679:7;6+<6 =79:>6?6( =79:>6?6( @7AB:C6(6(78+7C6(+6 @7AB:C6(6(78+7C6(+6 Đà Nẵng, tháng 4/2012 Đà Nẵng, tháng 4/2012 6DE46(+FG67>H 6DE46(+FG67>H 7I6  1. Tổng quan 2. Cơ chế then cài 2.1. Loại trừ tương hổ 2.2. Then cài chọn lựa các đối tượng 2.3. Giao dịch 2 Pha 7I6 ) !"#$%&'# 1. Tổng quan 2. Bộ quản lý Khóa cơ bản 3. Những điểm cần cải tiến @J+,456 7I6 7I6  K*+L"' + Khi có nhiều giao tác đang được thực thi đồng thời trên những tiến trình khác nhau (trong những bộ xử lý khác nhau), một số cơ chế là cần thiết để giữ chúng không cho xâm nhập vào các tiến trình khác. Thuật toán điều khiển đồng thời được sử dụng rộng rãi nhất là then cài. + Then cài là bộ làm chậm với nguyên lý là làm chậm một tác động nào đó cho đến thời điểm mà sự thực hiện của nó không còn nguy cơ phá huỷ sự gắn bó của trật tự hoá (bằng cách chặn tiến trình hiện hành). 7I6 7I6 (tt)  + Là phép toán được thực hiện bởi một tiến trình nhằm cho phép đăng ký truy cập vào tài nguyên. Nó gán hay không gán quyền truy cập căn cứ vào các quy tắc tiền định như luật loại trừ tương hỗ, luật đọc-hiệu chỉnh thông tin. + Một cơ chế CÀI THEN tốt đòi hỏi có nhiều khoá, là nhiều tốn kém và có nhiều khả năng dẫn đến sự bế tắc 7I6 7I6 (tt)  Một trong những giải pháp đơn giản để đạt được trật tự hoá gắn bó thể hiện ở chổ bắt buộc phải sử dụng trật tự hoá tuần tự. Để làm việc đó, toàn bộ giao dịch được đặt trong cặp hàm nguyên thuỷ mo_giaodich và dong_giaodich. Đây là sự đảm bảo cho việc loại trừ tương hỗ giữa các giao dịch. Nếu ta biết trước các đối tượng được xử lý bởi một giao dịch nào đó, thì ta có thể cài then công việc truy cập đến các đối tượng. Điều đó chỉ cho phép thực hiện song song đối với các giao dịch truy cập vào các đối tượng rời rạc. Nếu ta muốn nâng cao hơn nữa khả năng sử dụng song song, thì cần phải thực hiện cài then ở mức độ thấp hơn mức giao dịch. M*: M*K*,N2OPQ Theo quy tắc : Một giao dịch thay đổi giá trị của đối tượng phải loại trừ tất cả các đối tượng khác muốn truy cập, ngược lại thì vic truy cập được tiến hành theo kiểu tương tranh. Để đảm bảo điều đó luôn luôn được thực hiện, người ta cho phép tiến hành  một đối tượng trước khi việc sử dụng nó có hiệu lực. Một giao dịch có thể thực hiện ba hàm nguyên thủy trên đối tượng e: M*M*+R$S'TPU )++ +-V +WV 1 v_doc(e) Sử dụng khi muốn có được quyền đọc e theo kiểu chia sẻ 2 v_viet(e) Sử dụng khi muốn có quyền đọc và viết vào e theo kiểu loại trừ 3 giai_phong(e) Giải phóng đối tượng e. Giả sử trước đó đã được cài then bởi cùng giao dịch này. Một giao dịch gọi là phát triển nếu: + Một phép toán chỉ được thực hiện trên một đối tượng sau khi đối tượng đó đã được cài then bởi giao dịch theo kiểu tương thích với phép toán. + Không có giao dịch nào cài then được trên đối tượng mà trước đó đã bị cài then cũng bởi chính giao dịch đó, ngoại trừ theo kiểu loại trừ trong trường hợp trước đó đã sử dụng kiểu chia sẽ. + Sau khi chấm dứt một giao dịch, không có đối tượng nào bị cài then. Một trật tự hoá được gọi là hợp thức nếu: + Đối tượng được một giao dịch cài then theo kiểu chia sẽ không bị bất cứ then cài nào theo kiểu loại trừ của các giao dịch khác. + Một đối tượng bị cài then theo kiểu loại trừ thì không bị bất kỳ then cài mới nào nữa. Do vậy, mọi cố gắng cài then không phù hợp với các điều kiện tương hỗ nêu trên đều phải chờ (bị làm chậm lại) cho đến khi mở then. Chú ý: Một giao dịch được gọi là tốt, nếu nó sử dụng các then cài phù hợp với đặc điểm của chúng. Một trật tự hoá được gọi là hợp thức, nếu các then cài hoạt động phù hợp với các đặc điểm này. Xem xét một giao dịch hình thành hợp thức bằng cách kiểm tra hai điều kiện: + Toàn bộ đối tượng bị cài then vẫn ở trong tình trạng cài then cho đến cuối giao dịch. + Không có then cài nào có thể diễn ra tiếp theo một then cài khác trong cùng một giao dịch. Điều kiện này thể hiện ở chổ là dãy các phép toán trên các then cài được phân tích thành hai pha nối tiếp nhau. Một pha mà trong đó các đối tượng bị cài then, còn pha kia chúng được mở then. M*X*('YM'ZM, 7I6 7I6 )[E\6(D]4^6,_@7`B:a^6 )[E\6(D]4^6,_@7`B:a^6   .>67b6(31:I6:^+J6 .>67b6(31:I6:^+J6 *) !"#$%&'# + Việc điều khiển đồng thời bằng khoá chốt là một cơ chế thường dùng để giải quyết những vấn đề liên quan đến việc đồng bộ hoá dữ liệu truy cập dùng chung, đảm bảo dữ liệu dùng chung cho các thao tác tương tranh chỉ được truy xuất một lần một giao dịch, mỗi phần tử dữ liệu đều có một khoá chốt kết hợp với chúng.