Assertion: write barrier | /r/HasProperty | a fragment of code
Facets:
value: before every store operation
type: TEMPORAL
Source sentences:
text: A write barrier in a garbage collector is a fragment of code emitted by the compiler immediately before every store operation to ensure that (e.g.) generational invariants are maintained.