1adb87bc4SSuraj Jitindar Singh /* 2adb87bc4SSuraj Jitindar Singh * Transactional Memory Unit Tests 3adb87bc4SSuraj Jitindar Singh * 4adb87bc4SSuraj Jitindar Singh * Copyright 2016 Suraj Jitindar Singh, IBM. 5adb87bc4SSuraj Jitindar Singh * 6adb87bc4SSuraj Jitindar Singh * This work is licensed under the terms of the GNU LGPL, version 2. 7adb87bc4SSuraj Jitindar Singh */ 8adb87bc4SSuraj Jitindar Singh #include <libcflat.h> 9adb87bc4SSuraj Jitindar Singh #include <asm/hcall.h> 10adb87bc4SSuraj Jitindar Singh #include <asm/processor.h> 11adb87bc4SSuraj Jitindar Singh #include <asm/handlers.h> 12adb87bc4SSuraj Jitindar Singh #include <asm/smp.h> 13cf54ca71SThomas Huth #include <asm/setup.h> 14cf54ca71SThomas Huth #include <devicetree.h> 15cf54ca71SThomas Huth 16cf54ca71SThomas Huth /* Check "ibm,pa-features" property of a CPU node for the TM flag */ 17*7a20b74eSAndrew Jones static void cpu_has_tm(int fdtnode, u64 regval __unused, void *ptr) 18cf54ca71SThomas Huth { 19cf54ca71SThomas Huth const struct fdt_property *prop; 20cf54ca71SThomas Huth int plen; 21cf54ca71SThomas Huth 22cf54ca71SThomas Huth prop = fdt_get_property(dt_fdt(), fdtnode, "ibm,pa-features", &plen); 23cf54ca71SThomas Huth if (!prop) /* No features means TM is also not available */ 24cf54ca71SThomas Huth return; 25cf54ca71SThomas Huth /* Sanity check for the property layout (first two bytes are header) */ 26cf54ca71SThomas Huth assert(plen >= 8 && prop->data[1] == 0 && prop->data[0] <= plen - 2); 27cf54ca71SThomas Huth 28cf54ca71SThomas Huth /* 29cf54ca71SThomas Huth * The "Transactional Memory Category Support" flags are at byte 30cf54ca71SThomas Huth * offset 22 and 23 of the attribute type 0, so when adding the 31cf54ca71SThomas Huth * two bytes for the header, we've got to look at offset 24 for 32cf54ca71SThomas Huth * the TM support bit. 33cf54ca71SThomas Huth */ 34cf54ca71SThomas Huth if (prop->data[0] >= 24 && (prop->data[24] & 0x80) != 0) 35cf54ca71SThomas Huth *(int *)ptr += 1; 36cf54ca71SThomas Huth } 37cf54ca71SThomas Huth 38cf54ca71SThomas Huth /* Check whether all CPU nodes have the TM flag */ 39cf54ca71SThomas Huth static bool all_cpus_have_tm(void) 40cf54ca71SThomas Huth { 41cf54ca71SThomas Huth int ret; 42cf54ca71SThomas Huth int available = 0; 43cf54ca71SThomas Huth 44cf54ca71SThomas Huth ret = dt_for_each_cpu_node(cpu_has_tm, &available); 45cf54ca71SThomas Huth 46cf54ca71SThomas Huth return ret == 0 && available == nr_cpus; 47cf54ca71SThomas Huth } 48adb87bc4SSuraj Jitindar Singh 49adb87bc4SSuraj Jitindar Singh static int h_cede(void) 50adb87bc4SSuraj Jitindar Singh { 51adb87bc4SSuraj Jitindar Singh register uint64_t r3 asm("r3") = H_CEDE; 52adb87bc4SSuraj Jitindar Singh 53adb87bc4SSuraj Jitindar Singh asm volatile ("sc 1" : "+r"(r3) : 54adb87bc4SSuraj Jitindar Singh : "r0", "r4", "r5", "r6", "r7", "r8", "r9", 55adb87bc4SSuraj Jitindar Singh "r10", "r11", "r12", "xer", "ctr", "cc"); 56adb87bc4SSuraj Jitindar Singh 57adb87bc4SSuraj Jitindar Singh return r3; 58adb87bc4SSuraj Jitindar Singh } 59adb87bc4SSuraj Jitindar Singh 60adb87bc4SSuraj Jitindar Singh /* 61adb87bc4SSuraj Jitindar Singh * Enable transactional memory 62adb87bc4SSuraj Jitindar Singh * Returns: FALSE - Failure 63adb87bc4SSuraj Jitindar Singh * TRUE - Success 64adb87bc4SSuraj Jitindar Singh */ 65adb87bc4SSuraj Jitindar Singh static bool enable_tm(void) 66adb87bc4SSuraj Jitindar Singh { 67adb87bc4SSuraj Jitindar Singh uint64_t msr = 0; 68adb87bc4SSuraj Jitindar Singh 69adb87bc4SSuraj Jitindar Singh asm volatile ("mfmsr %[msr]" : [msr] "=r" (msr)); 70adb87bc4SSuraj Jitindar Singh 71adb87bc4SSuraj Jitindar Singh msr |= (((uint64_t) 1) << 32); 72adb87bc4SSuraj Jitindar Singh 73adb87bc4SSuraj Jitindar Singh asm volatile ("mtmsrd %[msr]\n\t" 74adb87bc4SSuraj Jitindar Singh "mfmsr %[msr]" : [msr] "+r" (msr)); 75adb87bc4SSuraj Jitindar Singh 76adb87bc4SSuraj Jitindar Singh return !!(msr & (((uint64_t) 1) << 32)); 77adb87bc4SSuraj Jitindar Singh } 78adb87bc4SSuraj Jitindar Singh 79adb87bc4SSuraj Jitindar Singh /* 80adb87bc4SSuraj Jitindar Singh * Test H_CEDE call while transactional memory transaction is suspended 81adb87bc4SSuraj Jitindar Singh * 82adb87bc4SSuraj Jitindar Singh * WARNING: This tests for a known vulnerability in which the host may go down. 83adb87bc4SSuraj Jitindar Singh * Probably best not to run this if your host going down is going to cause 84adb87bc4SSuraj Jitindar Singh * problems. 85adb87bc4SSuraj Jitindar Singh * 86adb87bc4SSuraj Jitindar Singh * If the test passes then your kernel probably has the necessary patch. 87adb87bc4SSuraj Jitindar Singh * If the test fails then the H_CEDE call was unsuccessful and the 88adb87bc4SSuraj Jitindar Singh * vulnerability wasn't tested. 89adb87bc4SSuraj Jitindar Singh * If the test hits the vulnerability then it will never complete or report and 90adb87bc4SSuraj Jitindar Singh * the qemu process will block indefinitely. RCU stalls will be detected on the 91adb87bc4SSuraj Jitindar Singh * cpu and any process scheduled on the lost cpu will also block indefinitely. 92adb87bc4SSuraj Jitindar Singh */ 93adb87bc4SSuraj Jitindar Singh static void test_h_cede_tm(int argc, char **argv) 94adb87bc4SSuraj Jitindar Singh { 95adb87bc4SSuraj Jitindar Singh int i; 96adb87bc4SSuraj Jitindar Singh 97adb87bc4SSuraj Jitindar Singh if (argc > 2) 98adb87bc4SSuraj Jitindar Singh report_abort("Unsupported argument: '%s'", argv[2]); 99adb87bc4SSuraj Jitindar Singh 100adb87bc4SSuraj Jitindar Singh handle_exception(0x900, &dec_except_handler, NULL); 101adb87bc4SSuraj Jitindar Singh 102adb87bc4SSuraj Jitindar Singh if (!start_all_cpus(halt, 0)) 103adb87bc4SSuraj Jitindar Singh report_abort("Failed to start secondary cpus"); 104adb87bc4SSuraj Jitindar Singh 105adb87bc4SSuraj Jitindar Singh if (!enable_tm()) 106adb87bc4SSuraj Jitindar Singh report_abort("Failed to enable tm"); 107adb87bc4SSuraj Jitindar Singh 108adb87bc4SSuraj Jitindar Singh /* 109adb87bc4SSuraj Jitindar Singh * Begin a transaction and guarantee we are in the suspend state 110adb87bc4SSuraj Jitindar Singh * before continuing 111adb87bc4SSuraj Jitindar Singh */ 112adb87bc4SSuraj Jitindar Singh asm volatile ("1: .long 0x7c00051d\n\t" /* tbegin. */ 113adb87bc4SSuraj Jitindar Singh "beq 2f\n\t" 114adb87bc4SSuraj Jitindar Singh ".long 0x7c0005dd\n\t" /* tsuspend. */ 115adb87bc4SSuraj Jitindar Singh "2: .long 0x7c00059c\n\t" /* tcheck cr0 */ 116adb87bc4SSuraj Jitindar Singh "bf 2,1b" : : : "cr0"); 117adb87bc4SSuraj Jitindar Singh 118adb87bc4SSuraj Jitindar Singh for (i = 0; i < 500; i++) { 119adb87bc4SSuraj Jitindar Singh uint64_t rval = h_cede(); 120adb87bc4SSuraj Jitindar Singh 121adb87bc4SSuraj Jitindar Singh if (rval != H_SUCCESS) 122adb87bc4SSuraj Jitindar Singh break; 123adb87bc4SSuraj Jitindar Singh mdelay(5); 124adb87bc4SSuraj Jitindar Singh } 125adb87bc4SSuraj Jitindar Singh 126adb87bc4SSuraj Jitindar Singh report("H_CEDE TM", i == 500); 127adb87bc4SSuraj Jitindar Singh } 128adb87bc4SSuraj Jitindar Singh 129adb87bc4SSuraj Jitindar Singh struct { 130adb87bc4SSuraj Jitindar Singh const char *name; 131adb87bc4SSuraj Jitindar Singh void (*func)(int argc, char **argv); 132adb87bc4SSuraj Jitindar Singh } hctests[] = { 133adb87bc4SSuraj Jitindar Singh { "h_cede_tm", test_h_cede_tm }, 134adb87bc4SSuraj Jitindar Singh { NULL, NULL } 135adb87bc4SSuraj Jitindar Singh }; 136adb87bc4SSuraj Jitindar Singh 137adb87bc4SSuraj Jitindar Singh int main(int argc, char **argv) 138adb87bc4SSuraj Jitindar Singh { 139cf54ca71SThomas Huth bool all, has_tm; 140adb87bc4SSuraj Jitindar Singh int i; 141adb87bc4SSuraj Jitindar Singh 142adb87bc4SSuraj Jitindar Singh report_prefix_push("tm"); 143adb87bc4SSuraj Jitindar Singh 144cf54ca71SThomas Huth has_tm = all_cpus_have_tm(); 145cf54ca71SThomas Huth report_xfail("TM available in 'ibm,pa-features' property", 146cf54ca71SThomas Huth !has_tm, has_tm); 147cf54ca71SThomas Huth if (!has_tm) 148cf54ca71SThomas Huth return report_summary(); 149cf54ca71SThomas Huth 150adb87bc4SSuraj Jitindar Singh all = argc == 1 || !strcmp(argv[1], "all"); 151adb87bc4SSuraj Jitindar Singh 152adb87bc4SSuraj Jitindar Singh for (i = 0; hctests[i].name != NULL; i++) { 153adb87bc4SSuraj Jitindar Singh if (all || strcmp(argv[1], hctests[i].name) == 0) { 154adb87bc4SSuraj Jitindar Singh report_prefix_push(hctests[i].name); 155adb87bc4SSuraj Jitindar Singh hctests[i].func(argc, argv); 156adb87bc4SSuraj Jitindar Singh report_prefix_pop(); 157adb87bc4SSuraj Jitindar Singh } 158adb87bc4SSuraj Jitindar Singh } 159adb87bc4SSuraj Jitindar Singh 160adb87bc4SSuraj Jitindar Singh return report_summary(); 161adb87bc4SSuraj Jitindar Singh } 162