志愿计算模型形式化方法
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60573098 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z78 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2002CB312002 (国家重点基础研究发展计划(973))


Formal Models and Methods on Volunteer Computing
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [23]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的基本元素和交互关系进行了形式化的描述,并通过集合理论和操作规约,又以志愿计算平台XtremWeb为例,描述了构件化的志愿计算形式模型和方法,为系统地研究志愿计算形式化理论打下了基础.

    Abstract:

    This paper aims at revealing the essence of volunteer computing from the point of view of formal abstraction. At first, three elements of volunteer computing are analyzed and outlined. It included some concepts of component and computing resource in volunteer computing. One formal model and method concerning volunteers are introduced. Resource roles such as the basic elements of systems are identified in the abstract model, and modeling volunteer systems by basic elements. Relationships among elements and relationship changes are also characterized, based on set theory and operational reduction rules. And take XtremWeb as an example. These elements and relationships are specified in a formal manner. All of the results can help to build a firm foundation for research of formalisms for volunteer computing.

    参考文献
    [1]Anderson DP,McLeod VII J.Local scheduling for volunteer computing.IEEE 1-4244-0910-1/0,2007.
    [2]Choi SJ,Baik MS.Volunteer availability based fault tolerant scheduling mechanism in desktop grid computing environment.In:Proc.of the 3rd IEEE Int'l Symp.on Network Computing and Applications.Cambridge:IEEE Computer Society,2004.366-371.
    [3]Distributed.net.2007.http://distributed.net
    [4]SETI@home.2006.http://setiathome.ssl.berkeley.edu
    [5]Berman F,Fox GC,Hey AJG.Grid Computing:Making the Global Infrastructure a Reality.Chichester:John Wiley & Sons,Ltd.,2003.
    [6]Baratloo A,Karaul M,Kedem Z,Wyckoff P.Charlotte:Metacomputing on the Web.In:Proc.of the 9th ICPDCS Int'l Conf.on Parallel and Distributed Computing and Systems.Chicago:Elsevier Science Publishers,1996.559-570.
    [7]Sarmenta LFG,Hirano S.Bayanihan:Building and studying volunteer computing systems using Java++.Future Generation Computer Systems Special Issue on Metacomputing,1999,15(5-6):727-735.
    [8]Neary MO,Brydon SP,Kmiec P,Rollins S.Javelin++:Scalability issues in global computing.In:Geoffrey F,ed.Proc.of the Scalability Issues in Global Computing,Concurrency:Parctice and Experience.John Wiley & Sons,Ltd.,2000.727-735.
    [9]Lau LF,Ananda AL,Tan G,Wong WF.Gucha:Internet-Based parallel computing using Java.In:Parhami B,ed.Proc.of the Int'l Conf.on Algorithms and Architectures for Parallel Processing.2000.397-408.
    [10]Fedak G,Germain C,Neri V,Cappello F.XtremWeb:A generic global computing system.In:Proc.of the Int'l Conf.on Grid and Cooperative Computing,Workshop on Global Computing on Personal Devices.Brisbane:IEEE/ACM,2001.582-587.
    [11]Morrison JP,Kennedy JJ,Power DA.WebCom:A Web based volunteer computer.The Journal of Supercomputing,2001,18(1):47-61.
    [12]Anderson DP.BOINC:A system for public-resource computing and storage.In:Baker M,ed.Proc.of the 5th IEEE/ACM Int'l Workshop on Grid Computing.Pittsburgh:Rajkumar Buyya,2004.365-372.
    [13]Actors AG.A Model of Concurrent Computation in Distributed Systems.Cambridge:The MIT Press,1986.28-40.
    [14]Milner R,Parrow J,Walker D.A calculus of mobile processes parts I and II.Journal of Information and Computation,1992,100(1):1-77.
    [15]Lamport L.The temporal logic of actions.ACM Trans.on Programming Languages Systems,1994,16(3):872-923.
    [16]Asperti A,Busi N.Mobile Petri nets.Technical Report,UBLCS 10,Bologna:University of Bologna,1996.1-13.
    [17]Merro M,Nardelli FZ.Behavioral theory for mobile ambients.Journal of the ACM,2005,52(6):961-1023.
    [18]Cardelli L.Abstractions for mobile computations.In:Vitek J,ed.Proc.of the Microsoft Research Secure Internet Programming:Security Issues for Mobile and Distributed Objects.London:Springer-Verlag,1999.1-47.
    [19]Saha D,Mukherjee A.Pervasive computing:A paradigm for the 21st century.IEEE Computer,2003,36(3):25-31.
    [20]Vitek J,Castagna G.A calculus of secure mobile computations.In:Proc.of the IEEE Workshop on Internet Programming Languages.Boston:Springer-Verlag,1998.47-77.
    [21]Lodygensky O,Cordier A,Fedak G,Nen V,Cappello F.Auger & XtremWeb:Monte Carlo omputation on a global computing platform.In:Branson J,ed.Proc.of the Computing in High Energy and Nuclear Physics 2003.La Jolla,2003.24-28.
    [22]Fedak G,Germain C,Neri V,Cappello F.XtremWeb:A generic global computing platform.In:Proc.of the IEEE/ACM Special Session Global Computing on Personal Devices.IEEE Press,2001.582-587.
    [23]Wei J,Zhou H.Specifying and analyzing model for mobile component systems.Journal of Software,2001,12
    相似文献
    引证文献
引用本文

王 宇,王志坚.志愿计算模型形式化方法.软件学报,2008,19(5):1125-1133

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2007-06-10
  • 最后修改日期:2007-10-15
文章二维码
您是第19778757位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号