hardenedbsd/HardenedBSD
1
0
Fork 0
mirror of https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git synced 2025-01-01 00:18:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Formally pair store_rel(&smp_started) with load_acq(&smp_started).

Browse Source 
The expected semantic is to have misc. data, e.g. CPU bitmaps, visible
in the BSP after smp_started is written by the last started AP, which
formally requires acquire barrier on the load.  The change is mostly
nop due to the ordered behaviour of the x86 CPUs.

Reviewed by:	alc
Sponsored by:	The FreeBSD Foundation
MFC after:	2 weeks
This commit is contained in:
Konstantin Belousov 2015-08-06 18:02:54 +00:00
parent 5ee9ea19fe
commit a8bf83d618
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/x86/x86/mp_x86.c
View File

@ -602,7 +602,7 @@ init_secondary_tail(void)
mtx_unlock_spin(&ap_boot_mtx);
/* Wait until all the AP's are up. */
while (smp_started == 0)
while (atomic_load_acq_int(&smp_started) == 0)
ia32_pause();
/* Start per-CPU event timers. */