Concurrent Execution System for Action Languages

被引：0

作者：

Jaaskelainen, Antti ^{[1
]}

Jarvinen, Hannu-Matti ^{[1
]}

Tiusanen, Mikko

机构：

[1] Tampere Univ Technol, Tampere, Finland

来源：

MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN | 2017年

关键词：

concurrency; action languages; Temporal Logic of Actions;

D O I：

10.1145/3127041.3127062

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Traditional methods of managing concurrent processes are difficult and prone to errors. We propose that actions can provide a much simpler approach to the problem. In this paper, we use Temporal Logic of Actions to define an execution system that can be used to concurrently execute programs created with action languages. Important features of the system include naturally concurrent execution of actions, automated management of mutual exclusion, complete avoidance of low-level deadlocks, and implicit means of synchronization.

引用

页码：157 / 160

页数：4

共 15 条

[1] DISTRIBUTED COOPERATION WITH ACTION SYSTEMS
BACK, RJR
KURKISUONIO, R
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (04): : 513 - 554
[2] Bhattacharyya S.S., 2009, ACM SIGARCH COMPUTER, V36, P29, DOI [10.1145/1556444.1556449, DOI 10.1145/1556444.1556449]
[3] Thousand core chips-a technology perspective
Borkar, Shekhar
[J]. 2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 746 - 749
[4] Chandy K.M., 1988, PARALLEL PROGRAM DES
[5] Hannu-Matti Jarvinen, 2017, ACTIONS HOME PAGE
[6] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM
LAMPORT, L
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (07) : 558 - 565
[7] Kurki-Suonio R., 2005, TEXTS THEORETICAL CO, VXXII
[8] THE TEMPORAL LOGIC OF ACTIONS
LAMPORT, L
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
[9] Lamport Leslie, 2015, PRINCIPLES SPECIFICA
[10] Parashar A., 2013, Intl. Symp. on Computer Architecture, P142

← 1 2 →