article

Open access

Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System

Editor: Susan L. Graham Authors:

Dale H. Grit,

Rex L. PageAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 3, Issue 1

Pages 49 - 59

https://doi.org/10.1145/357121.357125

Published: 01 January 1981 Publication History

PDF eReader

References

[1]

ARVIND, GOSTELOW, K.P., AND PLOUFFE, W. An asynchronous programming language and computing machine. Tech. Rep., Dep. Information and Computer Science, Univ. Calif., Irvine, Dec. 1978.

Google Scholar

[2]

BAKER, H.G. JR., AND HEWlTT, C. The incremental garbage collection of processes. In Proc. Symp. on Artificial Intelligence and Programming Languages, Univ. Rochester, Rochester, N.Y., Aug. 15-17, 1977. Published as combined issue: SIGPLAN Notices (ACM) 12, 8 (Aug. 1977), and $iGART Newsl. (ACM) 64 (Aug. 1977).

Crossref

Google Scholar

[3]

DENNIS, J.B., AND MISUNAS, D.P. A preliminary architecture for a basic data flow processor. In Proc. 2d Annual Syrup. on Computer Architecture, Jan. 1975, pp. 126-132.

Crossref

Google Scholar

[4]

DiJKSTRA, E.W. Cooperating sequential processes. In Programming Languages, F. Genuys (Ed.), Academic Press, New York, 1968, pp. 43-112.

Google Scholar

[5]

DiJKSTRA, E.W., LAMPORT, L., MARTIN, A.J., SCI-IOLTEN, C.S., AND STEFFENS, E.F.M. On-thefly garbage collection: An exercise in cooperation. Commun. ACM 21, 11 (Nov. 1978), 966-975.

Crossref

Google Scholar

[6]

FRIEDMAN, D.P., AND WISE, D.S. Aspects of applicative programming for parallel processing. IEEE Trans. Comput. C-27, 4 (April 1978), 289-296.

Google Scholar

[7]

FRIEDMAN, D.P., AND WISE, D.S. CONS should not evaluate its arguments. In Automata, Languages, and Programming, S. Michaelson and R. Milner (Eds.), Edinburgh Univ. Press, Edinburgh, t976, pp. 257-284.

Google Scholar

[8]

GI~OMAN, S. Storage reclamation in a multiprocessor system. M.S. thesis, Dep. Computer Science, Colo. State Univ., Ft. Collins, Colo., 1980.

Google Scholar

[9]

GRIT, D.H., AND PAGE, R.L. Performance of a multiprocessor for applicative programs. In 7th IFIP WG 7.3 Int'l Symp. on Comput. Performance, Modelling, Measurement and Evaluation, Toronto, May 1980.

Crossref

Google Scholar

[10]

GRIT, D.H., AND PAGE, R.L. A multiprocessor model for parallel evaluation of applicative programs. J. Digital Syst. 4, 2 (Summer 1980), 135-151.

Google Scholar

[11]

HENDERSON, P., AND MORRIS, J.H. JR. A lazy evaluator. In Conf. Rec., 3d ACM Syrup. on Principles of Programming Languages, Atlanta, Ga., Jan. 19-21, 1976, pp. 95-103.

Crossref

Google Scholar

[12]

KELLER, R.M., LINDSTROM, G., AND PATIL, S. A loosely-coupled applicative multi-processing system. Proc. 1979 National Computer Conference, New York, AFIPS, 1979, pp. 613-622.

Google Scholar

[13]

MANNA, Zo Mathematical Theory of Computation. McGraw-Hill, New York, 1974, p. 376.

Crossref

Google Scholar

[14]

PAGE, R.L. Pursuit on a tree. Unpublished manuscript, April 1980.

Google Scholar

[15]

PRESTON, C.J. Private communications, April 1980.

Google Scholar

[16]

SI~AW, A.C., WEIDERMAN, N., ANDREWS, G., FELCYN, M-B., R~EBER, J., AND WONG, G. A multiprogramming nucleus with dynamic resource facilities. Softw. Pract. Exper. 5, 3 (July-Sep. 1975), 245-267.

Google Scholar

[17]

VUILLEMIN, J. Correct and optimal implementations of recursion in a simple programming language. J. Comput. Syst. Sci. 9, 3 (Dec. 1974), 332-354.

Google Scholar

Cited By

View all

