Load balanced scheduling and reliability modeling of grid transaction processing system using colored Petri nets

被引:8
|
作者
Mahato, Dharmendra Prasad [1 ]
Singh, Ravi Shankar [2 ]
机构
[1] BIT Sindri, Dept Comp Sci & Engn, Dhanbad 828123, Bihar, India
[2] Indian Inst Technol BHU, Dept Comp Sci & Engn, Varanasi 221005, Uttar Pradesh, India
关键词
Reliability modeling; Reliability analysis; Load balanced scheduling; Colored Petri nets; DISTRIBUTED COMPUTING SYSTEMS; TASK-ALLOCATION; MAXIMIZING RELIABILITY; DEPENDABILITY; PERFORMANCE; MANAGEMENT; ALGORITHMS;
D O I
10.1016/j.isatra.2018.08.022
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
On-demand computing is a popular enterprise model in which the computing resources are made available to the users as needed. On-demand computing based transaction processing system which has grown rapidly in recent years is an information processing system with the stringent requirements of resources to meet the fluctuating demands. Concepts such as grid computing, utility computing, autonomic computing, and adaptive management seem very similar to the concept of on-demand computing. When demands of resources fluctuate, the system needs load balancing for the efficient utilization of the computational resources. Furthermore, scheduling is needed to assign the transactions to the appropriate resources. Thus, modeling of load balanced scheduling along with reliability analysis for this system is a challenging task. This paper presents the load balanced scheduling and reliability modeling in such an environment by using colored Petri nets (CPNs). CPNs which combine Petri nets with programming languages is a powerful modeling technique. The proposed CPN-based modeling pattern formally describes the process of transaction distribution and execution within the on-demand computing environment. Moreover, the CPN-based model uses the hierarchical modeling capability of CPNs, including different levels of abstraction (sub-modules). This helps easily handling and extending the model. Since, on-demand computing based transaction processing system executes a number of concurrent transactions. The CPN-based model is extended to express the concurrency, thus improving the reliability results. This paper takes the example of grid transaction processing (GTP) system with the problem of load balanced scheduling modeling and reliability evaluation. (C) 2018 ISA. Published by Elsevier Ltd. All rights reserved.
引用
收藏
页码:225 / 236
页数:12
相关论文
共 50 条
  • [31] Modeling membrane systems using colored stochastic Petri nets
    Liu, Fei
    Heiner, Monika
    NATURAL COMPUTING, 2013, 12 (04) : 617 - 629
  • [32] Modeling and analysis for grid service cooperative scheduling based on Petri nets
    Han, Yaojun
    Jiang, Changjun
    Luo, Xuemei
    COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 104 - +
  • [33] Formal Modeling and Analysis of SIP Using Colored Petri Nets
    Bai, Yunli
    Ye, Xinming
    Ma, Yuanfei
    2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
  • [34] Distributed intrusion detection system modeling and simulation using hierarchical colored Petri nets
    Yan, HZ
    Hu, CZ
    Tan, HM
    ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 3824 - 3827
  • [35] Modeling an Intelligent Solar Power Plant Control System Using Colored Petri Nets
    Gozhyj, Aleksandr
    Kalinina, Irina
    Nechakhin, Vladyslav
    Gozhyj, Victor
    Vysotska, Victoria
    PROCEEDINGS OF THE 11TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS'2021), VOL 2, 2021, : 626 - 631
  • [36] Modeling and Simulation of a Re-entrant Manufacturing System Using Colored Petri Nets
    Gehlot, Vijay
    Nigro, Carmen
    45TH ANNUAL SIMULATION SYMPOSIUM 2012 (ANSS 2012), 2012, 44 (02): : 1 - 8
  • [37] Modeling of system reliability Petri nets with aging tokens
    Volovoi, V
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2004, 84 (02) : 149 - 161
  • [38] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets
    Xu, Meng
    Su, Guiping
    Wei, Jin
    HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 2, PROCEEDINGS, 2009, : 298 - 303
  • [39] Modeling Message Queueing Services with Reliability Guarantee in Cloud Computing Environment Using Colored Petri Nets
    Li, Jing
    Cui, Yidong
    Ma, Yan
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [40] The Research of Manufacturing Execution System Modeling Based On Colored Petri Nets
    Hua Jiwei
    Sun Hexu
    Liang Tao
    Lei Zhaoming
    2008 2ND INTERNATIONAL SYMPOSIUM ON SYSTEMS AND CONTROL IN AEROSPACE AND ASTRONAUTICS, VOLS 1 AND 2, 2008, : 1163 - 1166