Towards a Foundational API for Resilient Distributed Systems Design


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli

“2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017”, pages 27–32
2017

Engineering resilient distributed systems remains extremely challenging, particularly in mapping from collective specifications to individual device behavior. Aggregate programming aims to address this problem using a computational field abstraction to provide inherent guarantees of resilience, scalability, and safe composition. These capabilities are provided, however, by an expressive but terse set of operators too low-level for pragmatic use in complex systems development. We thus present an API to raise the level of abstraction, thereby providing an accessible and user-friendly interface for construction of complex resilient distributed systems. In particular, we capture and organize a large, heterogeneous collection of algorithms and use patterns into a unified framework, including methods for common tasks such as leader election, distance and state estimation, and gossip-based information dissemination. We demonstrate how the expressiveness of this library reduces the abstraction gap required to engineer scenarios of large-scale pervasive computing, while introducing the novel multiInstance pattern enabling an unanticipated composition of computational fields.

Tags:

Publication

— authors

Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli

— status

published

— sort

paper in proceedings

— publication date

2017

— volume

2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017

— pages

27–32

URLs

original page

identifiers

— DOI

10.1109/FAS-W.2017.116

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY