This blog will follow the trials and tribulations of designing a new programming language designed to allow productive development of parallel, high-integrity (safety-critical, high-security) software systems. The language is tentatively named "ParaSail" for Parallel, Specification and Implementation Language.
Sunday, January 4, 2015
Expanded paper on ParaSail pointer-free parallelism
Here is a PDF for a recent paper describing in more depth ParaSail's pointer-free approach to parallelism:
ParaSail is a language specifically designed to simplify the
construction of programs that make full, safe use of parallel
hardware. ParaSail achieves this largely through simplification of the language, rather than by adding numerous rules.
In particular, ParaSail eliminates global variables, parameter aliasing, and most significantly, re-assignable pointers.
ParaSail has adopted a pointer-free approach to defining
data structures. Rather than using pointers, ParaSail supports flexible data structuring using expandable (and
shrinkable) objects, along with generalized indexing. By
eliminating global variables, parameter aliasing, and pointers, ParaSail reduces the complexity for the programmer,
while also allowing ParaSail to provide pervasive, safe,
object-oriented parallel programming.