Expand : * Alternate (stricter) definitions of reentrancy (e.g. Kerrisk, 2010). Here reentrancy implies thread-safety
Execution traces: reentrant code must allow for nested execution, thread-safe code must allow for arbitrarily interleaved executions. Here thread-safety would imply reentrancy.