cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

adi.rst (10127B)


      1================================
      2Application Data Integrity (ADI)
      3================================
      4
      5SPARC M7 processor adds the Application Data Integrity (ADI) feature.
      6ADI allows a task to set version tags on any subset of its address
      7space. Once ADI is enabled and version tags are set for ranges of
      8address space of a task, the processor will compare the tag in pointers
      9to memory in these ranges to the version set by the application
     10previously. Access to memory is granted only if the tag in given pointer
     11matches the tag set by the application. In case of mismatch, processor
     12raises an exception.
     13
     14Following steps must be taken by a task to enable ADI fully:
     15
     161. Set the user mode PSTATE.mcde bit. This acts as master switch for
     17   the task's entire address space to enable/disable ADI for the task.
     18
     192. Set TTE.mcd bit on any TLB entries that correspond to the range of
     20   addresses ADI is being enabled on. MMU checks the version tag only
     21   on the pages that have TTE.mcd bit set.
     22
     233. Set the version tag for virtual addresses using stxa instruction
     24   and one of the MCD specific ASIs. Each stxa instruction sets the
     25   given tag for one ADI block size number of bytes. This step must
     26   be repeated for entire page to set tags for entire page.
     27
     28ADI block size for the platform is provided by the hypervisor to kernel
     29in machine description tables. Hypervisor also provides the number of
     30top bits in the virtual address that specify the version tag.  Once
     31version tag has been set for a memory location, the tag is stored in the
     32physical memory and the same tag must be present in the ADI version tag
     33bits of the virtual address being presented to the MMU. For example on
     34SPARC M7 processor, MMU uses bits 63-60 for version tags and ADI block
     35size is same as cacheline size which is 64 bytes. A task that sets ADI
     36version to, say 10, on a range of memory, must access that memory using
     37virtual addresses that contain 0xa in bits 63-60.
     38
     39ADI is enabled on a set of pages using mprotect() with PROT_ADI flag.
     40When ADI is enabled on a set of pages by a task for the first time,
     41kernel sets the PSTATE.mcde bit fot the task. Version tags for memory
     42addresses are set with an stxa instruction on the addresses using
     43ASI_MCD_PRIMARY or ASI_MCD_ST_BLKINIT_PRIMARY. ADI block size is
     44provided by the hypervisor to the kernel.  Kernel returns the value of
     45ADI block size to userspace using auxiliary vector along with other ADI
     46info. Following auxiliary vectors are provided by the kernel:
     47
     48	============	===========================================
     49	AT_ADI_BLKSZ	ADI block size. This is the granularity and
     50			alignment, in bytes, of ADI versioning.
     51	AT_ADI_NBITS	Number of ADI version bits in the VA
     52	============	===========================================
     53
     54
     55IMPORTANT NOTES
     56===============
     57
     58- Version tag values of 0x0 and 0xf are reserved. These values match any
     59  tag in virtual address and never generate a mismatch exception.
     60
     61- Version tags are set on virtual addresses from userspace even though
     62  tags are stored in physical memory. Tags are set on a physical page
     63  after it has been allocated to a task and a pte has been created for
     64  it.
     65
     66- When a task frees a memory page it had set version tags on, the page
     67  goes back to free page pool. When this page is re-allocated to a task,
     68  kernel clears the page using block initialization ASI which clears the
     69  version tags as well for the page. If a page allocated to a task is
     70  freed and allocated back to the same task, old version tags set by the
     71  task on that page will no longer be present.
     72
     73- ADI tag mismatches are not detected for non-faulting loads.
     74
     75- Kernel does not set any tags for user pages and it is entirely a
     76  task's responsibility to set any version tags. Kernel does ensure the
     77  version tags are preserved if a page is swapped out to the disk and
     78  swapped back in. It also preserves that version tags if a page is
     79  migrated.
     80
     81- ADI works for any size pages. A userspace task need not be aware of
     82  page size when using ADI. It can simply select a virtual address
     83  range, enable ADI on the range using mprotect() and set version tags
     84  for the entire range. mprotect() ensures range is aligned to page size
     85  and is a multiple of page size.
     86
     87- ADI tags can only be set on writable memory. For example, ADI tags can
     88  not be set on read-only mappings.
     89
     90
     91
     92ADI related traps
     93=================
     94
     95With ADI enabled, following new traps may occur:
     96
     97Disrupting memory corruption
     98----------------------------
     99
    100	When a store accesses a memory localtion that has TTE.mcd=1,
    101	the task is running with ADI enabled (PSTATE.mcde=1), and the ADI
    102	tag in the address used (bits 63:60) does not match the tag set on
    103	the corresponding cacheline, a memory corruption trap occurs. By
    104	default, it is a disrupting trap and is sent to the hypervisor
    105	first. Hypervisor creates a sun4v error report and sends a
    106	resumable error (TT=0x7e) trap to the kernel. The kernel sends
    107	a SIGSEGV to the task that resulted in this trap with the following
    108	info::
    109
    110		siginfo.si_signo = SIGSEGV;
    111		siginfo.errno = 0;
    112		siginfo.si_code = SEGV_ADIDERR;
    113		siginfo.si_addr = addr; /* PC where first mismatch occurred */
    114		siginfo.si_trapno = 0;
    115
    116
    117Precise memory corruption
    118-------------------------
    119
    120	When a store accesses a memory location that has TTE.mcd=1,
    121	the task is running with ADI enabled (PSTATE.mcde=1), and the ADI
    122	tag in the address used (bits 63:60) does not match the tag set on
    123	the corresponding cacheline, a memory corruption trap occurs. If
    124	MCD precise exception is enabled (MCDPERR=1), a precise
    125	exception is sent to the kernel with TT=0x1a. The kernel sends
    126	a SIGSEGV to the task that resulted in this trap with the following
    127	info::
    128
    129		siginfo.si_signo = SIGSEGV;
    130		siginfo.errno = 0;
    131		siginfo.si_code = SEGV_ADIPERR;
    132		siginfo.si_addr = addr;	/* address that caused trap */
    133		siginfo.si_trapno = 0;
    134
    135	NOTE:
    136		ADI tag mismatch on a load always results in precise trap.
    137
    138
    139MCD disabled
    140------------
    141
    142	When a task has not enabled ADI and attempts to set ADI version
    143	on a memory address, processor sends an MCD disabled trap. This
    144	trap is handled by hypervisor first and the hypervisor vectors this
    145	trap through to the kernel as Data Access Exception trap with
    146	fault type set to 0xa (invalid ASI). When this occurs, the kernel
    147	sends the task SIGSEGV signal with following info::
    148
    149		siginfo.si_signo = SIGSEGV;
    150		siginfo.errno = 0;
    151		siginfo.si_code = SEGV_ACCADI;
    152		siginfo.si_addr = addr;	/* address that caused trap */
    153		siginfo.si_trapno = 0;
    154
    155
    156Sample program to use ADI
    157-------------------------
    158
    159Following sample program is meant to illustrate how to use the ADI
    160functionality::
    161
    162  #include <unistd.h>
    163  #include <stdio.h>
    164  #include <stdlib.h>
    165  #include <elf.h>
    166  #include <sys/ipc.h>
    167  #include <sys/shm.h>
    168  #include <sys/mman.h>
    169  #include <asm/asi.h>
    170
    171  #ifndef AT_ADI_BLKSZ
    172  #define AT_ADI_BLKSZ	48
    173  #endif
    174  #ifndef AT_ADI_NBITS
    175  #define AT_ADI_NBITS	49
    176  #endif
    177
    178  #ifndef PROT_ADI
    179  #define PROT_ADI	0x10
    180  #endif
    181
    182  #define BUFFER_SIZE     32*1024*1024UL
    183
    184  main(int argc, char* argv[], char* envp[])
    185  {
    186          unsigned long i, mcde, adi_blksz, adi_nbits;
    187          char *shmaddr, *tmp_addr, *end, *veraddr, *clraddr;
    188          int shmid, version;
    189	Elf64_auxv_t *auxv;
    190
    191	adi_blksz = 0;
    192
    193	while(*envp++ != NULL);
    194	for (auxv = (Elf64_auxv_t *)envp; auxv->a_type != AT_NULL; auxv++) {
    195		switch (auxv->a_type) {
    196		case AT_ADI_BLKSZ:
    197			adi_blksz = auxv->a_un.a_val;
    198			break;
    199		case AT_ADI_NBITS:
    200			adi_nbits = auxv->a_un.a_val;
    201			break;
    202		}
    203	}
    204	if (adi_blksz == 0) {
    205		fprintf(stderr, "Oops! ADI is not supported\n");
    206		exit(1);
    207	}
    208
    209	printf("ADI capabilities:\n");
    210	printf("\tBlock size = %ld\n", adi_blksz);
    211	printf("\tNumber of bits = %ld\n", adi_nbits);
    212
    213          if ((shmid = shmget(2, BUFFER_SIZE,
    214                                  IPC_CREAT | SHM_R | SHM_W)) < 0) {
    215                  perror("shmget failed");
    216                  exit(1);
    217          }
    218
    219          shmaddr = shmat(shmid, NULL, 0);
    220          if (shmaddr == (char *)-1) {
    221                  perror("shm attach failed");
    222                  shmctl(shmid, IPC_RMID, NULL);
    223                  exit(1);
    224          }
    225
    226	if (mprotect(shmaddr, BUFFER_SIZE, PROT_READ|PROT_WRITE|PROT_ADI)) {
    227		perror("mprotect failed");
    228		goto err_out;
    229	}
    230
    231          /* Set the ADI version tag on the shm segment
    232           */
    233          version = 10;
    234          tmp_addr = shmaddr;
    235          end = shmaddr + BUFFER_SIZE;
    236          while (tmp_addr < end) {
    237                  asm volatile(
    238                          "stxa %1, [%0]0x90\n\t"
    239                          :
    240                          : "r" (tmp_addr), "r" (version));
    241                  tmp_addr += adi_blksz;
    242          }
    243	asm volatile("membar #Sync\n\t");
    244
    245          /* Create a versioned address from the normal address by placing
    246	 * version tag in the upper adi_nbits bits
    247           */
    248          tmp_addr = (void *) ((unsigned long)shmaddr << adi_nbits);
    249          tmp_addr = (void *) ((unsigned long)tmp_addr >> adi_nbits);
    250          veraddr = (void *) (((unsigned long)version << (64-adi_nbits))
    251                          | (unsigned long)tmp_addr);
    252
    253          printf("Starting the writes:\n");
    254          for (i = 0; i < BUFFER_SIZE; i++) {
    255                  veraddr[i] = (char)(i);
    256                  if (!(i % (1024 * 1024)))
    257                          printf(".");
    258          }
    259          printf("\n");
    260
    261          printf("Verifying data...");
    262	fflush(stdout);
    263          for (i = 0; i < BUFFER_SIZE; i++)
    264                  if (veraddr[i] != (char)i)
    265                          printf("\nIndex %lu mismatched\n", i);
    266          printf("Done.\n");
    267
    268          /* Disable ADI and clean up
    269           */
    270	if (mprotect(shmaddr, BUFFER_SIZE, PROT_READ|PROT_WRITE)) {
    271		perror("mprotect failed");
    272		goto err_out;
    273	}
    274
    275          if (shmdt((const void *)shmaddr) != 0)
    276                  perror("Detach failure");
    277          shmctl(shmid, IPC_RMID, NULL);
    278
    279          exit(0);
    280
    281  err_out:
    282          if (shmdt((const void *)shmaddr) != 0)
    283                  perror("Detach failure");
    284          shmctl(shmid, IPC_RMID, NULL);
    285          exit(1);
    286  }