Article

Free access

An experience with parallelism in Ada

Author:

David S. NotkinAuthors Info & Claims

SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming language

Pages 9 - 15

https://doi.org/10.1145/948632.948635

Published: 01 November 1980 Publication History

PDF eReader

Abstract

One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high level mechanisms for communication and synchronization among tasks executing in parallel. The open question about these mechanisms is whether they provide programmers with both the appropriate level of abstraction and also the necessary level of control.This paper describes in detail the implementation of a system using parallelism that was written during the Ada test and evaluation process.

References

[1]

R. H. Campbell and A. N. Habermann. The Specification of Process Synchronization by Path Expressions. In Lecture Notes in Computer Science, eds. G. Goos and J. Hartmanis, Ed., Springer-Verlag, 1974, pp. 89--102.

Digital Library

Google Scholar

[2]

Peter H. Feiler and Raul Medina-Mora. An Incremental Programming Environment. Tech. Rept. CMU-CS-80-126, Carnegie-Mellon University, Department of Computer Science, April, 1980.

Google Scholar

[3]

A. Nico Habermann, David S. Notkin, and Dewayne E. Perry. Report on the Use of Ada for the Design and Implementation of Part of Gandalf. Tech. Rept. CMU-CS-79-135, Carnegie-Mellon University, Department of Computer Science, June, 1979.

Google Scholar

[4]

A. Nico Habermann. A Software Development Control System. CMU Computer Science Department.

Google Scholar

[5]

A Nico Habermann. "An Overview of the Gandalf Project." Carnegie-Mellon University, Department of Computer Science Research Review 1979--1980 (1979).

Google Scholar

[6]

A Nico Habermann and Dewayne E. Perry. Well-formed System Compositions. Carnegie-Mellon University, Department of Computer Science, March, 1980.

Google Scholar

[7]

Jean D. Ichbiah, et. al. "Preliminary ADA Reference Manual." SIGPLAN Notices 14, 6 (June 1979), Part A.

Digital Library

Google Scholar

[8]

Jean D. Ichbiah, et. al. "Rationale for the Design of the ADA Programming Language." SIGPLAN Notices 14, 6 (June 1979), Part B.

Digital Library

Google Scholar

[9]

David S. Notkin and A. Nico Habermann. Software Development Environment Issues as Related to Ada. Ada Environment Workshop. DoD High Order Language Working Group, November 1979.

Google Scholar

An experience with parallelism in Ada
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

An experience with parallelism in Ada
Proceedings of the ACM-SIGPLAN symposium on the Ada programming language

One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high level mechanisms for communication and synchronization among tasks executing in parallel. The open question about these ...
Parallelism in Ada: general model and ravenscar

Parallel programming is expected to become more the norm as multi-core and many-core processors gain more widespread use. Ada has always had excellent concurrency support, but could be improved in the area of parallel programming. Specifically, divide ...
An experience with parallelism in Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming language

One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high level mechanisms for communication and synchronization among tasks executing in parallel. The open question about these ...

Comments

Information & Contributors

Information

Published In

SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming language

December 1980

249 pages

ISBN:0897910303

DOI:10.1145/948632

Conference Chair:
Paul Abrahams
Deerfield, MA

ACM SIGPLAN Notices Volume 15, Issue 11
Proceedings of the ACM-SIGPLAN symposium on the Ada programming language
November 1980
242 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/947783
Issue’s Table of Contents

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1980

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
244
Total Downloads

Downloads (Last 12 months)56
Downloads (Last 6 weeks)11

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Recommendations

An experience with parallelism in Ada

Parallelism in Ada: general model and ravenscar

An experience with parallelism in Ada