... | ... | @@ -26,7 +26,9 @@ The way the tag bits are used depends on the type of object pointed to: |
|
|
|
|
|
- For a pointer to any other object (including a PAP), the tag bits are always zero.
|
|
|
|
|
|
We say that a pointer is **properly tagged** if the tag bits in the pointer are as described above. Most pointers are not required to be properly tagged, in which case their tag bits are zero, meaining "don't know".
|
|
|
We say that a pointer is **properly tagged** if the tag bits in the pointer are as described above.
|
|
|
* Most pointers are not required to be properly tagged, in which case their tag bits are zero, meaning "don't know".
|
|
|
* However, if a pointer has non-zero tag bits, they must accurately reflect the object they point to, as in the above list.
|
|
|
|
|
|
The garbage collector makes all pointers properly tagged, as it runs. **Question** Is this true?
|
|
|
|
... | ... | |