Fix data race in mark_thread when updating mark_no
authorIvan Maidanski <ivmai@mail.ru>
Fri, 1 Dec 2017 16:23:13 +0000 (19:23 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Fri, 1 Dec 2017 16:23:13 +0000 (19:23 +0300)
commit613ec90c8ea2a31d26c90bf5d3dd8a86329d211a
tree960c6fe83557829d132a3ab31a07f476eab0928c
parent31cc9697e40ad05bf92b9570211ad4dd902fc0cc
Fix data race in mark_thread when updating mark_no

* mark.c [PARALLEL_MARK] (GC_mark_local, GC_help_marker): Update
description comment; remove GC_acquire_mark_lock() call at the function
beginning; remove GC_release_mark_lock() call on return.
* mark.c [PARALLEL_MARK] (GC_do_parallel_mark): Remove
GC_acquire/release_mark_lock() calls around GC_mark_local() call.
* pthread_support.c [PARALLEL_MARK] (GC_mark_thread): Remove
GC_release_mark_lock() call.
* win32_threads.c [PARALLEL_MARK] (GC_mark_thread): Likewise.
mark.c
pthread_support.c
win32_threads.c