119 lines · c
1// SPDX-License-Identifier: GPL-2.0-only2/*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 Neuling7 *8 * Force VMX unavailable during a transaction and see if it corrupts9 * 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_mismatch64 );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}119