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