analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard

Generalize concepts of `wrappers` to thread creation

Open michael-schwarz opened this issue 2 years ago • 0 comments

Akin to our list of malloc_wrappers we should have thread_create_wrappers to generate better thread ids when all thread creations happen through a helper function wrapping pthread_create. This may, e.g. happen where code can work with different threading libraries with the specific of these threading libraries abstracted away by intermediate helpers.

The general notion is that one can maintain an additional node to use instead of the node at which the actual creation happens for objects for which we are creation-node-sensitive (e.g. malloc, pthread_create, ...).

michael-schwarz avatar Mar 24 '22 14:03 michael-schwarz