SAC: a functional array language for efficient multi-threaded execution

Authors:
Clemens Grelck;Sven-Bodo Scholz
Affiliations:
Institute of Software Technology and Programming Languages, University of Lübeck, Ratzeburger Allee, Lübeck, Germany;Department of Computer Science, University of Hertfordshire, Hatfield, United Kingdom
Venue:
International Journal of Parallel Programming
Year:
2006

Citing 25
Cited 18

Q'Nial: a portable interpreter for the nested interactive array language, Nial

Software—Practice & Experience
Supercompilers for parallel and vector computers

Supercompilers for parallel and vector computers
Retire Fortran?: a debate rekindled

Communications of the ACM
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Benchmarking implementations of lazy functional languages

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
SSA is functional programming

ACM SIGPLAN Notices
Regions: an abstraction for expressing array computation

Proceedings of the conference on APL '99 : On track to the 21st century: On track to the 21st century
The aggregate update problem in functional programming systems

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ZPL: A Machine Independent Programming Language for Parallel Computers

IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Optimizing compilers for modern architectures: a dependence-based approach

Optimizing compilers for modern architectures: a dependence-based approach
High Performance Compilers for Parallel Computing

High Performance Compilers for Parallel Computing
The Definition of Standard ML

The Definition of Standard ML
OpenMP: An Industry-Standard API for Shared-Memory Programming

IEEE Computational Science & Engineering
The Combined Effectiveness of Unimodular Transformations, Tiling, and Software Prefetching

IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Uniqueness Type Inference

PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
Implementing the Conjugate Gradient Algorithm in a Functional Language

IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
The Implementation and Efficiency of Arrays in Clean 1.1

IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
On Code Generation for Multi-generator WITH-Loops in SAC

IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Optimizations on Array Skeletons in a Shared Memory Environment

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Single Assignment C: efficient support for high-level array operations in a functional setting

Journal of Functional Programming
On the effectiveness of functional language features: NAS benchmark FT

Journal of Functional Programming
Shared memory multiprocessor support for functional array processing in SAC

Journal of Functional Programming
With-Loop scalarization – merging nested array operations

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Implementing a numerical solution of the KPI equation using single assignment c: lessons and experiences

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
With-Loop fusion for data locality and parallelism

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

SAC: off-the-shelf support for data-parallelism on multicores

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Shape cliques

ACM SIGAPL APL Quote Quad
Controlling chaos: on safe side-effects in data-parallel operations

Proceedings of the 4th workshop on Declarative aspects of multicore programming
S-Net for multi-memory multicores

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
On optimising shape-generic array programs using symbolic structural information

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Streaming networks for coordinating data-parallel programs

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Compiler-support for robust multi-core computing

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Descriptor-free representation of arrays with dependent types

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Concurrent non-deferred reference counting on the Microgrid: first experiences

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Heterogeneous integration to simplify many-core architecture simulations

Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools
Asynchronous adaptive optimisation for generic data-parallel array programming

Concurrency and Computation: Practice & Experience
Distributed S-Net: Cluster and Grid Computing without the Hassle

CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Single assignment C (SAC) high productivity meets high performance: high productivity meets high performance

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Nested data-parallelism on the gpu

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Implementing a high-level distributed-memory parallel haskell in haskell

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
A T2 graph-reduction approach to fusion

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Semantics-preserving data layout transformations for improved vectorisation

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Apple-CORE: Harnessing general-purpose many-cores with hardware concurrency management

Microprocessors & Microsystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give an in-depth introduction to the design of our functional array programming language SAC, the main aspects of its compilation into host machine code, and its parallelisation based on multi-threading. The language design of SAC aims at combining high-level, compositional array programming with fully automatic resource management for highly productive code development and maintenance. We outline the compilation process that maps SAC programs to computing machinery. Here, our focus is on optimisation techniques that aim at restructuring entire applications from nested compositions of general fine-grained operations into specialised coarse-grained operations. We present our implicit parallelisation technology for shared memory architectures based on multi-threading and discuss further optimisation opportunities on this level of code generation. Both optimisation and parallelisation rigorously exploit the absence of side-effects and the explicit data flow characteristic of a functional setting.