The share Operator for Field-Based Coordination

Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini; Mirko Viroli

doi:10.1007/978-3-030-22397-7_4

Back

The share Operator for Field-Based Coordination

Conference proceeding

Peer reviewed

The share Operator for Field-Based Coordination

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini and Mirko Viroli

COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, Vol.11533, pp.54-71

Lecture Notes in Computer Science

01/01/2019

DOI: 10.1007/978-3-030-22397-7_4

Files and links (1)

url

https://inria.hal.science/hal-02365499View

Open Access

Abstract

Recent work in the area of coordination models and collective adaptive systems promotes a view of distributed computations as functions manipulating computational fields (data structures spread over space and evolving over time), and introduces the field calculus as a formal foundation for field computations. With the field calculus, evolution (time) and neighbor interaction (space) are handled by separate functional operators: however, this intrinsically limits the speed of information propagation that can be achieved by their combined use. In this paper, we propose a new field-based coordination operator called share, which captures the space-time nature of field computations in a single operator that declaratively achieves: (i) observation of neighbors' values; (ii) reduction to a single local value; and (iii) update and converse sharing to neighbors of a local variable. In addition to conceptual economy, use of the share operator also allows many prior field calculus algorithms to be greatly accelerated, which we validate empirically with simulations of a number of frequently used network propagation and collection algorithms.

Computer Science

Computer Science, Theory & Methods

Science & Technology

Technology

Details

Title: Subtitle: The share Operator for Field-Based Coordination
Creators: Giorgio Audrito - University of Turin
Jacob Beal - RTX (United States)
Ferruccio Damiani - University of Turin
Danilo Pianini - University of Bologna
Mirko Viroli - University of Bologna
Contributors: H R Nielson (Editor)
E Tuosto (Editor)
Resource Type: Conference proceeding
Publication Details: COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, Vol.11533, pp.54-71
Series: Lecture Notes in Computer Science
DOI: 10.1007/978-3-030-22397-7_4
ISSN: 0302-9743
eISSN: 1611-3349
Publisher: Springer Nature
Number of pages: 18
Grant note: Ateneo/CSP project "AP: Aggregate Programming"
Language: English
Date published: 01/01/2019
Academic Unit: Electrical and Computer Engineering
Record Identifier: 9984627234402771

Metrics

8 Record Views

5 Times Cited - Web of Science