The data-dependency barrier must order the read into Q with the store
into *Q. This prohibits this outcome:
The data-dependency barrier must order the read into Q with the store
into *Q. This prohibits this outcome:
Please note that this pattern should be rare. After all, the whole point
of dependency ordering is to -prevent- writes to the data structure, along
Please note that this pattern should be rare. After all, the whole point
of dependency ordering is to -prevent- writes to the data structure, along
anything at all - especially with respect to I/O accesses - unless combined
with interrupt disabling operations.
anything at all - especially with respect to I/O accesses - unless combined
with interrupt disabling operations.