Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài ĐẠI HỌC ĐÀ NẴNG BÁO CÁO MÔN HỌC HỆ TIN HỌC PHÂN TÁN  ĐIỀU KHIỂN ĐỒNG THỜI BẰNG CƠ CHẾ THEN CÀI VÀ BÀI TOÁN SỬ DỤNG BỘ QUẢN LÝ KHÓA CƠ BẢN VÀ NHỮNG ĐIỂM CẦN CẢI TIẾN   !"#$%& '()#$*+,&-./ (0#12,.31455614578 Quảng Bình, 11/2012 "#$%& – Khoa học máy tính K24 Quảng Bình 1/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài LỜI MỞ ĐẦU Mạng máy tính ra đời làm cho thế giới như nhỏ lại, mọi người có thể trao đổi với nhau một khối lượng lớn thông tin trong điều kiện khoảng cách xa hơn với thời gian nhanh hơn. Trên thực tế, xu hướng kỹ thuật mới - phân tán các thành phần tạo nên hệ tin học theo hướng tiếp cận nơi sử dụng và sản xuất thông tin trên cơ sở mạng máy tính cho chúng ta cơ hội ngồi trước máy vi tính có nối mạng (LAN, WAN, Internet, …) thì có được mọi thứ: Chúng ta có thể trao đổi thông tin, quản lý toàn bộ nhân sự của một đơn vị với nhiều chi nhánh trên toàn quốc hoặc ở các quốc gia khác nhau; có thể đăng ký vé máy bay, vé tàu xe, mua hàng tại siêu thị, thanh toán tiền qua hệ thống E-Banking của ngân hàng qua hệ thống máy tính… Tuy nhiên, để khai thác có hiệu quả hệ thống, vấn đề quan trọng là chiến lược khai thác và sử dụng các tài nguyên dùng chung như thế nào ? Chiến lược khai thác các tài nguyên dùng chung này là chức năng cũng như đối tượng nghiên cứu của các hệ tin học phân tán. Trong thực tế, hệ tin học phân tán với những nguyên lý, phương pháp của nó đã và đang được nhiều người quan tâm để ứng dụng một cách hữu ích trong công việc. Nhiều nội dung lý thuyết nguyên lý của hệ tin học phân tán còn nhiều vấn đề chưa được giải quyết triệt để và đang là mục tiêu khám phá của các nhà nghiên cứu về công nghệ thông tin. Trong phạm vi của tiểu luận, với những kiến thức đã được học, tìm hiểu từ sách báo và mạng Internet, tôi xin trình bày hai nội dung: 9: Điều khiển đồng thời bằng cơ chế then cài 9:: Bài toán sử dụng bộ quản lý khoá cơ bản và những điểm cần cải tiến. Là nội dung khó, bản thân chưa có thời gian nghiên cứu sâu vì vậy hiểu biết còn nhiều hạn chế. Kính mong nhận được sự định hướng của Thầy giáo Lê Văn Sơn và các bạn cùng lớp để tôi có thể tiếp tục nghiên cứu và đạt được kết quả tốt hơn trong thời gian tới. Xin chân thành cảm ơn ! "#$%& – Khoa học máy tính K24 Quảng Bình 2/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài PHẦN I ĐIỀU KHIỂN ĐỒNG THỜI BẰNG CƠ CHẾ THEN CÀI I. Tổng quan về cơ chế then cài 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. Trong trường hợp đơn giản nhất, khi một tiến trình cần đọc hay ghi một tập tin giống như một nhiệm vụ của giao tác, thì trước tiên nó phải khoá (cài then) tập tin đó. Then cài có thể được dùng như một bộ quản lý khoá tập trung riêng lẽ, hay với một bộ quản lý khoá cục bộ trên từng máy để quản lý các tập tin cục bộ. Trong cả hai trường hợp, bộ quản lý khoá bao gồm một danh sách các tập tin bị khoá, và từ chối tất cả mọi cố gắng cài then tập tin mà tập tin đó đã thật sự bị khoá bởi một tiến trình khác. Khoá được sinh ra và được giải thoát một cách tự động bởi hệ thống các giao tác, không phụ thuộc vào hành động của lập trình viên. Sự sắp xếp cơ bản này là hạn chế quá mức và có thể được cải tiến bằng cách phân biệt khoá đọc và khoá ghi. Nếu một khoá đọc được cài đặt trên một tập tin, những khoá đọc khác được chấp nhận. Khoá đọc được cài đặt để làm chắc chắn rằng tập tin sẽ không thay đổi, nhưng nó không có lý do nào để ngăn cấm những giao tác khác không được đọc những tập tin này. Ngược lại, khi một tập tin bị khoá quyền ghi, không có bất kỳ loại khoá nào khác được chấp nhận. Như vậy, khoá đọc bị chia sẽ, nhưng khoá ghi chỉ là duy nhất. Để đơn giản, giả sử rằng một đơn vị của then cài là một tập tin hoàn chỉnh. Trong thực tế, nó có thể là một mục nhỏ, giống như một bản ghi riêng lẻ hay một trang riêng lẻ, hoặc có thể là một mục lớn, giống như một cơ sở dữ liệu hoàn chỉnh. Vấn đề về độ quy mô của mục để khoá được gọi là tính chất của then cài. +; Bằng cách không cần đánh dấu một tiến trình mà tiến trình đó muốn dùng phần cuối cùng của tập tin chỉ bởi vì có một vài tiến trình khác đang sử dụng phần đầu. Nói theo cách khác, 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. "#$%& – Khoa học máy tính K24 Quảng Bình 3/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài II. Cơ chế then cài Một giao dịch nào đó đang thực hiện phép then cài trên một đối tượng muốn dành quyền sử dụng đối tượng này theo một vài kiểu truy cập nhất định. Cơ chế then cài gán hay không gán quyền truy cập này căn cứ vào qui tắc tiền định như loại trừ tương hỗ, luật đọc – hiệu chỉnh thông tin… Nếu quyền được thừa nhận thì đối tượng bị cài then bởi giao dịch. Nếu không, tiến trình thực hiện giao dịch bị khóa và đối tượng không bị cài then. Cơ chế then cài cho phép một giao dịch có thể giải phóng đối tượng mà nó đã cài then. 5<)=%>? 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. 1<@A #BCD Các quy tắc truy cập đối tượng được chú ý. Đó là tính hợp thức của việc truy cập. Nội dung của quy tắc này như sau: 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 cài then một đối tượng trước khi việc sử dụng nó có hiệu lực. "#$%& – Khoa học máy tính K24 Quảng Bình 4/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Một giao dịch có thể thực hiện ba hàm nguyên thuỷ trên đối tượng e: STT Tên hàm Thuyết minh 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ó đượ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. Các then cài được sử dụng để hạn chế một lớp các trật tự hoá có khả năng được thực hiện. 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. EF 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. "#$%& – Khoa học máy tính K24 Quảng Bình 5/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài 7<#)G1'# 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. Toàn bộ trật tự hoá hợp thức của một tập hợp các giao dịch hình thành tốt hai pha là gắn bó, có nghĩa là cùng hiệu ứng với trật tự hoá tuần tự. Ngược lại, nếu các giao dịch của một tập hợp không phải là hình thành tốt và ở hai pha thì có thể xây dựng các trật tự hoá hợp thức của M là không gắn bó. Để hiểu rõ hơn, ta xem xét các ví dụ sau: +;5Hãy truy cập vào tập hợp các đối tượng. Giả sử rằng ta muốn đọc các giá trị của một tập hợp các đối tượng và quy ước rằng các giá trị này kiểm tra các ràng buộc toàn vẹn. Lúc này, ta cần phải cài then theo kiểu chia sẽ cho mỗi một đối tượng trước khi đọc, mở then diễn ra ở cuối của giao dịch này. Một phép như vậy gọi là đọc gắn bó của tập hợp các đối tượng. Như thế, giao dịch được thể hiện như sau: là giao dịch đọc gắn bó của tập hợp {a,b,c}. "#$%& – Khoa học máy tính K24 Quảng Bình 6/29 v_doc(a) v_doc(b) doc(a) doc(b) v_doc(c) Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Ví dụ 2: Quản lý các tài khoản trong một ngân hàng. Mỗi một người mở tài khoản tại ngân hàng sẽ được lưu trữ trong một bản ghi của cơ sở dữ liệu. Các trường của bản ghi này bao gồm họ và tên, địa chỉ, điện thoại và một khoá duy nhất (mã số) cho người đó. Mã số đóng vai trò con trỏ đến cơ sở dữ liệu khác chứa các lần thu tiền vào và rút tiền ra từ tài khoản. Cuối cùng, chúng ta phải có cơ sở dữ liệu chứa số dư. Số dư là số tiền có trong tài khoản ở thời điểm xem xét của từng người gửi tiền. Trạng thái của số dư trong tài khoản được khống chế ở mức xác định, ví dụ như số dư không được ≤ N cho trước. Điều đó cũng đồng nghĩa với việc đảm bảo trong tài khoản của người sủ dụng không bao giờ có giá trị bằng 0 hay giá trị âm. Bây giờ chúng ta hãy nghiên cứu vấn đề quản lý truy cập thông tin tài khoản cho phép đảm bảo được tính gắn bó. Sau đây là hai kiểu mô tả khác nhau của giao dịch T và một kiểu mô tả có thể của giao dịch U: Giao dịch T 1 Giao dịch T 2 Giao dịch U v_viet(A) A:= A - P 1 giai_phong(A) v_viet(B) B:= B + P 1 giai_phong(B) v_viet(A) A:= A – P 2 v_viet(B) giai_phong(A) B:= B + P 2 giai_phong(B) v_viet(A) A:= (1+t)*A v_viet(B) B:= (1+t)*B giai_phong(B) giai_phong(A) Ta kiểm tra rằng tất cả các giao dịch đều là hình thành tốt và T 2 và U đều ở hai pha và T 1 không có hai pha. "#$%& – Khoa học máy tính K24 Quảng Bình 7/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Sau đây là hai trật tự hoá hợp thức S 1 và S 2 xuất phát từ việc thực hiện song song của T 1 và U và T 2 và U 2 . S 1 (T 1 ,U) S 2 (T 2 ,U) T 11 : v_viet(A) T 12 : A:= A – P 1 T 13 : giai_phong(A) U 1 : v_viet(A) U 2 : A:= (1+t)*A U 3 : v_viet(B) U 4 : B:= (1+t)*B U 5 : giai_phong(B) T 14 : v_viet(B) T 15 : B:= B + P 1 U 6 : giai_phong(A) T 16 : giai_phong(B) T 21 : v_viet(A) T 22 : A:= A – P 2 T 23 : v_viet(B) T 24 : giai_phong(A) U 1 : v_viet(A) U 2 : A:= (1+t)*A T 25 : B:= B + P 2 T 26 : giai_phong(B) U 3 : v_viet(B) U 4 : B:= (1+t)*B U 5 : giai_phong(B) U 6 : giai_phong(A) Như vậy, ta kiểm tra rằng S 1 dẫn đến trạng thái không gắn bó, U thực hiện trên các giá trị không gắn bó của B và rằng S 2 là tương đương với trật tự hoá tuần tự S 2 (T 2 ,U). "#$%& – Khoa học máy tính K24 Quảng Bình 8/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài PHẦN II SỬ DỤNG BỘ QUẢN LÝ KHÓA CƠ BẢN VÀ NHỮNG ĐIỂM CẦN CẢI TIẾN I. Tổng quan Như đã nói ở phần trên, điều khiển đồng thời giải quyết các tính chất biệt lập và nhất quán của giao dịch. Cơ chế điều khiển đồng thời phân tán của một hệ quản trị cơ sở dữ liệu phân tán bảo đảm rằng tính nhất quán của cơ sở dữ liệu sẽ được duy trì trong môi trường phân tán nhiều người dùng. Nếu các giao dịch đã nhất quán nội tại (nghĩa là không vi phạm bất kỳ ràng buộc nhất quán nào), thế thì để có thể đạt được mục tiêu này, cách đơn giản nhất là thực hiện lần lượt từng giao dịch một. Rõ ràng một chọn lựa như thế chỉ đáng chú ý về mặt lý thuyết và không được cài đặt trong bất kỳ một hệ thống thực sự nào bởi vì nó làm giảm thiểu lưu lượng hệ thống. Mức độ đồng thời có lẽ là một tham số quan trọng nhất trong các hệ phân tán. Do vậy, cơ chế điều khiển đồng thời cố gắng tìm ra một phương án thích hợp, vừa duy trì được tính nhất quán của cơ sở dữ liệu, vừa duy trì được mức độ đồng thời cao. Các bộ phận quản lý thực hiện một giao dịch của Hệ quản trị CSDL Hình 1: Các bộ phận quản lý thực hiện giao dịch "#$%& – Khoa học máy tính K24 Quảng Bình 9/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Trong đó: Transactions: Các giao dịch; Transaction manager: Bộ quản lý giao dịch Scheduler: Bộ lập lịch Data Manager: Bộ quản lý dữ liệu BEGIN_TRANSACTION, END_TRANSACTION: bắt đầu và kết thúc giao dịch Timestamp: Dấu thời gian LOCK/Release: Khóa/Giải phóng Các bộ phận quản lý thực hiện các giao dịch phân tán của hệ quản trị CSDL phân tán. Hình 2: Các bộ phận quản lý thực hiện giao dịch phân tán Trước hết, chúng ta xem lại định nghĩa tính khả tuần tự một cách hình thức: Một lịch biểu S được gọi là khả tuần tự nếu và chỉ nếu nó tương đương tương tranh với một lịch biểu tuần tự. Tính khả tuần tự được định nghĩa như thế cũng được gọi là khả tuần tự theo tương tranh bởi vì nó được định nghĩa theo sự tương đương tương tranh. Từ đó, chúng ta có thể chỉ ra rằng chức năng cơ bản của bộ phận điều khiển đồng thời là tạo ra một lịch biểu khả tuần tự để thực hiện các giao dịch đang chờ. "#$%& – Khoa học máy tính K24 Quảng Bình 10/29 [...]... học máy tính K24 Quảng Bình 28/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài MỤC LỤC Trang bìa Lời mở đầu Trang 1 Phần I: Điều khiển đồng thời bằng cơ chế then cài Trang 2 I Tổng quan về cơ chế then cài Trang 2 II Cơ chế then cài Trang 3 1 Loại trừ tương hỗ Trang 3 2 Then cài chọn lựa các đối tượng Trang 3 3 Giao dịch 2 pha Trang 5 Phần II: Sử dụng bộ quản lý khóa cơ bản Trang 8 I Tổng... phép toán trong SOP do gởi mỗi thao tác đến bộ xử lý dữ liệu end-for end-if end end-case until forever End {Basic LM} III Những điểm cần cải tiến của bộ quản lý Khóa cơ bản Thuật toán khóa được cho trong Thuật toán 1 được trình bày ở trên không đồng bộ hoá chính xác các thực thi giao dịch Điều này là do khi tạo ra các lịch biểu khả tuần tự, các thao tác khóa và giải phóng khóa cũng cần phải được điều. .. quá thời gian Timeout thì hủy bỏ giao tác hoặc thực hiện thuật toán kiểm tra bế tắc + Sắp xếp các mục dữ liệu và truy xuất chúng theo một thứ tự nhất định + Giảm bớt việc đồng hành các giao tác Lê Nam Trung – Khoa học máy tính K24 Quảng Bình 26/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài KẾT LUẬN Thông tin được trình bày với mục tiêu tìm hiểu vấn đề điều khiển đồng bộ bằng cơ chế then cài. .. trong bảng sau: RLi(x) WLi(x) RLi(x) Tương thích Không tương thích WLi(x) Không tương thích Không tương thích Những quy tắc quản lý và sử dụng khoá: Lê Nam Trung – Khoa học máy tính K24 Quảng Bình 12/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Qui tắc 1: Khi nhận được một thao tác pi[x] từ bộ quản lý giao tác (Transaction Manager, TM), bộ xếp lịch kiểm tra nếu pli[x] đụng độ với một vài... lên x, giao tác phải khóa mục x ( khóa do ghi) Lê Nam Trung – Khoa học máy tính K24 Quảng Bình 18/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài Quá trình cấp phát và thu hồi khóa được thể hiện ở biểu đồ khoá 2PL sau: Giai đoạn tăng trưởng Giai đoạn thu hồi Hình 3: Biểu đồ Khóa 2PL Hình trên cho thấy bộ quản lý khóa giải phóng khóa ngay sau khi hoàn tất việc truy xuất Điều này cho phép các... 3; Bất hợp lệ II Sử dụng bộ quản lý khóa cơ bản 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 Điều này được thực hiện bằng cách liên kết... với những lệnh truy xuất trên x khác, đã được bộ lập lịch cấp khóa ƒ Nếu nó tranh chấp, lệnh Oper(T,x) bị bị trì hoãn ƒ Nếu không tranh chấp, bộ lập lịch sẽ cấp 1 khóa cho x và gửi lệnh này đến bộ quản lý dữ liệu Bộ lập lịch sẽ không giải phóng khóa cho đến khi bộ quản lý dữ liệu đã thực hiện xong lệnh Oper(T,x) Lê Nam Trung – Khoa học máy tính K24 Quảng Bình 19/29 Hệ Phân tán – Điều khiển đồng thời bằng. .. trước khi khóa được giải phóng Bộ quản lý khoá 2PL nghiêm ngặt chỉ sửa lại một ít trong Thuật toán 1 Thực sự chỉ cần sửa đổi phần xử lý các hồi đáp từ bộ xử lý dữ liệu nhằm đảm bảo rằng các khoá chỉ được giải phóng nếu thao tác là uỷ thác hoặc huỷ bỏ Toàn bộ thuật toán 2PL nghiêm ngặt được trình bày trong Thuật toán 2, thuật toán quản lý giao dịch để xếp lịch theo 2PL được trình bày trong Thuật toán 3... tính K24 Quảng Bình 14/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài {Thuật toán 1 Bộ quản lý khoá cơ bản (Basic LM)} Declare-var msg : Message dop : Dbop Op : Operaeion x : Dataltem T : TransactionId pm : Dpmsg res : Dataval SOP : Opset Begin repeat WAIT(msg) case of msg Dbop: begin Op ← dop.opn x ← dop.da ta T ← dop.tid case of Op Begin-transaction: begin gởi dop đến bộ xử lý dữ liệu... cài và bài toán sử dụng bộ quản lý khoá cơ bản chỉ dừng lại ở phương diện nghiên cứu nguyên lý, phương pháp kỹ thuật giải quyết các vấn đề đó Qua đó đã giúp cho tôi nắm bắt cơ bản được việc truy cập thông tin chung, trong đó đặc biệt là việc truy cập không thể tiến hành theo một trình tự ngẫu nhiên được Nguyên do cơ bản của vấn đề này chính là vấn đề bế tắc và gắn bó dữ liệu Nắm bắt được phương pháp quản . – Điều khiển đồng thời bằng cơ chế then cài ĐẠI HỌC ĐÀ NẴNG BÁO CÁO MÔN HỌC HỆ TIN HỌC PHÂN TÁN  ĐIỀU KHIỂN ĐỒNG THỜI BẰNG CƠ CHẾ THEN CÀI VÀ BÀI TOÁN SỬ DỤNG BỘ QUẢN LÝ KHÓA CƠ BẢN VÀ NHỮNG. hai nội dung: 9: Điều khiển đồng thời bằng cơ chế then cài 9:: Bài toán sử dụng bộ quản lý khoá cơ bản và những điểm cần cải tiến. Là nội dung khó, bản thân chưa có thời gian nghiên cứu. Khoa học máy tính K24 Quảng Bình 2/29 Hệ Phân tán – Điều khiển đồng thời bằng cơ chế then cài PHẦN I ĐIỀU KHIỂN ĐỒNG THỜI BẰNG CƠ CHẾ THEN CÀI I. Tổng quan về cơ chế then cài Khi có nhiều giao