Re: [Valgrind-developers] RFC: support scalable vector model / riscv vector

[LATHUILIERE B. <bru...@ed...>]

Hi,

I like the idea to add verrou in the variant list.

You can get the source and documentation from github : https://github.com/edf-hpc/verrou/
The direct link to the documentation of the last  version  : http://edf-hpc.github.io/verrou/vr-manual.html (Soon or later I will change the link, to keep the documentation of old versions)

The main references about verrou are :
- François Févotte and Bruno Lathuilière. Debugging and optimization of HPC programs with the Verrou tool. In International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, Nov. 2019. DOI: 10.1109/Correctness49594.2019.00006
https://hal.science/hal-02044101/
- François Févotte and Bruno Lathuilière. Studying the numerical quality of an industrial computing code: A case study on code_aster. In 10th International Workshop on Numerical Software Verification (NSV), pages 61--80, Heidelberg, Germany, July 2017. DOI: 10.1007/978-3-319-63501-9_5
https://www.fevotte.net/publications/fevotte2017a.pdf
- François Févotte and Bruno Lathuilière. VERROU: a CESTAC evaluation without recompilation. In International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN), Uppsala, Sweden, September 2016.
https://www.fevotte.net/publications/fevotte2016.pdf

And if you are interested by the required number of samples, you should read the following paper (not specific to verrou) :
- Devan Sohier, Pablo De Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, and Olivier Jamond. Confidence intervals for stochastic arithmetic. ACM Transactions on Mathematical Software, 47(2), 2021. 
https://hal.science/hal-01827319


++
Bruno Lathuilière


-----Message d'origine-----
De : pj...@wa... <pj...@wa...> 
Envoyé : lundi 12 juin 2023 11:26
À : val...@li...
Objet : Re: [Valgrind-developers] RFC: support scalable vector model / riscv vector


On 01/06/2023 13:13, LATHUILIERE Bruno via Valgrind-developers wrote:
> I don't know if my experience is the one you expect, nevertheless I will try to share it.
> I'm the main developer of a valgrind tool called verrou (url: https://github.com/edf-hpc/verrou ) which currently only works with x86_64 architecture.
>  From user's point of view, verrou enables to estimate the effect of the floating-point rounding error propagation (If you are interested by the subject, there are documentation and publication).

[snip]

Interesting, I don't remember having seen anything on verrou. I need to look more at the doc and publications.

I'll add a link to https://valgrind.org/downloads/variants.html (which is a bit out of date)

A+

Paul




_______________________________________________
Valgrind-developers mailing list
Val...@li...
https://lists.sourceforge.net/lists/listinfo/valgrind-developers



Ce message et toutes les pièces jointes (ci-après le 'Message') sont établis à l'intention exclusive des destinataires et les informations qui y figurent sont strictement confidentielles. Toute utilisation de ce Message non conforme à sa destination, toute diffusion ou toute publication totale ou partielle, est interdite sauf autorisation expresse.

Si vous n'êtes pas le destinataire de ce Message, il vous est interdit de le copier, de le faire suivre, de le divulguer ou d'en utiliser tout ou partie. Si vous avez reçu ce Message par erreur, merci de le supprimer de votre système, ainsi que toutes ses copies, et de n'en garder aucune trace sur quelque support que ce soit. Nous vous remercions également d'en avertir immédiatement l'expéditeur par retour du message.

Il est impossible de garantir que les communications par messagerie électronique arrivent en temps utile, sont sécurisées ou dénuées de toute erreur ou virus.
____________________________________________________

This message and any attachments (the 'Message') are intended solely for the addressees. The information contained in this Message is confidential. Any use of information contained in this Message not in accord with its purpose, any dissemination or disclosure, either whole or partial, is prohibited except formal approval.

If you are not the addressee, you may not copy, forward, disclose or use any part of it. If you have received this message in error, please delete it and all copies from your system and notify the sender immediately by return message.

E-mail communication cannot be guaranteed to be timely secure, error or virus-free.