1{\rtf1\ansi\ansicpg1252\cocoartf1050
2{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
3{\colortbl;\red255\green255\blue255;\red0\green0\blue0;}
4\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
5
6\f0\fs24 \cf2 \
7
8\b\fs28 Thread Local Collector
9\b0\fs24 \
10\
11The thread local collector requires that prior to a block reference being transferred from one thread to another the block must either be assigned into a globally reachable scanned location via a write barrier, or the block must be retained.\
12\
13\
14
15\b\fs28 Write Barriers
16\b0\fs24 \
17\
18Only valid block pointer values should be stored using write barriers. Valid pointer values are block start pointers which were returned by an allocator function or acquired by the thread via a chain of pointer reads and stores that can (theoretically) be traced back to a value returned by an allocator function. A pointer value computed using pointer arithmetic is invalid. The collector should warn when an invalid pointer is detected in a write barrier, but tolerate and perform the assignment.\
19\
20\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
21
22\b\fs28 \cf0 Resurrection
23\b0\fs24 \
24\
25Resurrection is not supported. Resurrection is any attempt to keep alive a block which has been determined to be garbage. This includes:\
26	- Retaining the block. (Retaining a block during finalization is permitted so long as the reference count becomes zero again before finalization completes.)\
27    	- Storing a reference to the garbage block in non-garbage memory. (Storing a reference in another garbage block is permitted.)\
28\
29Although resurrection leaves dangling pointers and can be effectively considered a heap corruption, the collector currently only warns about resurrection. Resurrected blocks are kept alive in a "zombie" state until they are determined to be garbage (again).\
30\
31}