xref: /qemu/accel/tcg/tcg-all.c (revision 12ceaef6ae0b4d0eec4712aaf54ad3b8434c1afb)
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"
27a9ded601SYang Zhong #include "sysemu/accel.h"
2814a48c1dSMarkus Armbruster #include "sysemu/tcg.h"
29a9ded601SYang Zhong #include "qom/object.h"
305e140196SRichard Henderson #include "cpu.h"
31290dae46SPaolo Bonzini #include "sysemu/cpus.h"
32290dae46SPaolo Bonzini #include "qemu/main-loop.h"
33af0440aeSPaolo Bonzini #include "tcg/tcg.h"
34af0440aeSPaolo Bonzini #include "include/qapi/error.h"
35af0440aeSPaolo Bonzini #include "include/qemu/error-report.h"
36af0440aeSPaolo Bonzini #include "include/hw/boards.h"
37*12ceaef6SPaolo Bonzini 
38*12ceaef6SPaolo Bonzini typedef struct TCGState {
39*12ceaef6SPaolo Bonzini     AccelState parent_obj;
40*12ceaef6SPaolo Bonzini 
41*12ceaef6SPaolo Bonzini     bool mttcg_enabled;
42*12ceaef6SPaolo Bonzini } TCGState;
43*12ceaef6SPaolo Bonzini 
44*12ceaef6SPaolo Bonzini #define TYPE_TCG_ACCEL ACCEL_CLASS_NAME("tcg")
45*12ceaef6SPaolo Bonzini 
46*12ceaef6SPaolo Bonzini #define TCG_STATE(obj) \
47*12ceaef6SPaolo Bonzini         OBJECT_CHECK(TCGState, (obj), TYPE_TCG_ACCEL)
48a9ded601SYang Zhong 
498b3ae692SPaolo Bonzini unsigned long tcg_tb_size;
50a9ded601SYang Zhong 
51290dae46SPaolo Bonzini /* mask must never be zero, except for A20 change call */
52290dae46SPaolo Bonzini static void tcg_handle_interrupt(CPUState *cpu, int mask)
53290dae46SPaolo Bonzini {
54290dae46SPaolo Bonzini     int old_mask;
55290dae46SPaolo Bonzini     g_assert(qemu_mutex_iothread_locked());
56290dae46SPaolo Bonzini 
57290dae46SPaolo Bonzini     old_mask = cpu->interrupt_request;
58290dae46SPaolo Bonzini     cpu->interrupt_request |= mask;
59290dae46SPaolo Bonzini 
60290dae46SPaolo Bonzini     /*
61290dae46SPaolo Bonzini      * If called from iothread context, wake the target cpu in
62290dae46SPaolo Bonzini      * case its halted.
63290dae46SPaolo Bonzini      */
64290dae46SPaolo Bonzini     if (!qemu_cpu_is_self(cpu)) {
65290dae46SPaolo Bonzini         qemu_cpu_kick(cpu);
66290dae46SPaolo Bonzini     } else {
675e140196SRichard Henderson         atomic_set(&cpu_neg(cpu)->icount_decr.u16.high, -1);
68290dae46SPaolo Bonzini         if (use_icount &&
69290dae46SPaolo Bonzini             !cpu->can_do_io
70290dae46SPaolo Bonzini             && (mask & ~old_mask) != 0) {
71290dae46SPaolo Bonzini             cpu_abort(cpu, "Raised interrupt while not in I/O function");
72290dae46SPaolo Bonzini         }
73290dae46SPaolo Bonzini     }
74290dae46SPaolo Bonzini }
75290dae46SPaolo Bonzini 
76af0440aeSPaolo Bonzini /*
77af0440aeSPaolo Bonzini  * We default to false if we know other options have been enabled
78af0440aeSPaolo Bonzini  * which are currently incompatible with MTTCG. Otherwise when each
79af0440aeSPaolo Bonzini  * guest (target) has been updated to support:
80af0440aeSPaolo Bonzini  *   - atomic instructions
81af0440aeSPaolo Bonzini  *   - memory ordering primitives (barriers)
82af0440aeSPaolo Bonzini  * they can set the appropriate CONFIG flags in ${target}-softmmu.mak
83af0440aeSPaolo Bonzini  *
84af0440aeSPaolo Bonzini  * Once a guest architecture has been converted to the new primitives
85af0440aeSPaolo Bonzini  * there are two remaining limitations to check.
86af0440aeSPaolo Bonzini  *
87af0440aeSPaolo Bonzini  * - The guest can't be oversized (e.g. 64 bit guest on 32 bit host)
88af0440aeSPaolo Bonzini  * - The host must have a stronger memory order than the guest
89af0440aeSPaolo Bonzini  *
90af0440aeSPaolo Bonzini  * It may be possible in future to support strong guests on weak hosts
91af0440aeSPaolo Bonzini  * but that will require tagging all load/stores in a guest with their
92af0440aeSPaolo Bonzini  * implicit memory order requirements which would likely slow things
93af0440aeSPaolo Bonzini  * down a lot.
94af0440aeSPaolo Bonzini  */
95af0440aeSPaolo Bonzini 
96af0440aeSPaolo Bonzini static bool check_tcg_memory_orders_compatible(void)
97af0440aeSPaolo Bonzini {
98af0440aeSPaolo Bonzini #if defined(TCG_GUEST_DEFAULT_MO) && defined(TCG_TARGET_DEFAULT_MO)
99af0440aeSPaolo Bonzini     return (TCG_GUEST_DEFAULT_MO & ~TCG_TARGET_DEFAULT_MO) == 0;
100af0440aeSPaolo Bonzini #else
101af0440aeSPaolo Bonzini     return false;
102af0440aeSPaolo Bonzini #endif
103af0440aeSPaolo Bonzini }
104af0440aeSPaolo Bonzini 
105af0440aeSPaolo Bonzini static bool default_mttcg_enabled(void)
106af0440aeSPaolo Bonzini {
107af0440aeSPaolo Bonzini     if (use_icount || TCG_OVERSIZED_GUEST) {
108af0440aeSPaolo Bonzini         return false;
109af0440aeSPaolo Bonzini     } else {
110af0440aeSPaolo Bonzini #ifdef TARGET_SUPPORTS_MTTCG
111af0440aeSPaolo Bonzini         return check_tcg_memory_orders_compatible();
112af0440aeSPaolo Bonzini #else
113af0440aeSPaolo Bonzini         return false;
114af0440aeSPaolo Bonzini #endif
115af0440aeSPaolo Bonzini     }
116af0440aeSPaolo Bonzini }
117af0440aeSPaolo Bonzini 
118af0440aeSPaolo Bonzini static void tcg_accel_instance_init(Object *obj)
119af0440aeSPaolo Bonzini {
120*12ceaef6SPaolo Bonzini     TCGState *s = TCG_STATE(obj);
121*12ceaef6SPaolo Bonzini 
122*12ceaef6SPaolo Bonzini     s->mttcg_enabled = default_mttcg_enabled();
123af0440aeSPaolo Bonzini }
124af0440aeSPaolo Bonzini 
125a9ded601SYang Zhong static int tcg_init(MachineState *ms)
126a9ded601SYang Zhong {
127*12ceaef6SPaolo Bonzini     TCGState *s = TCG_STATE(current_machine->accelerator);
128*12ceaef6SPaolo Bonzini 
129a9ded601SYang Zhong     tcg_exec_init(tcg_tb_size * 1024 * 1024);
130290dae46SPaolo Bonzini     cpu_interrupt_handler = tcg_handle_interrupt;
131*12ceaef6SPaolo Bonzini     mttcg_enabled = s->mttcg_enabled;
132a9ded601SYang Zhong     return 0;
133a9ded601SYang Zhong }
134a9ded601SYang Zhong 
135*12ceaef6SPaolo Bonzini static char *tcg_get_thread(Object *obj, Error **errp)
136af0440aeSPaolo Bonzini {
137*12ceaef6SPaolo Bonzini     TCGState *s = TCG_STATE(obj);
138*12ceaef6SPaolo Bonzini 
139*12ceaef6SPaolo Bonzini     return g_strdup(s->mttcg_enabled ? "multi" : "single");
140af0440aeSPaolo Bonzini }
141*12ceaef6SPaolo Bonzini 
142*12ceaef6SPaolo Bonzini static void tcg_set_thread(Object *obj, const char *value, Error **errp)
143*12ceaef6SPaolo Bonzini {
144*12ceaef6SPaolo Bonzini     TCGState *s = TCG_STATE(obj);
145*12ceaef6SPaolo Bonzini 
146*12ceaef6SPaolo Bonzini     if (strcmp(value, "multi") == 0) {
147af0440aeSPaolo Bonzini         if (TCG_OVERSIZED_GUEST) {
148af0440aeSPaolo Bonzini             error_setg(errp, "No MTTCG when guest word size > hosts");
149af0440aeSPaolo Bonzini         } else if (use_icount) {
150af0440aeSPaolo Bonzini             error_setg(errp, "No MTTCG when icount is enabled");
151af0440aeSPaolo Bonzini         } else {
152af0440aeSPaolo Bonzini #ifndef TARGET_SUPPORTS_MTTCG
153af0440aeSPaolo Bonzini             warn_report("Guest not yet converted to MTTCG - "
154af0440aeSPaolo Bonzini                         "you may get unexpected results");
155af0440aeSPaolo Bonzini #endif
156af0440aeSPaolo Bonzini             if (!check_tcg_memory_orders_compatible()) {
157af0440aeSPaolo Bonzini                 warn_report("Guest expects a stronger memory ordering "
158af0440aeSPaolo Bonzini                             "than the host provides");
159af0440aeSPaolo Bonzini                 error_printf("This may cause strange/hard to debug errors\n");
160af0440aeSPaolo Bonzini             }
161*12ceaef6SPaolo Bonzini             s->mttcg_enabled = true;
162af0440aeSPaolo Bonzini         }
163*12ceaef6SPaolo Bonzini     } else if (strcmp(value, "single") == 0) {
164*12ceaef6SPaolo Bonzini         s->mttcg_enabled = false;
165af0440aeSPaolo Bonzini     } else {
166*12ceaef6SPaolo Bonzini         error_setg(errp, "Invalid 'thread' setting %s", value);
167af0440aeSPaolo Bonzini     }
168af0440aeSPaolo Bonzini }
169af0440aeSPaolo Bonzini 
170a9ded601SYang Zhong static void tcg_accel_class_init(ObjectClass *oc, void *data)
171a9ded601SYang Zhong {
172a9ded601SYang Zhong     AccelClass *ac = ACCEL_CLASS(oc);
173a9ded601SYang Zhong     ac->name = "tcg";
174a9ded601SYang Zhong     ac->init_machine = tcg_init;
175a9ded601SYang Zhong     ac->allowed = &tcg_allowed;
176a9ded601SYang Zhong 
177*12ceaef6SPaolo Bonzini     object_class_property_add_str(oc, "thread",
178*12ceaef6SPaolo Bonzini                                   tcg_get_thread,
179*12ceaef6SPaolo Bonzini                                   tcg_set_thread,
180*12ceaef6SPaolo Bonzini                                   NULL);
181*12ceaef6SPaolo Bonzini }
182a9ded601SYang Zhong 
183a9ded601SYang Zhong static const TypeInfo tcg_accel_type = {
184a9ded601SYang Zhong     .name = TYPE_TCG_ACCEL,
185a9ded601SYang Zhong     .parent = TYPE_ACCEL,
186af0440aeSPaolo Bonzini     .instance_init = tcg_accel_instance_init,
187a9ded601SYang Zhong     .class_init = tcg_accel_class_init,
188*12ceaef6SPaolo Bonzini     .instance_size = sizeof(TCGState),
189a9ded601SYang Zhong };
190a9ded601SYang Zhong 
191a9ded601SYang Zhong static void register_accel_types(void)
192a9ded601SYang Zhong {
193a9ded601SYang Zhong     type_register_static(&tcg_accel_type);
194a9ded601SYang Zhong }
195a9ded601SYang Zhong 
196a9ded601SYang Zhong type_init(register_accel_types);
197