NDLI: Detection of parallel executable steps for programs with arrays

Content Provider	Springer Nature Link
Author	Nuriyev, R.
Copyright Year	2010
Abstract	The detection of informational and logical program step dependencies is a key problem when performing equivalent transformations. In this article we consider this problem for systems of loops which represent concentration of mass computations and are the biggest challenge in parallel execution.The prototype of program formalization is C language just because of it’s popularity and it being an intermediate language for compilation of most programming languages including object-oriented ones.We present a shorter version of proof of existence of an algorithm for transforming any system of loops to separated form where data selection for processing is represented as a chain of procedures that select data at least for the immediately following procedures. Last procedure is called a loop kernel; other procedures are referred to as loop controllers. For such programs informational dependencies of loop iterations are determined by a system of natural number equations that connect loop controller functions and index expressions of array variables or array pointers. For the programs where these functions are linear, the solution of such systems is an algorithmically solvable problem. For more complex cases, for example when the functions are arbitrary polynomials, the problem is algorithmically unsolvable.This result points a way to construct programming languages with algorithmically detectable parallelism in the loop kernels.We introduce a notion of data fullness for program classes as ability to select array data elements with any algorithmic function. This characteristic is different from an algorithmic fullness for the classes-class may be full in one sense but not in another.
Starting Page	19
Ending Page	27
Page Count	9
File Format	PDF
ISSN	03617688
Journal	Programming and Computer Software
Volume Number	36
Issue Number	1
e-ISSN	16083261
Language	English
Publisher	SP MAIK Nauka/Interperiodica
Publisher Date	2010-02-09
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Artificial Intelligence (incl. Robotics) Software Engineering Operating Systems Software Engineering/Programming and Operating Systems Computer Science
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Iterative development of parallel programs in the ParJava environment

Synthesis of parallel recursive programs in structural functional models

Counterexample-guided abstraction refinement for linear programs with arrays

Interactive debugging of parallel programs: Distributed scheme of interacting components

Implementation of parallel programs interpreter in the development environment ParJava

Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture

Scalability of heterogeneous parallel systems

Debugging DVM Programs

Parallel integration : Extended abstract

Detection of parallel executable steps for programs with arrays

Similar Documents

Iterative development of parallel programs in the ParJava environment

Synthesis of parallel recursive programs in structural functional models

Counterexample-guided abstraction refinement for linear programs with arrays

Interactive debugging of parallel programs: Distributed scheme of interacting components

Implementation of parallel programs interpreter in the development environment ParJava

Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture

Scalability of heterogeneous parallel systems

Debugging DVM Programs

Parallel integration : Extended abstract

Detection of parallel executable steps for programs with arrays