research-article

SequenceL: transparency and multi-core parallelisms

Authors:

Brad Nemanich,

Daniel Cooke,

J. Nelson RushtomAuthors Info & Claims

DAMP '10: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming

Pages 45 - 52

https://doi.org/10.1145/1708046.1708057

Published: 19 January 2010 Publication History

Get Access

Abstract

In this paper, we review the computational laws upon which SequenceL is based, give evidence of the transparency of SequenceL code, and compare performance results of Parallel Haskell and SequenceL codes running on multi-core processors. For the comparisons with Haskell we employ a recently developed SequenceL compiler that generates multi-threaded C++ and has a runtime system that manages threads for multi-core processors.

References

[1]

John W. Backus: Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21(8): 613--641 (1978).

Digital Library

Google Scholar

[2]

Jean-Pierre Banatre and Daniel Le Metayer, "Programming by Multiset Transformation," January, 1993, Vol. 36, No. 1. Communications of the ACM, pp. 98--111.

Digital Library

Google Scholar

[3]

Guy Blelloch, "Programming Parallel Algorithms," March, 1996, Vol. 39, No. 3. Communications of the ACM, pp. 98--111.

Digital Library

Google Scholar

[4]

Daniel E. Cooke, "An Introduction to SEQUENCEL: A Language to Experiment with Nonscalar Constructs," Software Practice and Experience, Vol. 26 (11) (November, 1996), pp. 1205--1246.

Digital Library

Google Scholar

[5]

Daniel E. Cooke and Per Andersen, "Automatic Parallel Control Structures in SequenceL," Software Practice and Experience, Volume 30, Issue 14 (November 2000), pp. 1541--1570.

Digital Library

Google Scholar

[6]

Daniel E. Cooke, Matt Barry, Michael Lowry. and Cordell Green "NASA's Exploration Agenda and Capability Engineering," COMPUTER (January 2006) Vol. 39 No. 1, pp. 63--73.

Digital Library

Google Scholar

[7]

Cooke, D.E., Rushton, J.N., Nemanich, B., Watson, R.G., and Andersen, P. 2008. Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ACM Trans. Program. Lang. Syst. 30, 2, Article 9 (February 2008), 50 pages. DOI 10.1145/1330017.1330020 http://doi.acm.org/10.1145/1330017.1330020

Digital Library

Google Scholar

[8]

Cooke, D.E., and Rushton, J.N., Nemanich, "Taking Parnas's Principles to the Next Level: the Design of Declarative Languages," COMPUTER (September, 2009) Vol. 42 No. 9 pp. 56--63.

Digital Library

Google Scholar

[9]

C.A.R. Hoare, "The Emperor's Old Clothes." Communications of the ACM, Vol. 24, No. 2, February 1981, pp. 75--83.

Digital Library

Google Scholar

[10]

Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson: Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. SIGPLAN Notices 27(5): R1-R164 (1992)

Digital Library

Google Scholar

Cited By

View all

Heisig MVerna DCooper D(2018)Petalisp: A Common Lisp Library for Data Parallel ProgrammingProceedings of the 11th European Lisp Symposium on European Lisp Symposium10.5555/3323215.3323216(4-11)Online publication date: 18-Apr-2018
https://dl.acm.org/doi/10.5555/3323215.3323216
Heisig MKöstler HScholz SShivers O(2018)Petalisp: run time code generation for operations on strided arraysProceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming10.1145/3219753.3219755(11-17)Online publication date: 19-Jun-2018
https://dl.acm.org/doi/10.1145/3219753.3219755

Index Terms

SequenceL: transparency and multi-core parallelisms
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures
      2. Language types
        Functional languages

Recommendations

Abstraction, concurrency, and communal computing in SequenceL
COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference

SequenceL is a new computer language that provides declarative constructs for nonscalar processing. In SequenceL, a problem solver provides little in the way of iterative/recursive details in a problem solution. Instead, the problem solver describes the ...
Performance Gaps between OpenMP and OpenCL for Multi-core CPUs
ICPPW '12: Proceedings of the 2012 41st International Conference on Parallel Processing Workshops

OpenCL and OpenMP are the most commonly used programming models for multi-core processors. They are also fundamentally different in their approach to parallelization. In this paper, we focus on comparing the performance of OpenCL and OpenMP. We select ...
Hybridizing S3D into an Exascale application using OpenACC: An approach for moving to multi-petaflops and beyond
SC '12: Proceedings of the 2012 International Conference for High Performance Computing, Networking, Storage and Analysis

Hybridization is the process of converting an application with a single level of parallelism to an application with multiple levels of parallelism. Over the past 15 years a majority of the applications that run on High Performance Computing systems have ...

Comments

Information & Contributors

Information

Published In

DAMP '10: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming

January 2010

90 pages

ISBN:9781605588599

DOI:10.1145/1708046

General Chair:
Leaf Petersen
Intel Corporation, USA
,
Program Chair:
Enrico Pontelli
New Mexico State University, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 January 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

POPL '10

Sponsor:

SIGPLAN

POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

January 19, 2010

Madrid, Spain

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Heisig MVerna DCooper D(2018)Petalisp: A Common Lisp Library for Data Parallel ProgrammingProceedings of the 11th European Lisp Symposium on European Lisp Symposium10.5555/3323215.3323216(4-11)Online publication date: 18-Apr-2018
https://dl.acm.org/doi/10.5555/3323215.3323216
Heisig MKöstler HScholz SShivers O(2018)Petalisp: run time code generation for operations on strided arraysProceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming10.1145/3219753.3219755(11-17)Online publication date: 19-Jun-2018
https://dl.acm.org/doi/10.1145/3219753.3219755

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Abstraction, concurrency, and communal computing in SequenceL

Performance Gaps between OpenMP and OpenCL for Multi-core CPUs

Hybridizing S3D into an Exascale application using OpenACC: An approach for moving to multi-petaflops and beyond

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations