• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright 2017, Michael Neuling, IBM Corp.
3  * Licensed under GPLv2.
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 #include <pthread.h>
21 
22 #include "tm.h"
23 #include "utils.h"
24 
25 int passed;
26 
worker(void * unused)27 void *worker(void *unused)
28 {
29 	__int128 vmx0;
30 	uint64_t texasr;
31 
32 	asm goto (
33 		"li       3, 1;"  /* Stick non-zero value in VMX0 */
34 		"std      3, 0(%[vmx0_ptr]);"
35 		"lvx      0, 0, %[vmx0_ptr];"
36 
37 		/* Wait here a bit so we get scheduled out 255 times */
38 		"lis      3, 0x3fff;"
39 		"1: ;"
40 		"addi     3, 3, -1;"
41 		"cmpdi    3, 0;"
42 		"bne      1b;"
43 
44 		/* Kernel will hopefully turn VMX off now */
45 
46 		"tbegin. ;"
47 		"beq      failure;"
48 
49 		/* Cause VMX unavail. Any VMX instruction */
50 		"vaddcuw  0,0,0;"
51 
52 		"tend. ;"
53 		"b        %l[success];"
54 
55 		/* Check VMX0 sanity after abort */
56 		"failure: ;"
57 		"lvx       1,  0, %[vmx0_ptr];"
58 		"vcmpequb. 2,  0, 1;"
59 		"bc        4, 24, %l[value_mismatch];"
60 		"b        %l[value_match];"
61 		:
62 		: [vmx0_ptr] "r"(&vmx0)
63 		: "r3"
64 		: success, value_match, value_mismatch
65 		);
66 
67 	/* HTM aborted and VMX0 is corrupted */
68 value_mismatch:
69 	texasr = __builtin_get_texasr();
70 
71 	printf("\n\n==============\n\n");
72 	printf("Failure with error: %lx\n",   _TEXASR_FAILURE_CODE(texasr));
73 	printf("Summary error     : %lx\n",   _TEXASR_FAILURE_SUMMARY(texasr));
74 	printf("TFIAR exact       : %lx\n\n", _TEXASR_TFIAR_EXACT(texasr));
75 
76 	passed = 0;
77 	return NULL;
78 
79 	/* HTM aborted but VMX0 is correct */
80 value_match:
81 //	printf("!");
82 	return NULL;
83 
84 success:
85 //	printf(".");
86 	return NULL;
87 }
88 
tm_vmx_unavail_test()89 int tm_vmx_unavail_test()
90 {
91 	int threads;
92 	pthread_t *thread;
93 
94 	SKIP_IF(!have_htm());
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 
main(int argc,char ** argv)115 int main(int argc, char **argv)
116 {
117 	return test_harness(tm_vmx_unavail_test, "tm_vmx_unavail_test");
118 }
119