期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

网格系统中一种基于MSMQ的任务调度模型及性能分析

Based on MSMQ for task scheduling model and its performance analysis in Grid system
在线阅读 下载PDF
导出
摘要 网格环境中集成了大量的用户和资源,任务调度对系统良好地运行起着极其重要的作用。本文提出网格系统中一种基于多服务器多队列的集中式的任务调度模型,并给出模型的随机进程代数的描述和性能评价与分析技术,实验结果表明该模型能较好的模拟网格系统中任务处理与调度。研究结果提供了形式化描述调度模型,为大规模和复杂的网格系统的建立提供了定量分析和预测评价。 A Grid system integrates and coordinates resources and users that live within different control domains in order to deliver nontrivial quality of service. So, resource management and task scheduling is of central importance for Grid system. In this paper, a centralized control MultiServer MultiQueue （MSMQ） system to model the task scheduling is proposed in Grid system, and gives a modeling and analysis technique based on Stochastic Process Algebras （SPA） to evaluate its performance. Our research provides formal description results for MSMQ model in Grid system. In general, the results provide new and efficient solution to the type of MSMQ and performance evaluation of complicated Grid system.
作者 王高才 林闯 刘晓冬
机构地区 清华大学深圳研究生院 清华大学计算机科学与技术系 清华大学计算机科学与技术系
出处 《电路与系统学报》 CSCD 北大核心 2006年第4期56-60,64,共6页 Journal of Circuits and Systems
基金 国家自然科学基金重大研究计划项目(90412012) 国家"973"重点基础研究发展规划基金项目(2003CB314804) 广东省自然科学基金资助项目 中国博士后基金资助项目(2005037355)
关键词 网格计算 任务调度 MSMQ SPA 性能评价 Grid system task scheduling MSMQ SPA performance evaluation
分类号 TP302 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献12

  • 1Foster I. The Grid: Blueprint for a New Computing Infrastructure [M]. 2nd Edition, Morgan Kaufman, ISBN: 1-55860-933-4, 2004.
  • 2Litzkow M J, Livny M, Mutka M W. Condor-A hunter of idle workstations [A]. 8th International Conference on Distributed Computing Systems [C]. 1988. 104-111.
  • 3Buyya R, Abramson D, Giddy J. Nimrod/G: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid [A]. In: Proe. of 4th Int'l Conf. on High Performance Computing in Asia-Pacific Region [C]. Beijing, 2000. 283-289.
  • 4Jennifer M Schopf. A General Architecture for Scheduling on the Grid [J]. Special issue of JPDC on Grid Computing, 2002-04.
  • 5Moiler F, Tofts C. A temporal calculus of communicating systems [A]. In: Baeten, J.C.M., Klop, J-W., eds. Proceedings of Concur'90:Theories of Concurrency-Unification and Extension. LNCS 458 [C]. Amsterdam: Springer-Verlag, 1990.401-415.
  • 6Schneider S. An operational semantics for timed CSP [J]. Information & Computation, 1995, 116(2): 193-213.
  • 7Stephen Gilmore, Valentin Haenel, Jane Hillston, Lei la Kloul. PEPA nets in practice: Modelling a decentralized peer-to-peer emergency medial application [A]. In M. Nunez et al, editor, Applying Formal Methods: Testing, Performance, and M/E-Commerce (EPEW 2004) [C].pp262-277. Springer-Verlag, 2004-10, 3236.
  • 8Gilmore S, Hillston J. The PEPAWorkbench: a tool to support a process algebra-based approach to performance modeling [A]. In: Haring, G.,Kotsis, G., eds. Proceedings of Modeling Techniques and Tools for Computer Performance Evaluation [C]. LNCS794, 1994.
  • 9Hillston J. A compositional approach to performance modeling[D]. University of Edinburgh, 1994. CST- 107-94.
  • 10林闯,杨士强.多服务器多队列系统调度方案的性能分析[J].电子学报,2000,28(5):17-20. 被引量：9

二级参考文献68

  • 1Buchholz, P. Lumpability and nearly-lumpability in hierarchical queueing networks. In: Computer Performance and Dependability Symposium. 1995. 82～91. http://www.ieee.org.
  • 2Brinksma, Ed. Stochastic process algebras: Linking process descriptions with performance. 1999 IFIP TC6/WG6.1 Joint International Conference (FORTE/PSTV'99) on Formal Description Techniques (FORTE XLL) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX). 1999.
  • 3Hachtel, G., Macii, E., Padro, A., et al. Markovian analysis of large finite-state machines. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996,15(12):1479～1493.
  • 4Bolognesi, T., Lucidi, F., Trigila, S. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 1994,16(2): 87～118.
  • 5Leonard, L., Leduc, G. An introduction to ET-LOTOS for the description of time sensitive systems. Computer Networks and ISDN Systems, 1997,29(3):271～292.
  • 6Schneider, S. An operational semantics for timed CSP. Information & Computation, 1995,116(2):193～213.
  • 7Moller, F., Tofts, C. A temporal calculus of communicating systems. In: Baeten, J.C.M., Klop, J-W., eds. Proceedings of Concur'90: Theories of Concurrency-Unification and Extension. LNCS 458, Amsterdam: Springer-Verlag, 1990. 401～415.
  • 8Wang, Y. Real-Time behaviour of asynchronous agents. In: Baeten, J.C.M., Klop, J-W., eds. Concur'90: Theories of Concurrency- Unification and Extension. LNCS 458, Amsterdam: Springer-Verlag, 1990. 502～520.
  • 9Herzog, U. Formal description, time and performance analysis: a framework. Technical Report 15/90. IMMD VII, Friedrich- Alexander-universitat, Erlangen-Nurnberg, Germany, 1990.
  • 10Gilmore, S., Hillston,J. The PEPAWorkbench: a tool to support a process algebra-based approach to performance modeling. In: Haring, G., Kotsis, G., eds. Proceedings of Modeling Techniques and Tools for Computer Performance Evaluation. LNCS794, 1994.

共引文献33

电路与系统学报
2006年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部