[PPL-devel] [GIT] ppl/ppl(devel): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9df657b33342cbf33a11a4fb5d3f0dcc8906a1ce
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 25 18:20:00 2016 +0200

    The ppl_lpsol demo program now supports thread safety.
    
    If multiple input files are given as input, each of them is processed
    by a separate thread. Note: the file reading phase, which used glpk,
    is performed by the master thread (since glpk is not thread safe).
    The maximum number of threads is fixed at compilation time (MAX_THREADS = 8).
    In multi-threaded mode the meaning of option -o is modified to specify
    the output *directory*.
    
    Commit partially based on previous work by Maxim Gaina.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50b0bf6784678501ec73936c59e017ad004804bc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 25 18:16:22 2016 +0200

    Added thread-safety support to the C interface.
    
    Commit mostly based on previous work by Maxim Gaina except that, as done
    for the C++ interface, library initialization also includes the main thread
    initialization.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e54f91f433a585e66d09fefbb9004e95ab6eaebd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 24 11:51:06 2016 +0200

    Avoid warning (when compiling with -std=c++11).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c33bf839ea7dca3702e14e3536b51f41b14a46d5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 24 11:29:07 2016 +0200

    Got rid of deprecated std::auto_ptr.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80790f19fb86c9f2fa9b4fddaa5214c1af813406
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 24 10:23:57 2016 +0200

    Avoid data races on the Init counter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60ca8522be71a01fad3ac958e76f72fd4acbe515
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 24 10:12:35 2016 +0200

    Let the timing utilities be thread-safe.