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
24 int passed;
25
26 void *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 */
67 value_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 */
79 value_match:
80 // printf("!");
81 return NULL;
82
83 success:
84 // printf(".");
85 return NULL;
86 }
87
88 int 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
115 int main(int argc, char **argv)
116 {
117 return test_harness(tm_vmx_unavail_test, "tm_vmx_unavail_test");
118 }
119
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.