Bài viết này nghiên cứu thuật toán loại trừ lẫn nhau theo hướng tiếp cận Token nhằm tìm ra những giải pháp cung cấp tài nguyên phân tán hữu hiệu trong đó nhấn mạnh các giải pháp loại trừ lẫn nhau và đề ra các biện pháp tránh được các vấn đề thiếu thốn tài nguyên. Mời các bạn cùng tham khảo!
Tạp chí Khoa học Cơng nghệ, Số 38, 2019 GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO ĐOÀN VĂN THẮNG1, NGUYỄN HÀ HUY CƢỜNG2, VÕ QUANG HỒNG KHANG1 Đại học Cơng nghiệp TP Hồ chí minh;; Trường Đại học Quảng Nam Trường; vanthangdn@gmail.com - nguyenhahuycuong@gmail.com Tóm tắt Hệ thống máy chủ ảo đƣợc xây dựng hệ thống máy chủ vật lý phân tán bình diện tồn cầu kết nối với thơng qua hệ thống vi n thông c vai tr ngày quan trọng việc vận hành, cung c p khai thác tài nguyên ảo h a Đ đảm bảo việc cung c p tài nguyên m t cách xác, k p thời, tránh tình trạng chồng ch o, xung đ t, bế tắc thiếu thốn vô hạn cho tiến trình c nhu cầu tài nguyên, đặc biệt tài nguyên xa, nh t thiết, phải nghiên cứu đề xu t giải pháp đủ mạnh, tin cậy làm tảng sở cho hệ điều n bên đám mây Trong báo này, chúng tơi nghiên cứu thuật tốn loại trừ lẫn theo hƣớng tiếp cận Token nhằm tìm giải pháp cung c p tài nguyên phân tán hữu hiệu đ nh n mạnh giải pháp loại trừ lẫn đề biện pháp tránh đƣợc v n đề thiếu thốn tài nguyên Từ khóa Máy chủ ảo; cung c p tài nguyên A NEW TECHNICAL ON BASIS MUTUAL EXCLUSION FOR VIRTUALIZATION SYSTEMS Abstract The virtualization server system is built on the basis of a distributed physical machine system on a global scale and interconnected through a telecommunication system that plays an increasingly important role in the operation and provisioning and exploits virtualization resources To ensure the timely and accurate resource allocation of this resource, avoid overlapping, conflicting, deadlock and infinite depletion of processes that require resources, particularly remote resources, Necessarily, it is important to research and propose robust, reliable solutions that underpin the control system within the cloud In this paper, we study the mutually exclusive algorithm in the Token approach to finding effective distributed resource allocation solutions that emphasize mutually exclusive solutions and measures Avoid the problem of not enough resource hardware from a physical machine Keywords Virtualization Server; Mutual Exclusion, Physical Machine, Resource Allocation MỞ ĐẦU Điện toán Đám mây (ĐTĐM) ngày dựa thay đổi từ mơ hình máy tính lớn đến mơ hình máy khách chủ Các chi tiết sở hạ tầng đƣợc trừu tƣợng h a từ phía ngƣời sử dụng, họ không cần biết hạ tầng công nghệ nguồn tài nguyên đƣợc truy cập m t cách d dàng đám mây Hầu hết sở hạ tầng ĐTĐM bao gồm d ch vụ cung c p thông qua trung tâm liệu xây dựng máy chủ ảo Với xu t công nghiệp nhu cầu sử dụng nguồn tài nguyên ảo h a dự báo tăng lên thời gian tới V n đề nguồn tài nguyên ĐTĐM thƣờng xu t nhƣ m truy cập nh t t t máy chủ ĐTĐM Thế nhƣng, thời m mạng giữ đƣợc vai tr truyền thống n nhƣ m t phƣơng tiện trao đổi thông tin đồng thời, n đƣợc cảm nhận nhƣ m t phƣơng tiện chia sẻ tài nguyên Xu hƣớng cho th y cần phải xây dựng đƣợc hạ tầng cung c p d ch vụ phải c tính vƣợt tr i linh hoạt khả mở r ng, khả phục hồi an ninh tắc nghẽn mạng, với đ khả tƣơng tranh xung đ t tài nguyên hữu hạn Công nghệ ảo h a cung c p trừu tƣợng cô lập chức c p th p hơn, cho ph p khả di đ ng cao tập © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 77 hợp đƣợc nguồn tài nguyên vật lý [2] Trong m t môi trƣờng nhƣ ĐTĐM nguồn tài nguyên phục vụ cho nhu cầu khách hàng ngày m t tăng Hiện khách hàng chia sẻ nguồn tài nguyên hữu hạn, chẳng hạn hệ đa server lồng vào nhau, hệ điều hành loại client khác, phần c cách thức hoạt đ ng cụ th , xác đ nh thứ tự mà đ nguồn tài nguyên đƣợc giao cho tƣng phần Tuy nhiên, tiến trình hoạt đ ng phức tạp mơi trƣờng phân tán hỗn tạp khách hàng phải cạnh tranh cho m t tập hợp hữu hạn nguồn tài nguyên Từ v n đề thúc đẩy nhà nghiên cứu, chuyên gia lĩnh vực khoa học máy tính ln nghiên cứu tìm t i giải pháp nhằm đáp ứng tốt khả yêu cầu sử dụng d ch vụ công nghệ thông tin nhân loại ngày Trong n i dung báo, chúng tơi trình bày giải pháp với mơ hình máy chủ ảo đáp ứng nhu cầu cung c p tài nguyên thông tin, ngăn chặn đƣợc v n đề tranh ch p cung c p tài nguyên V n đề tranhch p cung c p tài nguyên tảng phân tán đƣợc quan tâm giải nhà nghiên cứu trƣớc Tuy nhiên, c n nhiều v n đề nghiên cứu giải cho thích hợp xu tƣơng lai Trong n i dung nghiên cứu này, cung c p giải pháp kỹ thuật cung c p tài nguyên cho hệ thống máy chủ ảo dựa máy chủ vật lý Giải pháp dựa kỹ thuật loại trừ tƣơng hỗ tác giả Ricart – Agrawala Chúng phát tri n từ ý tƣởng thuật toán tác giả, từ đ y đề xu t thuật toán gồm ba pha riêng biệt Bố cục báo gồm phần nhƣ sau: phần 2: Trình bày m t số thuật toán học sát phân cụm liệu; Phần 3: Ứng dụng m t số thuật tốn phân loại đối tƣợng vay tín ch p, cuối kết luận hƣớng phát tri n 2.1 CƠ SỞ LÝ THUYẾT Petri Nets Petri lƣới (PN) đƣợc giới thiệu vào năm 1962 luận án tiến sĩ Carl Adams Petri [16], Đại học Kỹ thuật Darmstandt, Đức Lý thuyết ban đầu đƣợc phát tri n nhƣ m t cách tiếp cận đ mơ hình phân tích hệ thống thơng tin liên lạc Petri Nets (PNs) [14] m t cơng cụ mơ hình đồ họa tốn học c th đƣợc áp dụng m t số loại hệ thống cho ph p mơ hình song song, đồng thời, không đồng b hệ thống không xác đ nh K từ mơ hình đời, nhiều nh m chuyên môn nghiên cứu tiếp tục cải tiến phần mở r ng đƣợc đề xu t cho ph p giới thiệu ngắn gọn đ trình bày cho hệ thống tính tốn lớn Nhƣ vậy, mạng Petri đơn giản sau đ đƣợc áp dụng mở r ng hƣớng khác nhau, stochastic, high-level, object-oriented and coloured nets m t vài ví dụ phần mở r ng đƣợc đề xu t 2.2 Place-transition nets Pertri Net c n đƣợc gọi Place/Transition Networks (mạng v trí /chuy n tiếp) đƣợc hi n th đ th c hƣớng gồm node Node Transition (node chuy n tiếp) c dạng hình chữ nhật hình vng đƣợc dùng đ bi u di n kiện rời rạc c th xảy Node Place (node v trí) c dạng hình tr n dùng đ bi u di n trạng thái điều kiện Pertri m t lớp bật nghiên cứu tốt nh t Petri lƣới, n đƣợc gọi mạng Petri (PN) Place/Transition mạng Petri m t đồ th c hƣớng, thƣờng đƣợc đ nh nghĩa nhƣ sau: Định nghĩa Petri net [14] m t 5-tuple: PN = (P,T,F,W,M0) Trong đ : P = {p1, p2…pm} tập hữu hạn place T = {t1,t2,…tn} tập hữu hạn transition F: (P x T) đƣờng nối từ input place tới transition, đ N m t tập hợp số nguyên (là 1) Trong trƣờng hợp tổng quát n số nguyên không âm N hàm xác đ nh hƣớng đƣờng nối từ transition tới output place W: (P x T) © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 78 N trạng thái (marking) ban đầu M0: P Mạng Pertri đƣợc nghiên cứu m t cách r ng rãi toàn giới, c 15 loại Pertri Net khác thƣờng đƣợc phân loại vào m t ba nh m sau : - Nh m thứ nh t : mạng Pertri mơ tả v trí c khả bi u di n sai, v trí đƣợc đánh d u m t thẻ khơng c c u trúc - Nh m thứ hai : mạng Pertri mơ tả v trí c khả bi u di n giá tr m t số nguyên - Nh m thứ ba : mạng Pertri c khả bi u di n giá tr mức đ cao, chúng đƣợc đánh d u thẻ d u c c u trúc Các mạng c th k đến nhƣ Mạng Pertri cao c p với liệu trừu tƣợng Mạng Pertri suy r ng Trong mạng Pertri suy r ng bao gồm c mạng : Mạng Pertri tô màu Mạng Pertri c thời gian Mạng Pertri c gán nhãn 2.3 Mạng Pertri tô màu Coloured Pertri Net (CPN) Trƣớc đ nh nghĩa cho mạng CP – net, cần thích m t số ký hiệu thuật ngữ cho (net expressions) bi u thức mạng Các ký hiệu thuật ngữ đƣợc dùng bi u thức nhƣ tập màu colour, ban đầu marking (đánh d u), bi u thức arc, guards - Type(expr) ký hiệu ki u m t expr cho bi u thức - Var(expr) ký hiệu tập biến bi u thức expr - Type(v) ký hiệu ki u biến v - Type(vars),vars tập biến, ký hiệu tập ki u {Type(v)| v vars} - SSM ký hiệu tập m t tập S - Bool ký hiệu tập boolean, Bool={true,false} Định nghĩa M t Coloured Petri net [14] m t 9-tuple : , P,T,A,N,C,G,E,I) tập hữu hạn ki u không rỗng gọi Colour Set CPN = ( P tập hữu hạn places T tập hữu hạn transitions A tập hữu hạn arcs (đƣờng nối) : P T =P A=T A= N chức node N đƣợc đ nh nghĩa từ A P T T P C chức colour N đƣợc đ nh nghĩa từ P G chức guard N đƣợc đ nh nghĩa từ T công thức nhƣ sau: t T :[Type(G(t)) Bool Type(Var(G(t ))) ] E chức arc function N đƣợc đ nh nghĩa từ A tới bi u thức nhƣ sau : a A :[Type( E(a)) C ( p(a)) MS Type(Var( E(a))) ] nơi p(a) v trí N(a) I chức initialisation N đƣợc đ nh nghĩa từ P với bi u thức sau đây: (Vp P :[Type( I ( p)) C ( p) MS ] 2.4 Loại trừ tương hỗ Hệ thống phân tán r ng lớn [6,10] sử dụng công nghệ ảo h a đ cho ph p việc tạo phạm vi đ ng hơn, với nguồn tài nguyên ảo c th tính toán đáp ứng đƣợc nhu cầu ngƣời dùng với ứng dụng cụ th Tuy nhiên, với số lƣợng ngƣời sử dụng ngày tăng lên v n đề tranh ch p m t tài nguyên găng khơng th khơng xảy Ví dụ vấn đề tranh chấp lẫn nhau: Các đầu vào Ti Ei (0 ≤i≤n–1) © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 79 Ti b xử lý thứ i muốn vào đoạn găng Ei b xử lý thứ i muốn thoát khỏi đoạn găng Các đầu Ci Ri (0≤i≤n–1) Ci b xử lý thứ i c th vào đoạn găng Ri b xử lý thứ i c th vào đoạn c n lại Điều kiện cho chuỗi kiện α đầu vào đầu ra: - ∀i (0 ≤i≤n–1) : α|i quay vòng qua Ti, Ci, Ei, Ri theo thứ tự (điều kiện - ràng bu c đầu vào đảm bảo yếu tố tuần tự) - ∀i,j (0 ≤i≠j≤n–1): đầu vào hay đầu j (Cj) trƣớc Ci α (điều kiện – đảm bảo c b xử lý thời m) Hình Tiến trình cung c p tài nguyên cho ph p loại trừ lẫn Việc chia sẻ tài nguyên / liệu đƣợc phổ biến nhiều ứng dụng hệ thống, đ hầu hết nguồn tài nguyên liệu nên đƣợc truy cập m t cách đ c quyền lẫn Nguồn (hoặc biến liệu) c th đƣợc mơ hình h a m t nơi với thẻ đại diện cho số lƣợng tài nguyên Nơi đƣợc xem điều kiện trƣớc cho t t trình chuy n đổi cần nguồn đ Sau sử dụng m t nguồn tài nguyên, n phải đƣợc phát hành Hình mơ tả m t ví dụ m t hệ thống chia sẻ tài nguyên đƣợc truy cập m t cách đ c quyền lẫn Hình Tiến trình cung c p tài nguyên xung đ t Pertri net 3.1 GIẢI PHÁP LOẠI TRỪ TƢƠNG HỖ TRONG CUNG CẤP TÀI NGUYÊN CHO HỆ THỐNG MÁY CHỦ ẢO Mơ hình hệ thống Hệ thống bao gồm N trạm với N = { S1, S2, …, Sn} Không m t tính tổng qt, chúng tơi giả đ nh m t tiến trình nh t chạy trạm Tiến trình trạm S i đƣợc ký hiệu pi T t tiến trình giao tiếp không đồng b m t mạng truyền thông M t tiến trình c nhu cầu xâm nhập vào miền găng CS yêu cầu t t m t tập tiến trình cách gửi thơng điệp Request, chờ đợi trả lời thích hợp trƣớc vào CS Trong chờ đợi tiến trình khác không đƣợc ph p thực yêu cầu tiếp tục nhập vào miền găng CS M t trạm c th m t ba trạng thái sau đây: yêu cầu CS, thực thi miền găng CS, không yêu cầu không thực thi CS (tức là, nhàn rỗi) Trong trạng thái yêu cầu, trạm b chặn không th thực yêu cầu thêm vào CS Trong trạng thái © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh 80 GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO nhàn rỗi "idle", trạm đƣợc thực thi bên CS Trong thuật toán theo hƣớng Token m t trạm c th c thong tin trạng thái trạm giữ thơng báo thực bên ngồi CS Tại b t k thời m nào, m t trạm c th c m t vài yêu cầu c p phát CS M t trạm yêu cầu đƣợc xếp tự chờ phục vụ Chúng đề xu t giải pháp sở thuật toán Ricart–Agrawala Thuật tốn sử dụng hai loại thơng điệp REQUEST REPLY M t tiến trình gửi thơng điệp REQUEST cho t t tiến trình khác đ yêu cầu cho ph p đƣợc quyền xâm nhập vào miền găng M t tiến trình gửi thơng điệp REPLY đến m t tiến trình đ cho ph p tiến trình đ Tiến trình sử dụng đồng hồ logic Lamport đ gắng nhãn thời gian đ yêu cầu tới miền găng (CS) Nhãn thời gian dùng đ đ nh ƣu tiên yêu cầu trƣờng hợp c xung đ t m t tiến trình pi chời thực thi miền găng nhận m t thông điệp REQUEST yêu cầu từ tiến trình pj, sau đ thứ tự ƣu tiên pj’s sau, pi trì hỗn gửi REPLY gửi thông điệp REPY tới pj sau thực CS cho yêu cầu c p phát Ngƣợc lại, pi gửi thông điệp REPLY cho pj n không thực thi CS, yêu cầu trƣớc thành công việc nhận thông điệp REPLY đƣợc thực CS Mỗi tiến trình pi trì m t dãy u cầu trì hỗn RDi, kích cỡ dãy tƣơng đƣơng với số tiến trình hệ thống Bắt đầu,ij: RDi[j]=0 Khi mà tiến trình pi trì hỗn gửi u cầu tới pj, n xác lập RDi[j]=1 sau đ n gửi thông báo REPLY tới pj, n xác lập RDi[j]=0 3.2 Giới thiệu thuật toán loại trừ tƣơng hỗ Loại trừ tƣơng hỗ c th đƣợc điều n m t trạm trung tâm c nhiệm vụ nhận t t thông điệp khuyến ngh giải ph ng Trạm trì m t hàng đợi, xếp yêu cầu theo trật tự đến phục vụ cho thông điệp m t trật tự Phân tán giải thuật k o theo việc phân tán chức cung c p mà cần phải điều n hàng đợi trạm Do vậy, m t trạm chuyên cho việc tiếp nhận yêu cầu khuyến ngh giải ph ng từ t t trạm c n lại M t trật tự giống trạm đạt đƣợc, ta áp dụng d u thông điệp đồng hồ logic truyền đánh số trạm Quan hệ trật tự toàn b đƣợc đ nh nghĩa Thêm vào đ , đ cho m t trạm c th đ nh việc tham chiếu nh t vào hàng đợi n c n cần phải đƣợc nhận m t thông điệp trạm khẳng đ nh không c thông điệp trƣớc thông điệp khác mà c n cảnh đƣờng Thuật toán loại trừ tƣơng hỗ Ricart – Agrawala c th mô tả nhƣ sau Thuật toán Ricart – Agrawala Giai đoạn: Yêu cầu miền găng Bƣớc Khi m t trạm Si muốn vào đoạn găng CS, n gửi gửi quảng bá m t thông điệp REQUEST c gán nhãn thời gian tới t t trạm khác Thông điệp c điệp c dạng (T,H i,i), đ Hi d u thông điệp c nghĩa đồng hồ logic n T c th nhận m t ba giá tr REQ, REL, ACQ Bƣớc Khi trạm Sj nhận m t thông điệp REQUEST từ trạm Si, n gửi m t thông điệp REPLY tới trạm Si trạm Sj không yêu cầu không thực thi miền găng CS, trạm Sj yêu cầu Si’s yêu cầu với nhãn thời gian nhỏ trạm Sj’s Nếu khơng, trả lời trì hỗn Sj xác lập RDj[i]=1 Giai đoạn: Thực thi miền găng Bƣớc Trạm Si vào miền găng sau n nhận đƣợc thông điệp REPLY từ trạm mà n gửi thông điệp REQUEST Giai đoạn: Khôi phục miền găng Bƣớc Khi trạm Si thoát khỏi miền găng CS, n gửi t t thông điệp REPLY: j RDi[j] =1, n gửi thơng điệp REPLY tới Sj xác lập RDi[j]:=0 Ý tƣởng giải thuật Start ; ; If then © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 10 11 12 13 14 15 16 17 18 19 20 3.3 81 ; await goto start; Fi; ; If then ; For j:=1 to N Do wait < b[j]> od If then Await ; Goto start; Fi; Fi; Critical section; ; ; Kiểm nghiệm giải thuật Các yêu cầu vào đoạn găng đƣợc xử lý theo trật tự FIFO theo quan hệ Đ chứng minh cho điều đ ta lƣu ý trạm Si đ nh vào đoạn găng, n không th đƣa mạng yêu cầu REQUEST trƣớc bối cảnh sau Thực tế, trạm Si vào đoạn găng c nghĩa n nhận thông điệp từ t t trạm khác t t thông điệp sau REQUEST riêng n Ta ki m tra đặc tính sau đây: o Trạm Si đoạn găng trạm duynhaats nằm đoạn găng y Thực tế cho th y thông điệp REQUEST đƣợc phát Si tiếp tục tồn t t hàng đợi n đƣợc thay thông điệp REL o Trạm yêu cầu vào đoạn găng phải đảm bảo thời hạn phải khỏi đoạn găng sau m t khoản thời gian xác đ nh Ví dụ 1: Chúng ta x t m t mạng bao gồm trạm, đ c hai trạm yêu cầu vào đoạn găng thời m đồng hồ logic chúng Tập hợp thông điệp đƣợc mơ tả nhƣ hình sau: Hình Loại trừ tƣơng hỗ nhờ d u © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh 82 GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO MÔ PHỎNG VÀ ĐÁNH GIÁ KẾT QUẢ Chúng sử dụng phần mềm mô Coloured Petri net 0 Đƣợc cài đặt máy Laptop Lenovo; Chipset Intel coreTMi5 M t số kết mơ với mơ hình CPN cho thuật tốn loại trừ lẫn với thuật Ricart – Agrawala Hình Mơ hình mơ với thuật tốn Ricart – Agrawala Hình M t số u cầu mơ Coloured Pertri Net Trên hình chúng tơi sử dụng 15 v trí Place với cơng cụ Pertri Net chúng tơi c đƣợc kết yêu cầu mô nhƣ với tỷ lệ trung bình tokens v trí giao đ ng từ 0,0396 tới 0,14851 Và đ tin cậy v trí (Place) từ 0,01452 tới 0,04493 Hình Trạng thái hệ thống phân tích u cầu phân tích khơng gian trạng thái mạng Pertri net nhƣ hình © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 83 Hình Phân bổ trạng thái hệ thổng phân tích Phân bố trạng thái hệ thống đƣợc đánh d u từ M0 tới M15 Với liệu M0 16667 M15 0.10427 Hình Xác xu t Token v trí Trên hình mật đ xác xu t Token v trí (Place) với =0 v t P0,P1 c giá tr th p nh t 83333 mật đ xác xu t cao nh t P15, P12 c giá tr 0,97917 Khi giá tr =1 mật đ xác xu t v trí P5,P6 th p nh t c giá tr 0625 c n giá tr cao nh t v trí P8,P13 10417 © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 84 KẾT LUẬN Qua kết kết mô phân tích đánh giá ƣu nhƣợc m thuật toán đề xu t nhận th y thuật toán vừa nêu c ƣu m so với thuật toán đề xu t Lamport trƣớc Với thuật toán Lamport thuật toán Ricart – Agrawala với yêu cầu (N-1) thông điệp REQUEST RELASE đ tr thuật toán T Tuy nhiên thuật toán Ricart – Agrawala 2(N-1) thơng điệp cho CS gọi cịn Lamport 3(N-1) Nhƣ vậy, q trình mơ hình h a hệ thống phân tán máy chủ ảo giải ứng dụng thuật toán giải v n đề loại trừ tƣơng hỗ với Petri Net nhận th y kết mô phù hợp với yêu cầu đề Dựa kết ccos th mở r ng cho hệ thống phức tạp Và giải đƣợc v n đề cung c p tài nguyên phân tán Hiện c nhiều công cụ đ chuy n mơ hình hệ thống Petri Net sang chƣơng trình với ngơn ngữ lập trình thơng dụng nhƣ Java điều giúp ta d dàng phát tri n hệ thống sau mơ hình h a với Petri Net TÀI LIỆU THAM KHẢO [1] D P Mitchell and M J Merritt, “A distributed algorithm for deadlock detection and resolution,” in Proc.ACM Symposium on Principles of Distributed Computing, 1984, pp 282–284 [2] E.Knapp (1987), Deadlock Detection in Distributed Database Systems, ACM Computing Surveys, Vol.19, No pp.303-327 [3] M,Singhal.(1989), Deadlock detection in distributed systems IEEE Computer, Vol.22, pp 37–48 [4] A.D.Kshemkalyani, and M.Singhal (1999), A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases, IEEE Trans Knowledge and Data Eng., vol 11, No 6, pp 880-895 [5] W Voorsluys, S Garg, and R Buyya, “Provisioning spot market cloud resources to create cost-effective virtual clusters,” in Proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP) Los Alamitos, CA, USA: IEEE Comput Soc., 2011 [6] R Buyya, R Ranjan, and R Calheiros, “Modeling and simulation of scalable cloud computing environments and the cloudsim toolkit: Challenges and opportunities,” inProceeding of the 7th International Conference on High Performance Computing & Simulation (HPCS) Los Alamitos, CA, USA: IEEE Comput Soc., 2009, pp 1–11 [7] D Feitelson, “Parallel workloads archive,” http://www cs huji ac il/labs/parallel/workload [8] D Tsafrir, Y Etsion, and D G Feitelson, “Modeling User Runtime Estimates,” in In Processing of the 11th Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP) Springer-Verlag, 2005, pp.1–35 [9] Binildas CA, Malhar Barai, Vincenzo Caselli, Service Oriented Architecture with Java (Using SOA and Web Services to build powefull Java applications), PACKT Publishing, 2008 [10] Ian Foster, Yong Zhao, Ioan Raicu, Shiyong Lu, Cloud Computing and Grid Computing 360-Degree Compared, Grid Computing Environments Workshop, 2008 [11] Rajkumar Buyya, Chee Shin Yeo, and Srikumar Venugopal, Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities, International Conference on High Performance Computing, 2008 [12] M Andreolini, S Casolari, M Colajani, and M Messori, “Dynamic load management of virtual machines in a cloud architectures,” in CLOUDCOMP, 2009 [13] D Prangchumpol, S Sanguansintukul, and P Tantasanaw, “Analyzing User Behavior from Server Logs for Improved Virtualization Management”,2009 © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO [14] 85 M Stillwell, D Schanzenbach, F Vivien, and H Casanova, “Resource allocation algorithms for virtualized service hosting platforms,”, JPDC, vol 70, no 9, pp 962-974, 2010 [15] A Kshemkalyani, M Singhak, “Deadlock Detection in Distributed systems”, in Distributed Algorithms, 2010 – 2011 Ngày nhận bài:24/10/2018 Ngày chấp nhận đăng:10/02/2019 © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh ... tả nhƣ hình sau: Hình Loại trừ tƣơng hỗ nhờ d u © 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh 82 GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO MÔ PHỎNG VÀ ĐÁNH GIÁ... học Cơng nghiệp thành phố Hồ Chí Minh GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO 84 KẾT LUẬN Qua kết kết mô phân tích đánh giá ƣu nhƣợc m thuật toán đề xu t nhận th y thuật. .. 2019 Trƣờng Đại học Cơng nghiệp thành phố Hồ Chí Minh 80 GIẢI PHÁP KỸ THUẬT TRÊN CƠ SỞ LOẠI TRỪ TƢƠNG HỖ HỆ THỐNG MÁY CHỦ ẢO nhàn rỗi "idle", trạm đƣợc thực thi bên CS Trong thuật toán theo hƣớng