AmbientTalk: programming responsive mobile peer-to-peer applications with actors

The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and becau...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer languages, systems & structures Jg. 40; H. 3-4; S. 112 - 136
Hauptverfasser: Van Cutsem, Tom, Gonzalez Boix, Elisa, Scholliers, Christophe, Lombide Carreton, Andoni, Harnie, Dries, Pinte, Kevin, De Meuter, Wolfgang
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Ltd 01.10.2014
Schlagworte:
Actors
Applications programs
Computer simulation
Event loops
Failure
Futures
Leasing
Mathematical models
Mobile communication systems
Mobile networks
Networks
Peer-to-peer
Programming
Semantics
Service discovery
Futures
Mobile networks
Peer-to-peer
Leasing
Actors
Event loops
Service discovery
ISSN:1477-8424, 1873-6866
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and because of problems inherent to mobile networks, such as the fact that wireless network connectivity is often intermittent, and the lack of centralized infrastructure to coordinate the peers. We present AmbientTalk, a distributed programming language designed specifically to develop mobile peer-to-peer applications. AmbientTalk aims to make it easy to develop mobile applications that are resilient to network failures by design. We describe the language׳s concurrency and distribution model in detail, as it lies at the heart of AmbientTalk׳s support for responsive, resilient application development. The model is based on communicating event loops, itself a descendant of the actor model. We contribute a small-step operational semantics for this model and use it to establish data race and deadlock freedom. •We discuss the challenges of developing responsive mobile peer-to-peer applications.•We introduce AmbientTalk, an actor-based distributed programming language designed to develop such applications.•We compare an AmbientTalk application to an equivalent one in Java RMI.•We define a small-step operational semantics for a subset of AmbientTalk.•We establish data race and deadlock freedom of the concurrency model.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1477-8424
1873-6866
DOI:10.1016/j.cl.2014.05.002