October 2008 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 14:51:35 Modified files: . : configure.ac Log message: Configuring with the option `--enable-instantiations' (i.e., without specifying any instantiation) now prints a list of available instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int1 ...
by Patricia Hill 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-17 11:43:57 Modified files: interfaces/Prolog/tests: expected_pchk_int16_a expected_pchk_int8_a Log message: As in previous commit - some overflows that were expected do not occur now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int1 ...
by Patricia Hill 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-17 11:40:16 Modified files: interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64_a expected_pchk_int8 Log message: Several overflows no longer occur. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

[Fwd: Re: Is there a way to make SWI-Prolog Valgrind-clean?]
by Roberto Bagnara 17 Oct '08

17 Oct '08

-------- Original Message -------- Subject: Re: Is there a way to make SWI-Prolog Valgrind-clean? Date: Fri, 17 Oct 2008 09:10:26 +0200 From: Jan Wielemaker <J.Wielemaker(a)uva.nl> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: swi-prolog(a)iai.uni-bonn.de References: <48F7626A.90909(a)cs.unipr.it> On Thursday 16 October 2008 17:48:58 you wrote: > Dear Jan, > > did you receive this message I sent to the mailing list one week ago? > Thanks, Yes I did. Maybe I just answered in my mind ... Anyway, basically the answer is `no'. In theory that is the work of PL_cleanup(), but the implementation isn't very up-to-date and I have no short-term plan to fix that. Of course, if someone else does I'm happy to include the patches. AFAIK there are no leaks except for one-time initializations that are not reclaimed. Cheers --- Jan > Roberto > > > -------- Original Message -------- > Subject: Is there a way to make SWI-Prolog Valgrind-clean? > Date: Thu, 09 Oct 2008 08:34:28 +0200 > From: Roberto Bagnara <bagnara(a)cs.unipr.it> > Organization: Department of Mathematics, University of Parma, Italy > To: swi-prolog(a)iai.uni-bonn.de > CC: The Parma Polyhedra Library developers' list <ppl-devel(a)cs.unipr.it> > > > Here is what I observe (note that I simply typed Control-D at the prompt): > > $ export VALGRIND=yes > $ valgrind --tool=memcheck -q --trace-children=yes --leak-check=yes > --num-callers=100 --leak-resolution=high > --suppressions=/home/roberto/ppl/ppl/tests/valgrind_suppressions > /usr/local/bin/pl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version > 5.6.61) > Copyright (c) 1990-2008 University of Amsterdam. > SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, > and you are welcome to redistribute it under certain conditions. > Please visit http://www.swi-prolog.org for details. > > For help, use ?- help(Topic). or ?- apropos(Word). > > ?- > % halt > ==6515== > ==6515== 24 bytes in 1 blocks are definitely lost in loss record 16 of 61 > ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) > ==6515== by 0x806904F: SinitStreams (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: > PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > ==6515== > ==6515== 24 bytes in 1 blocks are definitely lost in loss record 17 of 61 > ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) > ==6515== by 0x806901D: SinitStreams (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: > PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > ==6515== > ==6515== 24 bytes in 1 blocks are definitely lost in loss record 18 of 61 > ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) > ==6515== by 0x8068FE3: SinitStreams (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E6B69: > PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > ==6515== > ==6515== 1,024 bytes in 1 blocks are definitely lost in loss record 49 of > 61 ==6515== at 0x40054E5: malloc (vg_replace_malloc.c:149) > ==6515== by 0x805546F: PL_malloc (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8057A4B: > codeToAtom (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by > 0x80B8DD2: simple_term (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) > ==6515== by 0x80B71AA: complex_term (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80BB6A7: > read_term (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by > 0x80BC8AF: read_clause (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) > ==6515== by 0x80BCAEA: pl_read_clause_va (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8064063: > PL_next_solution (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x80AA604: callProlog (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) > ==6515== by 0x80DA15B: pl_with_mutex (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x805A9F1: > callForeign (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by > 0x8061D6C: PL_next_solution (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) > ==6515== by 0x80AA233: prologToplevel (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80E705F: > PL_initialise (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x8050D91: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > ==6515== > ==6515== 2,596 (44 direct, 2,552 indirect) bytes in 1 blocks are definitely > lost in loss record 54 of 61 ==6515== at 0x40054E5: malloc > (vg_replace_malloc.c:149) > ==6515== by 0x805546F: PL_malloc (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80D8546: > allocSimpleMutex (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== > by 0x8098B66: _lookupModule (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x80991A8: > lookupModule (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by > 0x8055736: PL_predicate (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) > ==6515== by 0x80E5702: PL_cleanup (in > /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by 0x8054A41: > PL_halt (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) ==6515== by > 0x8050DB6: main (in /usr/local/lib/pl-5.6.61/bin/i686-linux/pl) $ > > Is there a way to configure/compile/execute SWI-Prolog so that it > deallocates all memory before exiting? > All the best, > > Roberto > > -- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs news.raw
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 07:58:43 Modified files: htdocs : news.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 07:55:56 Modified files: htdocs : ppl.raw Log message: Listed the Graphite Workshop among the news. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-16 18:37:14 Modified files: . : configure.ac Log message: Reordered so that the system-dependent adjustments are done before the run-time tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-16 15:40:46 Modified files: m4 : ac_check_fpu_control.m4 Log message: Test strengthened to check whether fesetround() actually does something. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-16 14:10:18 Modified files: src : fpu-c99.inlines.hh Log message: Little improvement to fpu_initialize_control_functions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-16 12:07:28 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 Log message: Error in the configured dox file wrt the widening of weakly relational shapes fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0