Accession Number : AD0662274

Title :   AUTOMATIC DETECTION OF PARALLELISM IN COMPUTER PROGRAMS.

Descriptive Note : Quarterly rept. no. 4, 22 Apr-22 Jul 67,

Corporate Author : BURROUGHS CORP PAOLI PA DEFENSE SPACE AND SPECIAL SYSTEMS GROUP

Personal Author(s) : Bingham,Harvey W. ; Fisher,David A. ; Reigel,Earl W.

Report Date : NOV 1967

Pagination or Media Count : 90

Abstract : The object of the first year of this research has been to establish the desirability and feasibility of automatically recognizing parallelism in computer programs written in compiler languages, given suitable machine organizations capable of parallel or concurrent execution. An algorithm for formal analysis of programs is described. This algorithm detects implicit parallelism that exists between parts of a given sequentially ordered program from the input-output set intersections and any initially known essential serial order. The algorithm can be applied to program structures including subroutines, loops, conditionals, recursive subroutines, arrays, and serial input-output calls. To demonstrate that the automatic recognition of parallelism is feasible, a simulation based on the algorithm has been programmed on the Burroughs B5500 for analysis of compiler language programs. The source language for the programs to be analyzed (a subset of ALGOL), a description of the simulation, example programs for analysis, and the results of parallelism detection are given. Desirability is dependent on having machine organizations capable of using the parallelism effectively. The relation between parallelism in programs and the machine organizations will be investigated in future reports. (Author)

Descriptors :   (*COMPUTER PROGRAMS, COMPILERS), (*COMPUTER PROGRAMMING, COMPILERS), SUBROUTINES, ALGORITHMS, PROGRAMMING LANGUAGES, FLOW CHARTING

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE