Lines Matching full:programs
20 programs. The tool works for any program that uses the POSIX threading
50 Multithreaded programs can use one or more of the following programming
99 threads primitives. DRD however does not support programs that use
100 e.g. Linux' futexes directly. Attempts to analyze such programs with
281 All programs that follow a locking discipline are data-race free, but not all
282 data-race free programs follow a locking discipline. There exist multithreaded
283 programs where access to shared data is arbitrated via condition variables,
294 multithreaded programs at runtime. The approach of the so-called Eraser
300 all classes of multithreaded programs. An important advantage of
334 most programs do not share stack variables over threads.
462 program being analyzed. The default value works well for most programs.
964 The interface between client programs and the DRD tool is defined in
1175 used in C++ programs and not in C programs.
1254 <title>Debugging GNOME Programs</title>
1284 <title>Debugging Boost.Thread Programs</title>
1321 <title>Debugging OpenMP Programs</title>
1326 programs that allows a compiler to transform a sequential program into a
1329 OpenMP ensures that the POSIX API is used correctly, OpenMP programs can still
1330 contain data races. So it definitely makes sense to verify OpenMP programs
1335 DRD supports OpenMP shared-memory programs generated by GCC. GCC
1337 for OpenMP programs is provided by a library called
1348 <literal>libgomp.so</literal> library is loaded when OpenMP programs
1497 effect on the execution time of client programs are as follows:
