摘   要： 利用Spaces模型的時間和空間透明性,，將Spaces用作網(wǎng)格計算中共享數(shù)據(jù)和分配任務(wù)的“黑板”,，設(shè)計了一個基于Spaces的網(wǎng)格計算構(gòu)架——GCFS，為網(wǎng)格計算的框架設(shè)計提供了一種新方法,。
關(guān)鍵詞： 網(wǎng)格計算  異步通信  Spaces模型  Master-Worker模型

　　隨著網(wǎng)絡(luò)技術(shù)的發(fā)展,，網(wǎng)格計算作為一種新型的分布式技術(shù)，提供了集成的計算與資源環(huán)境,，在提高資源利用率方面起到越來越重要的作用,。但在分布式系統(tǒng)中，進(jìn)程間的通信,、事件同步是必須解決的問題,。目前出現(xiàn)了眾多的解決方法，具有代表性的有RMI,、CORBA,、Web Service等分布式計算模型。由于這些方法在解決問題時的抽象層次不一樣,，所以對系統(tǒng)的開銷,、可擴(kuò)展性、跨平臺性以及易實(shí)現(xiàn)性等方面的影響程度也不一樣,。
　　耶魯大學(xué)的David Gelernter在Linda系統(tǒng)中提出了元組空間（Tuple Space）的思想,。該系統(tǒng)的初衷是利用Spaces為并行計算提供全局的通信緩存。由于Spaces模型簡單且能較好地協(xié)調(diào)進(jìn)程間的同步,，因此,，可將它作為另一種抽象的分布式計算模型應(yīng)用于當(dāng)前的各種分布式計算領(lǐng)域。T Spaces、JavaSpaces作為由Tuple Space模型發(fā)展起來的通用分布式中間件,，已被應(yīng)用到很多分布式計算中,。但在實(shí)際應(yīng)用中，它們的一些功能是不必要的,，且容易引起性能效率的降低,。網(wǎng)格計算中一個很重要的性能是可將位于異構(gòu)網(wǎng)絡(luò)的多種資源整合為虛擬的統(tǒng)一視圖，由不同的應(yīng)用動態(tài)地共享,。本文把Spaces用作網(wǎng)格計算中共享數(shù)據(jù)和分配任務(wù)的“黑板”,，通過動態(tài)地創(chuàng)建或取消Spaces服務(wù)來適應(yīng)網(wǎng)格計算環(huán)境的變化并設(shè)計了具有良好可伸縮性的GCFS（Grid Computing Framework with Spaces）框架。
1  Spaces模型
　　分布式應(yīng)用中的通信通常有兩種,。一種是異步通信,，指不同進(jìn)程間的消息傳遞；另一種是同步通信,，指遠(yuǎn)程過程的調(diào)用,。Spaces擴(kuò)展了進(jìn)程間異步通信的模型,，應(yīng)用的參與者集中在一個或多個Spaces中,，資源提供者將信息放到Spaces，訂閱該資源的請求者可從Spaces訪問到這些信息,，也就是說Spaces為網(wǎng)絡(luò)資源的提供者和請求者的相互協(xié)作提供了共同的虛擬空間,。圖1為Spaces模型，它體現(xiàn)了Spaces的以下特點(diǎn)：

