%0 Conference Proceedings
%T An Interference-Free Programming Model for Network Objects
%+ Politecnico di Milano [Milan] (POLIMI)
%+ Innopolis University
%+ Université Toulouse III - Paul Sabatier (UT3)
%+ Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology  [Zürich] (ETH Zürich)
%+ Singapore University of Technology and Design (SUTD)
%A Meyer, Bertrand
%A Schill, Mischael
%A Poskitt, Christopher, M.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 227-244
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_14
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Network objects are a simple and natural abstraction for distributed object-oriented programming. Languages that support network objects, however, often leave synchronization to the user, along with its associated pitfalls, such as data races and the possibility of failure. In this paper, we present D-Scoop, a distributed programming model that allows for interference-free and transaction-like reasoning on (potentially multiple) network objects, with synchronization handled automatically, and network failures managed by a compensation mechanism. We achieve this by leveraging the runtime semantics of a multi-threaded object-oriented concurrency model, directly generalizing it with a message-based protocol for efficiently coordinating remote objects. We present our pathway to fusing these contrasting but complementary ideas, and evaluate the performance overhead of the automatic synchronization in D-Scoop, finding that it comes close to—or outperforms—explicit locking-based synchronization in Java RMI.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631712/document
%2 https://inria.hal.science/hal-01631712/file/416253_1_En_14_Chapter.pdf
%L hal-01631712
%U https://inria.hal.science/hal-01631712
%~ UNIV-TLSE3
%~ LORIA2
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP