Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-31 Thread Philippe Waroquiers
On Wed, 2019-08-21 at 14:44 +0200, Philippe Waroquiers wrote: > On Mon, 2019-08-12 at 15:15 +0300, Michael Widenius wrote: > > Something like the following would be very useful: > > VALGRIND_IGNORE_LEAKS(VALGRIND_LEAK_INDIRECT | VALGRIND_LEAK_DEFINITE...) > See patch attached to

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-21 Thread Philippe Waroquiers
On Mon, 2019-08-12 at 15:15 +0300, Michael Widenius wrote: > Something like the following would be very useful: > VALGRIND_IGNORE_LEAKS(VALGRIND_LEAK_INDIRECT | VALGRIND_LEAK_DEFINITE...) See patch attached to https://bugs.kde.org/show_bug.cgi?id=411134 This patch allows to change various command

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-13 Thread Philippe Waroquiers
On Tue, 2019-08-13 at 16:54 +0300, Michael Widenius wrote: > I can try that at once. Thanks. > Testing... > hm.. It would be good to describe in README_DEVELOPERS how to generate the > autoconfigure scripts. Now it says one to run 'make dist', which will > not work out of the box. README has a

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-13 Thread Michael Widenius
Hi! On Mon, Aug 12, 2019 at 11:59 PM Philippe Waroquiers wrote: > > On Mon, 2019-08-12 at 13:49 +0100, Tom Hughes wrote: > > On 12/08/2019 13:15, Michael Widenius wrote: > > > > > The request I would like you to consider is to do one of the following: > > > - Ensure that sending a sigkill works

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-12 Thread Philippe Waroquiers
On Mon, 2019-08-12 at 13:49 +0100, Tom Hughes wrote: > On 12/08/2019 13:15, Michael Widenius wrote: > > > The request I would like you to consider is to do one of the following: > > - Ensure that sending a sigkill works and in this case there should > > not be any valgrind leak report. What

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-12 Thread Tom Hughes
On 12/08/2019 13:15, Michael Widenius wrote: The request I would like you to consider is to do one of the following: - Ensure that sending a sigkill works and in this case there should not be any valgrind leak report. - Add an api call where we could specify that we don't want any leak reports

[Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-12 Thread Michael Widenius
Hi! I am the creator of MySQL and MariaDB and a valgrind user since a LONG time! valgrind has been used to verify the integrity of MySQL since the very early times of valgrind! I have a small request to solve a small problem with valgrind in MariaDB: To be able to test recovery during testing,