1a9ded601SYang Zhong /* 2a9ded601SYang Zhong * QEMU System Emulator, accelerator interfaces 3a9ded601SYang Zhong * 4a9ded601SYang Zhong * Copyright (c) 2003-2008 Fabrice Bellard 5a9ded601SYang Zhong * Copyright (c) 2014 Red Hat Inc. 6a9ded601SYang Zhong * 7a9ded601SYang Zhong * Permission is hereby granted, free of charge, to any person obtaining a copy 8a9ded601SYang Zhong * of this software and associated documentation files (the "Software"), to deal 9a9ded601SYang Zhong * in the Software without restriction, including without limitation the rights 10a9ded601SYang Zhong * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11a9ded601SYang Zhong * copies of the Software, and to permit persons to whom the Software is 12a9ded601SYang Zhong * furnished to do so, subject to the following conditions: 13a9ded601SYang Zhong * 14a9ded601SYang Zhong * The above copyright notice and this permission notice shall be included in 15a9ded601SYang Zhong * all copies or substantial portions of the Software. 16a9ded601SYang Zhong * 17a9ded601SYang Zhong * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18a9ded601SYang Zhong * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19a9ded601SYang Zhong * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20a9ded601SYang Zhong * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21a9ded601SYang Zhong * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22a9ded601SYang Zhong * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23a9ded601SYang Zhong * THE SOFTWARE. 24a9ded601SYang Zhong */ 25a9ded601SYang Zhong 26a9ded601SYang Zhong #include "qemu/osdep.h" 27a77dabc3SClaudio Fontana #include "qemu-common.h" 2814a48c1dSMarkus Armbruster #include "sysemu/tcg.h" 29740b1759SClaudio Fontana #include "sysemu/cpu-timers.h" 30af0440aeSPaolo Bonzini #include "tcg/tcg.h" 31dd680bf3SPhilippe Mathieu-Daudé #include "qapi/error.h" 32dd680bf3SPhilippe Mathieu-Daudé #include "qemu/error-report.h" 33dd680bf3SPhilippe Mathieu-Daudé #include "hw/boards.h" 34fe174132SPaolo Bonzini #include "qapi/qapi-builtin-visit.h" 35a77dabc3SClaudio Fontana #include "tcg-cpus.h" 3612ceaef6SPaolo Bonzini 37db1015e9SEduardo Habkost struct TCGState { 3812ceaef6SPaolo Bonzini AccelState parent_obj; 3912ceaef6SPaolo Bonzini 4012ceaef6SPaolo Bonzini bool mttcg_enabled; 41fe174132SPaolo Bonzini unsigned long tb_size; 42db1015e9SEduardo Habkost }; 43db1015e9SEduardo Habkost typedef struct TCGState TCGState; 4412ceaef6SPaolo Bonzini 4512ceaef6SPaolo Bonzini #define TYPE_TCG_ACCEL ACCEL_CLASS_NAME("tcg") 4612ceaef6SPaolo Bonzini 478110fa1dSEduardo Habkost DECLARE_INSTANCE_CHECKER(TCGState, TCG_STATE, 488110fa1dSEduardo Habkost TYPE_TCG_ACCEL) 49a9ded601SYang Zhong 50af0440aeSPaolo Bonzini /* 51af0440aeSPaolo Bonzini * We default to false if we know other options have been enabled 52af0440aeSPaolo Bonzini * which are currently incompatible with MTTCG. Otherwise when each 53af0440aeSPaolo Bonzini * guest (target) has been updated to support: 54af0440aeSPaolo Bonzini * - atomic instructions 55af0440aeSPaolo Bonzini * - memory ordering primitives (barriers) 56af0440aeSPaolo Bonzini * they can set the appropriate CONFIG flags in ${target}-softmmu.mak 57af0440aeSPaolo Bonzini * 58af0440aeSPaolo Bonzini * Once a guest architecture has been converted to the new primitives 59af0440aeSPaolo Bonzini * there are two remaining limitations to check. 60af0440aeSPaolo Bonzini * 61af0440aeSPaolo Bonzini * - The guest can't be oversized (e.g. 64 bit guest on 32 bit host) 62af0440aeSPaolo Bonzini * - The host must have a stronger memory order than the guest 63af0440aeSPaolo Bonzini * 64af0440aeSPaolo Bonzini * It may be possible in future to support strong guests on weak hosts 65af0440aeSPaolo Bonzini * but that will require tagging all load/stores in a guest with their 66af0440aeSPaolo Bonzini * implicit memory order requirements which would likely slow things 67af0440aeSPaolo Bonzini * down a lot. 68af0440aeSPaolo Bonzini */ 69af0440aeSPaolo Bonzini 70af0440aeSPaolo Bonzini static bool check_tcg_memory_orders_compatible(void) 71af0440aeSPaolo Bonzini { 72af0440aeSPaolo Bonzini #if defined(TCG_GUEST_DEFAULT_MO) && defined(TCG_TARGET_DEFAULT_MO) 73af0440aeSPaolo Bonzini return (TCG_GUEST_DEFAULT_MO & ~TCG_TARGET_DEFAULT_MO) == 0; 74af0440aeSPaolo Bonzini #else 75af0440aeSPaolo Bonzini return false; 76af0440aeSPaolo Bonzini #endif 77af0440aeSPaolo Bonzini } 78af0440aeSPaolo Bonzini 79af0440aeSPaolo Bonzini static bool default_mttcg_enabled(void) 80af0440aeSPaolo Bonzini { 81740b1759SClaudio Fontana if (icount_enabled() || TCG_OVERSIZED_GUEST) { 82af0440aeSPaolo Bonzini return false; 83af0440aeSPaolo Bonzini } else { 84af0440aeSPaolo Bonzini #ifdef TARGET_SUPPORTS_MTTCG 85af0440aeSPaolo Bonzini return check_tcg_memory_orders_compatible(); 86af0440aeSPaolo Bonzini #else 87af0440aeSPaolo Bonzini return false; 88af0440aeSPaolo Bonzini #endif 89af0440aeSPaolo Bonzini } 90af0440aeSPaolo Bonzini } 91af0440aeSPaolo Bonzini 92af0440aeSPaolo Bonzini static void tcg_accel_instance_init(Object *obj) 93af0440aeSPaolo Bonzini { 9412ceaef6SPaolo Bonzini TCGState *s = TCG_STATE(obj); 9512ceaef6SPaolo Bonzini 9612ceaef6SPaolo Bonzini s->mttcg_enabled = default_mttcg_enabled(); 97af0440aeSPaolo Bonzini } 98af0440aeSPaolo Bonzini 99a77dabc3SClaudio Fontana bool mttcg_enabled; 100a77dabc3SClaudio Fontana 101a9ded601SYang Zhong static int tcg_init(MachineState *ms) 102a9ded601SYang Zhong { 1034f7f5893SPhilippe Mathieu-Daudé TCGState *s = TCG_STATE(current_accel()); 10412ceaef6SPaolo Bonzini 105fe174132SPaolo Bonzini tcg_exec_init(s->tb_size * 1024 * 1024); 10612ceaef6SPaolo Bonzini mttcg_enabled = s->mttcg_enabled; 107a77dabc3SClaudio Fontana 108*37c2f9a7SClaudio Fontana /* 109*37c2f9a7SClaudio Fontana * Initialize TCG regions 110*37c2f9a7SClaudio Fontana */ 111*37c2f9a7SClaudio Fontana tcg_region_init(); 112*37c2f9a7SClaudio Fontana 11345e077d7SClaudio Fontana if (mttcg_enabled) { 11445e077d7SClaudio Fontana cpus_register_accel(&tcg_cpus_mttcg); 11545e077d7SClaudio Fontana } else if (icount_enabled()) { 11645e077d7SClaudio Fontana cpus_register_accel(&tcg_cpus_icount); 11745e077d7SClaudio Fontana } else { 11845e077d7SClaudio Fontana cpus_register_accel(&tcg_cpus_rr); 11945e077d7SClaudio Fontana } 120a9ded601SYang Zhong return 0; 121a9ded601SYang Zhong } 122a9ded601SYang Zhong 12312ceaef6SPaolo Bonzini static char *tcg_get_thread(Object *obj, Error **errp) 124af0440aeSPaolo Bonzini { 12512ceaef6SPaolo Bonzini TCGState *s = TCG_STATE(obj); 12612ceaef6SPaolo Bonzini 12712ceaef6SPaolo Bonzini return g_strdup(s->mttcg_enabled ? "multi" : "single"); 128af0440aeSPaolo Bonzini } 12912ceaef6SPaolo Bonzini 13012ceaef6SPaolo Bonzini static void tcg_set_thread(Object *obj, const char *value, Error **errp) 13112ceaef6SPaolo Bonzini { 13212ceaef6SPaolo Bonzini TCGState *s = TCG_STATE(obj); 13312ceaef6SPaolo Bonzini 13412ceaef6SPaolo Bonzini if (strcmp(value, "multi") == 0) { 135af0440aeSPaolo Bonzini if (TCG_OVERSIZED_GUEST) { 136af0440aeSPaolo Bonzini error_setg(errp, "No MTTCG when guest word size > hosts"); 137740b1759SClaudio Fontana } else if (icount_enabled()) { 138af0440aeSPaolo Bonzini error_setg(errp, "No MTTCG when icount is enabled"); 139af0440aeSPaolo Bonzini } else { 140af0440aeSPaolo Bonzini #ifndef TARGET_SUPPORTS_MTTCG 141af0440aeSPaolo Bonzini warn_report("Guest not yet converted to MTTCG - " 142af0440aeSPaolo Bonzini "you may get unexpected results"); 143af0440aeSPaolo Bonzini #endif 144af0440aeSPaolo Bonzini if (!check_tcg_memory_orders_compatible()) { 145af0440aeSPaolo Bonzini warn_report("Guest expects a stronger memory ordering " 146af0440aeSPaolo Bonzini "than the host provides"); 147af0440aeSPaolo Bonzini error_printf("This may cause strange/hard to debug errors\n"); 148af0440aeSPaolo Bonzini } 14912ceaef6SPaolo Bonzini s->mttcg_enabled = true; 150af0440aeSPaolo Bonzini } 15112ceaef6SPaolo Bonzini } else if (strcmp(value, "single") == 0) { 15212ceaef6SPaolo Bonzini s->mttcg_enabled = false; 153af0440aeSPaolo Bonzini } else { 15412ceaef6SPaolo Bonzini error_setg(errp, "Invalid 'thread' setting %s", value); 155af0440aeSPaolo Bonzini } 156af0440aeSPaolo Bonzini } 157af0440aeSPaolo Bonzini 158fe174132SPaolo Bonzini static void tcg_get_tb_size(Object *obj, Visitor *v, 159fe174132SPaolo Bonzini const char *name, void *opaque, 160fe174132SPaolo Bonzini Error **errp) 161fe174132SPaolo Bonzini { 162fe174132SPaolo Bonzini TCGState *s = TCG_STATE(obj); 163fe174132SPaolo Bonzini uint32_t value = s->tb_size; 164fe174132SPaolo Bonzini 165fe174132SPaolo Bonzini visit_type_uint32(v, name, &value, errp); 166fe174132SPaolo Bonzini } 167fe174132SPaolo Bonzini 168fe174132SPaolo Bonzini static void tcg_set_tb_size(Object *obj, Visitor *v, 169fe174132SPaolo Bonzini const char *name, void *opaque, 170fe174132SPaolo Bonzini Error **errp) 171fe174132SPaolo Bonzini { 172fe174132SPaolo Bonzini TCGState *s = TCG_STATE(obj); 173fe174132SPaolo Bonzini uint32_t value; 174fe174132SPaolo Bonzini 175668f62ecSMarkus Armbruster if (!visit_type_uint32(v, name, &value, errp)) { 176fe174132SPaolo Bonzini return; 177fe174132SPaolo Bonzini } 178fe174132SPaolo Bonzini 179fe174132SPaolo Bonzini s->tb_size = value; 180fe174132SPaolo Bonzini } 181fe174132SPaolo Bonzini 182a9ded601SYang Zhong static void tcg_accel_class_init(ObjectClass *oc, void *data) 183a9ded601SYang Zhong { 184a9ded601SYang Zhong AccelClass *ac = ACCEL_CLASS(oc); 185a9ded601SYang Zhong ac->name = "tcg"; 186a9ded601SYang Zhong ac->init_machine = tcg_init; 187a9ded601SYang Zhong ac->allowed = &tcg_allowed; 188a9ded601SYang Zhong 18912ceaef6SPaolo Bonzini object_class_property_add_str(oc, "thread", 19012ceaef6SPaolo Bonzini tcg_get_thread, 191d2623129SMarkus Armbruster tcg_set_thread); 192fe174132SPaolo Bonzini 193fe174132SPaolo Bonzini object_class_property_add(oc, "tb-size", "int", 194fe174132SPaolo Bonzini tcg_get_tb_size, tcg_set_tb_size, 195d2623129SMarkus Armbruster NULL, NULL); 196fe174132SPaolo Bonzini object_class_property_set_description(oc, "tb-size", 1977eecec7dSMarkus Armbruster "TCG translation block cache size"); 198fe174132SPaolo Bonzini 19912ceaef6SPaolo Bonzini } 200a9ded601SYang Zhong 201a9ded601SYang Zhong static const TypeInfo tcg_accel_type = { 202a9ded601SYang Zhong .name = TYPE_TCG_ACCEL, 203a9ded601SYang Zhong .parent = TYPE_ACCEL, 204af0440aeSPaolo Bonzini .instance_init = tcg_accel_instance_init, 205a9ded601SYang Zhong .class_init = tcg_accel_class_init, 20612ceaef6SPaolo Bonzini .instance_size = sizeof(TCGState), 207a9ded601SYang Zhong }; 208a9ded601SYang Zhong 209a9ded601SYang Zhong static void register_accel_types(void) 210a9ded601SYang Zhong { 211a9ded601SYang Zhong type_register_static(&tcg_accel_type); 212a9ded601SYang Zhong } 213a9ded601SYang Zhong 214a9ded601SYang Zhong type_init(register_accel_types); 215