]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
projects / FreeBSD / FreeBSD.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ee9ea1) | patch
Formally pair store_rel(&smp_started) with load_acq(&smp_started).
authorKonstantin Belousov <kib@FreeBSD.org>
Thu, 6 Aug 2015 18:02:54 +0000 (18:02 +0000)
committerKonstantin Belousov <kib@FreeBSD.org>
Thu, 6 Aug 2015 18:02:54 +0000 (18:02 +0000)
commita8bf83d6188fad9114cd5c3c07e00e7a7755e979
tree695eddcd6e34a6ea72ca2a70401e6acbc81123fatree | snapshot
parent5ee9ea19febbed22a5f1173bbc4fa60e6a3a340fcommit | diff
Formally pair store_rel(&smp_started) with load_acq(&smp_started).
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
sys/x86/x86/mp_x86.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.