Open kehongzhang opened 3 years ago
Can you help me understand your comment?
It may lead to load/store before the synchronize could be speculated after of load/store after the synchronize.
What is synchronize? Can you put line numbers or code for load/store and synchronize?
The fetchadd64_acquire only have load acquire barrier. It may lead to load/store before the synchronize could be speculated after of load/store after the synchronize. So, change fetchadd64_acquire to fetchadd64_acquire_release to ensure load/store order.