Work

Instancewise Array Dependence Test for Recursive Programs

Year: 2003

Type: conference-paper

Abstract: Starting from a generalization of induction variables,we present a dependence test framework for recursive programs. For a restricted class of programs, a statically computable function maps every run-time instance of a programstatement to the data-structure elements it accesses. Statement instances and data structure layouts are describedthrough formal language tools.This framework is applied to the automatic detection ofdata and control parallelism. We extend the concept of instancewise data dependences to recursive programs and wefurther investigate a dependence test for recursive programsoperating on arrays. This test is interpreted as a flow problem in a directed graph with weighted edges; and the problem is shown to be NP-complete. We provide an exponentialbut efficient algorithm based on integer linear programmingand explore simple examples.

Source: HAL

Authors: Amiranoff, Pierre, Cohen, Albert, Feautrier, Paul

Language: English

Topic: Parallel Computing and Optimization Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2751102148

FWCI: 0.229

Cites: 8

Cited by: 1

Related to: 10