xref: /openbmc/qemu/contrib/plugins/lockstep.c (revision 90bb6d67)
1 /*
2  * Lockstep Execution Plugin
3  *
4  * Allows you to execute two QEMU instances in lockstep and report
5  * when their execution diverges. This is mainly useful for developers
6  * who want to see where a change to TCG code generation has
7  * introduced a subtle and hard to find bug.
8  *
9  * Caveats:
10  *   - single-threaded linux-user apps only with non-deterministic syscalls
11  *   - no MTTCG enabled system emulation (icount may help)
12  *
13  * While icount makes things more deterministic it doesn't mean a
14  * particular run may execute the exact same sequence of blocks. An
15  * asynchronous event (for example X11 graphics update) may cause a
16  * block to end early and a new partial block to start. This means
17  * serial only test cases are a better bet. -d nochain may also help.
18  *
19  * This code is not thread safe!
20  *
21  * Copyright (c) 2020 Linaro Ltd
22  *
23  * SPDX-License-Identifier: GPL-2.0-or-later
24  */
25 
26 #include <glib.h>
27 #include <inttypes.h>
28 #include <unistd.h>
29 #include <sys/socket.h>
30 #include <sys/un.h>
31 #include <stdio.h>
32 #include <errno.h>
33 
34 #include <qemu-plugin.h>
35 
36 QEMU_PLUGIN_EXPORT int qemu_plugin_version = QEMU_PLUGIN_VERSION;
37 
38 /* saved so we can uninstall later */
39 static qemu_plugin_id_t our_id;
40 
41 static unsigned long bb_count;
42 static unsigned long insn_count;
43 
44 /* Information about a translated block */
45 typedef struct {
46     uint64_t pc;
47     uint64_t insns;
48 } BlockInfo;
49 
50 /* Information about an execution state in the log */
51 typedef struct {
52     BlockInfo *block;
53     unsigned long insn_count;
54     unsigned long block_count;
55 } ExecInfo;
56 
57 /* The execution state we compare */
58 typedef struct {
59     uint64_t pc;
60     unsigned long insn_count;
61 } ExecState;
62 
63 typedef struct {
64     GSList *log_pos;
65     int distance;
66 } DivergeState;
67 
68 /* list of translated block info */
69 static GSList *blocks;
70 
71 /* execution log and points of divergence */
72 static GSList *log, *divergence_log;
73 
74 static int socket_fd;
75 static char *path_to_unlink;
76 
77 static bool verbose;
78 
79 static void plugin_cleanup(qemu_plugin_id_t id)
80 {
81     /* Free our block data */
82     g_slist_free_full(blocks, &g_free);
83     g_slist_free_full(log, &g_free);
84     g_slist_free(divergence_log);
85 
86     close(socket_fd);
87     if (path_to_unlink) {
88         unlink(path_to_unlink);
89     }
90 }
91 
92 static void plugin_exit(qemu_plugin_id_t id, void *p)
93 {
94     g_autoptr(GString) out = g_string_new("No divergence :-)\n");
95     g_string_append_printf(out, "Executed %ld/%d blocks\n",
96                            bb_count, g_slist_length(log));
97     g_string_append_printf(out, "Executed ~%ld instructions\n", insn_count);
98     qemu_plugin_outs(out->str);
99 
100     plugin_cleanup(id);
101 }
102 
103 static void report_divergance(ExecState *us, ExecState *them)
104 {
105     DivergeState divrec = { log, 0 };
106     g_autoptr(GString) out = g_string_new("");
107     bool diverged = false;
108 
109     /*
110      * If we have diverged before did we get back on track or are we
111      * totally losing it?
112      */
113     if (divergence_log) {
114         DivergeState *last = (DivergeState *) divergence_log->data;
115         GSList *entry;
116 
117         for (entry = log; g_slist_next(entry); entry = g_slist_next(entry)) {
118             if (entry == last->log_pos) {
119                 break;
120             }
121             divrec.distance++;
122         }
123 
124         /*
125          * If the last two records are so close it is likely we will
126          * not recover synchronisation with the other end.
127          */
128         if (divrec.distance == 1 && last->distance == 1) {
129             diverged = true;
130         }
131     }
132     divergence_log = g_slist_prepend(divergence_log,
133                                      g_memdup2(&divrec, sizeof(divrec)));
134 
135     /* Output short log entry of going out of sync... */
136     if (verbose || divrec.distance == 1 || diverged) {
137         g_string_printf(out,
138                         "@ 0x%016" PRIx64 " vs 0x%016" PRIx64
139                         " (%d/%d since last)\n",
140                         us->pc, them->pc, g_slist_length(divergence_log),
141                         divrec.distance);
142         qemu_plugin_outs(out->str);
143     }
144 
145     if (diverged) {
146         int i;
147         GSList *entry;
148 
149         g_string_printf(out,
150                         "Δ insn_count @ 0x%016" PRIx64
151                         " (%ld) vs 0x%016" PRIx64 " (%ld)\n",
152                         us->pc, us->insn_count, them->pc, them->insn_count);
153 
154         for (entry = log, i = 0;
155              g_slist_next(entry) && i < 5;
156              entry = g_slist_next(entry), i++) {
157             ExecInfo *prev = (ExecInfo *) entry->data;
158             g_string_append_printf(out,
159                                    "  previously @ 0x%016" PRIx64 "/%" PRId64
160                                    " (%ld insns)\n",
161                                    prev->block->pc, prev->block->insns,
162                                    prev->insn_count);
163         }
164         qemu_plugin_outs(out->str);
165         qemu_plugin_outs("too much divergence... giving up.");
166         qemu_plugin_uninstall(our_id, plugin_cleanup);
167     }
168 }
169 
170 static void vcpu_tb_exec(unsigned int cpu_index, void *udata)
171 {
172     BlockInfo *bi = (BlockInfo *) udata;
173     ExecState us, them;
174     ssize_t bytes;
175     ExecInfo *exec;
176 
177     us.pc = bi->pc;
178     us.insn_count = insn_count;
179 
180     /*
181      * Write our current position to the other end. If we fail the
182      * other end has probably died and we should shut down gracefully.
183      */
184     bytes = write(socket_fd, &us, sizeof(ExecState));
185     if (bytes < sizeof(ExecState)) {
186         qemu_plugin_outs(bytes < 0 ?
187                          "problem writing to socket" :
188                          "wrote less than expected to socket");
189         qemu_plugin_uninstall(our_id, plugin_cleanup);
190         return;
191     }
192 
193     /*
194      * Now read where our peer has reached. Again a failure probably
195      * indicates the other end died and we should close down cleanly.
196      */
197     bytes = read(socket_fd, &them, sizeof(ExecState));
198     if (bytes < sizeof(ExecState)) {
199         qemu_plugin_outs(bytes < 0 ?
200                          "problem reading from socket" :
201                          "read less than expected");
202         qemu_plugin_uninstall(our_id, plugin_cleanup);
203         return;
204     }
205 
206     /*
207      * Compare and report if we have diverged.
208      */
209     if (us.pc != them.pc) {
210         report_divergance(&us, &them);
211     }
212 
213     /*
214      * Assume this block will execute fully and record it
215      * in the execution log.
216      */
217     insn_count += bi->insns;
218     bb_count++;
219     exec = g_new0(ExecInfo, 1);
220     exec->block = bi;
221     exec->insn_count = insn_count;
222     exec->block_count = bb_count;
223     log = g_slist_prepend(log, exec);
224 }
225 
226 static void vcpu_tb_trans(qemu_plugin_id_t id, struct qemu_plugin_tb *tb)
227 {
228     BlockInfo *bi = g_new0(BlockInfo, 1);
229     bi->pc = qemu_plugin_tb_vaddr(tb);
230     bi->insns = qemu_plugin_tb_n_insns(tb);
231 
232     /* save a reference so we can free later */
233     blocks = g_slist_prepend(blocks, bi);
234     qemu_plugin_register_vcpu_tb_exec_cb(tb, vcpu_tb_exec,
235                                          QEMU_PLUGIN_CB_NO_REGS, (void *)bi);
236 }
237 
238 
239 /*
240  * Instead of encoding master/slave status into what is essentially
241  * two peers we shall just take the simple approach of checking for
242  * the existence of the pipe and assuming if it's not there we are the
243  * first process.
244  */
245 static bool setup_socket(const char *path)
246 {
247     struct sockaddr_un sockaddr;
248     const gsize pathlen = sizeof(sockaddr.sun_path) - 1;
249     int fd;
250 
251     fd = socket(AF_UNIX, SOCK_STREAM, 0);
252     if (fd < 0) {
253         perror("create socket");
254         return false;
255     }
256 
257     sockaddr.sun_family = AF_UNIX;
258     if (g_strlcpy(sockaddr.sun_path, path, pathlen) >= pathlen) {
259         perror("bad path");
260         close(fd);
261         return false;
262     }
263 
264     if (bind(fd, (struct sockaddr *)&sockaddr, sizeof(sockaddr)) < 0) {
265         perror("bind socket");
266         close(fd);
267         return false;
268     }
269 
270     /* remember to clean-up */
271     path_to_unlink = g_strdup(path);
272 
273     if (listen(fd, 1) < 0) {
274         perror("listen socket");
275         close(fd);
276         return false;
277     }
278 
279     socket_fd = accept(fd, NULL, NULL);
280     if (socket_fd < 0 && errno != EINTR) {
281         perror("accept socket");
282         close(fd);
283         return false;
284     }
285 
286     qemu_plugin_outs("setup_socket::ready\n");
287 
288     close(fd);
289     return true;
290 }
291 
292 static bool connect_socket(const char *path)
293 {
294     int fd;
295     struct sockaddr_un sockaddr;
296     const gsize pathlen = sizeof(sockaddr.sun_path) - 1;
297 
298     fd = socket(AF_UNIX, SOCK_STREAM, 0);
299     if (fd < 0) {
300         perror("create socket");
301         return false;
302     }
303 
304     sockaddr.sun_family = AF_UNIX;
305     if (g_strlcpy(sockaddr.sun_path, path, pathlen) >= pathlen) {
306         perror("bad path");
307         close(fd);
308         return false;
309     }
310 
311     if (connect(fd, (struct sockaddr *)&sockaddr, sizeof(sockaddr)) < 0) {
312         perror("failed to connect");
313         close(fd);
314         return false;
315     }
316 
317     qemu_plugin_outs("connect_socket::ready\n");
318 
319     socket_fd = fd;
320     return true;
321 }
322 
323 static bool setup_unix_socket(const char *path)
324 {
325     if (g_file_test(path, G_FILE_TEST_EXISTS)) {
326         return connect_socket(path);
327     } else {
328         return setup_socket(path);
329     }
330 }
331 
332 
333 QEMU_PLUGIN_EXPORT int qemu_plugin_install(qemu_plugin_id_t id,
334                                            const qemu_info_t *info,
335                                            int argc, char **argv)
336 {
337     int i;
338     g_autofree char *sock_path = NULL;
339 
340     for (i = 0; i < argc; i++) {
341         char *p = argv[i];
342         g_auto(GStrv) tokens = g_strsplit(p, "=", 2);
343 
344         if (g_strcmp0(tokens[0], "verbose") == 0) {
345             if (!qemu_plugin_bool_parse(tokens[0], tokens[1], &verbose)) {
346                 fprintf(stderr, "boolean argument parsing failed: %s\n", p);
347                 return -1;
348             }
349         } else if (g_strcmp0(tokens[0], "sockpath") == 0) {
350             sock_path = tokens[1];
351         } else {
352             fprintf(stderr, "option parsing failed: %s\n", p);
353             return -1;
354         }
355     }
356 
357     if (sock_path == NULL) {
358         fprintf(stderr, "Need a socket path to talk to other instance.\n");
359         return -1;
360     }
361 
362     if (!setup_unix_socket(sock_path)) {
363         fprintf(stderr, "Failed to setup socket for communications.\n");
364         return -1;
365     }
366 
367     our_id = id;
368 
369     qemu_plugin_register_vcpu_tb_trans_cb(id, vcpu_tb_trans);
370     qemu_plugin_register_atexit_cb(id, plugin_exit, NULL);
371     return 0;
372 }
373