　　(1)具有分布式應(yīng)用的四個最基本操作：讀,、寫,、取、通知,。
　　(2)計算機(jī)間的進(jìn)程通信是間接的,，并不需要預(yù)先知道其他進(jìn)程的情況，直接和Spaces進(jìn)行信息交互即可,。與多個點(diǎn)對點(diǎn)通信的方式相反,，所有的計算機(jī)都能通過Spaces看到相同的全局消息。
　　(3)具有持久性,，即使創(chuàng)建消息的進(jìn)程不再存在,，它們所生成的消息也仍然可以保留。
　　(4)作為允許N個進(jìn)程同時進(jìn)行協(xié)作通信的公共中介,，Spaces以一種自然的方式實(shí)現(xiàn)了分布式計算的可擴(kuò)展性,。新進(jìn)程的加入和離開不需分別通知其他進(jìn)程，只需由對應(yīng)的Spaces進(jìn)行管理,。
　　根據(jù)上述特點(diǎn),，可把Space定義為一個可通過網(wǎng)絡(luò)訪問并提供協(xié)作異步通信服務(wù)的共享消息庫。與RMI、CORBA,、Web Service等進(jìn)程間直接通信的計算模型不同,，在Spaces模型中，進(jìn)程間的協(xié)作交互是通過在一個或多個Spaces中交換消息來實(shí)現(xiàn)的,。Spaces模型具有異步性,，對Spaces內(nèi)的信息操作具有時間和空間的透明性。該特性能有效地解決分布式系統(tǒng)設(shè)計中所遇到的局部失敗,、平臺獨(dú)立性,、系統(tǒng)間難以相互發(fā)現(xiàn)等問題，從而減低了開發(fā)分布式應(yīng)用程序的難度,。
　　盡管Spaces能夠存儲各種消息,，支持在應(yīng)用間共享消息，但它們并不是分布式文件系統(tǒng)或者數(shù)據(jù)庫,。Spaces側(cè)重于利用消息來協(xié)調(diào)分布式計算,，而分布式文件系統(tǒng)側(cè)重于對信息進(jìn)行存儲管理。由于兩者的應(yīng)用目的不同,，所以使用方式也有很大差別,。例如，在文件系統(tǒng)中,，通過命名對先前存儲的數(shù)據(jù)進(jìn)行訪問,，用惟一的名字來標(biāo)識文件，并通過文件的名字或內(nèi)容來查找文件,。而Spaces是邏輯共享內(nèi)存模型,，與常規(guī)的共享內(nèi)存模式不同，它與值關(guān)聯(lián),，但沒有地址,，可通過模板進(jìn)行匹配查找。消息的名字,、類型,、內(nèi)容以及消息間的關(guān)系等都可以作為查找條件。
2  GCFS的設(shè)計
2.1 體系結(jié)構(gòu)
　　GCFS是利用Spaces的異步性來創(chuàng)建一個靈活且具有可擴(kuò)展性的網(wǎng)格計算框架,。圖2所示的體系結(jié)構(gòu)包含了六個主要構(gòu)件,，分別是：Space管理器、任務(wù)管理器,、任務(wù)調(diào)度器,、Space服務(wù)、負(fù)責(zé)通信的Agent以及網(wǎng)格應(yīng)用程序,。

　　Space管理器本身也是由Spaces模型建立起來的,，它的主要功能是負(fù)責(zé)管理系統(tǒng)中的各個Space服務(wù),。Space管理器通過所掌握的參與網(wǎng)格計算的所有計算機(jī)的信息，動態(tài)地創(chuàng)建或者撤銷Space服務(wù),，即系統(tǒng)中的Space服務(wù)能夠隨著計算環(huán)境的變化而動態(tài)變化,。例如，在網(wǎng)格搭建的初期,，A地參與的計算機(jī)數(shù)量較少,，可以通過位于B地的Space服務(wù)為A地的計算機(jī)提供任務(wù)分配服務(wù)。但隨著A地越來越多的計算機(jī)參與該網(wǎng)格平臺,，Space管理器將采用評估算法判斷是否有必要專門在A地建立一個Space服務(wù),，從而減少兩地之間的通信開銷。相反,，如果A地網(wǎng)格節(jié)點(diǎn)數(shù)量減少到一定程度,，為了減輕Space管理器的管理成本，Space管理器也會評估是否有必要撤銷A地的Space服務(wù),，并將A地的計算機(jī)重新引導(dǎo)到相鄰地區(qū)的Space服務(wù)中,。
　　在Space管理器中的任務(wù)管理器將任務(wù)劃給各個Space服務(wù)。相應(yīng)地,，Space服務(wù)的任務(wù)調(diào)度器負(fù)責(zé)將任務(wù)分配給合適的網(wǎng)格節(jié)點(diǎn)執(zhí)行,。Space服務(wù)為網(wǎng)格節(jié)點(diǎn)提供信息的公共存儲和共享服務(wù)，在GCFS中起到了連接網(wǎng)格節(jié)點(diǎn)和待處理任務(wù)的中間橋梁作用,。一個Space服務(wù)可以管理多個網(wǎng)格節(jié)點(diǎn),，但每個網(wǎng)格節(jié)點(diǎn)只接受一個Space服務(wù)管理。此外,，GCFS框架具有良好的負(fù)載均衡性，參與計算機(jī)首先連接平臺的Space管理器,，Space管理器根據(jù)當(dāng)前各個Space服務(wù)的負(fù)載,、計算機(jī)的處理能力以及地理位置等情況，將計算機(jī)引導(dǎo)到相應(yīng)的Space服務(wù),。如果某個Space服務(wù)出錯或者出現(xiàn)過載,，Space管理器會根據(jù)調(diào)度算法重新將該服務(wù)區(qū)域中的網(wǎng)格節(jié)點(diǎn)切換到其他的Space服務(wù)。
　　圖3描述了將GCFS應(yīng)用于Master-Worker模式的方法示例,。一個位于A地的Master（同時作為Space管理器）通過任務(wù)管理器劃分多個任務(wù)到各個Space服務(wù),。位于各地的Worker通過Space管理器訪問相應(yīng)的Space服務(wù)，從中獲取任務(wù)進(jìn)行計算并將計算結(jié)果返回Space服務(wù),。Master從各個Space服務(wù)中收集返回的結(jié)果進(jìn)行匯總分析,。圖3中用虛線圈出的Space是虛擬的，由位于各地的多個Space服務(wù)構(gòu)成,，它們可以被動態(tài)地創(chuàng)建或撤銷,。位于各地的Worker看到的是一個虛擬統(tǒng)一的Space,，其中真實(shí)存在的Space服務(wù)的變動對Workers來說是透明的。

