tagged-pointers.txt 1.5 KB

12345678910111213141516171819202122232425262728293031323334
  1. Tagged virtual addresses in AArch64 Linux
  2. =========================================
  3. Author: Will Deacon <will.deacon@arm.com>
  4. Date : 12 June 2013
  5. This document briefly describes the provision of tagged virtual
  6. addresses in the AArch64 translation system and their potential uses
  7. in AArch64 Linux.
  8. The kernel configures the translation tables so that translations made
  9. via TTBR0 (i.e. userspace mappings) have the top byte (bits 63:56) of
  10. the virtual address ignored by the translation hardware. This frees up
  11. this byte for application use, with the following caveats:
  12. (1) The kernel requires that all user addresses passed to EL1
  13. are tagged with tag 0x00. This means that any syscall
  14. parameters containing user virtual addresses *must* have
  15. their top byte cleared before trapping to the kernel.
  16. (2) Tags are not guaranteed to be preserved when delivering
  17. signals. This means that signal handlers in applications
  18. making use of tags cannot rely on the tag information for
  19. user virtual addresses being maintained for fields inside
  20. siginfo_t. One exception to this rule is for signals raised
  21. in response to debug exceptions, where the tag information
  22. will be preserved.
  23. (3) Special care should be taken when using tagged pointers,
  24. since it is likely that C compilers will not hazard two
  25. addresses differing only in the upper bits.
  26. The architecture prevents the use of a tagged PC, so the upper byte will
  27. be set to a sign-extension of bit 55 on exception return.