December 2013 - PPL-devel - BUGSENG Mailman

ppl / multithreading
by Samir Genaim 13 Dec '13

13 Dec '13

Hello, Is it possible to (safely) use PPL in a multithreaded setting? I tried using it in a Java multithreaded program but got some "Invalid memory access" and "Cannot allocate memory" errors, etc. Thanks -- Samir

3 2

[GIT] ppl/ppl(master): Fixed check_nil_terminating().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 49e43c28eea0bc36ff4ac8195929ca083a42ce6c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49e43c28eea0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 08:13:40 2013 +0100 Fixed check_nil_terminating(). --- interfaces/Prolog/ppl_prolog_common.cc | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index c45d9a5..93e340d 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -1538,12 +1538,8 @@ bool Prolog_interface_initialized = false; void check_nil_terminating(Prolog_term_ref t, const char* where) { - if (Prolog_is_atom(t)) { - Prolog_atom a; - Prolog_get_atom_name(t, &a); - if (Prolog_get_nil(a)) - return; - } + if (Prolog_get_nil(t)) + return; throw not_a_nil_terminated_list(t, where); }

1 0

[GIT] ppl/ppl(master): Some corrections.
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 3fff0a6c16b7a6c541e34ae4ff0de56bba9f3d32 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fff0a6c16b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 08:07:04 2013 +0100 Some corrections. --- interfaces/Prolog/SWI/swi_cfli.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_cfli.hh b/interfaces/Prolog/SWI/swi_cfli.hh index 2203a41..c6b3951 100644 --- a/interfaces/Prolog/SWI/swi_cfli.hh +++ b/interfaces/Prolog/SWI/swi_cfli.hh @@ -150,7 +150,7 @@ Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { */ inline int Prolog_put_nil(Prolog_term_ref t) { - PL_put_nil(to_term_t(t)); + PL_put_nil(t); return 1; } @@ -304,7 +304,7 @@ Prolog_is_compound(Prolog_term_ref t) { */ inline int Prolog_is_cons(Prolog_term_ref t) { - return (!PL_is_atom(t) && PL_is_list(t)) ? 1 : 0; + return PL_is_pair(t); } /*! @@ -369,7 +369,7 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref a) { */ inline int Prolog_get_nil(Prolog_term_ref t) { - return PL_get_nil(to_term_t(t)); + return PL_get_nil(t); } /*!

1 0

[GIT] ppl/ppl(master): Use Prolog_put_nil() and Prolog_get_nil().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 36bd1b1c8e19f18a9f5d6c7c9394abdce5317c7f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36bd1b1c8e19… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 07:49:19 2013 +0100 Use Prolog_put_nil() and Prolog_get_nil(). --- .../ppl_interface_generator_prolog_cc_code.m4 | 12 +++--- interfaces/Prolog/ppl_prolog_common.cc | 40 ++++++++++---------- 2 files changed, 26 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=36bd1b1c…

1 0

[GIT] ppl/ppl(master): Added Prolog_put_nil() and Prolog_get_nil().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 17d622b60b0269fe99332f632ea3695d2ea5bae2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17d622b60b02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 07:37:11 2013 +0100 Added Prolog_put_nil() and Prolog_get_nil(). --- interfaces/Prolog/SWI/swi_cfli.hh | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_cfli.hh b/interfaces/Prolog/SWI/swi_cfli.hh index 4fe3071..2203a41 100644 --- a/interfaces/Prolog/SWI/swi_cfli.hh +++ b/interfaces/Prolog/SWI/swi_cfli.hh @@ -145,6 +145,16 @@ Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { } /*! + Assign to \p t the list terminator <CODE>[]</CODE> (which needs not + be an atom). +*/ +inline int +Prolog_put_nil(Prolog_term_ref t) { + PL_put_nil(to_term_t(t)); + return 1; +} + +/*! Assign to \p t a term representing the address contained in \p p. */ inline int @@ -354,6 +364,15 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref a) { } /*! + Succeeds if and only if \p t represents the list terminator <CODE>[]</CODE> + (which needs not be an atom). +*/ +inline int +Prolog_get_nil(Prolog_term_ref t) { + return PL_get_nil(to_term_t(t)); +} + +/*! If \p c is a Prolog cons (list constructor), assign its head and tail to \p h and \p t, respectively. The behavior is undefined if \p c is not a Prolog cons.

1 0

[GIT] ppl/ppl(master): Useless typedefs avoided. Formatting improved on passing.
by Roberto Bagnara 01 Dec '13

01 Dec '13

Module: ppl/ppl Branch: master Commit: 52eba5e2a4530e997d5f257c95e5e79d510ecdfd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52eba5e2a453… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Dec 1 18:34:27 2013 +0100 Useless typedefs avoided. Formatting improved on passing. --- src/Octagonal_Shape_templates.hh | 10 ------- src/Polyhedron_chdims_templates.hh | 3 -- src/Polyhedron_simplify_templates.hh | 3 -- src/linearize.hh | 49 +++++++++++++-------------------- 4 files changed, 19 insertions(+), 46 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=52eba5e2…

1 0