2.2 實(shí)現(xiàn)方法
　　由于Java語言具有良好的跨平臺性和可移植性,，因此GCFS的實(shí)現(xiàn)采用Java語言,。本節(jié)重點(diǎn)討論GCFS的主要類設(shè)計，其類結(jié)構(gòu)如圖4所示,。

　　Computer類負(fù)責(zé)管理參與網(wǎng)格的計算機(jī)基本信息,。這些基本信息主要包括計算機(jī)的所在位置、計算機(jī)名,、用戶,、IP地址、CPU處理能力,、內(nèi)存大小,、硬盤空間、操作系統(tǒng)版本,、網(wǎng)絡(luò)連接情況以及開始參與系統(tǒng)的時間等,。evaluateComputer方法根據(jù)計算機(jī)的屬性評估其性能指標(biāo)，為Space-
Manager類的evaluateSpace方法提供算法判斷依據(jù),，使Space管理器能夠選擇計算能力強(qiáng)的計算機(jī)提供Space服務(wù),。同時，任務(wù)管理器和任務(wù)調(diào)度器也能夠根據(jù)計算機(jī)的性能情況分配合適的任務(wù)給各個網(wǎng)格節(jié)點(diǎn)進(jìn)行處理,。
　　SpaceManager類用于管理網(wǎng)格中的Space服務(wù),，包括Space服務(wù)的動態(tài)創(chuàng)建、撤銷和監(jiān)控,。evaluatedSpace方法的作用是評估在某個網(wǎng)格節(jié)點(diǎn)上創(chuàng)建或者撤銷一個Space服務(wù)的必要性,。該方法首先要判斷網(wǎng)格中是否需要創(chuàng)建新的或者撤銷一個已有的Space服務(wù)，然后再選擇應(yīng)該在哪個網(wǎng)格節(jié)點(diǎn)上執(zhí)行新建或者撤銷的操作,。
　　TaskManager類管理網(wǎng)格中的任務(wù),，決定如何進(jìn)行任務(wù)劃分和分配。assignTask方法利用智能任務(wù)調(diào)度算法,，根據(jù)各個Space的當(dāng)前負(fù)載情況,，決定在何時將何任務(wù)分配給何Space服務(wù)。
　　Space類用于提供Space服務(wù),。在本框架中,，Space服務(wù)的主要作用是為任務(wù)提供管理服務(wù)，網(wǎng)格節(jié)點(diǎn)能夠從Space服務(wù)中獲取任務(wù),。該類提供了read,、write、take,、inform等基本方法操作存放在Space服務(wù)中的系統(tǒng)信息和任務(wù),。
　　TaskScheduler類對在Space服務(wù)中的任務(wù)進(jìn)行調(diào)度,。它的scheduleTask方法與TaskManager類的assignTask方法功能類似，都是將任務(wù)分配給合適的資源,，其差別為二者分配的資源對象不同,。scheduleTask是將在Space服務(wù)中的任務(wù)分配給該服務(wù)轄下的網(wǎng)格節(jié)點(diǎn)。
　　Task類表示子任務(wù)的信息,，starttime屬性表示任務(wù)的開始時間,，estimatedinterval屬性表示預(yù)計要處理的時間。這兩個屬性用于容錯,，如果當(dāng)前時間超出了starttime+k×estimatedinterval(其中k是一個經(jīng)驗(yàn)值),，任務(wù)調(diào)度器就會通知Space服務(wù)，要求其檢查負(fù)責(zé)該任務(wù)的網(wǎng)格節(jié)點(diǎn)是否出現(xiàn)故障,。taskobject屬性包含了任務(wù)的可執(zhí)行代碼,，當(dāng)網(wǎng)格節(jié)點(diǎn)從Space服務(wù)獲得一個Task實(shí)例后，taskobject會自動地下載到節(jié)點(diǎn)上執(zhí)行,，并將計算結(jié)果返回給Space服務(wù),。
　　ClientAgent類和ServerAgent類用于網(wǎng)格節(jié)點(diǎn)、Space服務(wù)和Space管理器之間的相互通信,。connectServer,、listentoServer等方法采用的是UDP通信協(xié)議。目前GCFS在安全方面的措施還較少,，參與任務(wù)計算的網(wǎng)格節(jié)點(diǎn)不需驗(yàn)證就可以直接連接到Space服務(wù)和Space管理器上,，且網(wǎng)格節(jié)點(diǎn)對服務(wù)器傳送的數(shù)據(jù)也是信任的。
3  結(jié)束語
　　網(wǎng)格技術(shù)要對計算資源進(jìn)行“虛擬”組合,，使得位于不同位置,、具有不同硬件和操作系統(tǒng)的資源能夠協(xié)同工作。Spaces模型是一種非常抽象的分布式計算模型,，可管理消息,、資源和任務(wù)等信息。通過在網(wǎng)格中動態(tài)地創(chuàng)建Space服務(wù),，GCFS系統(tǒng)建立了一個輕量級的網(wǎng)格計算框架。為了提高3G無線網(wǎng)絡(luò)仿真的性能,，該框架正被應(yīng)用于移動通信的3G仿真,。該框架還存在著許多需要深入研究的問題，例如,，如何使多個Spaces進(jìn)行相互協(xié)作,，如何更好地增強(qiáng)Spaces在Internet中的安全性以及如何有效地對任務(wù)進(jìn)行分解和調(diào)度等。
參考文獻(xiàn)
1   Freeman E,，Hupfer S,，Arnold K.JavaSpaces(TM) Principles,，Patterns and Practice.Addison-Wesley Pub Co，1999
2   Edwards W K.Jini核心技術(shù).北京：機(jī)械工業(yè)出版社,，2002
3   GigaSpacesTM Technologies Ltd.GigaSpaces Grid Server for   Web Services Applications[R/OL].http：//www.gigaspaces.  com/whitepaper.htm.2005,，1
4   Sterck H D，Markel R S,，Pohl T et al.A lightweight Java  Taskspaces framework for scientific computing on computational grids.In：Proceedings of the ACM Symposium on Applied Computing,，Track on Parallel and Distributed   Systems and Networking，2003
5   Lehman T J,，Cozzi A,，Xiong Y et al.Hitting the distributed   computing sweet spot with TSpaces.Computer Networks， 2001,；35(4)
6   Liu M L.Distributed Computing Principles and Applications.Pearson Education,，Inc，2004
7   Noble M,，Slateva S.Scientfic computation with JavaSpaces.  Harvard-Smithsonian Center for Astrophysics.Boston  University,，Boston，2001