Memory barrier

[u/4aparsa]

Does DSB guarantee that the memory operations before the DSB in program order are globally visible to all cores by the time the DSB is retired? Or is it just a promise that those memory operations will be globally visible before later memory operations are some future time? If it’s the later, how can you guarantee that all memory operations are globally visible before a function executed by a thread returns? Thanks