Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 14:00 - 14:25 at L4 - Session 4

This paper presents a distributed memory architecture for dedicated hardware automatically synthesized from Erlang programs. Our team had developed a framework for generating embedded systems controllers whose behavior was specified by a subset of Erlang, where each process was mapped into hardware (a logic circuit) running independently of the circuits for the other processes. However, the resulting hardware was not of practical use because it shared a single main memory potentially accessed by all the circuits for the processes simultaneously. To address this issue, in this paper, the main memory is partitioned into banks so that each process can access its own memory independently of the other processes. In order to keep the interconnections for message passing to a practical size, a bus architecture is employed where send requests are arbitrated by an arbiter (logic circuit). In order to make the resulting hardware as small as possible, a garbage collection circuit is shared among the circuits for the processes also under the control of the arbiter. From a simple Erlang specification, Verilog HDL codes for necessary hardware to construct a system has been generated.

Fri 8 Sep

Displayed time zone: Belfast change

14:00 - 14:50
Session 4Erlang at L4
14:00
25m
Talk
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Erlang
Kagumi Azuma Kwansei Gakuin University, Nagisa Ishiura Kwansei Gakuin University, Nobuaki Yoshida ASTEM RI/KYOTO, Hiroyuki Kanbara ASTEM RI/KYOTO
14:25
25m
Talk
Structuring Erlang BEAM control flow
Erlang
Dániel Lukács Eötvös Loránd University, Melinda Tóth