Burton F(2008)Encapsulating non-determinacy in an abstract data type with determinate semanticsJournal of Functional Programming10.1017/S09567968000000461:01(3-20)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S0956796800000046
Rudalics M(2005)Distributed termination enforcementPARLE '92 Parallel Architectures and Languages Europe10.1007/3-540-55599-4_99(363-378)Online publication date: 14-Jul-2005
https://doi.org/10.1007/3-540-55599-4_99
Castan MDurrieu GLecussan BLemaître MContessa ACousin ENg P(2005)Toward the design of a parallel graph reduction machine the MaRS projectGraph Reduction10.1007/3-540-18420-1_54(160-180)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-18420-1_54
Show More Cited By

Index Terms

Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Memory management
        Garbage collection
        Process management
        Multiprocessing / multiprogramming / multitasking
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Recommendations

A Torus-Based Hierarchical Optical-Electronic Network-on-Chip for Multiprocessor System-on-Chip

Networks-on-chip (NoCs) are emerging as a key on-chip communication architecture for multiprocessor systems-on-chip (MPSoCs). Optical communication technologies are introduced to NoCs in order to empower ultra-high bandwidth with low power consumption. ...
3-D Mesh-Based Optical Network-on-Chip for Multiprocessor System-on-Chip

Optical networks-on-chip (ONoCs) are emerging communication architectures that can potentially offer ultrahigh communication bandwidth and low latency to multiprocessor systems-on-chip (MPSoCs). In addition to ONoC architectures, 3-D integrated ...
Pipelined Multiprocessor System-on-Chip for Multimedia

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 3, Issue 1

Jan. 1981

113 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/357121

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1981

Published in TOPLAS Volume 3, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
269
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)2

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Burton F(2008)Encapsulating non-determinacy in an abstract data type with determinate semanticsJournal of Functional Programming10.1017/S09567968000000461:01(3-20)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S0956796800000046
Rudalics M(2005)Distributed termination enforcementPARLE '92 Parallel Architectures and Languages Europe10.1007/3-540-55599-4_99(363-378)Online publication date: 14-Jul-2005
https://doi.org/10.1007/3-540-55599-4_99
Castan MDurrieu GLecussan BLemaître MContessa ACousin ENg P(2005)Toward the design of a parallel graph reduction machine the MaRS projectGraph Reduction10.1007/3-540-18420-1_54(160-180)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-18420-1_54
Greiner JBlelloch G(1999)A provably time-efficient parallel implementation of full speculationACM Transactions on Programming Languages and Systems10.1145/316686.31669021:2(240-285)Online publication date: 1-Mar-1999
https://dl.acm.org/doi/10.1145/316686.316690
Greiner JBlelloch GBoehm HSteele G(1996)A provably time-efficient parallel implementation of full speculationProceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/237721.237797(309-321)Online publication date: 1-Jan-1996
https://dl.acm.org/doi/10.1145/237721.237797
Huntbach MHightower JDeaton E(1995)Search in concurrent logic languagesProceedings of the 1995 ACM symposium on Applied computing10.1145/315891.315947(164-170)Online publication date: 26-Feb-1995
https://dl.acm.org/doi/10.1145/315891.315947
Huntbach M(1992)Speculative Computation and Priorities in Concurrent Logic LanguagesALPUK 9110.1007/978-1-4471-3546-3_2(23-35)Online publication date: 1992
https://doi.org/10.1007/978-1-4471-3546-3_2
Osborne RKahn G(1990)Speculative computation in multilispProceedings of the 1990 ACM conference on LISP and functional programming10.1145/91556.91644(198-208)Online publication date: 1-May-1990
https://dl.acm.org/doi/10.1145/91556.91644
Osborne R(1990)Speculative computation in multilispParallel Lisp: Languages and Systems10.1007/BFb0024152(103-137)Online publication date: 1990
https://doi.org/10.1007/BFb0024152
Partridge ADekker A(1989)Speculative parallelism in a distributed graph reduction machine[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track10.1109/HICSS.1989.48085(771-779)Online publication date: 1989
https://doi.org/10.1109/HICSS.1989.48085
Show More Cited By

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.

References

Cited By

Index Terms

Recommendations

A Torus-Based Hierarchical Optical-Electronic Network-on-Chip for Multiprocessor System-on-Chip

3-D Mesh-Based Optical Network-on-Chip for Multiprocessor System-on-Chip

Pipelined Multiprocessor System-on-Chip for Multimedia

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations