[ODK] Meeting 2019 03 27

Jump to bottom Edit New page

A. Breust edited this page Mar 28, 2019 · 3 revisions

ODK Linbox meeting 2019-03-27 CR

Alexis:

refacto solve: prise en compte 1ere partie reviews
- define dans 'constants.h'
- protection LAPACK pour SymNum
- TODO : bug bitsize A & b différentes ==> issue à ouvrir
- TODO : bcp de pb de tests cas rectangulaires "small & fat"
- TODO: segfault sur des solve -> ajouter une issue pour chaque pb
- état de la PR ready for review
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.
SV3 de Zhu à Alexis
- benchmark solve PR 192
- repart de solve refacto.
- TODO: switch methodes/arguments cf. test-solve-full
- TODO 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.

Zhu:

bench fgemv sur un gros multicoeur (hpac ou luke42)
- conclusions:
  - row,grain meilleur avec petit grain, kaapi inutile
  - grain à 8 encore meilleur (sur 8kx8k --> 1000 tâches !)
  - pourquoi row,thread mauvais ? rhs toujours dans le cache en cas de petit grain, mais pas en gros grain ???
  - RNS fait grossir la mémoire: ex: 8Kx8k sur 200 bits (+128 bits mpz) = 3Go ==> 22Go pendant le calcul
- TODO: vérifier les fuites mémoires RNS ==> valgrind
- TODO: faire un PR
SG1: exposer paladin dans sage: in progress
- fgemm: avec Parallelism().set(numproc=3)
- TODO: confirmer que fgemv est parallèle
- TODO: y-a-t-il pluq dans sage? (si oui, exposer ppluq)
- TODO: fgem? sur multi-précision ?
- TODO: LinBox parallèle dans sage ? (solve-OMP ?)

TODOS:

SG1: HZ + CP 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

## réunion 03/04/2019 : plutôt 15h30/16h00