A model of dynamical concurrent program execution

被引：1
|
作者：
Vasenin, V. A. [1 ]
Krivchikov, M. A. [2 ]
机构：
[1] Moscow MV Lomonosov State Univ, Res Inst Mech, Moscow 119192, Russia
[2] Moscow MV Lomonosov State Univ, Dept Mech & Math, Moscow 119991, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2013年 / 39卷 / 01期
关键词：
Base Block; System Call; Program Execution; Denotational Semantic; Dynamical Semantic;
D O I：
10.1134/S0361768813010076
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Dynamical concurrent execution makes it possible to adapt programs for their execution on computing environments with parallel architecture. In the paper, a formal model of dynamical concurrent execution of programs written in functional style is presented. The model is proven to possess a feature that guarantees correctness of concurrent execution.
引用
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [21] Blockchain Based n-party Virtual Payment Model with Concurrent Execution
    Sahoo, Sujit Sangram
    Menon, Aravind R.
    Chaurasiya, Vijay Kumar
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2024, 49 (03) : 3285 - 3312
  • [22] Blockchain Based n-party Virtual Payment Model with Concurrent Execution
    Sujit Sangram Sahoo
    Aravind R. Menon
    Vijay Kumar Chaurasiya
    Arabian Journal for Science and Engineering, 2024, 49 : 3285 - 3312
  • [23] Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model
    Balarin, F
    Lavagno, L
    Passerone, C
    Sangiovanni-Vincentelli, A
    Watanabe, Y
    Guang, Y
    CODES 2002: PROCEEDINGS OF THE TENTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2002, : 13 - 18
  • [24] A Hybrid Piece-Wise Slowdown Model for Concurrent Kernel Execution on GPU
    Lopez-Albelda, Bernabe
    Castro, Francisco M.
    Gonzalez-Linares, Jose M.
    Guil, Nicolas
    EURO-PAR 2022: PARALLEL PROCESSING, 2022, 13440 : 369 - 384
  • [25] Detecting Code Reuse Attacks with a Model of Conformant Program Execution
    Jacobson, Emily R.
    Bernat, Andrew R.
    Williams, William R.
    Miller, Barton P.
    RESEARCH IN ATTACKS, INTRUSIONS, AND DEFENSES, 2013, 8145 : 452 - 453
  • [26] A parallel program execution model supporting modular software construction
    Dennis, JB
    THIRD WORKING CONFERENCE ON MASSIVELY PARALLEL PROGRAMMING MODELS, PROCEEDINGS, 1998, : 50 - 60
  • [27] RESTRUCTURING LISP PROGRAMS FOR CONCURRENT EXECUTION
    LARUS, JR
    HILFINGER, PN
    SIGPLAN NOTICES, 1988, 23 (09): : 100 - 110
  • [28] Concurrent execution of dynamic objects on transputers
    Lai, Siet-Leng
    Loe, Kia-Fock
    International Conference on Applications of Transputers, 1991,
  • [29] A simulation framework for concurrent object execution
    Keane, J
    Cockshott, M
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 3709 - 3713
  • [30] Verifying concurrent systems with symbolic execution
    Balser, Michael
    Duelli, Christoph
    Reif, Wolfgang
    Schellhorn, Gerhard
    Journal of Logic and Computation, 2002, 12 (04) : 549 - 560
12345