equal
deleted
inserted
replaced
45 |
45 |
46 // Causes all refs in "mr" to be assumed to be modified. |
46 // Causes all refs in "mr" to be assumed to be modified. |
47 virtual void invalidate(MemRegion mr) = 0; |
47 virtual void invalidate(MemRegion mr) = 0; |
48 virtual void write_region(MemRegion mr) = 0; |
48 virtual void write_region(MemRegion mr) = 0; |
49 |
49 |
50 // The caller guarantees that "mr" contains no references. (Perhaps it's |
|
51 // objects have been moved elsewhere.) |
|
52 virtual void clear(MemRegion mr) = 0; |
|
53 |
|
54 // The ModRef abstraction introduces pre and post barriers |
50 // The ModRef abstraction introduces pre and post barriers |
55 template <DecoratorSet decorators, typename BarrierSetT> |
51 template <DecoratorSet decorators, typename BarrierSetT> |
56 class AccessBarrier: public BarrierSet::AccessBarrier<decorators, BarrierSetT> { |
52 class AccessBarrier: public BarrierSet::AccessBarrier<decorators, BarrierSetT> { |
57 typedef BarrierSet::AccessBarrier<decorators, BarrierSetT> Raw; |
53 typedef BarrierSet::AccessBarrier<decorators, BarrierSetT> Raw; |
58 |
54 |