A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation

Takanobu BABA; Norihito SAITOH; Takahiro FURUTA; Hiroshi TAGUCHI; Tsutomu YOSHINAGA

A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation

Takanobu BABA, Norihito SAITOH, Takahiro FURUTA, Hiroshi TAGUCHI, Tsutomu YOSHINAGA

Full Text Views

0

Share
Cite this

Summary :

We have designed and implemented a simple yet powerful declarative synchronization mechanism for a paralle object-oriented computation model. The mechanism allows the user to control multiple message reception, specify the order of message reception, lock an invocation, and specify relations as invocation constraints. It has been included in a parallel object-oriented language, called A-NETL. The compiler and operating system have been developed on a total architecture, A-NET (Actors NETwork). The experimental results show that (i) the mechanism allows the user to model asynchronous events naturally, without losing the integrity of described programs; (ii) the replacement of the mechanism with the user's code requires tedious descriptions, but gains little performance enhancement, and certainly loses program readability and integrity; (iii) the mechanism allows the user to shift synchronous programs to asynchronous ones, with a scalable reduction of execution times: an average 20.6% for 6 to 17 objects and 46.1% for 65 objects. These prove the effectiveness of the proposed synchronization mechanism.

Publication: IEICE TRANSACTIONS on Information Vol.E78-D No.8 pp.969-981

Publication Date: 1995/08/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Computer Systems

Cite this

Copy

Takanobu BABA, Norihito SAITOH, Takahiro FURUTA, Hiroshi TAGUCHI, Tsutomu YOSHINAGA, "A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation" in IEICE TRANSACTIONS on Information, vol. E78-D, no. 8, pp. 969-981, August 1995, doi: .
Abstract: We have designed and implemented a simple yet powerful declarative synchronization mechanism for a paralle object-oriented computation model. The mechanism allows the user to control multiple message reception, specify the order of message reception, lock an invocation, and specify relations as invocation constraints. It has been included in a parallel object-oriented language, called A-NETL. The compiler and operating system have been developed on a total architecture, A-NET (Actors NETwork). The experimental results show that (i) the mechanism allows the user to model asynchronous events naturally, without losing the integrity of described programs; (ii) the replacement of the mechanism with the user's code requires tedious descriptions, but gains little performance enhancement, and certainly loses program readability and integrity; (iii) the mechanism allows the user to shift synchronous programs to asynchronous ones, with a scalable reduction of execution times: an average 20.6% for 6 to 17 objects and 46.1% for 65 objects. These prove the effectiveness of the proposed synchronization mechanism.
URL: https://globals.ieice.org/en_transactions/information/10.1587/e78-d_8_969/_p

Copy

@ARTICLE{e78-d_8_969,
author={Takanobu BABA, Norihito SAITOH, Takahiro FURUTA, Hiroshi TAGUCHI, Tsutomu YOSHINAGA, },
journal={IEICE TRANSACTIONS on Information},
title={A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation},
year={1995},
volume={E78-D},
number={8},
pages={969-981},
abstract={We have designed and implemented a simple yet powerful declarative synchronization mechanism for a paralle object-oriented computation model. The mechanism allows the user to control multiple message reception, specify the order of message reception, lock an invocation, and specify relations as invocation constraints. It has been included in a parallel object-oriented language, called A-NETL. The compiler and operating system have been developed on a total architecture, A-NET (Actors NETwork). The experimental results show that (i) the mechanism allows the user to model asynchronous events naturally, without losing the integrity of described programs; (ii) the replacement of the mechanism with the user's code requires tedious descriptions, but gains little performance enhancement, and certainly loses program readability and integrity; (iii) the mechanism allows the user to shift synchronous programs to asynchronous ones, with a scalable reduction of execution times: an average 20.6% for 6 to 17 objects and 46.1% for 65 objects. These prove the effectiveness of the proposed synchronization mechanism.},
keywords={},
doi={},
ISSN={},
month={August},}

Copy

TY - JOUR
TI - A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation
T2 - IEICE TRANSACTIONS on Information
SP - 969
EP - 981
AU - Takanobu BABA
AU - Norihito SAITOH
AU - Takahiro FURUTA
AU - Hiroshi TAGUCHI
AU - Tsutomu YOSHINAGA
PY - 1995
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E78-D
IS - 8
JA - IEICE TRANSACTIONS on Information
Y1 - August 1995
AB - We have designed and implemented a simple yet powerful declarative synchronization mechanism for a paralle object-oriented computation model. The mechanism allows the user to control multiple message reception, specify the order of message reception, lock an invocation, and specify relations as invocation constraints. It has been included in a parallel object-oriented language, called A-NETL. The compiler and operating system have been developed on a total architecture, A-NET (Actors NETwork). The experimental results show that (i) the mechanism allows the user to model asynchronous events naturally, without losing the integrity of described programs; (ii) the replacement of the mechanism with the user's code requires tedious descriptions, but gains little performance enhancement, and certainly loses program readability and integrity; (iii) the mechanism allows the user to shift synchronous programs to asynchronous ones, with a scalable reduction of execution times: an average 20.6% for 6 to 17 objects and 46.1% for 65 objects. These prove the effectiveness of the proposed synchronization mechanism.
ER -