zunia.vn

Tuyển sinh 2024 dành cho Gen-Z

zunia.vn

» Luận Văn - Báo Cáo

» Báo cáo khoa học

Báo cáo nghiên cứu khoa học: " MÔ HÌNH NGƯỜI SẢN XUẤT - NGƯỜI TIÊU THỤ TRONG XÂY DỰNG GIẢI PHÁP KỸ THUẬT GIÁM SÁT CÁC HOẠT ĐỘNG ĐỒNG THỜI PHÂN TÁN"

Chia sẻ: Nguyễn Phương Hà Linh Linh | Ngày: | Loại File: PDF | Số trang:9

Báo xấu

84
lượt xem 4
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Vấn đề giám sát các hoạt động đồng thời, thực chất, là bài toán đồng bộ hoá trong các hệ thống lớn, đa dạng và phức tạp. Trong phạm vi bài viết này, chúng tôi đi sâu nghiên cứu vấn đề đồng bộ giữa các tiến trình trong hệ phân tán trên cơ sở trật tự hoá từng phần giữa các sự kiện. Vấn đề trật tự hoá tổng quát chặt chẽ được nhiều tác giả nghiên cứu thành công thể hiện trong các công......

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Báo cáo nghiên cứu khoa học: " MÔ HÌNH NGƯỜI SẢN XUẤT - NGƯỜI TIÊU THỤ TRONG XÂY DỰNG GIẢI PHÁP KỸ THUẬT GIÁM SÁT CÁC HOẠT ĐỘNG ĐỒNG THỜI PHÂN TÁN"

TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 MÔ HÌNH NGƯỜI SẢN XUẤT - NGƯỜI TIÊU THỤ TRONG XÂY DỰNG GIẢI PHÁP KỸ THUẬT GIÁM SÁT CÁC HOẠT ĐỘNG ĐỒNG THỜI PHÂN TÁN THE PRODUCER-CUSTOMER MODEL IN BUILDING TECHNICAL SOLUTIONS MONITORING SIMULTANEOUS ACTIVITIES IN DISTRIBUTED SYSTEMS Lê Văn Sơn, Đặng Hùng Vĩ, Hồ Minh Hoành Trường Đại học Sư phạm, Đại học Đà Nẵng TÓM T ẮT Vấn đề giám sát các hoạt động đồng thời , thực chất, là bài toán đồng bộ hoá trong các hệ thống lớn, đa dạng và phức tạp. Trong phạm vi bài viết này, chúng tôi đi sâu nghiên cứu vấn đề đồng bộ giữa các tiến trình trong hệ phân tán trên cơ sở trật tự hoá từng phần giữa các sự kiện. Vấn đề trật tự hoá tổng quát chặt chẽ được nhiều tác giả nghiên cứu thành công thể hiện trong các công trình công b trong thời gian qua [7,2,5 ]. Trong quá trình nghiên c ố ứu, nhóm tác giả đã xây dựng giải pháp kỹ thuật khả thi cho phép điều khiển các hệ thống lớn dựa trên sự quan sát và ra quy định trên cơ sở vận hành mô hình ng ết ười sản xuất - người tiêu thụ (Producer-Consumer Model). Giải pháp được xây dựng bằng ngôn ngữ JAVA cùng với 2 thư viện phân tán là CORBA và RMI [15,11]. Việc thử nghiệm giải pháp nêu trên được tiến hành trên hệ đa Server hoạt động theo họ giao thức TCP/IP trong các mạng Intranet. ABSTRACT Problems of monitoring simultaneous activities, essentially, is the synchronization ones in large systems, diverse and complex. Within this article, we focus on synchronization among processes in distributed systems based on the partial order in the events. The issues of general order have been successfully studied by many authors expressed in works published in recent years [7,2,5]. In the study, authors have built technical solutions feasible for controlling large systems based on observations and decisions on the basis of operating model producers – consumers. Solutions are built by using Java language with two distributed libraries which are CORBA and RMI [15.11]. The above test solution was conducted on the multi-server system operating under their TCP / IP in the intranet. 1. Đặt vấn đề Hiện nay, một trong những hướng nghiên cứu quan trọng là xây dựng các giải pháp kỹ thuật khả thi nhằm điều khiển các hoạt động đồng thời diễn ra bên trong khi hệ Các Client hoạt động. Điều này lại càng có ý nghĩa trong thực tiễn khi mà đang tồn tại nhiều hệ thống lớn, Hệ thống đa Server truy cập qua mạng phức tạp và đa dạng nhưng chưa có giải pháp điều hành, quản lý một cách có hiệu quả như các C 1 S m hệ sản xuất và kinh doanh hiện trạng. Chính vì S C 2 1 Mạng TCP/IP ... thế mà sự quan tâm tập trung, nghiên cứu của ... C i các chuyên gia Công ngh Thô ng tin trong và ệ S ... j ngoài nư ngày càng nhiều và thể hiện bằng ớc S 2 ... C n hàng loạt các công trình với kết quả khá tốt đã Hình I.1 Sơ đồ kỹ thuật của hệ thống được công bố tại các hội thảo quốc gia và quốc 94
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 tế, đăng tải trong các tạp chí chuyên ngành có uy tín trong nước và trên thế giới [8,1,6,3,9]. Hệ thống mà ta quan tâm nghiên cứu là hệ thống lớn nhưng không thể sử dụng đồng bộ bằng phương pháp trật tự toàn phần giữa các sự kiện để điều khiển các hoạt động đồng thời được. Khi nghiên cứu vấn đề này dưới giác độ của các đặc tính phân tán, ta nhận thấy vấn đề đặt ra càng phức tạp hơn nữa. Để tiếp tục đi sâu tìm hiểu, trước hết ta xem xét thành phần của hệ loại này thông qua hình I.1. Môi trường kỹ thuật trong đó hệ hoạt động là mạng IP bao gồm m Server (tiếp theo ta gọi là hệ đa Server) được mắc nối và li ên lạc với nhau qua hệ thống viễn thông. Từng cặp Server là đối tượng trao đổi tự động các thông điệp cho nhau và tuân thủ các nguyên lý phân tầng của mạng. Ví dụ như S 1 và S j là cặp trao đổi thể hiện bằng đường liên hệ đậm. Các Server này được xây dựng có tính chất chuyên dụng cho bài toán đồng bộ hóa bằng giám sát và ra các quyết định cần thiết. Về nguyên tắc, người sử dụng (NSD) bất kỳ, nếu được phân quyền một cách hợp thức, có thể truy cập từ bất kỳ trạm/Server hay thiết bị đầu cuối nào vào hệ thống đa Server bằng một trình duyệt bất kỳ. Ví dụ như C i (i=1..n) là Client thứ i liên lạc và làm việc với cặp S j và S 1 thông qua trình duyt vốn có của hệ , ví d như Google ệ ụ Chrome 2.0 hay IE quen thuộc [9,4,11]. Về mặt ứng dụng, sau khi xây dựng thành công giải pháp kỹ thuật, ta có thể tiếp tục triển khai vào hệ này tương đối thuận lợi. Ở đây, ta không có bất kỳ ràng buộc cho một ứng dụng cụ thể đặc biệt nào mà chỉ nhấn mạnh rằng đối với một hệ thỏa mãn đặc điểm trao đổi thông tin như mô tả trong tài liệu này là có thể sử dụng được. Đối với hệ phân tán, ta c n quan tâm là các thành phần của hệ không sử dụng chung bộ nhớ và ầ đồng hồ nhịp của bộ xử lý. Để điều khiển những hệ loại này ta sử dụng nguyên tắc trao đổi thông điệp. Để đảm bảo tính gắn bó dữ liệu (coherence of data), phòng tránh bế tắc (deadlock) và thiếu thốn tài nguyên vô hạn ta cũng chỉ cần sử dụng phương pháp trật tự hóa từng phần là đủ. Bài toán tr tự hóa từng phần các sự kiện dựa trên mô hình người sản xuất - ật người tiêu thụ (NSX-NTT) đã được ch ứng minh tính đúng đ và có thể áp dụng để ắn điều khiển các hoạt động diễn ra đồng thời trong hệ khi hệ này đã được đưa vào vận hành [15,2,9]. Trước đây, mô hình NSX-NTT hầu như chỉ áp dụng cho hệ tập trung nhờ trao đổi thông tin qua vùng nhớ chung (bộ đệm). Hiện nay, người ta tập trung nghiên cứu và phát triển mô hình ở mức có thể áp dụng cho các hệ phân tán bằng cách ánh xạ các giá trị đóng vai trò điều kiện cho đồng bộ giữa 2 tiến trình ở xa. Đó cũng chính là mục tiêu quan trọng nhất của đề tài nghiên cứu xâ y dựng giải pháp kỹ thuật giám sát các hoạt động đồng thời trong hệ phân tán. Riêng đối với vấn đề triển khai ứng dụng vào các hệ thống lớn, phức tạp như các hệ sản xuất - kinh doanh, thì vi c tìm ra phương pháp để nhận biết giới hạn số lượng ệ hàng hoá cần phải sản xuất, phòng và tránh dư thừa là vấn đề mấu chốt nhất. Đó chính là điều kiện cân bằng giữa cung và cầu trong sản xuất và tiêu dùng toàn hệ thống. Ứng dụng thực tế này sẽ được chỉ ra trong phần cuối của tài liệu này. 95
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 Tiếp theo, ta sẽ giới thiệu một trong những nội dung quan trọng là vấn đề trật tự hóa từng phần giữa các sự kiện trong hệ phân tán. 2. Trật tự hóa từng phần giữa các sự kiện diễn ra trong hệ Để 2 quá trình sản xuất và tiêu thụ diễn ra một cách tự nhiên, nhịp nhàng và đồng bộ với nhau, ta cần phải quan tâm đặc biệt đến cơ chế cho phép trật tự hoá từng phần giữa các sự kiện diễn ra đồng thời trong hệ với sự tham gia cơ hữu của hệ thống truyền thông. Theo nguyên lý phân tán, cơ chế trật tự hóa từng phần chính là các điều kiện cứng mà một tiến trình nào đó của hệ muốn phát triển tiếp tục, thì bắt buộc phải thỏa mãn bước kiểm tra kề liền trước đó. Sự kiện được hiểu là các hành vi nhận và phát thông điệp . Trong m hệ, ta có tiến trình động lực và tiến trình thường. Giữa 2 ti n ột ế trình NSX và NTT, tiến trình NSX được xem là tiến trình động lực, có nghĩa là sự phát triển của tiến trình này sẽ là nguyên nhân dẫn đến phát triển của các tiến trình khác (cụ thể là tiến trình NTT). Trật tự hóa có được là do sắp xếp (thiết lập một trật tự) các sự kiện. Điều duy nhất cần lưu tâm ở đây là trong khi đang sắp xếp cho tập sự kiện này chưa xong, thì các sự kiện khác lại đến ngẫu nhiên và số lượng không giống nhau. Do vậy, tập sự kiện là kết quả của việc sắp xếp giữa các Server là không giống nhau . Điều đó sẽ rất nghiêm trọng trong trật tự hóa tổng quát chặt chẽ. Giữa các trạm hay Server (sau này ta gọi chung là Server) sự khác nhau trật tự giữa các sự kiện chỉ có thể thể hiện được thông qua việc trao đổi các thông điệp với nhau. Giả sử rằng ta có thể xác định một trật tự giữa các sự kiện của hệ nhờ vào quan hệ được ký hiệu là : → gọi là có trước hay ở ngay trước. Quan hệ này tối thiểu phải thõa mãn được các ràng buộc thể hiện trong bảng II.1 dưới đây. Bảng II.1 Các ràng buộc quan hệ Ký hiệu Thuyết minh TT Nếu A và B là hai sự kiện của cùng một Server và nếu A đuợc thực hiện trước B thì theo trật tự cục bộ của Server ta có : 1 C1 A→B Nếu A là phát thông điệp bởi một Server nào đó và nếu B là 2 C2 thu của thông điệp này thì ta có : A → B 96
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 Ràng buộc C1 thể hiện một trật tự có được bởi quan hệ có trước là tương thích với các tr tự cục bộ ật TRẬT TỰ TỪNG PHẦN được định nghĩa trong CỦA CÁC SỰ KIỆN từng Server. Còn ràng B1 A1 buộc C2 nói lên A1 →A2 → A3 → A4 →A5 B1 →B2 →B3 → B4 nguyên tắc nhân quả. B2 A2 Trao đổi thông điệp Phần trình bày A1 →B2 và B3 →A4 B3 A3 Chuyển qua bên trái c hình II.2 ủa A1 →A2 →B2 → B3 → B4 cho ta hình dung ề B4 A4 v B1 →B2 → B3 → A4 →A5 hoạt động của 2 A1 →A2 →B2 → B3 → A4 →A5 B5 A5 t Các sự kiện không so sánh Server ới các sự v B1 và A1 , A2 ,A3 kiện phát và nhận A3 và B2 , B3 , B4 thông đi p theo thời ệ Hình II.1 Sơ đồ mô tả trật tự từng phần gian t. Đây là ví dụ về trật tự hóa từng phần của các sự kiện trong hệ, trong đó quan hệ có trước xác định một trật tự từng phần trên tập hợp các sự kiện của hệ và trật tự này được thể hiện trong phần bên phải. 3. Mô hình người sản xuất - người tiêu thụ phân tán Trong phần này, ta sẽ đi sâu vào việc phân tích mô hình NSX-NTT phân tán làm cơ sở cho việc xây dựng giải pháp kỹ thuật giám sát hệ thống. Bài toán NSX-NTT là mô hình quen thu trong phần nguyên lý hệ điều hành ộc các máy tính. Theo đó thì khả năng tiêu thụ là nguyên nhân chính hạn chế số lượng hàng hóa sản xuất ra sao cho lượng hàng hóa sản xuất ra đó không được phép vượt quá số lượng tiêu thụ một giá trị lớn hơn N. Người sản xuất P và người tiêu thụ C là 2 người nằm trên 2 Server cách xa nhau (liên lạc qua hệ thống đường truyền). Giả sử rằng NP là số lượng sản xuất ra và NC là số lượng tiêu thụ tại thời điểm khởi sự (start), C chỉ tiêu thụ được một sản phẩm, nếu sản xuất sản phẩm đó đã diễn ra. Điều đó có nghĩa là, nếu : NP – NC > 0 (1) Tương tự, P chỉ sản xuất một thông tin, nếu : NP – NC < N (2) Hai quan hệ (1) và (2) thể hiện điều kiện của việc đồng bộ hóa. Trong hệ phân tán, ta có thể sử dụng 2 biến NP và NC thể hiện số lượng chính xác sản xuất đã diễn ra và số lượng chính xác tiêu thụ đã thực hiện. Đồng thời ta cũng dùng 2 biến NP’ và NC’ để thể hiện giá trị ảnh của NP và NC. Ta sẽ chứng minh rằng một sự đồng bộ hóa chính xác được đảm bảo bằng việc xác nhận trên mỗi Server các điều kiện nêu trong (1) và (2). Trên Server sản xuất : NP’ – NC > 0 (3) 97
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 Trên Server tiêu thụ : NP – NC’ < N (4) Thực tế, ta có thể viết : với np ≥ 0 NP = NP' + np, (5) với nc ≥ 0 NC = NC' + nc, (6) trong đó, np số lượng thông tin đã sản xuất bởi P mà C không biết, nc số lượng thông tin đã tiêu thụ bởi C mà P không biết. Không cần tính đến (5) và (6), các điều kiện (3) và (4) bao hàm các đi u kiện ề ban đầu nêu trong (1) và (2). Ta có thể khái quát hóa phương pháp này cho điều kiện đồng bộ hóa bằng công thức : Q ∑C X >K (7) i i i =1 trong đó, Ci và K là các hằng số. Đến đây, ta hoàn toàn có khả năng và điều kiện mạnh hơn bằng cách thay thế tất cả các Xi mà hệ số của nó là đại lượng dương bằng các ảnh của nó X'i, nếu và chỉ nếu các Xi là các biến không lùi. Việc vận dụng thông thường của vấn đề này trên hệ thống tập trung sử dụng loại trừ tương hỗ để truy cập đến các biến trạng thái chia xẻ được biểu hiện chính xác số lượng sản xuất và tiêu thụ. Điều đó cho ta một trật tự tổng quát giữa các sự kiện phối hợp ngay từ đầu sản xuất và tiêu thụ. Song vì nguyên nhânở xa nhau (phải qua hệ thống đường truyền) giữa người sản xuất và người tiêu thụ mà trật tự tổng quát này là không cần thiết và chỉ cần sử dụng để đồng bộ hóa các bản sao các biến trạng thái gần đúng là đủ. Cuối cùng, ta cần lưu ý là trong hệ thống người sản xuất - người tiêu thụ, nếu N = 1, thì có s liên kết chặt chẽ giữa 2 tiến trình cho phép xác định một trật tự chặt ự chẽ giữa các sự kiện. 4. Giải pháp kỹ thuật giám sát trong hệ thống NSX-NTT 4.1 Công tơ sự kiện Trên cơ sở những vấn đề vừa nêu, ta nghiên cứu xây dựng cơ chế đồng bộ bao gồm các công tơ sự kiện phù hợp với các yêu cầu nêu ra với nguyên tắc cơ bản là mỗi một công tơ được kết hợp với một nhóm các sự kiện E. Như thế, trên một công tơ sự kiện nào đó ta cần phải xác định tối thiểu 3 hàm (hoặc thủ tục) như trong bảng IV.1 dưới đây. 98
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 Bảng IV.1 Các hàm của hệ NSX-NTT Tên gọi của hàm Thuyết minh TT Tăng nội dung công tơ lên 1 đơn vị có nghĩa là một sự 1 PC_tang(E) kiện nhóm E đến Cung cấp giá trị hiện hành của công tơ phối hợp với E 2 PC_trvan(E) Treo tiến trình gọi chừng nào giá trị công tơ còn nhỏ 3 PC_cho(E,n) hơn n Mỗi công tơ được khởi động ngay khi thành lập nó. Khi xây dựng chương trình Java, ta sử dụng 4 biến NP, NC, NP’ và NC’ đóng vai trò công tơ sự kiện và ảnh của các công tơ đó. Hai công tơ sự kiện ảnh NP’ và NC’ được khởi động bằng giá trị 0. Hai biến nguyên NP và NC là 2 biến cục bộ đối với PRODUCER CONSUMER tiến trình người sản Vòng lặp Vòng lặp xuất P và người tiêu PC_cho(NC’,NP-N+1) PC_cho(NP’,NC+1) { Chuyển khi NP-NC’0 } san_xuat tieu_thu Thuật toán cho PC_tang(NP’) PC_tang(NC’) phép bi u diễn hoạt ể NP = NP+1 NC = NC+1 động của 2 tiến trình Kết thúc vòng lặp Kết thúc vòng lặp này đư c trình bày ợ Hình IV.1 Thuật toán tổng quát NSX-NTT trong hình IV.1 ưới d đây. 4.2 Trao đổi thông điệp Thông điệp trong hệ NSX -NTT đóng vai trò quan trọng trong việc trật tự hóa các sự kiện và dựa vào đó ta có thể có được sự đồng bộ cần thiết. Ở đây, trong tiến trình NSX, lệnh sản xuất chính là hình thành thôngđiệp, còn trong tiến trình NTT, lệnh tiêu thụ cho phép lấy ra từ bộ đệm một hay một số thông điệp nào đó. Các thao tác tại Server sản xuất là : • Kiểm tra điều kiện (NP’ - NC) > 0 nhận giá trị true, thì lấy ra thông điệp (tieu_thu). • Tăng giá trị ảnh NP’ trên Server tiêu thụ lên 1 đơn vị (có thể hơn 1 đơn vị) bằng cách phát thông điệp vừa hình thành cho Server này qua đường truyền. • Tăng NP lên 1 đơn vị. • Chuyển sang trạng thái chờ và kiểm tra. Các thao tác tại Server sản xuất là : 99
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 • Kiểm tra điều kiện (NP - NC’) < N nhận giá trị true, thì hình thành thông điệp (san_xuat). • Tăng giá trị ảnh NC’ trên Server sản xuất lên 1 đơn vị (có thể hơn 1 đơn vị) bằng cách phát thông điệp cho Server này qua đường truyền. • Tăng NC lên 1 đơn vị. • Chuyển sang trạng thái chờ và kiểm tra. Có 3 loại thông điệp cơ bản được sử dụng trong hệ phục vụ việc trao đổi thông tin giữa 2 tiến trình và sử dụng cho thuật toán loại trừ tương hỗ ở mức các biến đóng vai trò công tơ. Như vậy, Server i của mạng có thể gửi cho Server kia thông điệp có dạng (T, Vi, i ), trong đó Vi là giá trị của thông điệp có nghĩa là số lượng đã sản xuất hay tiêu thụ, T có thể nhận tối thiểu một trong ba giá trị là REQ, REL và ACQ. Ba giá tr này xác định bản chất của 3 loại thông điệp thường sử dụng (xem bảng ị IV.2). Bảng IV.2 Các hàm của hệ NSX-NTT Thông điệp Giải thích TT Thông điệp REQ được phát đi khi trạm i muốn vào trong đoạn găng 1 REQ Thông điệp REL được phát đi khi trạm i đã rời khỏi đoạn găng 2 REL Thông điệp ACQ được gửi bởi trạm j cho trạm i, khi trạm j đã nhận được từ trạm i thông điệp REQ. 3 ACQ 4.3 Xây dựng hệ thống giám sát MPCMDS v.3.2 Hệ thống giám sát Cài đặt/Bỏ cài đặt Ra quyết định Monitoring I Hệ MPCMDS v. 3.2 DS MPCM v.3.2 (Monitoring of quản lý Producer - Consumer Model for Distributed Systems) Hệ thống CSDL được xây d ựng d ựa trên mô Monitoring II nội tại điều khiển tự động hình ho động của 2 tiến ạt Ra quyết định trình NSX-NTT [10,12,14]. Thống kê Hệ thống bao gồm các thành Truyền thông và Tài chính Cấu hình hệ thống phần chính phản ảnh trong Báo cáo hình IV.2, trong đó ta có các Hình IV.2 Thành phần của MPCMDS v. 3.2 mô đun sau đây : 100
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 1. Monitoring I ới chức v năng chủ yếu là mô phỏng hoạt động bằng sơ đồ về quá trình hoạt động đồng thời của NSX và NTT ở xa, thông qua hệ thống đường truyền. Tại đây, NSD là cán b quản lý sẽ cho ra các ộ quyết định về quản trị hệ thống dựa vào phương tiện cung cấp thông tin động. 2. Monitoring II ới chức v năng chủ yếu là mô phỏng hoạt động của hệ đa Server thông qua hệ thống viễn thông. Các yếu tố kỹ thuật như bộ đệm, các biến đồng bộ, đèn báo, thông điệp, ... được sơ đồ hóa trên màn hình. Thông tin ở đây đóng vai trò trợ giúp cho người quản trị hệ thống mạng nhìn thấy và quyết định can thiệp khi cần thiết nhằm làm cho hệ hoạt động hiệu quả hơn. 3. Hệ thống quản lý CSDL nội tại cho phép điều khiển các hoạt động liên quan đến CSDL riêng c ủa MPCMDS v.3.2. Những thông tin lưu trữ ở đây sẽ giúp ích r ất nhiều cho quá trình th ống kê, báo cáo và theo dõi sự cố kỹ thuật trong quá trình hoạt động của mạng. 4. Mô đun cài đặt sẽ giúp chúng ta hình thành các giá tr ban đầu của một ị hệ đồng bộ và tổ chức các Server kết nối được và làm việc tốt với nhau qua hệ thống đường truyền xa. 5. Các mô đun ph trợ khác (xem ụ hình IV.3). Trong hình IV.3, ta thy các tham ấ số cần phải khai báo khi cài đặt hệ trên các Server, trong đó đáng quan tâm nhất là các giá trị khởi động cho một hệ đồng bộ hóa các tiến trình ở xa qua mạng viễn thông. Việc cài đặt có thể được tiến hành từ xa qua mạng IP, nếu ta không có điều kiện tiếp cận đến hệ đa Server. Hai mô đun Monitoring I và II (xem hình IV.2) cho ta thấy có thể có được đồng thời 2 loại thông tin giám sát khác nhau là giám sát tổ chức và giám sát kỹ thuật và tương ứng với chúng là 2 loại quyết định khác nhau về bản chất. Đối với NSD là nhà quản lý đơn vị sản xuất - kinh doanh, thì giám sát b thông tin trực quan có vai trò đặc biệt ằng quan trọng tr ong việc hình thành các quyết định một cách khá nhanh chóng, chính xác và kịp thời (xem hình IV.4). 5. Kết luận Qua nghiên cứu giải pháp kỹ thuật giám sát các hoạt động đồng thời trong hệ phân tán, chúng tôi đã thực hiện được : 1. Hệ thống hóa lý thuyết về mô hình người sản xuất - người tiêu thụ, đồng thời minh chứng tính đúng đắn của mô hình này khi ứng dụng cho bài toán phân tán trong việc đồng bộ hóa các tiến trình trên cơ sở trật tự hóa từng phần. 101
TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(34).2009 2. Làm rõ sự khác nhau của mô hình tập trung và phân tán. Chỉ ra những lợi ích khi ứng dụng hệ vào thực tế để điều khiển các hệ thống lớn như các hệ thống sản xuất - kinh doanh hiện trạng trong việc tăng cường nắm bắt thông tin nhanh chóng, chính xác và kịp thời và từ đó có thể đưa ra được những quyết định kinh tế h ợp lý trong khi thực hiện các ý đồ chiến thuật và phát triển các chiến lược sản xuất - kinh doanh của đơn vị mình. 3. Nghiên cứu hình thành giải pháp kỹ thuật khả thi cho phép điều khiển các tiến trình hoạt động đồng thời, ở xa thông qua phương pháp giám sát các hệ thống lớn, phức tạp và phân tán. 4. Hình thành hệ chương trình MPCM DS v.3.2 bằng ngôn ngữ JAVA với thư viện phân tán CORBA và RMI trong môi trường mạng TCP/IP. 5. Thử nghiệm chương trình đã cài đặt và vận hành thử để rút ra các kết luận cần thiết cho sự phát triển tiếp tục đề tài sau này. Những hạn chế và khó khăn trong quá trình nghiên cứu như môi trường giả định TCP/IP và máy ảo JVM, các hướng nghiên cứu khác nhau của thế giới và trong nước, thời gian và năng lực nghiên cứu có hạn của các tác giả sẽ được tiếp tục khắc phục để công trình này được hoàn thiện hơn. Các tác giả rất mong muốn sự đóng góp ý kiến từ phía các chuyên gia, bạn bè đồng nghiệp . TÀI LIỆU THAM KHẢO [1] Nguyễn Thúc Hải, Mạng máy tính và các hệ thống mở, NXB Giáo dục, Hà Nội, 1997 [2] Lê Văn Sơn, Hệ tin học phân tán, NXB Đại học Quốc gia TP. HCM, 2002 [3] Hà Quang Th ụy,Giáo trình nguyên lý h ệ điều hànhNXB Khoa h ọc vàKỹ thuật, Hà Nội, 2003 , [4] Nguyễn Nho Túy, Lập trình Java giả lập Server giải bài toán Người sản xuất-Người tiêu thụ (Luận văn Thạc sĩ CNTT), Đà Nẵng, 2005 [5] Vũ Duy Mẫn, Hệ điều hành của máy tính điện tử, NXB Khoa học và Kỹ thuật, Hà Nội, 1989 [6] Mohammad M.Fuad and Michael J. Oudshoorn, AdJava-Automatic Distribution of Java, Application, 2001 [7] M. Tamer Ozsu, Patrick Valduriez (Trần Đức Quang biên dịch), Nguyên lý các hệ cơ sở dữ liệu phân tán, Tập I và II, NXB Thống kê, Hà Nội, 1999 [8] Christian Lavault, Evoluation des algorithmes distribues, (Analyse, Complexite, methodes), Hermes, Paris, 1995 [9] Lê Văn Sơn, Trương Thị Mỹ Dung, Nghiên cứu giải pháp kỹ thuật giám sát các hoạt động đồng thời trong hệ phân tán, Báo cáo tại Hội thảo quốc gia về CNTT và Truyền thông, TP. Huế, 2008 [10] http://www.sun.com [11] http://www.uit.edu.vn/data/gtrinh/TH106/index.php [12] http://javavietnam.org [13] http://en.wikipedia.org/wiki/Producer-Consumer_Problem [14] http://www.java.com/en [15] http://fedoranews.org [16] www.onjava.com/pub/a/onjava/2003/10/08/multithreaded_xml.html. 102

CÓ THỂ BẠN MUỐN DOWNLOAD

LV.01: Bộ Luận Văn Thạc Sĩ Quản Trị Kinh Doanh MBA

165 tài liệu

2062 lượt tải

THÔNG TIN

TRỢ GIÚP

HỖ TRỢ KHÁCH HÀNG

Theo dõi chúng tôi

Chịu trách nhiệm nội dung:

Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA

LIÊN HỆ

Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM

Hotline: 093 303 0098

Email: support@tailieu.vn

Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2022-2032 TaiLieu.VN. All rights reserved.