HILT 2014             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Finding Safety in Numbers—New Languages for Safe Multicore Programming and Modeling

Panel Moderator: Clyde Roby (Institute for Defense Analyses)

Panelists:

Robert Bocchino
Niko Matsakis
Tucker Taft
Brian Larson
Ed Seidewitz

Abstract

This panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of these efforts have attempted to provide data-race-free programming models, so that multicore programmers need not be faced with the added burden of trying to debug race conditions on top of the existing challenges of building reliable systems.

It has been almost a decade since single processor performance began to level off, and chip makers began to move seriously toward multicore architectures, in large part to address a growing concern with power consumption at higher clock rates. To address this irreversible move toward parallel, multicore architectures, there has been a burst of new programming language design activities over the past decade, with new concurrent and/or parallel programming features being added to existing languages, and completely new languages being designed with a significant focus on supporting multicore programming.

This panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of these efforts have attempted to provide data-race-free programming models, so that multicore programmers need not be faced with the added burden of trying to debug race conditions on top of the existing challenges of building reliable systems.

Robert Bocchino of the Jet Propulsion Laboratory will discuss the design of the Spot language, which adopts the actor model for safe parallel programming as part of an overall focus on building reliable aerospace systems. Niko Matsakis of Mozilla Research will discuss the Rust language, which restricts access to global data through the use of owning pointers, thereby avoiding concurrent access from multiple tasks. Tucker Taft of AdaCore will discuss the ParaSail family of languages, which eliminate pointers, global data, and parameter aliasing while adding expandable pointer-free data structures as part of an inherently safe parallel programming model. Brian Larson of Kansas State University will discuss the BLESS language which provides behavioral specification to the AADL architecture definition language. And finally, Ed Seidewitz of Model Driven Solutions will discuss Alf, the action language for Foundational UML.


Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org