⊞
Fig 4 — MCAS Descriptor Object Graph (3-word MCAS)
mcas_desc
status
Active
words
[ wd₀, wd₁, wd₂ ]
retired
false
Atomic.t fields
word_desc wd₀
address
&(cell₀)
old_value
Obj.repr v₀
new_value
Obj.repr v₀'
parent
→ mcas_desc
address = target cell addr
word_desc wd₁
address
&(cell₁)
old_value
Obj.repr v₁
new_value
Obj.repr v₁'
parent
→ mcas_desc
address = target cell addr
word_desc wd₂
address
&(cell₂)
old_value
Obj.repr v₂
new_value
Obj.repr v₂'
parent
→ mcas_desc
address = target cell addr
words[] ptr
parent back-ptr
During MCAS, cell content = Word wd; logical_value resolves to old/new_value on read