Don't use a mutex in page fault handler
commit88e63d7d036e23e30f1a195cb5b4bd207aecf1a9
authorDouglas Katzman <dougk@google.com>
Tue, 21 Nov 2017 13:34:33 +0000 (21 08:34 -0500)
committerDouglas Katzman <dougk@google.com>
Tue, 21 Nov 2017 13:38:16 +0000 (21 08:38 -0500)
treea9d07dc460042e1bd2c921151ec35e0f3abe6bae
parent953c31ff11936cd98606219d05109d85556628fc
Don't use a mutex in page fault handler

Technically pthread_mutex_lock isn't allowed, but it worked for us
since we don't have a lock ordering problem with free_pages_lock.
Better to avoid it nonetheless.
src/runtime/gc-private.h
src/runtime/gencgc-internal.h
src/runtime/gencgc.c