tm-vmx-unavail.c

  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}