tagged-pointers.txt 2.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  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.
  12. Passing tagged addresses to the kernel
  13. --------------------------------------
  14. All interpretation of userspace memory addresses by the kernel assumes
  15. an address tag of 0x00.
  16. This includes, but is not limited to, addresses found in:
  17. - pointer arguments to system calls, including pointers in structures
  18. passed to system calls,
  19. - the stack pointer (sp), e.g. when interpreting it to deliver a
  20. signal,
  21. - the frame pointer (x29) and frame records, e.g. when interpreting
  22. them to generate a backtrace or call graph.
  23. Using non-zero address tags in any of these locations may result in an
  24. error code being returned, a (fatal) signal being raised, or other modes
  25. of failure.
  26. For these reasons, passing non-zero address tags to the kernel via
  27. system calls is forbidden, and using a non-zero address tag for sp is
  28. strongly discouraged.
  29. Programs maintaining a frame pointer and frame records that use non-zero
  30. address tags may suffer impaired or inaccurate debug and profiling
  31. visibility.
  32. Preserving tags
  33. ---------------
  34. Non-zero tags are not preserved when delivering signals. This means that
  35. signal handlers in applications making use of tags cannot rely on the
  36. tag information for user virtual addresses being maintained for fields
  37. inside siginfo_t. One exception to this rule is for signals raised in
  38. response to watchpoint debug exceptions, where the tag information will
  39. be preserved.
  40. The architecture prevents the use of a tagged PC, so the upper byte will
  41. be set to a sign-extension of bit 55 on exception return.
  42. Other considerations
  43. --------------------
  44. Special care should be taken when using tagged pointers, since it is
  45. likely that C compilers will not hazard two virtual addresses differing
  46. only in the upper byte.