Tiểu luận lập trình mạng nâng cao

Tiểu luận Lập trình mạng nâng cao MỤC LỤC LỜI NÓI ĐẦU A.PHẦN LÝ THUYẾT I KH I NI M NV KIẾN TH HUN VỀ H TIN H PH N T N I.1 Khái niệm .4 I.2 Ưu điểm hạn chế hệ phân I.3 Vấn đề trỏ thông tin I.4 Vấn đề hệ thống nhiều .6 II SỰ ẮN Ĩ THƠN TIN TRON SỞ DỮ LI U PH N T N II.1 ác điều kiện giả định thực tế II.2 Tác động giao dịch .7 II.3 Triển khai giao dịch tơn trọng gắn bó II.4 Quản lý gắn bó giao dịch III THUẬT TO N Đ M O SỰ ẮN Ó DỮ LI U TRON SỞ DỮ LI U PH N T N 10 III.1 Thuật toán cung cấp .10 III.2 Kiểu xếp đóng dấu 10 III.2.1 Nguyên lý 11 III.2.2 Triển khai hệ số ổn định 11 III.2.3 ác hành vi ngồi chế độ bình thường .11 III.3 Thuật tốn đảm bảo gắn bó yếu nhờ tuần hoàn .11 III.3.1 Nguyên lý 11 III.3.2 Triển khai hệ số ổn định 12 III.3.3 ác hành vi ngồi chế độ bình thường .12 III.4 Thuật toán đảm bảo gắn bó mạnh 12 III.4.1 Nguyên lý 12 III.4.2 Triển khai hệ số ổn định 13 III.4.3 ác hành vi chế độ bình thường 13 III.4 Phân tán biểu trạng thái chức cung cấp 14 PHẦN I TẬP 16 I ĐẶT VẤN ĐỀ………………………………………………………………….16 I.1 iới thiệu toán……………………………………………………… 16 I.2 sở lý thuyết để giải toán….……………………………… 16 II I I QUYẾT VẤN ĐỀ …………………………………………………….19 II.1 ác trạng thái khác cần xem sét cho sao.……………… 19 II.2 Sơ đồ hoạt động thuật toán……………………… ……………… 20 II.3 Đánh giá hàm số lượng sao, số lượng thông điệp cần thiết để thực cập nhật……………………………………….21 II.4 Xử lý cố trạm……………………………………………… 22 KẾT LUẬN………………………………………………………………………… 24 T I LI U THAM KH O .25 GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao LỜI NÓI ĐẦU - Hiện nay, việc nghiên cứu phát triển giải pháp kỹ thuật sở cho ứng dụng phân tán đạt thành công định thể công bố Tuy nhiên, để có giải pháp hữu hiệu đáp ứng yêu cầu đặt việc gắn bó liệu mơi trường phân tán Internet/Intranet, địi hỏi phải tiếp tục nghiên cứu hoàn thiện giải pháp hành Vấn đề gắn bó liệu hệ thống phân tán nói chung hệ thống thơng tin đăng ký mạng nói riêng việc đăng ký tua du lịch, mua bán giao dịch thương mại điện tử, đăng ký giữ chỗ giao thông vận tải, đăng ký dự thi hệ thống thông tin đào tạo, trở thành lĩnh vực thu hút nhiều quan tâm nhà nghiên cứu lý thuyết lẫn nhà sản xuất phần mềm nhằm tìm giải pháp hữu hiệu đảm bảo tính gắn bó thơng tin sở liệu truy cập ngẫu nhiên với số lượng truy cập lớn Việc nghiên cứu, phát triển phương pháp đảm bảo gắn bó liệu mơi trường phân tán đến có số thành cơng đáng kể Trước hết, phải nói đến tích hợp hàng loạt hàm vào hệ điều hành, hệ quản trị sở liệu, ngơn ngữ lập trình với phương thức riêng rẽ hệ cho phép đảm bảo phần việc gắn bó thơng tin nói chung q trình đa truy cập thơng qua hệ thống viễn thông Việc triển khai phương pháp cho phép gắn bó liệu mơi trường phân tán điều kiện lý tưởng (khơng có cố nào) áp dụng mang lại hiệu định cho hệ thống đăng ký Tuy nhiên, trình triển khai lập trình vận hành hệ thống đăng ký, vấn đề gắn bó liệu sở liệu hệ thống bị cố đặt vấn đề quan trọng có ý nghĩa sống cịn việc phát triển tồn hệ nói chung Với lý nên phạm vi tiểu luận mình, tơi trình bày vấn đề sau: Phần Lý Thuyết  Trình bày khái niệm kiến thức chung hệ tin học phân tán  Sự gắn bó thơng tin sở liệu phân tán  Thuật tốn đảm bảo gắn bó mạnh CSDL phân tán GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Phần Bài Tập  Áp dụng thuật tốn Mullery đảm bảo gắn bó liệu CSDL phân tán Xin chân thành cảm ơn Thầy Lê Văn Sơn Thầy Đặng Hùng Vỹ trang bị kiến thức thông tin môn học giới thiệu tài liệu thiết thực để tơi hồn thành tiểu luận Với kiến thức có hạn nên tiểu luận khơng tránh khỏi sai sót Rất mong nhận góp ý Thầy anh chị lớp Học viên thực Nguyễn Cao Tài GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao I C C I NI M C P NT N A L T U T NV C C UN I NT V TIN C I.1 Khái niệm Hệ tin học phân tán hay nói ngắn gọn hệ phân tán 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 hệ thống viễn thông điều hành thống hệ điều hành Từ định nghĩa này, người ta xem hệ phân tán tập hợp bao gồm xử lý vi xử lý với nhớ đồng hồ nhịp độc lập Điều đồng nghĩa với việc xử lý không sử dụng chung nhớ đồng hồ Như vậy, hệ xử lý thông tin thành phần hệ phân tán bao gồm hay nhiều xử lý nhớ cục Hệ xử lý thông tin thành phần phải thiết kế cho cấu trúc, số lượng dung lượng cho phép thực cách trọn vẹn chức mà đảm nhận Hệ phân tán xây dựng nhằm mục đích phân tán hố q trình xử lý thơng tin thực cơng việc trạm xa Đó sở cho việc xây dựng ứng dụng lớn thương mại điện tử, giáo dục điện tử, thư viện điện tử số, xây dựng sở liệu tìm kiếm… Ta nói hệ phân tán bao gồm thực thể hình vẽ Hệ thống phần mềm Tập hợp phần cứng Hệ thống truyền thông Hệ thống liệu I.2 u v nh i m hệ ph n tán 1) u i m  hia xẻ tài nguyên: hia xẻ tài nguyên hệ thống phân tán cung cấp chế để chia xẻ tập tin vị trí xa, xử lý thông tin sở liệu phân tán, in ấn vị trí xa, sử dụng thiết bị xa để thực thao tác… GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao  Tăng tốc độ tính tốn: Hệ thống phân tán cho phép phân chia việc tính tốn nhiều vị trí khác để tính tốn song song  An tồn: Nếu vị trí hệ thống phân tán bị hỏng, vị trí khác tiếp tục làm việc mà không ảnh hưởng đến tồn hệ thống  Thơng tin liên lạc với nhau: ó nhiều lúc, chương trình cần chuyển đổi liệu từ vị trí sang vị trí khác Khi vị trí nối kết với hệ thống mạng, việc trao đổi liệu diễn dễ 2) ạn hế  iá phát triển phần mềm cao: Do khó khăn cài đặt hệ thống phân tán, giá thành tăng lên  Dễ mắc lỗi hơn: Vì trạm hệ phân tán làm việc song song, khó đảm bảo thuật toán thực tất trạm Do mà số lỗi tăng lên  Khối lượng xử lý tăng: Hệ thống phân tán cần truyền nhiều thơng báo, nhiều tính tốn phụ Do khối lượng xử lý tăng lên so với hệ thống tập trung I.3 Vấn ề trỏ thông tin Trong hệ phân tán, thời hạn truyền thông điệp hiệu số thời điểm nhận thời điểm truyền Ta giả sử rằng, thời hạn đủ lớn so sánh với hệ tập trung, địa lượng biến thiên cặp máy khác với cặp máy khác Từ ta có hai hệ sau đây: 1) Ở thời điểm cho trước, xử lý thực máy biết trạng thái gần máy khác 2) Trật tự nhận thông điệp máy nhận khơng giống trật tự phát thơng điệp ác máy mạng bị cố thơng điệp bị iải pháp cho vấn đề máy phát đánh số thứ tự tất gói thơng tin gửi kèm theo số cho máy nhận Nếu máy phát khơng đánh số máy nhận khơng xác đinh thứ tự gói tin Ta có hệ ba là: 3) Hai máy giống chứa thơng tin hồn tồn giống lại khơng giống mặt trạng thái Từ vấn đề nêu trên, ta rút đặc tính tổng quát hệ phân tán: i) Thời gian truyền thông điệp biến với giá trị khác nhau, giá trị lớn ii) Tần suất xuất cố vận hành mạng lớn GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao iii) Việc truy cập tài nguyên, kích hoạt tiến trình mạng khơng thể thực thiết bị nhất, mà chức phải phân tán nhiều máy mạng I.4 Vấn ề hệ thống nhiều s o Trong hệ phân tán, trình tổ chức, vận hành hệ thống cho phép đăng ký từ xa, hệ thống cục có lưu trữ tất thơng tin liên quan có tất hệ thống cục Ưu điểm bật kiểu tổ chức là: i) Dễ dàng thực việc truy cập thông tin cần thiết cho yêu cầu hệ thống cục ii) ho kết truy cập cách nhanh chóng Tuy nhiên, cho kết qủa tương đối xác phụ thuộc nhiều vào phương pháp thời hạn cập nhật thông tin SDL cục Sự tồn nhiều hệ phân tán nhiều hệ thống cục khác dẫn đến hệ sau đây: i) ập nhật thông tin diễn đăng ký gần hay từ xa thay đổi thông tin cục hệ cục cần phải tiến hành cho tất hệ thống cục khơng phép bỏ sót hệ thống khoản thời gian làm tươi, thông tin phải đảm bảo cho việc truy vẩn liệu cho kết kịp thời hay đặt truy vấn trạng thái treo ii) ần phải tránh trường hợp thao tác hai khác chứa thông tin truy cập hai hay nhiều yêu cầu dẫn đến khơng gắn bó Hai vấn đề vừa nêu xác định ràng buộc vấn đề gắn bó liệu Để đảm bảo gắn bó điều kiện đủ phải bắt buộc tn thủ trình tự cho sao, cập nhật thông tin iện pháp hàng đầu nhằm thực việc loại trừ tương hỗ tổng quát tập hợp đăng ký thực việc đăng ký trước trả lại bình thường iện pháp có mặt hạn chế khơng cho phép chương trình đăng ký thực song song Tất khoá chặt lúc đăng ký II SỰ ẮN Ĩ T ƠN TIN TRON C SỞ DỮ LI U P NT N II.1 Cá iều kiện giả ịnh v thự tế Ta có tập thơng tin truy cập tập tiến trình Số lượng thơng tin truy cập tiến trình có nhu cầu thơng tin số cố định Hệ phát triển rời rạc theo thời gian điểm quan sát, ta nhận biết trạng thái thực chúng, có nghĩa đối tượng GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao ngữ cảnh thực tiến trình, hệ kiểu hoạt động với độ ổn định tuyệt vời ác điều kiện giả định so với hệ thực tế có điểm khác sau đây: STT So sánh - ác đối tượng tiến trình - Được tạo lập huỷ bỏ có tính chất động suốt trình tồn hệ - ác đối tượng tiến trình phân tán trạm khác liên hệ với qua hệ thống viễn thông Do vậy, ta xác định trạng thái thời điểm hệ lí độ trễ đường truyền trạm tính khơng tương thích điểm quan sát trạm - Hệ thống viễn thơng tiến trình đối tượng xảy cố kỹ thuật II.2 Tá ộng v gi o dị h ác đối tượng khác hệ đối tượng độc lập nhau, chúng quan hệ với tập hợp quan hệ gọi ràng buộc toàn vẹn ác ràng buộc thể sâu sắc đặc tính riêng biệt hệ Trạng thái hệ thoả mãn tập ràng buộc tồn vẹn gọi trạng thái gắn bó ác nhà thiết kế vận hành hệ mong muốn việc thực tiến trình phải trì cho hệ trạng thái gắn bó Để xác hố đặc tính này, cần phải lưu ý trạng thái hệ xác định mức quan sát cho trước Ta quan tâm đến hai mức quan sát: STT Mứ NSD iải thí h - Tiến trình dãy thực giao dịch iao dịch chương trình thực từ trạng thái gắn bó dẫn hệ đến trạng thái gắn bó khác GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao - Mỗi giao dịch cấu tạo từ nột dãy tác động thể sau Nếu tác động A thuộc hai giao dịch khác thực hai tiến trình hiệu ứng tổng quát chúng hiệu ứng dãy (A; ) ( ;A) Hệ thống ho tập hợp giao dịch M={T1,T2…,Tn} thực tiến trình độc lập p1,p2…,pn việc thực có nghĩa thực tất giao dịch M theo kiểu nối đuôi tuân thủ trật tự Sự gắn bó hệ bảo tồn Ở mức hệ thống, ta nói tác động phần tử nhỏ khơng thể chia cắt Nếu lý hiệu quả, nhiều giao dịch thực song song gắn bó khơng cịn đảm bảo Một yêu cầu khác quan trọng trình thực hệ phải đảm bảo cho tác động không bị ngắt quãng II.3 Tri n kh i gi o dị h tơn trọng gắn bó ho tập hợp giao dịch M={T1,T2…,Tn} Một trật tự hóa tập hợp tác động thành phần tương ứng với việc thực hoàn toàn giao dịch Việc thu trật tự hóa gắn bó thành cơng áp dụng ràng buộc trật tự thực tác động Nguyên lý phương pháp chỗ làm chậm tác động thời điểm mà thực khơng cịn có nguy phá hủy gắn bó trật tự hóa Để đảm bảo giao dịch tơn trọng gắn bó thơng tin người ta đưa phương pháp, chế để đảm bảo giao dịch có gắn bó thơng tin tồn vẹn liệu sở liệu phân tán là:  chế then cài  Then cài loại trừ tương hỗ  Then cài lựa chọn đối tượng  iao dịch hai pha ây ta tưởng tượng đối tượng phân tán nhiều trạm khác nối với thông qua hệ thống viễn thông tiến trình diễn trạm khác Hệ thống viễn thơng cho phép tiến trình trạm khác trao đổi thơng điệp với Ta giả định GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao tiến trình phương tiện truyền thơng đối tượng rơi vào cố Một hệ quản lý tập hợp thông tin phân tán bao gồm: Cơ hế STT - chế cho phép xếp cách tổng quát tác động giao dịch, tác động diễn trạm khác - chế điều khiển tranh chấp truy cập cục vào đối tượng đảm bảo tôn trọng tính tồn vẹn đối tượng truy cập cục - chế có khả xử lý bế tắc thiếu thốn vô hạn, hậu việc hủy bỏ giao dịch - chế phục hồi giao dịch hủy bỏ hay xử lý cố chế xử lý cố STT Phải thự iao dịch T bắt buộc phải thực cách trọn vẹn Nếu có cố xảy phải quay lại điểm xuất phát Muốn thực điều vừa nêu trên, người ta địi hỏi giao dịch phải có đặc tính tồn vẹn sau: STT Phải thự - Nếu tiến trình bị cố trước kết thúc T lại sau thao tác thay đổi cần thiết T, trạng thái hệ gắn bó - Nếu tiến trình bị cố trước diễn thay đổi T, trạng thái hệ gắn bó - Nếu tiến trình bị cố thay đổi T, trạng thái hệ khơng gắn bó Nếu liệu phân tán nhiều server, để bảo đảm liệu ghi lên đắn lên sở liệu, địi hỏi phải có chế bảo vệ liệu Ví dụ việc cập nhật bảng cân đối tài khoản khách hàng ba sở liệu khác GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Nếu có cố kết nối xảy thời gian ghi giao dịch, sở liệu tính đồng Xử lý giao dịch khắc phục tình trạng cách giám sát thay đổi tác động lên sở liệu liên quan nhằm bảo đảm tồn vẹn liệu có cố II.4 Quản lý gắn bó gi o dị h ây ta xem xét hệ, đối tượng phân tán nhiều trạm, khơng có đối tượng tồn có Một giao dịch Tj tham chiếu đến đối tượng nằm trạm khác gồm nhiều tác động thực nhiều trạm Như ta phải xác định trạm Si tiến trình Pji với nhiệm vụ thực tác động giao dịch Tj Si, tác động thực trạm khác tiến hành theo kiểu song song ác phương pháp để quản lý gắn bó giao dịch như: Phương pháp dự phòng để chống bế tắc, phương pháp dựa vào việc hạn chế khả diễn cách phát bế tắc có tính chất động, điều dẫn đến hủy bỏ giao dịch III C C T UẬT TO N Đ M C SỞ DỮ LI U P N T N O SỰ ẮN Ó DỮ LI U TRON C C III.1 Thuật tốn ung ấp: Vì ổn định hiệu mà ta phải phân tán chức cung cấp nhiều trạm khác Sự hoạt động gắng bó với chương trình cung cấp cần thiết để bảo đảm cho hoạt động cung cấp hồn tồn xác Một hoạt động gắn bó liệu chương trình cung cấp phân tán quản lý tập hợp tài nguyên đạt tuân thủ nguyên tắc sau: i) ác cung cấp bắt buộc phải thực giải thuật ii) ác cung cấp nhận tất thông điệp phát từ tiến trình iii) ác thơng điệp phải xử lý trật tự chương trình cung cấp Trật tự tập hợp thông điệp hệ, trật tự thực thông qua việt hợp lực tiến trình cung cấp hay tiến trình phát thơng điệp III.2 Sắp xếp ki u óng dấu Trạm phát gắn giá trị gọi dấu iá trị có tính chất thời điểm cho trạm phát thơng tin dựa vào đồng hồ Logíc cục trạm GVHD: PGS.TS Lê Văn Sơn Trang 10 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao III.2.1 Nguyên lý: Tập hợp tất yêu cầu cập nhật xếp theo kiểu tất trạm nhờ chế dấu Theo yêu cầu phát cho tập hợp trạm, trạm tồn tiến trình server đảm nhận nhiệm vụ tiếp nhận yêu cầu theo trật tự dấu Điều cho phép có gắn bó yếu III.2.2 Tri n hệ số ổn ịnh: Các giao dịch cần xét khả đọc, ghi hay cập nhật ập nhật xác định dãy thao tác đọc ghi, thao tác kiểm tra - đọc tức trạng thái hành Mỗi server tiếp nhận yêu cầu ghi đến trạm cục thời điểm cho trước tiếp nhận yêu cầu tính tốn sở dấu theo tiêu chí lâu Điều dẫn đến cần phải ý hai trường hợp: Trường hợp 1: Tập hợp yêu cầu ghi chờ chứa yêu cầu từ tất trạm khác Trong trường hợp yêu cầu qua, chúng tồn tại, so với yêu cầu qua Nói cách khác, u cầu lâu yêu cầu chờ Trường hợp 2: Tồn trạm mà khơng có u cầu truyền đến Ta giải cách truyền cho tất trạm thông điệp yêu cầu bắt buộc phải xác nhận Do vậy, sau khoảng thời gian theo giả thiết độ ổn định ta xác nhận: yêu cầu qua, trả lời thông điệp yêu cầu Lúc này, ta nói thơng điệp đến từ tất trạm III.2.3 Cá h nh vi bên ngo i hế ộ bình th ờng: ó hai vấn đề mở rộng thuật toán cho phép rút hay chèn vào tuỳ ý trạm Điều đó, dẫn đến hai vấn đề sau cần phải tôn trọng: Vấn đề 1: Việc biến trạm pahỉ trạm khác nhận biết cách tự động Vấn đề 2: Việc phát thơng điệp phép tốn khơng thể chia cắt Đó thông điệp tất trạm phải nhận không trạm nhận Vì vậy, điều kiện khống chế điều kiện thứ hai đảm bảo III.3 Thuật tốn ảm bảo gắn bó yếu nhờ tuần ho n: III.3.1 Nguyên lý: Trước phát yêu cầu trạm cần phải kết hợp với số thứ tự cấp từ tuần hoàn ác yêu cầu tiếp nhận mỗ trạm theo trật tự thống Điều giúp ta có gắn bó yếu Điều GVHD: PGS.TS Lê Văn Sơn Trang 11 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao cần quan tâm chế phân phối số dựa tảng tổ chức trạm theo kiểu vòng tròn ảo III.3.2 Tri n kh i hệ số ổn ịnh: Bộ cung cấp cho yêu cầu số tới chưa dùng, giả sử dó T Khi đến phiên trạm nhận tuần tự, yêu cầu số lượng n số số lượng yêu cầu cập nhật chờ trạm ác số là: T, T + 1, T + 2, ….T + n – Nó tiếp tục chuyển cho trạm liền sau số tới chưa dùng đến T + n Khi trạm có cố, phát yêu cầu cập nhật vơi số Trên trạm, cập nhật thực cách tiếp nhận yêu cầu số liên tiếp nhau( theo trật tự) Để xác định yêu cầu đến cần phải xử lý , trạm trì biến số V phối hợp với yêu cầu xử lý cuối ác yêu cầu mang số lớn V + lưu trữ chờ xử lý yêu cầu V + III.3.3 Cá h nh vi ngo i hế ộ bình th ờng: Hiện người ta chế tạo thành công đưa vào sử dụng cách ổn đọnh mạng số giao thức cho phép tái sinh bị đặt cấu hình vịng trịn ảo trở lại theo kiểu tự động ác giao thức hoạt động điều kiện giả định mạng viễn thông cho phép phát cố trạm cần phải bổ khuyết cách đầy đủ nhằm trì trật tự tồn phần cần thiết cho việc gắn bó: Vấn đề 1: Việc tái sinh cần phải tiến hành song song với việc tính tốn số có để dùng Vấn đề 2: Khi phát có trạm bị cố, ta cần phải xác định số mà trạm lấy số chưa sử dụng, gửi yêu cầu có mang số Vấn đề 3: Việc cho trạm hội nhập vào lại vòng tròn cần phải tiến hành song song với việc cập nhật lại Sử dụng số liên tục cho phép tránh tượng vài cập nhật bị lần mà không phát Việc triển khai tuần hoàn làm cho ta gặp phải số khó khăn khác III.3.4 Thuật tốn ảm bảo gắn bó mạnh: III.3.4.1 Nguyên lý: Tập hợp bao gồm trạm tổ chức theo kiểu vòng tròn ảo cập nhật thực theo hai thì: Thống trạm Thực cập nhật Do vậy, thuật tốn đảm bảo gắn bó mạnh Nếu có nhiều yêu cầu cập nhật diễn đồng thời ta phải có quy tắc để định yêu cầu tiếp GVHD: PGS.TS Lê Văn Sơn Trang 12 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao nhận thỏa mãn Nhằm phục vụ cho ý tưởng đó, ta thường hay sử dụng dấu phối hợp cho cập nhật ta xử lý yêu cầu có thời gian lâu III.3.4.2 Tri n kh i hệ số ổn ịnh: Trạng thái cảu trạm là: STT Trạng thái iải thích Nghỉ ngơi Trạm khơng thực cập nhật Hoạt động Trạm đãnhận yêu cầu cập nhật cục mà yêu cầu truyền cho trạm khác để kiểm tra Thụ động Trạm đồng ý cho cập nhật chờ trật tự tương ứng ập nhật Trạng tình trạng chuyển cập nhật , tất yêu cầu khác truyền đến lưu trữ húng xử lý quay trạng thái khác Lúc khởi sự, tất trạm trạng thái nghỉ ngơi Trạm khởi việc cập nhật , cần phải gửi yêu cầu cho phép cập nhật, làm việc trạng thái nghỉ ngơi Lúc nhận dấu gửi vào vịng tròn trạm khởi chuyển từ trạng thái nghỉ ngơi sang trạng thái hoạt động Nếu có yêu cầu đưa vào vịng trịn, qua tất trạm để chuyển trạm từ nghỉ ngơi sang thụ động đó, trở nơi khởi việc thống coi hồn tất việc cập nhật nói riêng lúc gửi trạm sau thực trở trạng thái nghỉ ngơi Nếu có nhiều yêu cầu đưa đồng thời vịng trịn, tình hình dễ dàng diễn xung đột lúc này, ta phải chọn yêu cầu có thời gian dấu lâu Để tiến hành cơng việc đó, ta nêu bật vai trò chắn đường cho trạm khởi Một trạm trạng thái nghỉ ngơi hay thụ động phải chuyển toàn yêu cầu đến nó, trạm trạng thái hoạt động phải chuyển yêu cầu có thời gian lâu u cầu mà phát đi, u cầu khác bị dừng lại lưu trữ ác yêu cầu bị lưu trữ lại gửi tiếp vào vịng trịn, trạm lưu trữ chúng hồn thành cơng việc cập nhật riêng III.3.4.3 nh vi ngo i hế ộ bình th ờng: ác giao thức đặt lại cấu hình vịng trịn theo kiểu tự động sử dụng nhằm rút hay cho vào tùy ý số trạm định ác cố kỹ thuật khó GVHD: PGS.TS Lê Văn Sơn Trang 13 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao khăn phát chiến lược mà dó u cầu khơng ghi lại khắp nơi mạng III.4 Ph n tán bi u trạng thái v ung ấp Phân tán biểu trạng thái chức cung cấp, có giải pháp có thể: i) Duy trì trạm trạng thái tài nguyên tổng quát ii) Phân tán biểu trang thái trạm, trạm có trạng thái tài nguyên cục ác định đưa trạm khác cần phải phối hợp theo kiểu cho liệu việc cung cấp phải gắn bó với iii) Nhóm xếp nhằm bảo đảm cho tất yêu cầu tài nguyên xuất phát từ tiến trình đến cung cấp khác theo trật tự cố định từ trước Nội dung trạm hệ phản ảnh sau: - Tập hợp tất tài nguyên chưa cung cấp - Tập hợp tài nguyên cung cấp - Đối tượng chiếm giữ tài nguyên - Kiểu sử dụng - Tập hợp yêu cầu không thỏa mãn - Tập hợp thông điệp dành cho trường hợp sử dụng - Tập hợp thông điệp dành cho trường hợp thất bại Ngày nay, ứng dụng lớn thương mại điện tử, giáo dục điện tử,…, liệu sử dụng để tăng tính sẵn sàng liệu Tuy nhiên, lợi ích sẵn sàng liệu có phải trả giá thuật toán phức tạp để ẩn tính phức tạp việc bảo trì nhiều đối tượng Sự khó khăn nằm việc phải đảm bảo gắn bó cho đối tượng để tránh bế tắc vận hành hệ thống ác thuật toán giải vấn đề gọi thuật toán điều khiển Việc quản lý nhiều đối tượng thông tin nhà chuyên môn tin học quan tâm nghiên cứu giai đoạn phân tích, thiết kế xây dựng hệ điều hành Ngồi ra, cịn vấn đề có tính chất sở cho ứng dụng phức tạp Quản lý nhiều giải pháp kỹ thuật bao gồm tập hợp thông tin nhân từ đối tượng thông tin chương trình quản lý chúng mơi trường phân tán Vấn đề truy cập xử lý thông tin phân tán nói chung, quản lý nhiều nói riêng nghiên cứu hàng loạt cơng trình Herman, Ellis, Wilms Le Lann GVHD: PGS.TS Lê Văn Sơn Trang 14 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Nội dung quản lý nhiều giải pháp cho phép tự động hóa cơng việc: Kiểm tra tính hợp lệ việc truy cập thông tin Khôi phục thông tin ập nhật thơng tin An tồn liệu cho Sử dụng nhớ, đĩa huyển loại bỏ vào vùng khơi phục Trong nội dung nêu trên, vấn đề quan trọng cập nhật tự động thông tin vào sao./ GVHD: PGS.TS Lê Văn Sơn Trang 15 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao B B I TẬP I ĐẶT VẤN Đ I.1 iới thiệu b i toán Trong hệ thống phân tán giả định có độ ổn định tuyệt vời, ta muốn trì gắn bó mạnh đối tượng định vị trạm khác Thuật toán dựa nguyên lý sau đây:  Trước thực cập nhật, trạm cần phải yêu cầu thống với trạm khác  Khi có thống nhất, trạm tiến hành công việc cập nhật; điều phải tiến hành tất sao; đối tượng truy cập chừng chưa cập nhật hết  ác xung đột trạm giải trật tự có hệ số ưu tiên trạm, cố định lần lúc khởi cho tồn Hỏi có trạng thái khác cần xem xét cho Hãy trình bày sơ đồ hoạt động thuật toán (đồ thị phát triển) Hãy đánh giá hàm số lượng sao, số lượng thông điệp cần thiết để thực thông điệp Ta phải sửa đổi thuật toán để chịu đựng cố trạm (giả sử hệ viễn thông hoạt động tốt) I.2 Cơ sở lý thuyết giải b i toán Khi nghiên cứu hệ phân tán thấy rằng, thời gian truy cập trung bình vào thơng tin hệ phân tán rút ngắn, số trường hợp, nhờ vào phương pháp nhân nhiều gọi nhiều đối tượng thông tin Ta cần phân biệt hai trường hợp khác thể sau đây: - Trường hợp 1: GVHD: PGS.TS Lê Văn Sơn Trang 16 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao a) Đa xử lý với nhớ chung: L L Bcb Bcb ộ xử lý Bé xö lý Bé nhí ộ cơc bé cục nhớ (e) (e) ộ nhớ chung Bé nhí chung (e) Bch (e) Hình Đa xử lý với nhớ chung Mỗi xử lý có nhớ cục mình, hay gọi cache, dùng để chép lại vùng làm việc nhớ chung Một chương trình thể thuật tốn thay đảm nhận nhiệm vụ làm nhớ cục Trường hợp có nhiều xử lý muốn truy cập vào đối tượng, ta sử dụng tham chiếu đến phiên đối tượng tìm thấy nhớ chung b) Hệ truy cập từ xa thông qua máy server nhất: L L Máy client ộ xử lý Bé xư lý M¸y client Bcb Bcb Bé nhíộcơc nhớbé cục (e) (e) Hệ thống viễn thông ộ nhớ chung (e) Bch L Bé nhí chung Máy (e) server M¸y server Hình Hệ truy cập từ xa thông qua máy server GVHD: PGS.TS Lê Văn Sơn Trang 17 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Trong trường hợp này, đối tượng đưa vào trạm xác định quản lý server cục trạm Khi tiến trình xa muốn sử dụng đối tượng, phải bắt đầu yêu cầu server cho thông qua hệ thống viễn thông Sau sử dụng xong, tiến trình phải gửi lại cho server phiên sửa đổi đối tượng ác trường hợp thể hình 2.1 2.2 xét theo chức giống Đó trường hợp đối tượng đặc quyền - Trường hợp 2: Tính cân đối người sử dụng tài nguyên thông tin mạng L L L e e e Hệ thống viễn thông e e e L L L Hình Hệ thống đối xứng Tại đây, tất đóng vai trị đối xứng ơng việc tiến hành theo kiểu cho phép rút ngắn thời gian truy cập, số lần truy cập để đọc lớn số lần truy cập để cập nhật lý thuận lợi sử dụng theo nghĩa có sẵn để dùng Tình hình nêu đặt cho nhiều vấn đề cần phải giải Đó lần cập nhật thơng tin hay nói cách tổng qt cập nhật GVHD: PGS.TS Lê Văn Sơn Trang 18 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Từ đó, ta rút đặc điểm quan trọng sau : 1) Khi tồn tập trung đặc quyền, ta đặt việc thay đổi đối tượng thực lại vào Đó trường hợp ghi tức thời cập nhập gắn bó Với phương pháp ghi khác, ngược lại, thay đổi tương ứng đối tượng cục lại thuật tốn thay thực nhằm cung cấp lại ghi bị chiếm cục 2) Khi khơng tồn đặc quyền, ta gặp trường hợp khơng gắn bó thơng tin Trường hợp thứ hai làm phát sinh hai yêu cầu mới: a Toàn giao dịch thay đổi đối tượng cần phải chép lại sớm tốt thay đổi tất khác Trong thực giao dịch, khơng có chép khác thực Sau thực xong, tất hoàn toàn giống b Việc cập nhật tức thời (theo hệ tập trung) tất không cần thiết Trong tất trường hợp, giao dịch tham chiếu trạng thái đối tượng thực xuất phát từ trạm cục cần phải cung cấp: - Hoặc giá trị cập nhật tất thay đổi diễn trước tham chiếu - Hoặc giá trị cũ, lại giá trị cập nhật thời điểm trước Sự tham chiếu khơng phải cung cấp giá trị xuất phát từ việc thực phần giao dịch II I I QU T VẤN Đ II.1 Cá trạng thái nh u ần xem xét ho s o ác trạng thái xảy sau: Stt Trạng thái Nghỉ ngơi iải thí h Trạm không thực cập nhật GVHD: PGS.TS Lê Văn Sơn Trang 19 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao Hoạt động Trạm nhận yêu cầu cập nhật cục mà yêu cầu truyền cho trạm khác để kiểm tra Thụ động ập nhật Trạm đồng ý cho cập nhật chờ trật tự tương ứng Trạm tình trạng chuyển cập nhật, tất yêu cầu khác truyền đến lưu trữ húng xử lý quay trạng thái khác II.2 Sơ hoạt ộng thuật toán ác trạm tổ chức theo kiểu vòng tròn ảo Trước thực cập nhật, trạm cần phải yêu cầu thống với trạm khác Sau có thống nhất, trạm tiến hành công việc cập nhật Sơ đồ hoạt động thuật toán: Nghỉ ngơi – NYêu cầu g 2h Hoạt động –ỉ Lựa chọn yêu cầu có thời gian dấu dài N có nhiều yêu cầu đưa n gg 3h Thụ động –ỉi N n g4 ập nhật –h ỉi động thuật tốn Hình 10 Sơ đồ hoạt N ng Lúc khởi sự, tất trạm trạng thái nghỉ ngơi gh ơỉ cần phải gửi yêu cầu cho phép cập Trạm khởi việc cập nhật, ni thái nghỉ ngơi Lúc nhận nhật, làm việc trạng g dấu gửi vào vòng tròn trạm khởi chuyển từ trạng thái nghỉ ngơi sang i trạng thái hoạt động Nếu có u cầu đưa vào vịng trịn, qua tất GVHD: PGS.TS Lê Văn Sơn Trang 20 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao trạm để chuyển trạm từ nghỉ ngơi sang thụ động đó, trở nơi khởi việc thống coi hồn tất việc cập nhật nói riêng lúc gửi trạm sau thực trở trạng thái nghỉ ngơi Nếu có nhiều u cầu đưa đồng thời vịng trịn, tình hình dễ dàng diễn xung đột lúc này, ta phải chọn yêu cầu có thời gian dấu lâu Để tiến hành cơng việc đó, ta nêu bật vai trò chắn đường cho trạm khởi Một trạm trạng thái nghỉ ngơi hay thụ động phải chuyển toàn yêu cầu đến nó, trạm trạng thái hoạt động phải chuyển yêu cầu có thời gian lâu u cầu mà phát đi, yêu cầu khác bị dừng lại lưu trữ ác yêu cầu bị lưu trữ lại gửi tiếp vào vòng tròn, trạm lưu trữ chúng hồn thành cơng việc cập nhật riêng Hành vi ngồi chế độ bình thường: ác giao thức đặt lại cấu hình vịng trịn theo kiểu tự động sử dụng nhằm rút hay cho vào tùy ý số trạm định ác cố kỹ thuật khó khăn phát chiến lược mà dó u cầu khơng ghi lại khắp nơi mạng II.3 Đánh giá h m số l ng s o, số l ng thông iệp ần thiết thự ập nhật Sơ đồ mô tả cấu tổ chức hệ thống nhiều việc cập nhật thể hình 12 sau đây: t1 t2 b21 tq b22 b2m S2 b1m b12 bn1 S1 Hệ thống viễn thông Sn b11 bn2 bnm Hình 11 Sơ đồ mơ tả hệ thống nhiều GVHD: PGS.TS Lê Văn Sơn Trang 21 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao bij với i = n, j = m, i server, j sao, n số lượng server mắc nối mạng, m số lượng đối tượng liệu tk với k = q, k trạm, q số trạm mắc nối ác ràng buộc sao: Trên s o ối t ng: Nếu ta có n b1, b2,…, bn đối tượng b, ràng buộc toàn vẹn là: b1 = b2 = = bn Trên s o to n ối t ng: b11= b21 = = bn1 b12 = b22 = = bn2 b1m = b2m = = bnm ọi M cực đại cập nhật diễn đồng thời, M tính theo cơng thức M = n x m II.4 Xử lý ố trạm Nếu liệu phân tán nhiều server, để bảo đảm liệu ghi lên đắn lên sở liệu, đòi hỏi phải có chế bảo vệ liệu Ví dụ việc cập nhật bảng cân đối tài khoản khách hàng ba sở liệu khác Nếu c ó cố kết nối xảy thời gian ghi giao dịch, sở liệu tính đồng Xử lý giao dịch khắc phục tình trạng cách giám sát thay đổi tác động lên sở liệu liên quan nhằm bảo đảm tồn vẹn liệu có cố Nếu tiến trình p bị cố lúc thực giao dịch T trạng thái hệ xuất phát từ việc thực phần chắc khơng cịn gắn bó Một chế cho phép trì gắn bó mơi trường phân tán có cố phải GVHD: PGS.TS Lê Văn Sơn Trang 22 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao là: 1) iao dịch T bắt buộc phải thực cách trọn vẹn 2) Nếu có cố diễn bắt buộc phải quay trở lại điểm xuất phát Muốn địi hỏi giao dịch phải có đặc tính tồn vẹn sau: - Nếu tiến trình bị cố trước kết thúc T lại sau thao tác thay đổi cần thiết T, trạng thái hệ gắn bó Trước cập nhật (thay đổi) ắn bó Khơng ắn bó Sau cập nhật (thay đổi) Hình 12 Ba giai đoạn giao dịch - Nếu tiến trình bị cố trước diễn thay đổi T, trạng thái hệ gắn bó - Nếu tiến trình bị cố thay đổi T, trạng thái hệ không gắn bó ác mơ hình giải thuật nghiên cứu phải đảm bảo đặc tính tồn vẹn liệu hệ tuân thủ theo giai đoạn thể hình vẽ 12 ăn vào nội dung thơng tin cần phải đảm bảo gắn bó mà ta chọn thuật tốn nhằm đảm bảo tính toàn vẹn liệu GVHD: PGS.TS Lê Văn Sơn Trang 23 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao C T LUẬN Trong trình xây dựng phần mềm cho hệ phân tán hỗ trợ ứng dụng lớn thương mại điện tử, phủ điện tử, vấn đề cập nhật thông tin dùng chung đối tượng vấn đề quan trọng Nó khơng đảm bảo hệ thống hoạt động với tốc độ bình quân chấp nhận được, ổn định, tin cậy mà quan trọng phải đảm bảo tính gắn bó liệu Mơ hình hệ thống quản lý nhiều giống môi trường phân tán giải thuật nghiên cứu đáp ứng yêu cầu hệ thống phức tạp với lượng thông tin lớn cần phải xử lý thể mặt sau đây:  Tự động hóa cập nhật  Phát triển giải thuật nhiều môi trường phân tán đại  Làm phong phú khả ứng dụng tác tử di động  Triển khai kỹ thuật đánh dấu điều khiển quản lý nhiều  ổ sung lý thuyết cập nhật nhiều ài tiểu luận thể cô đọng sơ đồ giải thuật mơ hình GVHD: PGS.TS Lê Văn Sơn Trang 24 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao T I LI U T AM O Hệ phân tán – TS Lê Văn Sơn, Nhà xuất Đại học quốc gia TP Hồ hí Minh Nguyên lý hệ sở liệu – Sách dịch Jeffery Ullman – Nhà xuất thống kê Distributed Systems (Concepts and Design) – George Coulouris, Jean Dollimore & Tim Kindberg http://hoclieumo.com/course/info.php?id=68 Tổng kết công cụ xây dựng HPT: http://itp.hut.edu.vn/bkel/course/info.php?id=84 Distributed systems engineering: http://www.iop.org/EJ/journal/DSE Introduction for distributed systems: http://code.google.com/edu/parallel/dsdtutorial.html Thuật toán wait-die system: http://data.uta.edu/~ramesh/cse5306/DC2.html Những example distributed systems: http://portal.acm.org/citation.cfm?doid=320251.320260 GVHD: PGS.TS Lê Văn Sơn Trang 25 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... hành mạng lớn GVHD: PGS.TS Lê Văn Sơn Trang LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao iii) Việc truy cập tài ngun, kích hoạt tiến trình mạng. .. Sơn Trang 23 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao C T LUẬN Trong trình xây dựng phần mềm cho hệ phân tán hỗ trợ ứng dụng lớn thương mại... nhật nhiều ài tiểu luận thể cô đọng sơ đồ giải thuật mơ hình GVHD: PGS.TS Lê Văn Sơn Trang 24 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Tiểu luận Lập trình mạng nâng cao T I LI U