The GCD and Banejee tests are the standard subscript dependence tests used to determine whether loops may be paraUelized/vectorized. The present work discusses the I Test, a subscript dependence test which extends both the range of applicability and the accuracy of these tests. It promises to be especially useful when, in the event that a positive result must be reported, a definite positive is of more use than a tentative positive, and when insufficient loop iteration limits are known for the Banejee test to apply.
Refined Languages (Refined Fortran, Refmed C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races or deadlocks. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same input data can be guaranteed to either compute the same results or terminate with the same run-time errors regardless of differences in scheduling. Where asynchronous behavior is desired, freedom from races can be guaranteed. The Refined Languages approach achieves its goal by extending sequential imperative programming languages with data-(rather than control-) oriented constructs, and by viewing the expression of parallelism in data-(rather than control-) oriented terms. Earlier versions of Refined Fortran are discussed in [l]-[2]; the present work supersedes and extends work reported in these earlier publications.
Intended ApplicationsThe present paper complements the hardware proposal for a fully distributed parallel processor presented in "A Large Scale, Homogeneous, Fully Distributed Parallel Machine, I, " by describing a suitable software structure for its operating system management. It is shown that the most basic operating system functions can be performed on a purely local basis, i.e. in such a fashion that identical pieces of the operating systems are concurrently executed by each of the processing elements.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.