b1fc9da1c8
replace-object functions are very close to being thread-safe: the only current racy section is the lazy initialization at prepare_replace_object(). The following patches will protect some object reading operations to be called threaded, but before that, replace functions must be protected. To do so, add a mutex to struct raw_object_store and acquire it before lazy initializing the replace_map. This won't cause any noticeable performance drop as the mutex will no longer be used after the replace_map is initialized. Later, when the replace functions are called in parallel, thread debuggers might point our use of the added replace_map_initialized flag as a data race. However, as this boolean variable is initialized as false and it's only updated once, there's no real harm. It's perfectly fine if the value is updated right after a thread read it in replace-map.h:lookup_replace_object() (there'll only be a performance penalty for the affected threads at that moment). We could cease the debugger warning protecting the variable reading at the said function. However, this would negatively affect performance for all threads calling it, at any time, so it's not really worthy since the warning doesn't represent a real problem. Instead, to make sure we don't get false positives (at ThreadSanitizer, at least) an entry for the respective function is added to .tsan-suppressions. Signed-off-by: Matheus Tavares <matheus.bernardino@usp.br> Signed-off-by: Junio C Hamano <gitster@pobox.com>
17 lines
689 B
Plaintext
17 lines
689 B
Plaintext
# Suppressions for ThreadSanitizer (tsan).
|
|
#
|
|
# This file is used by setting the environment variable TSAN_OPTIONS to, e.g.,
|
|
# "suppressions=$(pwd)/.tsan-suppressions". Observe that relative paths such as
|
|
# ".tsan-suppressions" might not work.
|
|
|
|
# A static variable is written to racily, but we always write the same value, so
|
|
# in practice it (hopefully!) doesn't matter.
|
|
race:^want_color$
|
|
race:^transfer_debug$
|
|
|
|
# A boolean value, which tells whether the replace_map has been initialized or
|
|
# not, is read racily with an update. As this variable is written to only once,
|
|
# and it's OK if the value change right after reading it, this shouldn't be a
|
|
# problem.
|
|
race:^lookup_replace_object$
|