Slide gắn bó dữ liệu trong hệ quản lý bãi đỗ xe và đưa ra giải thuật sắp xếp các message đến dựa trên đồng hồ lôgíc

BỘ GIÁO DỤC & ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG   ĐỀ TÀI Logo Vấn đề gắn bó liệu hệ quản lý bãi đỗ xe xếp message đến dựa đồng hồ logic Giảng viên hướng dẫn: PGS.TS Lê Văn Sơn Học viên thực hiện: Huỳnh Anh Tuấn NỘI DUNG CHƯƠNG I: Các khái niệm hệ tin học phân tán CHƯƠNG II: Logo Bài tốn Bãi để xe ơtơ phương pháp đảm bảo gắn bó liệu CHƯƠNG III: Sắp xếp thơng điệp đến dựa đồng hồ logíc Chương I Các khái niệm hệ tin học phân tán I.1 Tổng quan hệ tin học I.2 Hệ tập trung I.3 Hệ phân tán Logo I.1 Tổng quan hệ tin học  Bao gồm  Phần cứng  Hệ điều hành  Chương trình ứng dụng người sử dụng ………… Logo I.1 Tổng quan hệ tin học  Hệ tin học bao gồm ba thực thể:  Phần cứng  Phần mềm  Dữ liệu Logo I.2 Hệ tập trung  Hệ tin học tập trung:  Bao gồm hệ thống máy đơn  Được điều khiển hệ điều hành Logo  Và quản lý tồn thơng tin thiết bị nhớ cục I.3 Hệ phân tán  Hệ tin học phân tán  Là hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác  Được liên kết với thông qua phương tiện Logo viễn thông  Dưới điều khiển thống hệ điều hành  Hệ phân tán gồm thực thể : I.3 Hệ phân tán  Hệ phân tán có ưu điểm so với hệ tập trung: - Tăng tốc độ bình qn tính tốn xử lý - Cải thiện tình trạng ln sẵn sàng loại tài nguyên - Tăng độ an toàn cho liệu Logo - Đa dạng hóa loại hình dịch vụ tin học - Bảo đảm tính tồn vẹn thông tin I.3 Hệ phân tán  Các thao tác chuẩn hệ phân tán: - Tiếp nhận ghi yêu cầu dẫn - Dịch yêu cầu để có thơng tin cần thiết Thực số công việc hệ thống cục kiểm tra quyền truy cập thơng tin, lập hóa đơn dịch vụ Logo - Gửi kết cho hệ thống phát yêu cầu Chương II:Bài toán Bãi đỗ xe Phương pháp đảm bảo gắn bó liệu II.1 Đặt vấn đề II.2 Bài tốn bãi đỗ xe tơ Logo III.1.5 Thứ tự phận xảy trước  Xảy trước: thông tin từ kiện a ảnh hưởng đến kiện b  Nếu hai kiện khơng có kiện xảy trước chúng tương tranh, ký hiệu ║  Trong thực hiện, kiện tính a xảy trước kiện tính b, ký hiệu a → b, nếu: Logo a b xuất xử lý a xảy trước b thực xử lý đó, a gây việc gửi thông báo m b bao hàm việc nhận thông báo m, ∃ kiện tính c cho a → c c → b III.1.6 Đồng hồ vectơ - Khái niệm đồng hồ vector : Là giá trị gán cho kiện để cung cấp thông tin không nhân nhân chúng - Giá trị V(e), thuộc tập thứ tự phận, gán cho kiện e thực thỏa đáng thỏa mãn a → b ⇔ V(a) < V(b) Logo Đồng hồ vector tổng quát hóa đồng hồ logic: Các giá trị lấy từ tập thứ tự phận thay tập thứ tự tồn phần III.1.7 Giải thuật nhãn thời gian vector (vector timestamps)  Mỗi xử lý pi trì vector Vi n chiều, có giá trị ban đầu (0, , 0)  Mọi thông báo pi gửi gán nhãn thời gian giá trị thời Vi  Với kiện tính a pi Logo + Gán Vi[i] := Vi[i] + + Với thông báo pi nhận có nhãn thời gian T Cập nhật Vi[j] := max(T[j], Vi[j]) ∀ j ≠ i Nhãn thời gian vector V(a) = Vi(a) giá trị Vi a kết thúc kiện III.1.8 So sánh nhãn thời gian vector Cho V1 V2 hai vector nguyên n chiều Bằng V1 = V2 ⇔ V1[i] = V2[i] ∀ i E.g (3,2,4) = (3,2,4) Nhỏ V1 ≤ V2 ⇔ V1[i] ≤ V2[i] ∀ i Logo E.g (2,1,4) < (3,2,4) Nhỏ V1 < V2 ⇔ V1 ≤ V2 V1 ≠ V2 E.g (2,1,4) < (3,2,4) Không thể so sánh V1 ║ V2 ⇔  V1 ≤ V2  V2 ≤ V1 E.g (3,2,4) ║(4,1,4) III.1.9 Thực α Xét thực α mạng đầy đủ – Mỗi xử lý pi liên tiếp gửi thông báo đến pi+1, pi+2, , pn-1, p0, , pi-2 • Gọi kiện gửi – Mỗi pi liên tiếp nhận thông báo từ pi-1, pi-2, , p0, pn-1, , pi+2 • Gọi kiện nhận cuối bi Logo III.1.9 Thực α Thực α với N=4 Logo III.1.10 Trạng thái kênh truyền  Trạng thái hệ thống bao gồm không trạng thái xử lý mà trạng thái thông báo di chuyển - Giải pháp với nhát cắt gần - Duyệt mảng store từ số nhỏ đến số lớn nhất, giả lập lại bước tính Logo - Ghi dấu thông báo định gửi trình giả lập - Ngừng giả lập tìm thấy m' gần cho store[m'] có nhãn vector ≤ K III.1.11 Hàng đợi  Hàng đợi: danh sách tuyến tính mà - Phép thêm tiến hành đầu danh sách, - Phép loại bỏ tiến hành đầu lại danh sách - Queue gọi danh sách FIFO (First In First Out) Logo III.2 Giải thuật  Giải thuật Lamport  Giải thuật nhằm giải vấn đề trình tự (vấn đề mấu chốt hệ phân tán) dựa giá trị đồng hồ lô-gic để xếp thông điệp đến Nếu Hr, Hr := He +1 Chấm dứt Hr: đồng hồ riêng trạm He: ghi dấu E trạm hành phát thông điệp Logo  Một kiện a sinh trạm i đánh dấu đồng hồ cục gọi Hi(a) Nếu a b hai kiện hai trạm i j, ta ln có quan hệ xác định sau: a → b ⇔ Hi(a) < Hi(b) III.2 Giải thuật  Theo định nghĩa, ta có: a ⇒ b ⇒ (Hi(a) < Hi(b)) hay (Hi(a) = Hi(b) iHi ) and (Vị trí M đầu hàng đợi) then state=namgiu + Khi trạm khơng thực If state=ranh then xử lý(các thông điệp hàng đợi) ‘sau xố Send thơng điệp giải phóng đến trạm III.2 Giải thuật Thuật tốn mơ tả theo sơ đồ sau : +Khởi tạo hàng đợi, máy tự phát thông điệp Mi = (REL, Hinit , i) + Khi trạm truy cập vào tài nguyên: If (state =muon) and (T, Hj,j) < (Ti, Hi,i) then Begin Send M(T,Hj,j) đến trạm i Logo INSERT(Mi,hàngđợi) ‘được xếp theo H End + Khi trạm thực thi yêu cầu If (H>Hi ) and (Vị trí M đầu hàng đợi) then state=namgiu + Khi trạm không thực If state=ranh then xử lý(các thơng điệp hàng đợi) ‘sau xố Send thơng điệp giải phóng đến trạm KẾT LUẬN - Việc xếp thông điệp đến dựa đồng hồ Logic cho phép đánh dấu kiện xác định trật tự tổng qt chặt chẽ Nhưng ta khơng có quan hệ kiện giá trị dấu - Sự mâu thuẫn: giả thiết hai trạm thực trùng Rồi sau hai điều kiện yêu cầu nằm đỉnh hàng Logo đợi chúng trường hợp đồng hồ Logic trạm lại nhỏ trạm - Rõ ràng yêu cầu trạm i phải có mặt hàng đợi trạm j trạm j vào đoạn găng Điều cung cấp mâu thuẫn yêu cầu tạm j đỉnh hàng đợi yêu cầu đồng hồ logic nhỏ có mặt HẾT Logo ... + Và có 100 chỗ cịn trống + Trạng thái hệ lúc gắn bó Logo II.2 Bài tốn Bãi đỗ xe ơtơ Logo Hiện tượng thể khơng gắn bó thơng tin bảo vệ Chương III Sắp xếp thông diệp dựa đồng hồ logic Giải thuật. .. CHƯƠNG I: Các khái niệm hệ tin học phân tán CHƯƠNG II: Logo Bài toán Bãi để xe ôtô phương pháp đảm bảo gắn bó liệu CHƯƠNG III: Sắp xếp thơng điệp đến dựa đồng hồ logíc Chương I Các khái niệm hệ tin... III.2 Giải thuật  Giải thuật Lamport  Giải thuật nhằm giải vấn đề trình tự (vấn đề mấu chốt hệ phân tán) dựa giá trị đồng hồ lô-gic để xếp thơng điệp đến Nếu Hr, Hr := He +1 Chấm dứt Hr: đồng hồ