Modularity and Conventions for Maintainable Concurrent Language Implementations

Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt

Onderzoeksoutput: Conference paper


For a fruitful discussion at the MISS'2012 workshop, we did the exercise to review what we have learned in recent years from implementing languages for parallel and concurrent programming. Our goal for this collective case study is to identify the approaches used to
facilitate correctness and maintainability of our implementations. The main questions we ask in our case study are: What guides
modularization? Are informal approaches used to facilitate correctness? Are concurrency concerns modularized? And finally, where is language support lacking mostly?

The subjects of our case study are AmbientTalk, SLIP, and the RoarVM. All three language implementations evolved over the years
and are the foundation of our language and VM research as well as our teaching program. The evolution over the years enables us to look back at specific experiments to understand the impact of concurrency on modularity.

We conclude from our review that concurrency concerns are one of the strongest drivers when it comes to defining module boundaries. It can be helpful when languages offer sophisticated modularization constructs, however, with respect to concurrency, other language features are of greater importance. Furthermore, tool support that enables remodularization taking concurrency invariants into account would be of great value.
Originele taal-2English
TitelProceedings of the 2nd Workshop on Modularity In Systems Software (MISS'2012)
Aantal pagina's6
StatusPublished - mrt 2012
Evenement2012 workshop on Modularity in Systems Software - Potsdam, Germany
Duur: 27 mrt 201227 mrt 2012
Congresnummer: 2


Workshop2012 workshop on Modularity in Systems Software
Verkorte titelMISS


Duik in de onderzoeksthema's van 'Modularity and Conventions for Maintainable Concurrent Language Implementations'. Samen vormen ze een unieke vingerafdruk.

Citeer dit