Objectif
The aim of PARFORCE is to provide and evaluate formal tools for the development of parallel programs and their efficient execution. The first objective is to apply the emerging techniques for formal program analysis and manipulation to solve important problems relating to parallel execution such as dependency and granularity analysis, partitioning, or memory management. This is done by building tools for the formal development of parallel logic programs. The second objective is to integrate such tools with practical parallel execution platforms. The third objective is to provide an assessment of the effectiveness of the tools in such platforms.
Research has been carried out with respect to the construction (and evaluation of use of) formal tools for the development of parallel programs and their efficient execution. To this end the emerging techniques for formal program analysis and manipulation are applied to central issues relating to parallel execution such as dependency and granularity analysis, partitioning, or memory management.
Results so far in automatic parallelization include progress in partitioning programs into independent process and aggregating these processes to achieve appropriate grain size. New, more lax notions of dependency have been defined. The related analysis and transformation frameworks have been developed and implemented, resulting in a first set of integrated tools for dependency analysis, producer/consumer determination, granularity control, process graph shape modification, and so on which are expected to result in improved parallel program behaviour. In the context of analysis of concurrent programs current results include an analysis deriving definite and possible ordering information and a compilation technique which translates a program into threads. Also, a method for analysing concurrent programs with deep guards has been implemented in such a language (AKL). The notion of confluence has been introduced showing that for the large class of confluent programs suspension analysis is efficient and accurate. A denotational semantics useful for compositional analysis has been proposed, and shown to be a correct approximation of the standard operational model.
In the context of parallel program development a declarative debugger for the G'odel programming language and a visualizer for a number of parallelizm paradigms have been developed. Finally, common syntax and interfaces have been designed in order to allow interoperability and assessment of the tools.
APPROACH AND METHODS
The thesis of the project is that the complexity of developing parallel programs can be mastered with the aid of formal tools to support the process. The role of these tools must be to relieve the programmer from concerns relating to the low-level tactical issues, (such as dependency and granularity analysis, scheduling, and load balancing) and to provide support for the decisions relating to high-level strategic issues, eg algorithm development. To this end the project exploits the semantic foundations of logic programming (more generally declarative programming) that facilitate tractable formal program analysis, eg abstract interpretation, and manipulation, eg program transformation. Analysis and transformation tools are built using these ideas for several tasks, such as automatic parallelisation of sequential languages (ie automatic construction of dependency graphs and transformation into parallel programs), granularity analysis (where a parallelised program or an originally concurrent program is sequentialised in part to avoid overhead due to the scheduling of too fine grained tasks), and storage management optimisation. These tools are integrated into parallel platforms and their effectiveness assessed on such platforms. Finally, the project also includes a working group on parallel program development.
POTENTIAL
The approach and aims of the project are of great strategic importance because the potential performance of parallel hardware cannot currently be realised because of the complexity of edeveloping parallel software. Thus the PARFORCE project is not just of scientific interest, it is also of major commercial importance. The presence of two industrial research centers, ECRC and SICS, illustrates the commercial importance attributed to the work and provides the route for the exploitation of the results.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel
- sciences agricoles agriculture, sylviculture et pêche agriculture céréales et oléagineux
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
28660 MADRID
Espagne
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.