llvm/llvm-project

[OpenMP][Opt] Track internal control variables (ICVs) and optimize accordingly

Open

#174 ouverte le 13 mars 2020

Voir sur GitHub
 (1 commentaire) (1 réaction) (2 assignés)C++ (10 782 forks)batch import
gsochelp wantedmetaissue

Métriques du dépôt

Stars
 (26 378 stars)
Métriques de merge PR
 (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)

Description

OpenMP defines ICVs that hold the internal state. While some are hard to statically predict, at least without user assumptions, we can us program analysis to determine the values of quite a few.

Code reached only via a __kmpc_fork_call has for example the parallel region nesting of at least 1 (not the active parallel region nesting though).

This metabug is to allow us to track the overall task as we split it up in smaller chunks. Thus, we expect this bug to be edited as we go.

  • List all ICVs as defined by the OpenMP standard with their default values in lllvm/lib/frontend/OMPKinds.def
  • Design a way to associate events, e.g., "setters" or entering a code region via a callback (see LangRef), impacts ICV values.
  • Collect situations where ICV value information can directly be used, e.g., to replace runtime calls.
  • Implement a data-flow analysis to determine ICV values "properly".
  • Determine where ICV could help the runtime and design new APIs for this use case.

Guide contributeur

Direction de recherche
Comprendre la spécification OpenMP pour les ICV et leurs valeurs par défaut. Étudier le code existant du runtime et du frontend OpenMP de LLVM (OMPKinds.def). Concevoir une analyse de flux de données pour suivre les valeurs ICV et identifier les opportunités d'optimisation. Envisager comment associer des événements tels que les appels de setter aux changements ICV.
Stack technique
cpp
Domaine
compilers
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Plus d'une semaine
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
OpenMPLLVMC++
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20