摘要
针对形式化建模方法导致的状态空间爆炸问题,提出了一种基于Petri网的高性能集群建模与性能评估方法.首先分析了高性能集群的系统架构,构建了模型的总体结构;然后针对集群系统建立了相应的任务产生子模型和调度子模型,并通过对Petri网进行着色,根据不同种类任务的执行特点设计了相应的任务处理模型.仿真结果表明,利用所建立的模型能够有效评估关键参数对集群性能的影响.
To solve the problem of state space explosion caused by formal modeling methods, a simulation model and performance evaluation method for high performance cluster based on Petri net are proposed. Firstly, the system structure of high performance cluster is analyzed and a general model is constructed. Then the sub-models for task generation and scheduling are built respectively for cluster system. Finally, according to the characteristics of different kinds of tasks, the corresponding task processing models of different tasks are designed by coloring the Petri net. The simulation results show that the proposed model could effectively evaluate the effects of key parameters on cluster performance.
出处
《计算机系统应用》
2017年第5期35-42,共8页
Computer Systems & Applications
基金
国家自然科学基金(61502438)
关键词
高性能集群
着色Petri网络
性能评估
模型
仿真
high performance cluster
colored Petri net
performance evaluation
model
simulation