Support for thread-local variables / `pthread_getspecific` & `pthread_setspecific`

Open michael-schwarz opened this issue 3 years ago • 3 comments

The notion of C11 thread-local variables seems to map onto pthread_getspecific & pthread_setspecific. So when adding support for C11, support for this should be added to.

Nov 01 '22 08:11 michael-schwarz

Besides C11's thread-local specifier there is also GCC's __thread that we found with @vesalvojdani in silver searcher. It should be very easy to just ignore races on thread-local things.

Nov 23 '22 12:11 sim642

I think the good first issue applies mostly to not reporting races for these variables, the support to privatize the values is a bit trickier - one has to think a bit what happens when thread ids are non-unique (it would seem like that should also work, but some thought is needed here).

Nov 24 '22 09:11 michael-schwarz

#1071 handles the race checking of __thread, but there's still C11's _Thread_local for which the same could apply. It probably requires changes in CIL as well: https://github.com/goblint/cil/issues/13.

Jun 02 '23 07:06 sim642