A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
The Internet of Things (IoT) allows various things like mobile devices and electronic appliances to communicate over network. Inter-device apps can share data between devices and dispatch specific tasks to other devices to utilize their resources. The prevalence of JavaScript web apps that can run anywhere providing any browsers opens the gate to unanticipated interactions between devices. However, the current techniques require developers construct tasks to dispatch statically with strong consistency, and they do not provide any disciplined way to develop inter-device apps. In this paper, we propose an innovative framework, IDTD (Inter-Device Task Dispatch), that supports developers to construct and dispatch tasks into multiple devices dynamically with eventual consistency in a systematic manner. We provide a high-level architecture of IDTD, formally prove that the framework guarantees soundness and eventual consistency, and present preliminary results showing its practical usability.
Tue 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 25mFull-paper | A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency ProWeb Jihyeok Park KAIST, South Korea, Joonyoung Park , Yoonkyong Lee , Chul-Joo Kim , Byoungoh Kim , Sukyoung Ryu KAIST | ||
11:25 25mFull-paper | Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js ProWeb Bob Reynders imec-DistriNet, KU Leuven, Belgium, Michael Greefs , Dominique Devriese KU Leuven, Frank Piessens KU Leuven | ||
11:50 25mTalk | Session Types for Tierless Web Applications ProWeb Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, J. Garrett Morris University of Kansas, USA, Sara Décova | ||
12:15 15mTalk | Group discussion 2 ProWeb |