[ODK] Meeting 2018 11 28

ODK LinBox meeting 2018-11-28

Winter days

• Gites les Coquettes
• Richerenches
• http://masdelaplumedange.com/
• Alexis et David du 5 au 7
• Clement du 4 a 6
• JG Nicolas et Hongguand du 4 au 7
• JG loue une voiture et Alexis vient avec la sienne

Avancement

Zhu

1. Bug "system inconsistent"

   • apparait de façon systématique
   • bascule sur la variante déterministe du générateur masqué
   • TODO: reste à s'assurer que tous les tirages aléatoires sont dépendants de la seed
   • TODO: ne semble pas se reproduire en sequentiel.
   • TODO: Question: en MPI sur 1 processus ?
   • TODO: différencier les string d'erreurs system inconsistent
   • TODO: faire un log au moment de la levée de l'exception avec l'état du système, la raison de la levée, le lieu de la levée

2. Bug. Apres 50-100 runs sur la même matrice: une exec plante.

• Nettoyage cra-mpi.h enlever l'utilisation des poison pills

• possibilité:

  • is_prime dans givaro utilise un algo proba
  • non seedé
  • comportement non déterministe, cad: parfois peut renvoyer un
  • vrai sur un nombre composé
  • fflas sur un nombre non premier se trompe silencieusement et renvoie un mauvais x mod p.
  • TODO: tester en augmentant la variable GIVARO_ISPRIMETESTS exemple 20

• TODO: revenir sur CRA-OMP et paladin

Alexis

1. nettoyage de solve.h -> reporté aux Winter Days pour interraction
2. nouvelle PR sur MPICra, reste à
   • y ajouter le nettoyage de solveCRA mentionné ci-dessus.
   • mettre à jour le test/benchmarks avec la derniere version de Zhu
   • utiliser bestbitsize dans solve.h

Liste de projets de travail:

• PR blas-matrix de pascal
• flags d'optim avec pkg-config (cf Cyril issues)
• refacto du solve et design de l'integration OMP et MPI
• refacto/nettoyage des rational solvers
• toutes autres issues