Sound static deadlock analysis for C/Pthreads [PDF]
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016 We present a static deadlock analysis approach for C/pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e., misses no deadlocks) for programs that have defined behaviour according to the C standard and the pthreads specification, and is precise enough to prove deadlock-freedom for ...
Peter Schrammel, Daniel Kroening
exaly +8 more sources
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns [PDF]
International Journal of Parallel Programming, 2021 AbstractParallel patterns are a high-level programming paradigm that enables non-experts in parallelism to develop structured parallel programs that are maintainable, adaptive, and portable whilst achieving good performance on a variety of parallel systems.
Vladimir Janjic, , Adam Barwell
exaly +7 more sources
Comparative modelling and verification of Pthreads and Dthreads [PDF]
Journal of Software: Evolution and Process, 2017 AbstractThe POSIX threads (Pthreads) library is a thread API for C/C++ to control parallel threads and spawn concurrent process flows. Programming in Pthreads usually suffers from undesirable deadlock, data race, and race condition problems due to the potential nondeterministic execution behaviors between parallel threads.
Yuan Fei +4 more
core +8 more sources
OpenPMX Software for Nonlinear Mixed-Effect Models in Pharmacometrics: Precision Compared With NONMEM First-Order Conditional Estimation. [PDF]
CPT Pharmacometrics Syst PharmacolABSTRACT Mixed effects models are a backbone of pharmacometrics, and NONMEM software, with the first‐order conditional method with interaction having become the de facto industry standard for model estimation. Documentation exists for the general mathematical methodology for estimation, but many technical and implementation details are lacking. OpenPMX
Eleveld DJ +4 more
europepmc +2 more sources
A Pthreads Wrapper for Fortran 2003 [PDF]
ACM Transactions on Mathematical Software, 2014 With the advent of multicore processors, numerical and mathematical software relies on parallelism in order to benefit from hardware performance increases. We present the design and use of a Fortran 2003 wrapper for POSIX threads, called forthreads.
Omar Awilé, Ivo F Sbalzarini
exaly +2 more sources
Hybrid MPI/Pthreads parallelization of the RAxML phylogenetics code [PDF]
2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallelism at two algorithmic levels simultaneously: coarse-grained with MPI and fine-grained with Pthreads.
Alexandros Stamatakis, Wayne Pfeiffer
exaly +2 more sources
A new South American darter (Crenuchidae: Characidium) from rivers draining the Northeastern Mata Atlantica Freshwater Ecoregion, Brazil: morphological and molecular evidence. [PDF]
J Fish BiolAbstract Characidium tupi, a new species from rivers draining the southern portion of the Northeastern Mata Atlantica Freshwater Ecoregion, is described. The new species can be distinguished from all congeners by its colour pattern, including 7–14 dark bars enlarged and more conspicuous on their ventralmost portion, resulting in a longitudinal series ...
Zanata AM, Oliveira-Silva L.
europepmc +2 more sources
Morphological and molecular evidence reveals a new species of Characidium from the Ucayali-Urubamba Piedmont, Peru, and novel molecular clades are proposed within the genus. [PDF]
J Fish BiolAbstract A new species of Characidium is described from the Urubamba River basin, within the Ucayali‐Urubamba Piedmont ecoregion, Peru. The new species can be readily distinguished from all congeners, except Characidium cacah, Characidium chicoi, Characidium helmeri, Characidium mirim, Characidium nana, Characidium nupelia, Characidium sterbai ...
Oliveira-Silva L +6 more
europepmc +2 more sources
Chlamydomonas reinhardtii, Volvox carteri and related green algae accumulate ketocarotenoids not in vegetative cells but in zygospores. [PDF]
Plant JSignificance Statement While various green algae accumulate ketocarotenoids such as astaxanthin in the vegetative state, we found that the model Chlamydomonas reinhardtii synthesizes ketocarotenoids only in the diploid zygospores by recycling photosynthetic carotenoids released during breakdown of thylakoid membranes.
Schwarz S +4 more
europepmc +2 more sources
Barriers in Concurrent Separation Logic: Now With Tool Support! [PDF]
Logical Methods in Computer Science, 2012 We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two.
Aquinas Hobor, Cristian Gherghina
doaj +1 more source