[ODK] Meeting 2019 05 03

ODK Linbox meeting 2019-05-03 CR

Alexis:

• Dixon refacto:

• sortir la partie MinDenomCert dans une méthode à part

• unWIP'ed -> ready for review

• unserialized done

• LinBox error debug contracts: PR en WIP -> laisser ENSURE REQUIRE (possiblement implémentés par des asserts)

• Dixon RNS (cf https://cs.uwaterloo.ca/~astorjoh/p92-chen.pdf) -> juste un lifting (pas tout refaire le solveur) ->

• SV3 benchmark solve PR 192

  • ready for review

Zhu:

• paralleliser les codes rns au niveau CRT pour fgemv: s'appuyer sur l'existant:

  • compose helpers et RNSModular dans fflas_fgemm/fgemm_classical_mp.inl -> à adapter dans fflas_fgemv_mp.inl: chaque routine: templater le MMHelper par un PSH (comme pour Moduar) et appeller directement fgemm avec ce MMhelper -> comparer avec les benchmarks anciens de fgemv parallèle avec cette nouvelle version

• encapsulation des PAR_BLOCK -> done pour tous.

Modifs timing: SG2 repoussé à fin D1a