CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Unified Semantics for Future Erlang

Hans Svensson (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Lars-Åke Fredlund ; Clara Benac Earle
Proceedings of the 9th ACM SIGPLAN workshop on ERLANG p. 23-32. (2010)
[Konferensbidrag, refereegranskat]

The formal semantics of Erlang is a bit too complicated to be easily understandable. Much of this complication stems from the desire to accurately model the current implementations (Erlang/OTP R11-R14), which include features (and optimizations) developed during more than two decades. The result is a two-tier semantics where systems, and in particular messages, behave differently in a local and a distributed setting. With the introduction of multi-core hardware, multiple run-queues and efficient SMP support, the boundary between local and distributed is diffuse and should ultimately be removed. In this paper we develop a new, much cleaner semantics, for such future implementations of Erlang. We hope that this paper can stimulate some much needed debate regarding a number of poorly understood features of current and future implementations of Erlang.

Nyckelord: Erlang, Semantics

Denna post skapades 2010-11-04.
CPL Pubid: 128594


Läs direkt!

Länk till annan sajt (kan kräva inloggning)