A Study of Lock-Free Based Concurrent Garbage Collectors for Multicore Platform

Procedure 4

CopyExtendedObject procedure (barrier code for mutator).

             //Modify ith field of the object

(1)      loop:

(2)     currStatus:= obj.Fields[𝑖].status

(3)     if currStatus = 1 then

(4)         oldField.status:= currStatus

(5)         oldField.data:= obj.Fields[𝑖].data

(6)         newField.data:= newData

(7)         newField.status:= 1

(8)         if CAS(&obj.Fields[𝑖], newField, oldField) != oldField then

(9)             goto loop

(10)     else

(11)          norObj.Fileds[𝑖].data:= newData