On Tue, 2017-12-05 at 15:41 +0000, Silva João wrote: > > > ==44156== Thread 2 FDP_MRP_Recover_: > > > ==44156== Invalid write of size 4 > > > ==44156== at 0x78BB33: system__stack_usage__fill_stack (in > > > > /u/wh/rel/ifaplrel/pw_fwp_engine.eab) > > > ==44156== by 0x75C49B: system__tasking__stages__task_wrapper (in > > > > /u/wh/rel/ifaplrel/pw_fwp_engine.eab) > > > ==44156== by 0x79E1CDC4: start_thread (in /usr/lib64/libpthread- > > > > 2.17.so) > > > ==44156== by 0x7ADCC76C: clone (in /usr/lib64/libc-2.17.so) > > > ==44156== Address 0x78972a08 is on thread 2's stack > > > ==44156== 272 bytes below stack pointer > > > > This is probably a valid complaint. The above error is triggered because you are using the gnat 'used stack' measurement package. This package 'paints' the stack to see what has been consumed. It paints more than the program really uses (of course :), and so it is completely normal that memcheck reports an error. > > Does the program complete afterwards? > > It does not stop, but seems to stay in a "numb" state. > > But if running outside of Valgrind it seems to run OK. > > > To check for that problem, start Valgrind with vgdb enabled as per: > > Assuming this problem is the first one reported, pass "--vgdb-error=1". As discussed above, the error 'looks' normal, and should IMO be ignored (you might want to disable the stack measurement functionality).
To see why your program is blocked, use vgdb as suggested by Ivo. Then do 'info task' to see the status of the Ada tasks, and if they are blocked, and on what. As you are using Ada/SPARK, I guess you use a special tasking profile (e.g. ravenscar or similar). I have no idea how such tasking profile interacts with the single thread at a time model of Valgrind. You might try --fair-sched=yes to see if that helps. Also, try also --tool=none, just to see if the problem/blockage status is linked to memcheck, or to the valgrind scheduling and Ada/SPARK interaction. Philippe ------------------------------------------------------------------------------ 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
