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

tm-vmx-unavail.c (2465B)

      1// SPDX-License-Identifier: GPL-2.0-only
      2/*
      3 * Copyright 2017, Michael Neuling, IBM Corp.
      4 * Original: Breno Leitao <brenohl@br.ibm.com> &
      5 *           Gustavo Bueno Romero <gromero@br.ibm.com>
      6 * Edited: Michael Neuling
      7 *
      8 * Force VMX unavailable during a transaction and see if it corrupts
      9 * the checkpointed VMX register state after the abort.
     10 */
     11
     12#include <inttypes.h>
     13#include <htmintrin.h>
     14#include <string.h>
     15#include <stdlib.h>
     16#include <stdio.h>
     17#include <pthread.h>
     18#include <sys/mman.h>
     19#include <unistd.h>
     20
     21#include "tm.h"
     22#include "utils.h"
     23
     24int passed;
     25
     26void *worker(void *unused)
     27{
     28	__int128 vmx0;
     29	uint64_t texasr;
     30
     31	asm goto (
     32		"li       3, 1;"  /* Stick non-zero value in VMX0 */
     33		"std      3, 0(%[vmx0_ptr]);"
     34		"lvx      0, 0, %[vmx0_ptr];"
     35
     36		/* Wait here a bit so we get scheduled out 255 times */
     37		"lis      3, 0x3fff;"
     38		"1: ;"
     39		"addi     3, 3, -1;"
     40		"cmpdi    3, 0;"
     41		"bne      1b;"
     42
     43		/* Kernel will hopefully turn VMX off now */
     44
     45		"tbegin. ;"
     46		"beq      failure;"
     47
     48		/* Cause VMX unavail. Any VMX instruction */
     49		"vaddcuw  0,0,0;"
     50
     51		"tend. ;"
     52		"b        %l[success];"
     53
     54		/* Check VMX0 sanity after abort */
     55		"failure: ;"
     56		"lvx       1,  0, %[vmx0_ptr];"
     57		"vcmpequb. 2,  0, 1;"
     58		"bc        4, 24, %l[value_mismatch];"
     59		"b        %l[value_match];"
     60		:
     61		: [vmx0_ptr] "r"(&vmx0)
     62		: "r3"
     63		: success, value_match, value_mismatch
     64		);
     65
     66	/* HTM aborted and VMX0 is corrupted */
     67value_mismatch:
     68	texasr = __builtin_get_texasr();
     69
     70	printf("\n\n==============\n\n");
     71	printf("Failure with error: %lx\n",   _TEXASR_FAILURE_CODE(texasr));
     72	printf("Summary error     : %lx\n",   _TEXASR_FAILURE_SUMMARY(texasr));
     73	printf("TFIAR exact       : %lx\n\n", _TEXASR_TFIAR_EXACT(texasr));
     74
     75	passed = 0;
     76	return NULL;
     77
     78	/* HTM aborted but VMX0 is correct */
     79value_match:
     80//	printf("!");
     81	return NULL;
     82
     83success:
     84//	printf(".");
     85	return NULL;
     86}
     87
     88int tm_vmx_unavail_test()
     89{
     90	int threads;
     91	pthread_t *thread;
     92
     93	SKIP_IF(!have_htm());
     94	SKIP_IF(htm_is_synthetic());
     95
     96	passed = 1;
     97
     98	threads = sysconf(_SC_NPROCESSORS_ONLN) * 4;
     99	thread = malloc(sizeof(pthread_t)*threads);
    100	if (!thread)
    101		return EXIT_FAILURE;
    102
    103	for (uint64_t i = 0; i < threads; i++)
    104		pthread_create(&thread[i], NULL, &worker, NULL);
    105
    106	for (uint64_t i = 0; i < threads; i++)
    107		pthread_join(thread[i], NULL);
    108
    109	free(thread);
    110
    111	return passed ? EXIT_SUCCESS : EXIT_FAILURE;
    112}
    113
    114
    115int main(int argc, char **argv)
    116{
    117	return test_harness(tm_vmx_unavail_test, "tm_vmx_unavail_test");
    118}