CÁC BIỂU THỨC SONG SONG và PHÂN tán TRONG các NGÔN NGỮ THUẬT TOÁN các điểm cải TIẾN CHỦ yếu để THUẬT TOÁN LAMPORT HOẠT ĐỘNG NHANH hơn

Tiểu luận Hệ phân tán LỜI NÓI ĐẦU Trong tất hệ thống tin học, cần cung cấp chế đồng hóa tiến trình để bảo đảm hoạt động tiến trình đồng hành khơng tác động sai lệch đến hai lý sau đây: + Nhìn chung, tiến trình kể tiến trình xuất phát từ ứng dụng độc lập muốn truy cập vào tài nguyên với số lượng vốn hạn chế hay truy cập vào thông tin dùng chung lúc Trường hợp gọi truy cập tương tranh Tương tranh nguyên nhân xung đột tiến trình muốn truy cập vào tài nguyên dùng chung + Các tiến trình hệ ứng dụng hoạt động theo kiểu hợp lực để giải toán đặt cho kết nhanh chóng Điều cho phép tăng hiệu sử dụng thiết bị hiệu hoạt động chương trình Hợp lực ngun nhân tác động tương hỗ lập trình tiến trình nhằm cho phép chúng tham gia vào hành động chung Sự tương tranh hợp lực tiến trình địi hỏi phải có trao đổi thơng điệp qua lại với Trong hệ thống tập trung, điều thực nhờ thuật tốn loại bỏ tương hỗ thông qua biến tác động vùng nhớ chung Trong hệ tin học phân tán, thông tin cần trao đổi thông qua kênh thuộc hệ thống viễn thông Trong khuôn khổ phần tiểu luận này, em xin trình bày số khía cạnh sau: + Phần 1: Các biểu thức song song phân tán ngơn ngữ thuật tốn + Phần 2: Thuật toán đồng đồng hồ lôgic [Lamport] điểm cải tiến chủ yếu để thuật tốn Lamport hoạt động nhanh Trong q trình trình bày tiểu luận chắn có nhiều sai sót Kính mong bảo tận tình thầy hướng dẫn Xin trân trọng cảm ơn thầy PGS.TS Lê Văn Sơn cung cấp kiến thức, tài liệu để em hoàn thành tiểu luận Võ Minh Tiến Tiểu luận Hệ phân tán CHƯƠNG I TỔNG QUAN VỀ HỆ PHÂN TÁN I.1 Hệ phân tán (Distributed System): Hệ tin học phân tán hệ thống đa dạng, nhiều thành phần phức tạp mặt cấu trúc, vùng tri thức đại chuyên gia công nghệ thông tin đặc biệt quan tâm nghiên cứu đổi cách nhanh chóng Trong điều kiện đó, đứng quan điểm khác người ta đưa định nghĩa khác hệ phân tán sau: Theo định nghĩa Andrew Tanenbanum: Hệ phân tán tập hợp máy tính độc lập mà xuất người sử dụng máy tính đơn Với đặc điểm:  Nhiều phận  Kết nối thông qua mạng truyền thơng  Chia sẻ tài ngun Hình 1.1 Ví dụ hệ phân tán - Một Intranet tiêu biểu Nói chung, định nghĩa phổ biến đầy đủ hệ phân tán trình bày tài liệu [1] sau: “Hệ tin học phân tán hay nói ngắn gọn hệ phân tán (Distributed System) hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác liên kết với thông qua phương tiện viễn thông điều khiển thống hệ điều hành.” Mục tiêu hệ phân tán:  Tăng tốc độ bình qn tính tốn, xử lý  Cải thiện tình trạng luôn sẵn sàng loại tài nguyên  Tăng độ an toàn cho liệu  Đa dạng hóa loại hình dịch vụ tin học  Đảm bảo tính tồn vẹn thơng tin Võ Minh Tiến Tiểu luận Hệ phân tán I.2 Các mô hình hệ phân tán: I.2.1 Các lớp dịch vụ phần mềm phần cứng: Các lớp phần mềm: Kiến trúc phần mềm: cấu trúc phần mềm lớp module thuật ngữ dịch vụ đưa yêu cầu tiến trình trên máy tính khác Platform (hệ nền): phần cứng mức thấp lớp phần mềm (hệ điều hành) Middleware: lớp phần mềm mà mục đích đánh dấu heterogeneity để cung cấp mơ hình lập trình cho ứng dụng, như: CORBA, RMI (Remote Method Invocation), DCOM (Distributed Component Object Model), I.2.2 Kiến trúc hệ thống phân tán: 1.Mơ hình Client/Server: Một WebServer thường client File Server cục Các WebServer Server Internet khác client DNS Server mà dịch tên miền Internet thành địa mạng Một máy tìm kiếm Server, chạy chương trình gọi Web Crawlers mà truy cập Web server thông qua Internet cho thông tin yêu cầu  Dịch vụ cung cấp nhiều server: Võ Minh Tiến Tiểu luận Hệ phân tán Nhiều Server có thể:  Mỗi phần tập hợp đối tượng  Duy trì copy tồn tập hợp đối tượng vài máy  Ví dụ Web Proxy Server: Web Proxy Server cung cấp nhớ cache chia xẻ cho máy client site băng qua vài site khác 2.Mơ hình tương tác hệ phân tán:  Thực truyền thơng:  Sự tiềm ẩn (Latency): Sự trì hỗn lan truyền: thời gian cần thiết để bit thơng điệp truyền đến đích • Sự trì hỗn truyền: khoảng thời gian truyền bit bit sau thông điệp • Sự trì hỗn xử lý: thời gian cần để hệ điều hành xử lý/gữi/nhận thơng điệp • Sự trì hỗn xếp hàng: thời gian cần để thông điệp xếp hàng cuối máy chủ node trung gian đợi để truyền •  Băng thơng (bandwidth): Tổng số thơng tin truyền thời gian cho Võ Minh Tiến Tiểu luận Hệ phân tán  Sự biến đống tạp (Jitter): thời gian khác trì hỗn ảnh hưởng thơng điệp khác  Đồng hồ thứ tự kiện:  Khơng có khái niệm tồn cục thời gian  Nhịp độ đồng hồ trôi: nhịp độ tương đối đồng hồ máy tính trơi dạt khỏi từ đồng hồ tham chiếu hoàn hảo  Đồng hóa đồng hồ:  Hệ thống định vị tồn cầu (GPS): máy tính sử dụng máy thu radio để nhận thời gian đọc từ GPS với độ xác micro-giây Chúng gửi thơng điệp thời gian đến máy tính khác mạng tương ứng chúng  Các đồng hồ logic: thơng điệp thời gian đóng dấu lên với số nối tiếp mà phản chiếu thứ tự lôgic chúng Võ Minh Tiến Tiểu luận Hệ phân tán CHƯƠNG II CÁC BIỂU THỨC SONG SONG VÀ PHÂN TÁN TRONG NGƠN NGỮ THUẬT TỐN II.1 Giới thiệu: Để thực tính tốn song song, phân tán số ngôn ngữ đưa cách triển khai thực khác nhau, nói chung chia thành hai nhóm: Một số ngơn ngữ cho phép lập trình ứng dụng với tư cách thực song song hồn tồn khơng quan tâm đến vấn đề triển khai ứng dụng hệ tập trung hay hệ phân tán Các ngôn ngữ triển khai cấu trúc kiểm tra có tính chất thủ tục Mặc dù có số hạn chế song chúng triển khai hệ phân tán Một số ngôn ngữ khác cho phép triển khai tường minh công việc phân tán Chúng cho phép tạo quan hệ cần thiết từ trạm đến trạm khác hệ phân tán II.2 Biểu thức song song ngôn ngữ: Hai ngôn ngữ phổ biến cho phép thực tính tốn song song CSP (Communication Sequential Processes) ADA, phương tiện định nghĩa tiến trình thực trao đổi thơng tin chúng với Hai ngôn ngữ cho phép phân đoạn liệu ứng dụng thành tập hợp độc lập với Việc quản lý tập hợp thực nhờ tiến trình độc lập Cả hai ngơn ngữ có đặc tính chung sau:  Sự liên thơng hai tiến trình không cần đặt lại cho tồn biến toàn cục  Các chế cho việc đồng hóa sơ đẳng “cuộc gặp gỡ” hệ CSP, “điểm vào” ADA thường gần giống  Các cấu trúc mô tạo thuận lợi cho tiên trình thể việc chờ tương đối đồng có điều kiện phù hợp với hai khả  Các nguyên lý khác cho ta khả lựa chọn cấu trúc thể quan hệ tiến trình công cụ song song cho phép truy cập đến liệu  Trong hệ CSP, quan hệ đồng hóa tiến trình thể tường minh trao đổi thông điệp Ngược lại, hệ ADA, tiến trình P1 truy cập vào liệu cục tiến trình P2 khác cách sử dụng hàm nguyên thủy mà hiệu ứng việc thực thủ tục Các đồng hóa thực tế (tùy vào tình hình) thể P2 nhờ cấu trúc thích hợp  Trong hệ CSP, số lượng lai lịch tiến trình định nghĩa theo kiểu tĩnh Một liệu truy cập tiến trình có nhiệm vụ quản lý rõ ràng, ADA cho phép nhiều tiến trình truy cập đến liệu (việc kiểm sốt liệu giao cho tiến trình đặc biệt) Dưới sâu nghiên cứu cách sơ lược hai ngơn ngữ để nắm cách thức làm việc biểu thức song song ngơn ngữ thuật tốn nói chung Võ Minh Tiến Tiểu luận Hệ phân tán II.2.1 Ngôn ngữ CSP: Ngôn ngữ CSP cho phép lập chương trình ứng dụng dạng số lượng tiến trình cố định Các tiến trình phối hợp với nhờ phép toán liên lạc kiểu “cuộc gặp gở” Một chương trình bao gồm tập hợp tiến trình thể dạng sau: [ || || || ] Trong đó, dựa vào liên hợp tên với mã chương trình nguồn tiến trình: Name:: Ở biến tồn cục bị cấm sử dụng Các tiến trình cần phải có hai hàm nguyên thủy để trao đổi Đó gửi (phép ra) nhận (phép vào) thông điệp Mỗi tiến trình cần phải định danh tường minh người đối thoại (đối tác) thơng điệp kiểu Các vào-ra điển hình đảm bảo tiến trình định nghĩa trước phối hợp với ngoại vi mắc nối Để gửi thông điệp cho tiến trình Q, tiến trình P phải sử dụng lệnh có dạng sau: Q! Việc tiếp nhận thông điệp Q, tiến hành thông qua lệnh có dạng sau: P? Ta lưu ý hai lệnh địi hỏi phải có trao đổi Đương nhiên để trao đổi tiến hành cần phải có điều kiện (cuộc gặp gỡ) có nghĩa trạm nhận cần phải thực lệnh vào tương ứng với lệnh trạm phát định dạng thông điệp phải hai bên hiểu rõ ràng Nói cách khác, bên phát chuyển vào trạng thái chờ đợi thích hợp Ta phải có thơng điệp cấu trúc hóa ví dụ chuyển hai giá trị ngun thể sau: Q!(4, 5) P P!(i, j) Q Việc kiểm tra chặt chẻ lại lịch người đối thoại kiểu thông điệp trao đổi tiến hành thử hiệu chỉnh dịch chương trình Ngược lại, việc kiểm tra lại việc bắt buộc người lập trình  Ví dụ: Ví dụ nhằm giúp thể việc đợi thơng điệp từ tập hợp tiến trình Một cấu trúc thú vị phát biểu bảo vệ tài liệu Dijkstra cho phép mô tả khả chờ đợi theo kiểu tương tự cơng việc cần lựa chọn Một phát biểu bảo vệ thể lựa chọn tiến trình xử lý vào giá trị điều kiện gọi bảo vệ (garde) Trong bảo vệ xuất biểu thức logic lệnh nhận thông điệp Một bảo vệ thay đổi, biểu thức logic chứa thay đổi thông điệp tương ứng kiểu chờ tiếp nhận Việc thực phát biểu Võ Minh Tiến Tiểu luận Hệ phân tán bảo vệ tương ứng với việc thực xử lý lựa chọn ngẫu nhiên chúng mà có giá trị true Khi bảo vệ nhận giá trị false, ta chuyển sang trạng thái chờ nhận thông điệp; bảo vệ chứa phép tốn “nhận” chương trình bị sai Phát biểu bảo vệ thể dạng sau: [  T1  T2 ] Bảo vệ cấu trúc sử dụng theo kiểu lặp lại thể sau: *[ ] Việc lặp lại dừng tất bảo vệ nhận giá trị false  Ví dụ 1: Giả sử hai biến X Y có kiểu tương ứng T1 T2 chương trình viết sau: [P:: || Q(I: 10):: || R:: ] Trong đó, khái niệm Q(I: 10) cho phép khai báo 10 tiến trình Q(1), Q(2), , Q(10) nguồn Ta xem xét phát biểu sau R, nơi mà biến Z khai báo: [P?X  T1 Z=0; P?Y  T2 (J: 10) Q(j)?X  T3(J) ] có nghĩa ta đợi thơng điệp kiểu X từ tiến trình P biến Z nhận giá trị thơng điệp loại Y từ P cịn thơng điệp kiểu X đến từ 10 tiến trình Q(j) Dựa theo chất thông điệp nhận giá trị Z, R thực phát biểu T1 hay T2 hay T3(j) Nếu có nhiều thơng điệp chấp nhận sẵn sàng, R chọn theo kiểu ngẫu nhiên Ngược lại khơng có thơng điệp cả, R chuyển sang trạng thái treo II.2.2 Ngơn ngữ ADA: Chúng ta tìm hiểu ngơn ngữ ADA cách tổng quát, cách mô (giả ADA) để hiểu sâu cách thức làm việc Thơng qua ngơn ngữ người ta phân rã chương trình thành tập hợp tiến trình song song mà tiến trình ta gọi hoạt động chia xẻ biến toàn cục Số lượng tiến trình phát triển động trao đổi tiến hành nhờ vào việc gọi thực thủ tục hay “điểm vào” Hoạt động: Theo ADA, họat động định nghĩa tĩnh, việc thực lại động nhờ vào lệnh khởi từ đầu: Võ Minh Tiến Tiểu luận Hệ phân tán  Các liệu cục  Các thủ tục cho phép truy cập vào liệu cục  Một chương trình hay thân họat động thực lệnh khởi từ đầu Các liệu cục họat động không truy cập hoạt động khác, chúng lại gọi vài thủ tục thực nhiệm vụ chương trình gọi phản ánh sau: Khai báo T1 Thực T2 Khai báo T2 Thực T1 Quá trình trao đổi từ xa bắt đầu tiến trình T1 Thân họat động T1 T2.P(X) Dữ liệu D Thủ tục P Bản hoạt động T2 Các đường chấm trình thực từ xa Hình 2.1.Thực chương trình từ xa ADA Điểm vào: Trong q trình thực hiện, hai họat động trao đổi thông tin với hay vào theo kiểu cạnh tranh để truy cập liệu Trong ví dụ trên, T1 thực P, vào xung đột với T2 để truy cập vào liệu D Thực tế T2 hành động kiểm tra để kiểm tra việc truy cập vào D Tất hành động D thực song song xác định thủ tục Ngược lại, hành động theo kiểu loại trừ tương hỗ thực trực tiếp T2; chúng xác định điểm vào Trong họat động khai báo vào giống phần đầu khai báo thủ tục Như thế, T2 ta có phần khai báo sau: Thực thể E (X:nguyên; Y:out nguyên) Có nghĩa E (thực thể) vào với hai tham số kiểu nguyên; tham số thứ hai thay đổi Ta tìm thấy hoạt động khác, ví dụ T1 lời gọi có dạng T 2.E(4, Z) Quan sát từ bên ngồi ta có nhận xét T1, việc gọi gọi thủ tục; T1 chuyển sang lệnh tiếp theo, việc xử lý tương ứng với E, cách sử dụng Z, thực Giá trị Z tham số thay đổi Thực tế, vịêc xử lý thực T2 lệnh đặc biệt chấp nhận (Accept) Lệnh thể sau: Chấp nhận E(X:in nguyên; Y:out nguyên) Y:=X+1 Chấm dứt Võ Minh Tiến Tiểu luận Hệ phân tán Chừng lệnh gọi vào không thực hiện, lệnh chấp nhận lệnh treo Ngược lại, gọi vào treo hoạt động thực họat động mà vào kết thúc việc thực lệnh chấp nhận tương ứng với vào khai báo có nghĩa thực lệnh end phối hợp với chấp nhận Để vào, ta tìm thấy nhiều lệnh chấp nhận; điều cho phép nhiều xử lý khác Cuối cùng, việc xử lý bị bỏ sót thiếu end chẳng hạn Điều tương ứng với việc thực “cuộc gặp gở” hệ CSP 3.Chờ bội: ADA ngôn ngữ cho khả chờ không hạn định lời gọi nhiều lời gọi cho phép  Vidụ: phát biểu sau: Lựa chọn Chấp nhận X( ) thực P1 kết thúc TL1 Chừng C1 => accept Y( ) thực T2 kết thúc TL2 Kết thúc Chỉ rằng: 1.Nếu C1 nhận giá trị false, chờ lời gọi từ X 2.Nếu C1 nhận giá trị true, chờ bội lời gọi từ X hay từ Y Trong trường hợp sau cùng, khơng có lời gọi từ X hay từ Y tiến hành họat động thực lệnh lựa chọn bị treo; phải chấp nhận lời gọi số hai “chờ” nêu Mỗi việc chọn lựa bấp bênh (aleatoire) Việc xử lý nhánh phân định thành hai phần từ khóa kết thúc T i TLi; q trình Ti hoạt động gọi trạng thái chờ TLi, thực cơng việc theo kiểu song song Cần lưu ý xử lý Ti TLi dãy phát biểu chứa lựa chọn chấp nhận 4.Kết luận: Ngôn ngữ giả định ADA vừa trình bày vận dụng để triển khai kiến trúc phân tán Việc biên dịch tách biệt cho tiến trình hay hoạt động điều hồn tồn làm Việc phiên dịch thực hiện, nhờ vào phép gửi nhận thông điệp, cho phép thực công việc trao đổi CSP lời gọi thủ tục hay điểm vào ADA Trong ví dụ chọn, mặt tĩnh việc xác định tiến trình CSP địi hỏi thành lập số tiến trình truy vấn số tiến trình hội thoại Trong ADA việc thành lập tiến trình diễn gọi thủ tục truy vấn tồn suốt thời gian truy vấn Võ Minh Tiến 10 Tiểu luận Hệ phân tán Do vậy, số lượng tiến trình số nhu cầu Nếu số lượng q lớn, địi hỏi phải tiếp tục nghiên cứu áp dụng hình thức đương nhiên phải khác với chương trình II.3 Biểu thức phân tán ngơn ngữ thuật tốn: Sự phân tán thông thường suốt người sử dụng có nghĩa thân người sử dụng không quan sát diễn biến bên hệ Thậm chí có việc họ hồn tồn khơng hay biết Về mặt kỹ thuật nhiều trường hợp thiết kế, hệ cho phép cất dấu kỹ tồn trạm cách cho ví dụ khả địa hóa đồng nhất, truy cập từ xa dường kiểu với truy cập cục Trong đó, có vài trường hợp mà người sử dụng có kiến thức kiến trúc hệ mà làm việc ngơn ngữ , mà anh phải sử dụng để lập chương trình Ta coi ngơn ngữ trường hợp đặc biệt việc lập trình cho hệ tin học phân tán II.3.1 Ngôn ngữ triển khai: Các ngôn ngữ thường sử dụng chun viên máy tính đảm trách cơng tác tổ chức, khai thác mạng vận hành hệ điều hành lớn Xét cách tổng quát, ngơn ngữ có chức chủ yếu sau: STT Chức Thành lập cấu hình ban đầu gọi cấu hình khởi Thay đổi cấu hình hệ cách thêm vào hay bớt thành phần Thực công tác kiểm soát thành phần khác hệ họat động Ví dụ: Hệ thống SNA IBM thành lập ngơn ngữ thuộc loại này, ta trích vài lệnh sau: Hình thành kênh liên lạc: Activate link , Nối kết với thành phần vật lý như: Activate physical unit , , , , II.3.2 Ngôn ngữ lệnh cho mạng: Loại ngơn ngữ cho phép người lập chương trình lựa chọn địa điểm thực chương trình nơi đặt kết thực chương trình Võ Minh Tiến 11 Tiểu luận Hệ phân tán Chọn lựa nơi thực chương trình thực chất chọn lựa xử lý thực Việc chọn lựa nơi đặt kết cho phép ta chuyển trực tiếp liệu đến nơi xa có nhu cầu II.3.3 Ngơn ngữ lập trình kiến trúc phân tán: Các ngơn ngữ cho phép mơ tả chương trình điểm đặc biệt kiến trúc phân tán Ví dụ: Ngơn ngữ loại CLU [Liskov 77] cho phép mô tả trạm bao gồm xử lý nhớ liên thông với thông qua trao đổi II.3.4 Kết luận Như biết, ứng dụng phân tán thông thường phức tạp phải chia thành nhiều mức khác Tại mức, có nhiều vấn đề đặt cần phải giải Một vấn đề quan trọng ta cần phải lựa chọn ngơn ngữ q trình lập chương trình với phụ thuộc vào cấu trúc vật lý việc phân tán Trong tất trường hợp, người lập chương trình phân tán cần phải xem xét số lượng tiến trình song song phối hợp chúng lại với hợp lý Để triển khai tiến trình này, cần phải có khả cho thực trạm liên thông trạm lại với Võ Minh Tiến 12 Tiểu luận Hệ phân tán CHƯƠNG III ĐỒNG BỘ HÓA THỜI GIAN TRONG HỆ PHÂN TÁN III.1 Thời gian thứ tự kiện hệ phân tán: III.1.1 Tiến trình kiện:  Trong hệ phân tán gồm nhiều tiến trình (process) hoạt động Mỗi tiến trình có trạng thái (giá trị biến) Trong qúa trình hoạt động tiến trình thay đổi trạng thái liên lạc với (gữi/nhận thông điệp)  Một kiện (Event) xảy hành động Các kiện tiến trình đặt (xếp thứ tự) thời gian mà xảy Trong hệ phân tán cần biết thứ tự thời gian kiện xử lý khác tiến trình khác Khái niệm kiện xảy trước kiện khác hệ phân tán kiểm tra, để định nghĩa thành phần thứ tự kiện Một thuật toán phân tán đưa để đồng hóa hệ thống đồng hồ logic, sử dụng để định tổng thứ tự kiện Việc sử dụng tổng thứ tự minh họa với phương pháp cho việc giải vấn đề đồng hóa Các thuật tốn đặc trưng để đồng hóa đồng hồ vật lý, giới hạn xuất phát từ đồng đồng hồ trở nên khơng cịn phù hợp Khái niệm thời gian cách suy nghĩ chúng ta, xuất phát từ nhiều khái niệm sở thứ tự kiện xảy Chúng ta nói xảy vào lúc 3h15’nếu xuất sau đồng hồ đọc 3h15’ trước đọc 3h16’ Khái niệm thứ tự theo thời gian kiện thâm nhập vào suy nghĩ hệ thống Chẳng hạn hệ thống đặt vé máy bay nên đảm bảo thực trước chuyến bay bị đầy Tuy nhiên thấy khái niệm phải xem xét lại cẩn thận kiện quan tâm hệ phân tán Hầu hết người nói kiện a xảy trước kiện b a xuất thời điểm sớm b Họ biện minh định nghĩa giới hạn lý thuyết thời gian vật lý Tuy nhiên, hệ thống gặp định xác, định phải đưa giới hạn kiện tuân theo hệ thống Nếu định giới hạn thời gian vật lý, hệ thống phải chứa đồng hồ thực Thậm chí chứa đồng hồ thực sự, cịn có vấn đề đồng hồ khơng xác hồn hảo khơng giữ thời gian vật lý Vì thế, định nghĩa quan hệ “xảy trước” mà không dùng đồng hồ vật lý III.1.2 Đồng hồ vật lý đồng hóa:  Trong hệ phân tán, xử lý có định thời riêng (một đồng hồ riêng) Các định thời trôi theo thời gian thực nhịp khác Nhịp trôi lớn (MDR Võ Minh Tiến 13 Tiểu luận Hệ phân tán – Max Drift Rate) đồng hồ phụ thuộc vào đặc tính đồng hồ môi trường xung quanh Sự khác lớn hai đồng hồ với MDR tương tự là: 2*MDR  Đồng hóa đồng hồ vật lý: Ci(t): thời gian đọc từ phần mềm đồng hồ i thời gian thực t  Đồng hóa ngồi: Cho giới hạn đồng hóa D>0, nguồn S thời gian UTC, | S(t) – Ci(t) | < D, với i=1, 2, , n với tất thời gian thực t I Các đồng hồ Ci xác giới hạn D  Đồng hóa trong: cho giới hạn đồng hóa D>0, | C i(t) – Cj(t) | < D với i, j=1, 2, ,n với tất thời gian thực t I Các đồng hồ Ci đồng ý ranh giới D  Người ta đưa số thuật toán để đồng hóa đồng hồ vật lý:  Thuật tốn Cristian  Thuật toán Berkeley III.1.3 Đồng hồ logic:  Chúng ta quan tâm đến thời gian tương đối kiện (thứ tự chúng), định nghĩa mối quan hệ, xảy trước ():  Trên máy: ab, time(a)0, thường d=1) Và gán vector với kiện +Mỗi tiến trình gữi thông điệp m mang giá trị vector đồng hồ (vector timestamp) thời điểm gữi +Trên việc nhận thông điệp (m, vt), Pi cập nhật vector đồng hồ logic sau: 1.vti[k] = max(vti[k] , vt[k]) Với