An additional request: it would be very useful to be able to turn perturbations
on and off through Valgrind's client-request mechanism. The use case for this
goes like this:
We have a number of internal algorithms that are used by many functional areas
of our modeller. If we suspect that one of them is misbehaving under particular
circumstances, it would be useful to turn on perturbations for only those
circumstances.
· An easy way to do this would be to use client requests on the code
paths that lead there.
· An alternative would be to extend the inclusion file syntax to work
like memcheck's exclusion syntax, where one can specify the call stack for
memcheck errors that should be ignored.
Thanks,
--
John Dallman
DF PL TO OT PC PDE
Technology & Innovation
Nullius in verba
Siemens Industry Sector
Siemens Industry Software Limited
Francis House, 112 Hills Road,
Cambridge CB2 1PH, United Kingdom
Tel. :+44 (1223) 371554
Fax :+44 (1223) 371700
john.dall...@siemens.com <mailto:john.dall...@siemens.com>
www.siemens.com/plm
From: [ext] Dallman, John [mailto:john.dall...@siemens.com]
Sent: Thursday, June 01, 2017 12:29 PM
To: 'Ivo Raisr' <iv...@ivosh.net>; 'FEVOTTE Francois' <francois.fevo...@edf.fr>
Cc: 'valgrind-develop...@lists.sourceforge.net'
<valgrind-develop...@lists.sourceforge.net>; 'HULSEMANN Frank'
<frank.hulsem...@edf.fr>; 'Valgrind Users'
<valgrind-users@lists.sourceforge.net>; 'LATHUILIERE Bruno'
<bruno.lathuili...@edf.fr>
Subject: Re: [Valgrind-users] [Valgrind-developers] Request For Comments:
Verrou, a Valgrind tool for floating-point debugging
This is potentially interesting for what I do. Is the documentation at
http://edf-hpc.github.io/verrou/vr-manual.html up to date?
Something that would be very useful would be control of the seed of the random
number generator, so that we could repeat and debug cases that gave strange
results.
The code I work on is a large mathematical modeller, with perhaps 70,000
functions. Rather than using an exclusion file, it would be very useful to have
an inclusion file as an alternative, where one could specify only the functions
that should be subject to perturbation. We'd like this because it’s quite
difficult to adequately test various numerical algorithms outside the context
of the modeller.
Best,
--
John Dallman
DF PL TO OT PC PDE
Technology & Innovation
Nullius in verba
Siemens Industry Sector
Siemens Industry Software Limited
Francis House, 112 Hills Road,
Cambridge CB2 1PH, United Kingdom
Tel. :+44 (1223) 371554
Fax :+44 (1223) 371700
john.dall...@siemens.com <mailto:john.dall...@siemens.com>
www.siemens.com/plm
-----------------
Siemens Industry Software Limited is a limited company registered in England
and Wales.
Registered number: 3476850.
Registered office: Faraday House, Sir William Siemens Square, Frimley, Surrey,
GU16 8QD.
-----------------
Siemens Industry Software Limited is a limited company registered in England
and Wales.
Registered number: 3476850.
Registered office: Faraday House, Sir William Siemens Square, Frimley, Surrey,
GU16 8QD.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users
