[ODK] Meeting 2019 03 20

ODK Linbox meeting 2019-03-20 CR

Alexis:

• refacto solve: fini
  • ShapeFlags: avec surcharge de l'op ==
  • état de la PR ready for review
  • TODO: Cra -> ChineseRemainder
  • TODO: ok pour l'ajout de Builder dans le nom des Builders mais Cra -> XXXCRABuilder (à la fin)
  • Pb: segfault sur des solve -> ajouter une issue pour chaque pb

Dixon refacto: branch "dixon-refacto"

• commentaires explicatifs du monolithic solve (rational-solver.inl) -> nettoyage à faire (découper en morceaux, factoriser le codes, tester
• lifting container est bien factorisée
• mais le rational solver fait des duplications inutiles pour chaque cas (sparse, BB, dense)
• sortir le certif d'inconsistance
• faire une passe de nettoyage/ mise à jour par rapport aux fonctionnalités dans ffpack. A garder en tete pour le design:
• possibilité d'avoir une famille de vecteurs inconnus (matrix)
• hybrid CRT-Dixon -> matrix modulo différents premiers pour chaque colonne.

Zhu:

• bench fgemv sur un gros multicoeur (hpac ou luke42)

  • TODO: Utiliser -t pour fixer le nb de threads
  • TODO: ajouter -g pour la grainsize
  • TODO: rejouer les benchs

• SG1: exposer paladin dans sage: in progress

  • TODO: pb de compilation template, includes

• SV3: TODO fusionner benchmark-dense-solve et benchmark-solve-cra et ajouter des options pour switcher entre les algos CRA/Dixon et Widemann/Dense/Sparse et MPI/Sequenitiel

  • en cours: pb d'appels de solve avec certaines matrices.
  • TODO: partir de la branche solve-refacto pour faire une branche bench-solve
  • acces hpac: demander au service info pour renouveller ton mot de passe

TODOS:

• SG1: HZ + CP fgemm, PLUQ, etc avec paladin exposés dans sage: en cours
• SV3 à finir AB et HZ
• L1: AB + JGD
• D1: JGD+CP+AB+HZ plus tard