/* * Copyright 2015, Michael Neuling, IBM Corp. * Licensed under GPLv2. * * Original: Michael Neuling 4/12/2013 * Edited: Rashmica Gupta 4/12/2015 * * See if the altivec state is leaked out of an aborted transaction due to * kernel vmx copy loops. * * When the transaction aborts, VSR values should rollback to the values * they held before the transaction commenced. Using VSRs while transaction * is suspended should not affect the checkpointed values. * * (1) write A to a VSR * (2) start transaction * (3) suspend transaction * (4) change the VSR to B * (5) trigger kernel vmx copy loop * (6) abort transaction * (7) check that the VSR value is A */ #include #include #include #include #include #include #include #include "tm.h" #include "utils.h" int test_vmxcopy() { long double vecin = 1.3; long double vecout; unsigned long pgsize = getpagesize(); int i; int fd; int size = pgsize*16; char tmpfile[] = "/tmp/page_faultXXXXXX"; char buf[pgsize]; char *a; uint64_t aborted = 0; SKIP_IF(!have_htm()); fd = mkstemp(tmpfile); assert(fd >= 0); memset(buf, 0, pgsize); for (i = 0; i < size; i += pgsize) assert(write(fd, buf, pgsize) == pgsize); unlink(tmpfile); a = mmap(NULL, size, PROT_READ|PROT_WRITE, MAP_PRIVATE, fd, 0); assert(a != MAP_FAILED); asm __volatile__( "lxvd2x 40,0,%[vecinptr];" /* set 40 to initial value*/ "tbegin.;" "beq 3f;" "tsuspend.;" "xxlxor 40,40,40;" /* set 40 to 0 */ "std 5, 0(%[map]);" /* cause kernel vmx copy page */ "tabort. 0;" "tresume.;" "tend.;" "li %[res], 0;" "b 5f;" /* Abort handler */ "3:;" "li %[res], 1;" "5:;" "stxvd2x 40,0,%[vecoutptr];" : [res]"=r"(aborted) : [vecinptr]"r"(&vecin), [vecoutptr]"r"(&vecout), [map]"r"(a) : "memory", "r0", "r3", "r4", "r5", "r6", "r7"); if (aborted && (vecin != vecout)){ printf("FAILED: vector state leaked on abort %f != %f\n", (double)vecin, (double)vecout); return 1; } munmap(a, size); close(fd); return 0; } int main(void) { return test_harness(test_vmxcopy, "tm_vmxcopy"); } /log/Documentation/highuid.txt'>
AgeCommit message (Expand)AuthorFilesLines