anil.recoil.org / unpac-unpac
The unpac monorepo manager self-hosting as a monorepo using unpac
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #14303 from gasche/terminate_backup_thread-synchronize

domain.c: terminate_backup_thread must synchronize with the backup thread

authored by

Gabriel Scherer and committed by
GitHub 0fbf4a64 44b89464

+2
+2
runtime/domain.c
··· 1259 1259 if (backup_thread_running(di)) { 1260 1260 atomic_store_release(&di->backup_thread_msg, BT_TERMINATE); 1261 1261 /* Wakeup backup thread if it is sleeping */ 1262 + caml_plat_lock_blocking(&di->interruptor.lock); 1262 1263 caml_plat_broadcast(&di->interruptor.cond); 1264 + caml_plat_unlock(&di->interruptor.lock); 1263 1265 caml_plat_signal(&di->domain_cond); 1264 1266 } 1265 1267 }