search

staticanalysis / data-race-test

Automatically exported from code.google.com/p/data-race-test
0 stars 0 forks source link

Check correctness of fork() usage in threaded programs #69

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Not exactly related to races but maybe worth considering:

POSIX states that a forked child of multi-threaded process can only perform 
async-signal-safe operations[1]. Similar limitations exist in signal handlers.

Many applications get that wrong so it would be nice if you could add checks 
for those conditions.

[1] http://pubs.opengroup.org/onlinepubs/009695399/functions/fork.html

Original issue reported on code.google.com by mwisnicki@gmail.com on 15 May 2011 at 12:58