db2f870fe3
Switch Java heap move to the new scheme required for the new tsan runtime. Instead of copying the shadow we reset the destination range. The new v3 trace contains addresses of accesses, so we cannot simply copy the shadow. This can lead to false negatives, but cannot lead to false positives. Depends on D110159. Reviewed By: vitalybuka Differential Revision: https://reviews.llvm.org/D110190
38 lines
1019 B
C++
38 lines
1019 B
C++
// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
|
|
#include "java.h"
|
|
|
|
jptr varaddr;
|
|
jptr varaddr2;
|
|
|
|
void *Thread(void *p) {
|
|
barrier_wait(&barrier);
|
|
*(int*)varaddr2 = 42;
|
|
return 0;
|
|
}
|
|
|
|
int main() {
|
|
barrier_init(&barrier, 2);
|
|
int const kHeapSize = 1024 * 1024;
|
|
jptr jheap = (jptr)malloc(kHeapSize + 8) + 8;
|
|
__tsan_java_init(jheap, kHeapSize);
|
|
const int kBlockSize = 64;
|
|
int const kMove = 1024;
|
|
__tsan_java_alloc(jheap, kBlockSize);
|
|
varaddr = jheap + 16;
|
|
varaddr2 = varaddr + kMove;
|
|
pthread_t th;
|
|
pthread_create(&th, 0, Thread, 0);
|
|
*(int*)varaddr = 43;
|
|
__tsan_java_move(varaddr, varaddr2, kBlockSize);
|
|
barrier_wait(&barrier);
|
|
pthread_join(th, 0);
|
|
__tsan_java_free(varaddr2, kBlockSize);
|
|
fprintf(stderr, "DONE\n");
|
|
return __tsan_java_fini();
|
|
}
|
|
|
|
// Note: there is a race on the moved object (which we used to detect),
|
|
// but now __tsan_java_move resets the object shadow, so we don't detect it anymore.
|
|
// CHECK-NOT: WARNING: ThreadSanitizer: data race
|
|
// CHECK: DONE
|