]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * COarse-grain LOck-stepping Virtual Machines for Non-stop Service (COLO) | |
3 | * (a.k.a. Fault Tolerance or Continuous Replication) | |
4 | * | |
5 | * Copyright (c) 2016 HUAWEI TECHNOLOGIES CO., LTD. | |
6 | * Copyright (c) 2016 FUJITSU LIMITED | |
7 | * Copyright (c) 2016 Intel Corporation | |
8 | * | |
9 | * Author: Zhang Chen <zhangchen.fnst@cn.fujitsu.com> | |
10 | * | |
11 | * This work is licensed under the terms of the GNU GPL, version 2 or | |
12 | * later. See the COPYING file in the top-level directory. | |
13 | */ | |
14 | ||
15 | #include "qemu/osdep.h" | |
16 | #include "qemu/error-report.h" | |
17 | #include "trace.h" | |
18 | #include "qapi/error.h" | |
19 | #include "net/net.h" | |
20 | #include "net/eth.h" | |
21 | #include "qom/object_interfaces.h" | |
22 | #include "qemu/iov.h" | |
23 | #include "qom/object.h" | |
24 | #include "net/queue.h" | |
25 | #include "chardev/char-fe.h" | |
26 | #include "qemu/sockets.h" | |
27 | #include "colo.h" | |
28 | #include "sysemu/iothread.h" | |
29 | #include "net/colo-compare.h" | |
30 | #include "migration/colo.h" | |
31 | #include "migration/migration.h" | |
32 | #include "util.h" | |
33 | ||
34 | #include "block/aio-wait.h" | |
35 | #include "qemu/coroutine.h" | |
36 | ||
37 | #define TYPE_COLO_COMPARE "colo-compare" | |
38 | typedef struct CompareState CompareState; | |
39 | DECLARE_INSTANCE_CHECKER(CompareState, COLO_COMPARE, | |
40 | TYPE_COLO_COMPARE) | |
41 | ||
42 | static QTAILQ_HEAD(, CompareState) net_compares = | |
43 | QTAILQ_HEAD_INITIALIZER(net_compares); | |
44 | ||
45 | static NotifierList colo_compare_notifiers = | |
46 | NOTIFIER_LIST_INITIALIZER(colo_compare_notifiers); | |
47 | ||
48 | #define COMPARE_READ_LEN_MAX NET_BUFSIZE | |
49 | #define MAX_QUEUE_SIZE 1024 | |
50 | ||
51 | #define COLO_COMPARE_FREE_PRIMARY 0x01 | |
52 | #define COLO_COMPARE_FREE_SECONDARY 0x02 | |
53 | ||
54 | #define REGULAR_PACKET_CHECK_MS 1000 | |
55 | #define DEFAULT_TIME_OUT_MS 3000 | |
56 | ||
57 | /* #define DEBUG_COLO_PACKETS */ | |
58 | ||
59 | static QemuMutex colo_compare_mutex; | |
60 | static bool colo_compare_active; | |
61 | static QemuMutex event_mtx; | |
62 | static QemuCond event_complete_cond; | |
63 | static int event_unhandled_count; | |
64 | static uint32_t max_queue_size; | |
65 | ||
66 | /* | |
67 | * + CompareState ++ | |
68 | * | | | |
69 | * +---------------+ +---------------+ +---------------+ | |
70 | * | conn list + - > conn + ------- > conn + -- > ...... | |
71 | * +---------------+ +---------------+ +---------------+ | |
72 | * | | | | | | | |
73 | * +---------------+ +---v----+ +---v----+ +---v----+ +---v----+ | |
74 | * |primary | |secondary |primary | |secondary | |
75 | * |packet | |packet + |packet | |packet + | |
76 | * +--------+ +--------+ +--------+ +--------+ | |
77 | * | | | | | |
78 | * +---v----+ +---v----+ +---v----+ +---v----+ | |
79 | * |primary | |secondary |primary | |secondary | |
80 | * |packet | |packet + |packet | |packet + | |
81 | * +--------+ +--------+ +--------+ +--------+ | |
82 | * | | | | | |
83 | * +---v----+ +---v----+ +---v----+ +---v----+ | |
84 | * |primary | |secondary |primary | |secondary | |
85 | * |packet | |packet + |packet | |packet + | |
86 | * +--------+ +--------+ +--------+ +--------+ | |
87 | */ | |
88 | ||
89 | typedef struct SendCo { | |
90 | Coroutine *co; | |
91 | struct CompareState *s; | |
92 | CharBackend *chr; | |
93 | GQueue send_list; | |
94 | bool notify_remote_frame; | |
95 | bool done; | |
96 | int ret; | |
97 | } SendCo; | |
98 | ||
99 | typedef struct SendEntry { | |
100 | uint32_t size; | |
101 | uint32_t vnet_hdr_len; | |
102 | uint8_t *buf; | |
103 | } SendEntry; | |
104 | ||
105 | struct CompareState { | |
106 | Object parent; | |
107 | ||
108 | char *pri_indev; | |
109 | char *sec_indev; | |
110 | char *outdev; | |
111 | char *notify_dev; | |
112 | CharBackend chr_pri_in; | |
113 | CharBackend chr_sec_in; | |
114 | CharBackend chr_out; | |
115 | CharBackend chr_notify_dev; | |
116 | SocketReadState pri_rs; | |
117 | SocketReadState sec_rs; | |
118 | SocketReadState notify_rs; | |
119 | SendCo out_sendco; | |
120 | SendCo notify_sendco; | |
121 | bool vnet_hdr; | |
122 | uint64_t compare_timeout; | |
123 | uint32_t expired_scan_cycle; | |
124 | ||
125 | /* | |
126 | * Record the connection that through the NIC | |
127 | * Element type: Connection | |
128 | */ | |
129 | GQueue conn_list; | |
130 | /* Record the connection without repetition */ | |
131 | GHashTable *connection_track_table; | |
132 | ||
133 | IOThread *iothread; | |
134 | GMainContext *worker_context; | |
135 | QEMUTimer *packet_check_timer; | |
136 | ||
137 | QEMUBH *event_bh; | |
138 | enum colo_event event; | |
139 | ||
140 | QTAILQ_ENTRY(CompareState) next; | |
141 | }; | |
142 | ||
143 | typedef struct CompareClass { | |
144 | ObjectClass parent_class; | |
145 | } CompareClass; | |
146 | ||
147 | enum { | |
148 | PRIMARY_IN = 0, | |
149 | SECONDARY_IN, | |
150 | }; | |
151 | ||
152 | static const char *colo_mode[] = { | |
153 | [PRIMARY_IN] = "primary", | |
154 | [SECONDARY_IN] = "secondary", | |
155 | }; | |
156 | ||
157 | static int compare_chr_send(CompareState *s, | |
158 | uint8_t *buf, | |
159 | uint32_t size, | |
160 | uint32_t vnet_hdr_len, | |
161 | bool notify_remote_frame, | |
162 | bool zero_copy); | |
163 | ||
164 | static bool packet_matches_str(const char *str, | |
165 | const uint8_t *buf, | |
166 | uint32_t packet_len) | |
167 | { | |
168 | if (packet_len != strlen(str)) { | |
169 | return false; | |
170 | } | |
171 | ||
172 | return !memcmp(str, buf, packet_len); | |
173 | } | |
174 | ||
175 | static void notify_remote_frame(CompareState *s) | |
176 | { | |
177 | char msg[] = "DO_CHECKPOINT"; | |
178 | int ret = 0; | |
179 | ||
180 | ret = compare_chr_send(s, (uint8_t *)msg, strlen(msg), 0, true, false); | |
181 | if (ret < 0) { | |
182 | error_report("Notify Xen COLO-frame failed"); | |
183 | } | |
184 | } | |
185 | ||
186 | static void colo_compare_inconsistency_notify(CompareState *s) | |
187 | { | |
188 | if (s->notify_dev) { | |
189 | notify_remote_frame(s); | |
190 | } else { | |
191 | notifier_list_notify(&colo_compare_notifiers, | |
192 | migrate_get_current()); | |
193 | } | |
194 | } | |
195 | ||
196 | /* Use restricted to colo_insert_packet() */ | |
197 | static gint seq_sorter(Packet *a, Packet *b, gpointer data) | |
198 | { | |
199 | return b->tcp_seq - a->tcp_seq; | |
200 | } | |
201 | ||
202 | static void fill_pkt_tcp_info(void *data, uint32_t *max_ack) | |
203 | { | |
204 | Packet *pkt = data; | |
205 | struct tcp_hdr *tcphd; | |
206 | ||
207 | tcphd = (struct tcp_hdr *)pkt->transport_header; | |
208 | ||
209 | pkt->tcp_seq = ntohl(tcphd->th_seq); | |
210 | pkt->tcp_ack = ntohl(tcphd->th_ack); | |
211 | /* Need to consider ACK will bigger than uint32_t MAX */ | |
212 | *max_ack = pkt->tcp_ack - *max_ack > 0 ? pkt->tcp_ack : *max_ack; | |
213 | pkt->header_size = pkt->transport_header - (uint8_t *)pkt->data | |
214 | + (tcphd->th_off << 2); | |
215 | pkt->payload_size = pkt->size - pkt->header_size; | |
216 | pkt->seq_end = pkt->tcp_seq + pkt->payload_size; | |
217 | pkt->flags = tcphd->th_flags; | |
218 | } | |
219 | ||
220 | /* | |
221 | * Return 1 on success, if return 0 means the | |
222 | * packet will be dropped | |
223 | */ | |
224 | static int colo_insert_packet(GQueue *queue, Packet *pkt, uint32_t *max_ack) | |
225 | { | |
226 | if (g_queue_get_length(queue) <= max_queue_size) { | |
227 | if (pkt->ip->ip_p == IPPROTO_TCP) { | |
228 | fill_pkt_tcp_info(pkt, max_ack); | |
229 | g_queue_insert_sorted(queue, | |
230 | pkt, | |
231 | (GCompareDataFunc)seq_sorter, | |
232 | NULL); | |
233 | } else { | |
234 | g_queue_push_tail(queue, pkt); | |
235 | } | |
236 | return 1; | |
237 | } | |
238 | return 0; | |
239 | } | |
240 | ||
241 | /* | |
242 | * Return 0 on success, if return -1 means the pkt | |
243 | * is unsupported(arp and ipv6) and will be sent later | |
244 | */ | |
245 | static int packet_enqueue(CompareState *s, int mode, Connection **con) | |
246 | { | |
247 | ConnectionKey key; | |
248 | Packet *pkt = NULL; | |
249 | Connection *conn; | |
250 | int ret; | |
251 | ||
252 | if (mode == PRIMARY_IN) { | |
253 | pkt = packet_new(s->pri_rs.buf, | |
254 | s->pri_rs.packet_len, | |
255 | s->pri_rs.vnet_hdr_len); | |
256 | } else { | |
257 | pkt = packet_new(s->sec_rs.buf, | |
258 | s->sec_rs.packet_len, | |
259 | s->sec_rs.vnet_hdr_len); | |
260 | } | |
261 | ||
262 | if (parse_packet_early(pkt)) { | |
263 | packet_destroy(pkt, NULL); | |
264 | pkt = NULL; | |
265 | return -1; | |
266 | } | |
267 | fill_connection_key(pkt, &key, false); | |
268 | ||
269 | conn = connection_get(s->connection_track_table, | |
270 | &key, | |
271 | &s->conn_list); | |
272 | ||
273 | if (!conn->processing) { | |
274 | g_queue_push_tail(&s->conn_list, conn); | |
275 | conn->processing = true; | |
276 | } | |
277 | ||
278 | if (mode == PRIMARY_IN) { | |
279 | ret = colo_insert_packet(&conn->primary_list, pkt, &conn->pack); | |
280 | } else { | |
281 | ret = colo_insert_packet(&conn->secondary_list, pkt, &conn->sack); | |
282 | } | |
283 | ||
284 | if (!ret) { | |
285 | trace_colo_compare_drop_packet(colo_mode[mode], | |
286 | "queue size too big, drop packet"); | |
287 | packet_destroy(pkt, NULL); | |
288 | pkt = NULL; | |
289 | } | |
290 | ||
291 | *con = conn; | |
292 | ||
293 | return 0; | |
294 | } | |
295 | ||
296 | static inline bool after(uint32_t seq1, uint32_t seq2) | |
297 | { | |
298 | return (int32_t)(seq1 - seq2) > 0; | |
299 | } | |
300 | ||
301 | static void colo_release_primary_pkt(CompareState *s, Packet *pkt) | |
302 | { | |
303 | int ret; | |
304 | ret = compare_chr_send(s, | |
305 | pkt->data, | |
306 | pkt->size, | |
307 | pkt->vnet_hdr_len, | |
308 | false, | |
309 | true); | |
310 | if (ret < 0) { | |
311 | error_report("colo send primary packet failed"); | |
312 | } | |
313 | trace_colo_compare_main("packet same and release packet"); | |
314 | packet_destroy_partial(pkt, NULL); | |
315 | } | |
316 | ||
317 | /* | |
318 | * The IP packets sent by primary and secondary | |
319 | * will be compared in here | |
320 | * TODO support ip fragment, Out-Of-Order | |
321 | * return: 0 means packet same | |
322 | * > 0 || < 0 means packet different | |
323 | */ | |
324 | static int colo_compare_packet_payload(Packet *ppkt, | |
325 | Packet *spkt, | |
326 | uint16_t poffset, | |
327 | uint16_t soffset, | |
328 | uint16_t len) | |
329 | ||
330 | { | |
331 | if (trace_event_get_state_backends(TRACE_COLO_COMPARE_IP_INFO)) { | |
332 | char pri_ip_src[20], pri_ip_dst[20], sec_ip_src[20], sec_ip_dst[20]; | |
333 | ||
334 | strcpy(pri_ip_src, inet_ntoa(ppkt->ip->ip_src)); | |
335 | strcpy(pri_ip_dst, inet_ntoa(ppkt->ip->ip_dst)); | |
336 | strcpy(sec_ip_src, inet_ntoa(spkt->ip->ip_src)); | |
337 | strcpy(sec_ip_dst, inet_ntoa(spkt->ip->ip_dst)); | |
338 | ||
339 | trace_colo_compare_ip_info(ppkt->size, pri_ip_src, | |
340 | pri_ip_dst, spkt->size, | |
341 | sec_ip_src, sec_ip_dst); | |
342 | } | |
343 | ||
344 | return memcmp(ppkt->data + poffset, spkt->data + soffset, len); | |
345 | } | |
346 | ||
347 | /* | |
348 | * return true means that the payload is consist and | |
349 | * need to make the next comparison, false means do | |
350 | * the checkpoint | |
351 | */ | |
352 | static bool colo_mark_tcp_pkt(Packet *ppkt, Packet *spkt, | |
353 | int8_t *mark, uint32_t max_ack) | |
354 | { | |
355 | *mark = 0; | |
356 | ||
357 | if (ppkt->tcp_seq == spkt->tcp_seq && ppkt->seq_end == spkt->seq_end) { | |
358 | if (!colo_compare_packet_payload(ppkt, spkt, | |
359 | ppkt->header_size, spkt->header_size, | |
360 | ppkt->payload_size)) { | |
361 | *mark = COLO_COMPARE_FREE_SECONDARY | COLO_COMPARE_FREE_PRIMARY; | |
362 | return true; | |
363 | } | |
364 | } | |
365 | ||
366 | /* one part of secondary packet payload still need to be compared */ | |
367 | if (!after(ppkt->seq_end, spkt->seq_end)) { | |
368 | if (!colo_compare_packet_payload(ppkt, spkt, | |
369 | ppkt->header_size + ppkt->offset, | |
370 | spkt->header_size + spkt->offset, | |
371 | ppkt->payload_size - ppkt->offset)) { | |
372 | if (!after(ppkt->tcp_ack, max_ack)) { | |
373 | *mark = COLO_COMPARE_FREE_PRIMARY; | |
374 | spkt->offset += ppkt->payload_size - ppkt->offset; | |
375 | return true; | |
376 | } else { | |
377 | /* secondary guest hasn't ack the data, don't send | |
378 | * out this packet | |
379 | */ | |
380 | return false; | |
381 | } | |
382 | } | |
383 | } else { | |
384 | /* primary packet is longer than secondary packet, compare | |
385 | * the same part and mark the primary packet offset | |
386 | */ | |
387 | if (!colo_compare_packet_payload(ppkt, spkt, | |
388 | ppkt->header_size + ppkt->offset, | |
389 | spkt->header_size + spkt->offset, | |
390 | spkt->payload_size - spkt->offset)) { | |
391 | *mark = COLO_COMPARE_FREE_SECONDARY; | |
392 | ppkt->offset += spkt->payload_size - spkt->offset; | |
393 | return true; | |
394 | } | |
395 | } | |
396 | ||
397 | return false; | |
398 | } | |
399 | ||
400 | static void colo_compare_tcp(CompareState *s, Connection *conn) | |
401 | { | |
402 | Packet *ppkt = NULL, *spkt = NULL; | |
403 | int8_t mark; | |
404 | ||
405 | /* | |
406 | * If ppkt and spkt have the same payload, but ppkt's ACK | |
407 | * is greater than spkt's ACK, in this case we can not | |
408 | * send the ppkt because it will cause the secondary guest | |
409 | * to miss sending some data in the next. Therefore, we | |
410 | * record the maximum ACK in the current queue at both | |
411 | * primary side and secondary side. Only when the ack is | |
412 | * less than the smaller of the two maximum ack, then we | |
413 | * can ensure that the packet's payload is acknowledged by | |
414 | * primary and secondary. | |
415 | */ | |
416 | uint32_t min_ack = conn->pack - conn->sack > 0 ? | |
417 | conn->sack : conn->pack; | |
418 | ||
419 | pri: | |
420 | if (g_queue_is_empty(&conn->primary_list)) { | |
421 | return; | |
422 | } | |
423 | ppkt = g_queue_pop_tail(&conn->primary_list); | |
424 | sec: | |
425 | if (g_queue_is_empty(&conn->secondary_list)) { | |
426 | g_queue_push_tail(&conn->primary_list, ppkt); | |
427 | return; | |
428 | } | |
429 | spkt = g_queue_pop_tail(&conn->secondary_list); | |
430 | ||
431 | if (ppkt->tcp_seq == ppkt->seq_end) { | |
432 | colo_release_primary_pkt(s, ppkt); | |
433 | ppkt = NULL; | |
434 | } | |
435 | ||
436 | if (ppkt && conn->compare_seq && !after(ppkt->seq_end, conn->compare_seq)) { | |
437 | trace_colo_compare_main("pri: this packet has compared"); | |
438 | colo_release_primary_pkt(s, ppkt); | |
439 | ppkt = NULL; | |
440 | } | |
441 | ||
442 | if (spkt->tcp_seq == spkt->seq_end) { | |
443 | packet_destroy(spkt, NULL); | |
444 | if (!ppkt) { | |
445 | goto pri; | |
446 | } else { | |
447 | goto sec; | |
448 | } | |
449 | } else { | |
450 | if (conn->compare_seq && !after(spkt->seq_end, conn->compare_seq)) { | |
451 | trace_colo_compare_main("sec: this packet has compared"); | |
452 | packet_destroy(spkt, NULL); | |
453 | if (!ppkt) { | |
454 | goto pri; | |
455 | } else { | |
456 | goto sec; | |
457 | } | |
458 | } | |
459 | if (!ppkt) { | |
460 | g_queue_push_tail(&conn->secondary_list, spkt); | |
461 | goto pri; | |
462 | } | |
463 | } | |
464 | ||
465 | if (colo_mark_tcp_pkt(ppkt, spkt, &mark, min_ack)) { | |
466 | trace_colo_compare_tcp_info("pri", | |
467 | ppkt->tcp_seq, ppkt->tcp_ack, | |
468 | ppkt->header_size, ppkt->payload_size, | |
469 | ppkt->offset, ppkt->flags); | |
470 | ||
471 | trace_colo_compare_tcp_info("sec", | |
472 | spkt->tcp_seq, spkt->tcp_ack, | |
473 | spkt->header_size, spkt->payload_size, | |
474 | spkt->offset, spkt->flags); | |
475 | ||
476 | if (mark == COLO_COMPARE_FREE_PRIMARY) { | |
477 | conn->compare_seq = ppkt->seq_end; | |
478 | colo_release_primary_pkt(s, ppkt); | |
479 | g_queue_push_tail(&conn->secondary_list, spkt); | |
480 | goto pri; | |
481 | } else if (mark == COLO_COMPARE_FREE_SECONDARY) { | |
482 | conn->compare_seq = spkt->seq_end; | |
483 | packet_destroy(spkt, NULL); | |
484 | goto sec; | |
485 | } else if (mark == (COLO_COMPARE_FREE_PRIMARY | COLO_COMPARE_FREE_SECONDARY)) { | |
486 | conn->compare_seq = ppkt->seq_end; | |
487 | colo_release_primary_pkt(s, ppkt); | |
488 | packet_destroy(spkt, NULL); | |
489 | goto pri; | |
490 | } | |
491 | } else { | |
492 | g_queue_push_tail(&conn->primary_list, ppkt); | |
493 | g_queue_push_tail(&conn->secondary_list, spkt); | |
494 | ||
495 | #ifdef DEBUG_COLO_PACKETS | |
496 | qemu_hexdump(stderr, "colo-compare ppkt", ppkt->data, ppkt->size); | |
497 | qemu_hexdump(stderr, "colo-compare spkt", spkt->data, spkt->size); | |
498 | #endif | |
499 | ||
500 | colo_compare_inconsistency_notify(s); | |
501 | } | |
502 | } | |
503 | ||
504 | ||
505 | /* | |
506 | * Called from the compare thread on the primary | |
507 | * for compare udp packet | |
508 | */ | |
509 | static int colo_packet_compare_udp(Packet *spkt, Packet *ppkt) | |
510 | { | |
511 | uint16_t network_header_length = ppkt->ip->ip_hl << 2; | |
512 | uint16_t offset = network_header_length + ETH_HLEN + ppkt->vnet_hdr_len; | |
513 | ||
514 | trace_colo_compare_main("compare udp"); | |
515 | ||
516 | /* | |
517 | * Because of ppkt and spkt are both in the same connection, | |
518 | * The ppkt's src ip, dst ip, src port, dst port, ip_proto all are | |
519 | * same with spkt. In addition, IP header's Identification is a random | |
520 | * field, we can handle it in IP fragmentation function later. | |
521 | * COLO just concern the response net packet payload from primary guest | |
522 | * and secondary guest are same or not, So we ignored all IP header include | |
523 | * other field like TOS,TTL,IP Checksum. we only need to compare | |
524 | * the ip payload here. | |
525 | */ | |
526 | if (ppkt->size != spkt->size) { | |
527 | trace_colo_compare_main("UDP: payload size of packets are different"); | |
528 | return -1; | |
529 | } | |
530 | if (colo_compare_packet_payload(ppkt, spkt, offset, offset, | |
531 | ppkt->size - offset)) { | |
532 | trace_colo_compare_udp_miscompare("primary pkt size", ppkt->size); | |
533 | trace_colo_compare_udp_miscompare("Secondary pkt size", spkt->size); | |
534 | #ifdef DEBUG_COLO_PACKETS | |
535 | qemu_hexdump(stderr, "colo-compare pri pkt", ppkt->data, ppkt->size); | |
536 | qemu_hexdump(stderr, "colo-compare sec pkt", spkt->data, spkt->size); | |
537 | #endif | |
538 | return -1; | |
539 | } else { | |
540 | return 0; | |
541 | } | |
542 | } | |
543 | ||
544 | /* | |
545 | * Called from the compare thread on the primary | |
546 | * for compare icmp packet | |
547 | */ | |
548 | static int colo_packet_compare_icmp(Packet *spkt, Packet *ppkt) | |
549 | { | |
550 | uint16_t network_header_length = ppkt->ip->ip_hl << 2; | |
551 | uint16_t offset = network_header_length + ETH_HLEN + ppkt->vnet_hdr_len; | |
552 | ||
553 | trace_colo_compare_main("compare icmp"); | |
554 | ||
555 | /* | |
556 | * Because of ppkt and spkt are both in the same connection, | |
557 | * The ppkt's src ip, dst ip, src port, dst port, ip_proto all are | |
558 | * same with spkt. In addition, IP header's Identification is a random | |
559 | * field, we can handle it in IP fragmentation function later. | |
560 | * COLO just concern the response net packet payload from primary guest | |
561 | * and secondary guest are same or not, So we ignored all IP header include | |
562 | * other field like TOS,TTL,IP Checksum. we only need to compare | |
563 | * the ip payload here. | |
564 | */ | |
565 | if (ppkt->size != spkt->size) { | |
566 | trace_colo_compare_main("ICMP: payload size of packets are different"); | |
567 | return -1; | |
568 | } | |
569 | if (colo_compare_packet_payload(ppkt, spkt, offset, offset, | |
570 | ppkt->size - offset)) { | |
571 | trace_colo_compare_icmp_miscompare("primary pkt size", | |
572 | ppkt->size); | |
573 | trace_colo_compare_icmp_miscompare("Secondary pkt size", | |
574 | spkt->size); | |
575 | #ifdef DEBUG_COLO_PACKETS | |
576 | qemu_hexdump(stderr, "colo-compare pri pkt", ppkt->data, ppkt->size); | |
577 | qemu_hexdump(stderr, "colo-compare sec pkt", spkt->data, spkt->size); | |
578 | #endif | |
579 | return -1; | |
580 | } else { | |
581 | return 0; | |
582 | } | |
583 | } | |
584 | ||
585 | /* | |
586 | * Called from the compare thread on the primary | |
587 | * for compare other packet | |
588 | */ | |
589 | static int colo_packet_compare_other(Packet *spkt, Packet *ppkt) | |
590 | { | |
591 | uint16_t offset = ppkt->vnet_hdr_len; | |
592 | ||
593 | trace_colo_compare_main("compare other"); | |
594 | if (ppkt->size != spkt->size) { | |
595 | trace_colo_compare_main("Other: payload size of packets are different"); | |
596 | return -1; | |
597 | } | |
598 | return colo_compare_packet_payload(ppkt, spkt, offset, offset, | |
599 | ppkt->size - offset); | |
600 | } | |
601 | ||
602 | static int colo_old_packet_check_one(Packet *pkt, int64_t *check_time) | |
603 | { | |
604 | int64_t now = qemu_clock_get_ms(QEMU_CLOCK_HOST); | |
605 | ||
606 | if ((now - pkt->creation_ms) > (*check_time)) { | |
607 | trace_colo_old_packet_check_found(pkt->creation_ms); | |
608 | return 0; | |
609 | } else { | |
610 | return 1; | |
611 | } | |
612 | } | |
613 | ||
614 | void colo_compare_register_notifier(Notifier *notify) | |
615 | { | |
616 | notifier_list_add(&colo_compare_notifiers, notify); | |
617 | } | |
618 | ||
619 | void colo_compare_unregister_notifier(Notifier *notify) | |
620 | { | |
621 | notifier_remove(notify); | |
622 | } | |
623 | ||
624 | static int colo_old_packet_check_one_conn(Connection *conn, | |
625 | CompareState *s) | |
626 | { | |
627 | if (!g_queue_is_empty(&conn->primary_list)) { | |
628 | if (g_queue_find_custom(&conn->primary_list, | |
629 | &s->compare_timeout, | |
630 | (GCompareFunc)colo_old_packet_check_one)) | |
631 | goto out; | |
632 | } | |
633 | ||
634 | if (!g_queue_is_empty(&conn->secondary_list)) { | |
635 | if (g_queue_find_custom(&conn->secondary_list, | |
636 | &s->compare_timeout, | |
637 | (GCompareFunc)colo_old_packet_check_one)) | |
638 | goto out; | |
639 | } | |
640 | ||
641 | return 1; | |
642 | ||
643 | out: | |
644 | /* Do checkpoint will flush old packet */ | |
645 | colo_compare_inconsistency_notify(s); | |
646 | return 0; | |
647 | } | |
648 | ||
649 | /* | |
650 | * Look for old packets that the secondary hasn't matched, | |
651 | * if we have some then we have to checkpoint to wake | |
652 | * the secondary up. | |
653 | */ | |
654 | static void colo_old_packet_check(void *opaque) | |
655 | { | |
656 | CompareState *s = opaque; | |
657 | ||
658 | /* | |
659 | * If we find one old packet, stop finding job and notify | |
660 | * COLO frame do checkpoint. | |
661 | */ | |
662 | g_queue_find_custom(&s->conn_list, s, | |
663 | (GCompareFunc)colo_old_packet_check_one_conn); | |
664 | } | |
665 | ||
666 | static void colo_compare_packet(CompareState *s, Connection *conn, | |
667 | int (*HandlePacket)(Packet *spkt, | |
668 | Packet *ppkt)) | |
669 | { | |
670 | Packet *pkt = NULL; | |
671 | GList *result = NULL; | |
672 | ||
673 | while (!g_queue_is_empty(&conn->primary_list) && | |
674 | !g_queue_is_empty(&conn->secondary_list)) { | |
675 | pkt = g_queue_pop_tail(&conn->primary_list); | |
676 | result = g_queue_find_custom(&conn->secondary_list, | |
677 | pkt, (GCompareFunc)HandlePacket); | |
678 | ||
679 | if (result) { | |
680 | colo_release_primary_pkt(s, pkt); | |
681 | packet_destroy(result->data, NULL); | |
682 | g_queue_delete_link(&conn->secondary_list, result); | |
683 | } else { | |
684 | /* | |
685 | * If one packet arrive late, the secondary_list or | |
686 | * primary_list will be empty, so we can't compare it | |
687 | * until next comparison. If the packets in the list are | |
688 | * timeout, it will trigger a checkpoint request. | |
689 | */ | |
690 | trace_colo_compare_main("packet different"); | |
691 | g_queue_push_tail(&conn->primary_list, pkt); | |
692 | ||
693 | colo_compare_inconsistency_notify(s); | |
694 | break; | |
695 | } | |
696 | } | |
697 | } | |
698 | ||
699 | /* | |
700 | * Called from the compare thread on the primary | |
701 | * for compare packet with secondary list of the | |
702 | * specified connection when a new packet was | |
703 | * queued to it. | |
704 | */ | |
705 | static void colo_compare_connection(void *opaque, void *user_data) | |
706 | { | |
707 | CompareState *s = user_data; | |
708 | Connection *conn = opaque; | |
709 | ||
710 | switch (conn->ip_proto) { | |
711 | case IPPROTO_TCP: | |
712 | colo_compare_tcp(s, conn); | |
713 | break; | |
714 | case IPPROTO_UDP: | |
715 | colo_compare_packet(s, conn, colo_packet_compare_udp); | |
716 | break; | |
717 | case IPPROTO_ICMP: | |
718 | colo_compare_packet(s, conn, colo_packet_compare_icmp); | |
719 | break; | |
720 | default: | |
721 | colo_compare_packet(s, conn, colo_packet_compare_other); | |
722 | break; | |
723 | } | |
724 | } | |
725 | ||
726 | static void coroutine_fn _compare_chr_send(void *opaque) | |
727 | { | |
728 | SendCo *sendco = opaque; | |
729 | CompareState *s = sendco->s; | |
730 | int ret = 0; | |
731 | ||
732 | while (!g_queue_is_empty(&sendco->send_list)) { | |
733 | SendEntry *entry = g_queue_pop_tail(&sendco->send_list); | |
734 | uint32_t len = htonl(entry->size); | |
735 | ||
736 | ret = qemu_chr_fe_write_all(sendco->chr, (uint8_t *)&len, sizeof(len)); | |
737 | ||
738 | if (ret != sizeof(len)) { | |
739 | g_free(entry->buf); | |
740 | g_slice_free(SendEntry, entry); | |
741 | goto err; | |
742 | } | |
743 | ||
744 | if (!sendco->notify_remote_frame && s->vnet_hdr) { | |
745 | /* | |
746 | * We send vnet header len make other module(like filter-redirector) | |
747 | * know how to parse net packet correctly. | |
748 | */ | |
749 | len = htonl(entry->vnet_hdr_len); | |
750 | ||
751 | ret = qemu_chr_fe_write_all(sendco->chr, | |
752 | (uint8_t *)&len, | |
753 | sizeof(len)); | |
754 | ||
755 | if (ret != sizeof(len)) { | |
756 | g_free(entry->buf); | |
757 | g_slice_free(SendEntry, entry); | |
758 | goto err; | |
759 | } | |
760 | } | |
761 | ||
762 | ret = qemu_chr_fe_write_all(sendco->chr, | |
763 | (uint8_t *)entry->buf, | |
764 | entry->size); | |
765 | ||
766 | if (ret != entry->size) { | |
767 | g_free(entry->buf); | |
768 | g_slice_free(SendEntry, entry); | |
769 | goto err; | |
770 | } | |
771 | ||
772 | g_free(entry->buf); | |
773 | g_slice_free(SendEntry, entry); | |
774 | } | |
775 | ||
776 | sendco->ret = 0; | |
777 | goto out; | |
778 | ||
779 | err: | |
780 | while (!g_queue_is_empty(&sendco->send_list)) { | |
781 | SendEntry *entry = g_queue_pop_tail(&sendco->send_list); | |
782 | g_free(entry->buf); | |
783 | g_slice_free(SendEntry, entry); | |
784 | } | |
785 | sendco->ret = ret < 0 ? ret : -EIO; | |
786 | out: | |
787 | sendco->co = NULL; | |
788 | sendco->done = true; | |
789 | aio_wait_kick(); | |
790 | } | |
791 | ||
792 | static int compare_chr_send(CompareState *s, | |
793 | uint8_t *buf, | |
794 | uint32_t size, | |
795 | uint32_t vnet_hdr_len, | |
796 | bool notify_remote_frame, | |
797 | bool zero_copy) | |
798 | { | |
799 | SendCo *sendco; | |
800 | SendEntry *entry; | |
801 | ||
802 | if (notify_remote_frame) { | |
803 | sendco = &s->notify_sendco; | |
804 | } else { | |
805 | sendco = &s->out_sendco; | |
806 | } | |
807 | ||
808 | if (!size) { | |
809 | return -1; | |
810 | } | |
811 | ||
812 | entry = g_slice_new(SendEntry); | |
813 | entry->size = size; | |
814 | entry->vnet_hdr_len = vnet_hdr_len; | |
815 | if (zero_copy) { | |
816 | entry->buf = buf; | |
817 | } else { | |
818 | entry->buf = g_malloc(size); | |
819 | memcpy(entry->buf, buf, size); | |
820 | } | |
821 | g_queue_push_tail(&sendco->send_list, entry); | |
822 | ||
823 | if (sendco->done) { | |
824 | sendco->co = qemu_coroutine_create(_compare_chr_send, sendco); | |
825 | sendco->done = false; | |
826 | qemu_coroutine_enter(sendco->co); | |
827 | if (sendco->done) { | |
828 | /* report early errors */ | |
829 | return sendco->ret; | |
830 | } | |
831 | } | |
832 | ||
833 | /* assume success */ | |
834 | return 0; | |
835 | } | |
836 | ||
837 | static int compare_chr_can_read(void *opaque) | |
838 | { | |
839 | return COMPARE_READ_LEN_MAX; | |
840 | } | |
841 | ||
842 | /* | |
843 | * Called from the main thread on the primary for packets | |
844 | * arriving over the socket from the primary. | |
845 | */ | |
846 | static void compare_pri_chr_in(void *opaque, const uint8_t *buf, int size) | |
847 | { | |
848 | CompareState *s = COLO_COMPARE(opaque); | |
849 | int ret; | |
850 | ||
851 | ret = net_fill_rstate(&s->pri_rs, buf, size); | |
852 | if (ret == -1) { | |
853 | qemu_chr_fe_set_handlers(&s->chr_pri_in, NULL, NULL, NULL, NULL, | |
854 | NULL, NULL, true); | |
855 | error_report("colo-compare primary_in error"); | |
856 | } | |
857 | } | |
858 | ||
859 | /* | |
860 | * Called from the main thread on the primary for packets | |
861 | * arriving over the socket from the secondary. | |
862 | */ | |
863 | static void compare_sec_chr_in(void *opaque, const uint8_t *buf, int size) | |
864 | { | |
865 | CompareState *s = COLO_COMPARE(opaque); | |
866 | int ret; | |
867 | ||
868 | ret = net_fill_rstate(&s->sec_rs, buf, size); | |
869 | if (ret == -1) { | |
870 | qemu_chr_fe_set_handlers(&s->chr_sec_in, NULL, NULL, NULL, NULL, | |
871 | NULL, NULL, true); | |
872 | error_report("colo-compare secondary_in error"); | |
873 | } | |
874 | } | |
875 | ||
876 | static void compare_notify_chr(void *opaque, const uint8_t *buf, int size) | |
877 | { | |
878 | CompareState *s = COLO_COMPARE(opaque); | |
879 | int ret; | |
880 | ||
881 | ret = net_fill_rstate(&s->notify_rs, buf, size); | |
882 | if (ret == -1) { | |
883 | qemu_chr_fe_set_handlers(&s->chr_notify_dev, NULL, NULL, NULL, NULL, | |
884 | NULL, NULL, true); | |
885 | error_report("colo-compare notify_dev error"); | |
886 | } | |
887 | } | |
888 | ||
889 | /* | |
890 | * Check old packet regularly so it can watch for any packets | |
891 | * that the secondary hasn't produced equivalents of. | |
892 | */ | |
893 | static void check_old_packet_regular(void *opaque) | |
894 | { | |
895 | CompareState *s = opaque; | |
896 | ||
897 | /* if have old packet we will notify checkpoint */ | |
898 | colo_old_packet_check(s); | |
899 | timer_mod(s->packet_check_timer, qemu_clock_get_ms(QEMU_CLOCK_HOST) + | |
900 | s->expired_scan_cycle); | |
901 | } | |
902 | ||
903 | /* Public API, Used for COLO frame to notify compare event */ | |
904 | void colo_notify_compares_event(void *opaque, int event, Error **errp) | |
905 | { | |
906 | CompareState *s; | |
907 | qemu_mutex_lock(&colo_compare_mutex); | |
908 | ||
909 | if (!colo_compare_active) { | |
910 | qemu_mutex_unlock(&colo_compare_mutex); | |
911 | return; | |
912 | } | |
913 | ||
914 | qemu_mutex_lock(&event_mtx); | |
915 | QTAILQ_FOREACH(s, &net_compares, next) { | |
916 | s->event = event; | |
917 | qemu_bh_schedule(s->event_bh); | |
918 | event_unhandled_count++; | |
919 | } | |
920 | /* Wait all compare threads to finish handling this event */ | |
921 | while (event_unhandled_count > 0) { | |
922 | qemu_cond_wait(&event_complete_cond, &event_mtx); | |
923 | } | |
924 | ||
925 | qemu_mutex_unlock(&event_mtx); | |
926 | qemu_mutex_unlock(&colo_compare_mutex); | |
927 | } | |
928 | ||
929 | static void colo_compare_timer_init(CompareState *s) | |
930 | { | |
931 | AioContext *ctx = iothread_get_aio_context(s->iothread); | |
932 | ||
933 | s->packet_check_timer = aio_timer_new(ctx, QEMU_CLOCK_HOST, | |
934 | SCALE_MS, check_old_packet_regular, | |
935 | s); | |
936 | timer_mod(s->packet_check_timer, qemu_clock_get_ms(QEMU_CLOCK_HOST) + | |
937 | s->expired_scan_cycle); | |
938 | } | |
939 | ||
940 | static void colo_compare_timer_del(CompareState *s) | |
941 | { | |
942 | if (s->packet_check_timer) { | |
943 | timer_free(s->packet_check_timer); | |
944 | s->packet_check_timer = NULL; | |
945 | } | |
946 | } | |
947 | ||
948 | static void colo_flush_packets(void *opaque, void *user_data); | |
949 | ||
950 | static void colo_compare_handle_event(void *opaque) | |
951 | { | |
952 | CompareState *s = opaque; | |
953 | ||
954 | switch (s->event) { | |
955 | case COLO_EVENT_CHECKPOINT: | |
956 | g_queue_foreach(&s->conn_list, colo_flush_packets, s); | |
957 | break; | |
958 | case COLO_EVENT_FAILOVER: | |
959 | break; | |
960 | default: | |
961 | break; | |
962 | } | |
963 | ||
964 | qemu_mutex_lock(&event_mtx); | |
965 | assert(event_unhandled_count > 0); | |
966 | event_unhandled_count--; | |
967 | qemu_cond_broadcast(&event_complete_cond); | |
968 | qemu_mutex_unlock(&event_mtx); | |
969 | } | |
970 | ||
971 | static void colo_compare_iothread(CompareState *s) | |
972 | { | |
973 | AioContext *ctx = iothread_get_aio_context(s->iothread); | |
974 | object_ref(OBJECT(s->iothread)); | |
975 | s->worker_context = iothread_get_g_main_context(s->iothread); | |
976 | ||
977 | qemu_chr_fe_set_handlers(&s->chr_pri_in, compare_chr_can_read, | |
978 | compare_pri_chr_in, NULL, NULL, | |
979 | s, s->worker_context, true); | |
980 | qemu_chr_fe_set_handlers(&s->chr_sec_in, compare_chr_can_read, | |
981 | compare_sec_chr_in, NULL, NULL, | |
982 | s, s->worker_context, true); | |
983 | if (s->notify_dev) { | |
984 | qemu_chr_fe_set_handlers(&s->chr_notify_dev, compare_chr_can_read, | |
985 | compare_notify_chr, NULL, NULL, | |
986 | s, s->worker_context, true); | |
987 | } | |
988 | ||
989 | colo_compare_timer_init(s); | |
990 | s->event_bh = aio_bh_new(ctx, colo_compare_handle_event, s); | |
991 | } | |
992 | ||
993 | static char *compare_get_pri_indev(Object *obj, Error **errp) | |
994 | { | |
995 | CompareState *s = COLO_COMPARE(obj); | |
996 | ||
997 | return g_strdup(s->pri_indev); | |
998 | } | |
999 | ||
1000 | static void compare_set_pri_indev(Object *obj, const char *value, Error **errp) | |
1001 | { | |
1002 | CompareState *s = COLO_COMPARE(obj); | |
1003 | ||
1004 | g_free(s->pri_indev); | |
1005 | s->pri_indev = g_strdup(value); | |
1006 | } | |
1007 | ||
1008 | static char *compare_get_sec_indev(Object *obj, Error **errp) | |
1009 | { | |
1010 | CompareState *s = COLO_COMPARE(obj); | |
1011 | ||
1012 | return g_strdup(s->sec_indev); | |
1013 | } | |
1014 | ||
1015 | static void compare_set_sec_indev(Object *obj, const char *value, Error **errp) | |
1016 | { | |
1017 | CompareState *s = COLO_COMPARE(obj); | |
1018 | ||
1019 | g_free(s->sec_indev); | |
1020 | s->sec_indev = g_strdup(value); | |
1021 | } | |
1022 | ||
1023 | static char *compare_get_outdev(Object *obj, Error **errp) | |
1024 | { | |
1025 | CompareState *s = COLO_COMPARE(obj); | |
1026 | ||
1027 | return g_strdup(s->outdev); | |
1028 | } | |
1029 | ||
1030 | static void compare_set_outdev(Object *obj, const char *value, Error **errp) | |
1031 | { | |
1032 | CompareState *s = COLO_COMPARE(obj); | |
1033 | ||
1034 | g_free(s->outdev); | |
1035 | s->outdev = g_strdup(value); | |
1036 | } | |
1037 | ||
1038 | static bool compare_get_vnet_hdr(Object *obj, Error **errp) | |
1039 | { | |
1040 | CompareState *s = COLO_COMPARE(obj); | |
1041 | ||
1042 | return s->vnet_hdr; | |
1043 | } | |
1044 | ||
1045 | static void compare_set_vnet_hdr(Object *obj, | |
1046 | bool value, | |
1047 | Error **errp) | |
1048 | { | |
1049 | CompareState *s = COLO_COMPARE(obj); | |
1050 | ||
1051 | s->vnet_hdr = value; | |
1052 | } | |
1053 | ||
1054 | static char *compare_get_notify_dev(Object *obj, Error **errp) | |
1055 | { | |
1056 | CompareState *s = COLO_COMPARE(obj); | |
1057 | ||
1058 | return g_strdup(s->notify_dev); | |
1059 | } | |
1060 | ||
1061 | static void compare_set_notify_dev(Object *obj, const char *value, Error **errp) | |
1062 | { | |
1063 | CompareState *s = COLO_COMPARE(obj); | |
1064 | ||
1065 | g_free(s->notify_dev); | |
1066 | s->notify_dev = g_strdup(value); | |
1067 | } | |
1068 | ||
1069 | static void compare_get_timeout(Object *obj, Visitor *v, | |
1070 | const char *name, void *opaque, | |
1071 | Error **errp) | |
1072 | { | |
1073 | CompareState *s = COLO_COMPARE(obj); | |
1074 | uint64_t value = s->compare_timeout; | |
1075 | ||
1076 | visit_type_uint64(v, name, &value, errp); | |
1077 | } | |
1078 | ||
1079 | static void compare_set_timeout(Object *obj, Visitor *v, | |
1080 | const char *name, void *opaque, | |
1081 | Error **errp) | |
1082 | { | |
1083 | CompareState *s = COLO_COMPARE(obj); | |
1084 | uint32_t value; | |
1085 | ||
1086 | if (!visit_type_uint32(v, name, &value, errp)) { | |
1087 | return; | |
1088 | } | |
1089 | if (!value) { | |
1090 | error_setg(errp, "Property '%s.%s' requires a positive value", | |
1091 | object_get_typename(obj), name); | |
1092 | return; | |
1093 | } | |
1094 | s->compare_timeout = value; | |
1095 | } | |
1096 | ||
1097 | static void compare_get_expired_scan_cycle(Object *obj, Visitor *v, | |
1098 | const char *name, void *opaque, | |
1099 | Error **errp) | |
1100 | { | |
1101 | CompareState *s = COLO_COMPARE(obj); | |
1102 | uint32_t value = s->expired_scan_cycle; | |
1103 | ||
1104 | visit_type_uint32(v, name, &value, errp); | |
1105 | } | |
1106 | ||
1107 | static void compare_set_expired_scan_cycle(Object *obj, Visitor *v, | |
1108 | const char *name, void *opaque, | |
1109 | Error **errp) | |
1110 | { | |
1111 | CompareState *s = COLO_COMPARE(obj); | |
1112 | uint32_t value; | |
1113 | ||
1114 | if (!visit_type_uint32(v, name, &value, errp)) { | |
1115 | return; | |
1116 | } | |
1117 | if (!value) { | |
1118 | error_setg(errp, "Property '%s.%s' requires a positive value", | |
1119 | object_get_typename(obj), name); | |
1120 | return; | |
1121 | } | |
1122 | s->expired_scan_cycle = value; | |
1123 | } | |
1124 | ||
1125 | static void get_max_queue_size(Object *obj, Visitor *v, | |
1126 | const char *name, void *opaque, | |
1127 | Error **errp) | |
1128 | { | |
1129 | uint32_t value = max_queue_size; | |
1130 | ||
1131 | visit_type_uint32(v, name, &value, errp); | |
1132 | } | |
1133 | ||
1134 | static void set_max_queue_size(Object *obj, Visitor *v, | |
1135 | const char *name, void *opaque, | |
1136 | Error **errp) | |
1137 | { | |
1138 | uint64_t value; | |
1139 | ||
1140 | if (!visit_type_uint64(v, name, &value, errp)) { | |
1141 | return; | |
1142 | } | |
1143 | if (!value) { | |
1144 | error_setg(errp, "Property '%s.%s' requires a positive value", | |
1145 | object_get_typename(obj), name); | |
1146 | return; | |
1147 | } | |
1148 | max_queue_size = value; | |
1149 | } | |
1150 | ||
1151 | static void compare_pri_rs_finalize(SocketReadState *pri_rs) | |
1152 | { | |
1153 | CompareState *s = container_of(pri_rs, CompareState, pri_rs); | |
1154 | Connection *conn = NULL; | |
1155 | ||
1156 | if (packet_enqueue(s, PRIMARY_IN, &conn)) { | |
1157 | trace_colo_compare_main("primary: unsupported packet in"); | |
1158 | compare_chr_send(s, | |
1159 | pri_rs->buf, | |
1160 | pri_rs->packet_len, | |
1161 | pri_rs->vnet_hdr_len, | |
1162 | false, | |
1163 | false); | |
1164 | } else { | |
1165 | /* compare packet in the specified connection */ | |
1166 | colo_compare_connection(conn, s); | |
1167 | } | |
1168 | } | |
1169 | ||
1170 | static void compare_sec_rs_finalize(SocketReadState *sec_rs) | |
1171 | { | |
1172 | CompareState *s = container_of(sec_rs, CompareState, sec_rs); | |
1173 | Connection *conn = NULL; | |
1174 | ||
1175 | if (packet_enqueue(s, SECONDARY_IN, &conn)) { | |
1176 | trace_colo_compare_main("secondary: unsupported packet in"); | |
1177 | } else { | |
1178 | /* compare packet in the specified connection */ | |
1179 | colo_compare_connection(conn, s); | |
1180 | } | |
1181 | } | |
1182 | ||
1183 | static void compare_notify_rs_finalize(SocketReadState *notify_rs) | |
1184 | { | |
1185 | CompareState *s = container_of(notify_rs, CompareState, notify_rs); | |
1186 | ||
1187 | const char msg[] = "COLO_COMPARE_GET_XEN_INIT"; | |
1188 | int ret; | |
1189 | ||
1190 | if (packet_matches_str("COLO_USERSPACE_PROXY_INIT", | |
1191 | notify_rs->buf, | |
1192 | notify_rs->packet_len)) { | |
1193 | ret = compare_chr_send(s, (uint8_t *)msg, strlen(msg), 0, true, false); | |
1194 | if (ret < 0) { | |
1195 | error_report("Notify Xen COLO-frame INIT failed"); | |
1196 | } | |
1197 | } else if (packet_matches_str("COLO_CHECKPOINT", | |
1198 | notify_rs->buf, | |
1199 | notify_rs->packet_len)) { | |
1200 | /* colo-compare do checkpoint, flush pri packet and remove sec packet */ | |
1201 | g_queue_foreach(&s->conn_list, colo_flush_packets, s); | |
1202 | } else { | |
1203 | error_report("COLO compare got unsupported instruction"); | |
1204 | } | |
1205 | } | |
1206 | ||
1207 | /* | |
1208 | * Return 0 is success. | |
1209 | * Return 1 is failed. | |
1210 | */ | |
1211 | static int find_and_check_chardev(Chardev **chr, | |
1212 | char *chr_name, | |
1213 | Error **errp) | |
1214 | { | |
1215 | *chr = qemu_chr_find(chr_name); | |
1216 | if (*chr == NULL) { | |
1217 | error_setg(errp, "Device '%s' not found", | |
1218 | chr_name); | |
1219 | return 1; | |
1220 | } | |
1221 | ||
1222 | if (!qemu_chr_has_feature(*chr, QEMU_CHAR_FEATURE_RECONNECTABLE)) { | |
1223 | error_setg(errp, "chardev \"%s\" is not reconnectable", | |
1224 | chr_name); | |
1225 | return 1; | |
1226 | } | |
1227 | ||
1228 | if (!qemu_chr_has_feature(*chr, QEMU_CHAR_FEATURE_GCONTEXT)) { | |
1229 | error_setg(errp, "chardev \"%s\" cannot switch context", | |
1230 | chr_name); | |
1231 | return 1; | |
1232 | } | |
1233 | ||
1234 | return 0; | |
1235 | } | |
1236 | ||
1237 | /* | |
1238 | * Called from the main thread on the primary | |
1239 | * to setup colo-compare. | |
1240 | */ | |
1241 | static void colo_compare_complete(UserCreatable *uc, Error **errp) | |
1242 | { | |
1243 | CompareState *s = COLO_COMPARE(uc); | |
1244 | Chardev *chr; | |
1245 | ||
1246 | if (!s->pri_indev || !s->sec_indev || !s->outdev || !s->iothread) { | |
1247 | error_setg(errp, "colo compare needs 'primary_in' ," | |
1248 | "'secondary_in','outdev','iothread' property set"); | |
1249 | return; | |
1250 | } else if (!strcmp(s->pri_indev, s->outdev) || | |
1251 | !strcmp(s->sec_indev, s->outdev) || | |
1252 | !strcmp(s->pri_indev, s->sec_indev)) { | |
1253 | error_setg(errp, "'indev' and 'outdev' could not be same " | |
1254 | "for compare module"); | |
1255 | return; | |
1256 | } | |
1257 | ||
1258 | if (!s->compare_timeout) { | |
1259 | /* Set default value to 3000 MS */ | |
1260 | s->compare_timeout = DEFAULT_TIME_OUT_MS; | |
1261 | } | |
1262 | ||
1263 | if (!s->expired_scan_cycle) { | |
1264 | /* Set default value to 1000 MS */ | |
1265 | s->expired_scan_cycle = REGULAR_PACKET_CHECK_MS; | |
1266 | } | |
1267 | ||
1268 | if (!max_queue_size) { | |
1269 | /* Set default queue size to 1024 */ | |
1270 | max_queue_size = MAX_QUEUE_SIZE; | |
1271 | } | |
1272 | ||
1273 | if (find_and_check_chardev(&chr, s->pri_indev, errp) || | |
1274 | !qemu_chr_fe_init(&s->chr_pri_in, chr, errp)) { | |
1275 | return; | |
1276 | } | |
1277 | ||
1278 | if (find_and_check_chardev(&chr, s->sec_indev, errp) || | |
1279 | !qemu_chr_fe_init(&s->chr_sec_in, chr, errp)) { | |
1280 | return; | |
1281 | } | |
1282 | ||
1283 | if (find_and_check_chardev(&chr, s->outdev, errp) || | |
1284 | !qemu_chr_fe_init(&s->chr_out, chr, errp)) { | |
1285 | return; | |
1286 | } | |
1287 | ||
1288 | net_socket_rs_init(&s->pri_rs, compare_pri_rs_finalize, s->vnet_hdr); | |
1289 | net_socket_rs_init(&s->sec_rs, compare_sec_rs_finalize, s->vnet_hdr); | |
1290 | ||
1291 | /* Try to enable remote notify chardev, currently just for Xen COLO */ | |
1292 | if (s->notify_dev) { | |
1293 | if (find_and_check_chardev(&chr, s->notify_dev, errp) || | |
1294 | !qemu_chr_fe_init(&s->chr_notify_dev, chr, errp)) { | |
1295 | return; | |
1296 | } | |
1297 | ||
1298 | net_socket_rs_init(&s->notify_rs, compare_notify_rs_finalize, | |
1299 | s->vnet_hdr); | |
1300 | } | |
1301 | ||
1302 | s->out_sendco.s = s; | |
1303 | s->out_sendco.chr = &s->chr_out; | |
1304 | s->out_sendco.notify_remote_frame = false; | |
1305 | s->out_sendco.done = true; | |
1306 | g_queue_init(&s->out_sendco.send_list); | |
1307 | ||
1308 | if (s->notify_dev) { | |
1309 | s->notify_sendco.s = s; | |
1310 | s->notify_sendco.chr = &s->chr_notify_dev; | |
1311 | s->notify_sendco.notify_remote_frame = true; | |
1312 | s->notify_sendco.done = true; | |
1313 | g_queue_init(&s->notify_sendco.send_list); | |
1314 | } | |
1315 | ||
1316 | g_queue_init(&s->conn_list); | |
1317 | ||
1318 | s->connection_track_table = g_hash_table_new_full(connection_key_hash, | |
1319 | connection_key_equal, | |
1320 | g_free, | |
1321 | NULL); | |
1322 | ||
1323 | colo_compare_iothread(s); | |
1324 | ||
1325 | qemu_mutex_lock(&colo_compare_mutex); | |
1326 | if (!colo_compare_active) { | |
1327 | qemu_mutex_init(&event_mtx); | |
1328 | qemu_cond_init(&event_complete_cond); | |
1329 | colo_compare_active = true; | |
1330 | } | |
1331 | QTAILQ_INSERT_TAIL(&net_compares, s, next); | |
1332 | qemu_mutex_unlock(&colo_compare_mutex); | |
1333 | ||
1334 | return; | |
1335 | } | |
1336 | ||
1337 | static void colo_flush_packets(void *opaque, void *user_data) | |
1338 | { | |
1339 | CompareState *s = user_data; | |
1340 | Connection *conn = opaque; | |
1341 | Packet *pkt = NULL; | |
1342 | ||
1343 | while (!g_queue_is_empty(&conn->primary_list)) { | |
1344 | pkt = g_queue_pop_tail(&conn->primary_list); | |
1345 | compare_chr_send(s, | |
1346 | pkt->data, | |
1347 | pkt->size, | |
1348 | pkt->vnet_hdr_len, | |
1349 | false, | |
1350 | true); | |
1351 | packet_destroy_partial(pkt, NULL); | |
1352 | } | |
1353 | while (!g_queue_is_empty(&conn->secondary_list)) { | |
1354 | pkt = g_queue_pop_tail(&conn->secondary_list); | |
1355 | packet_destroy(pkt, NULL); | |
1356 | } | |
1357 | } | |
1358 | ||
1359 | static void colo_compare_class_init(ObjectClass *oc, void *data) | |
1360 | { | |
1361 | UserCreatableClass *ucc = USER_CREATABLE_CLASS(oc); | |
1362 | ||
1363 | ucc->complete = colo_compare_complete; | |
1364 | } | |
1365 | ||
1366 | static void colo_compare_init(Object *obj) | |
1367 | { | |
1368 | CompareState *s = COLO_COMPARE(obj); | |
1369 | ||
1370 | object_property_add_str(obj, "primary_in", | |
1371 | compare_get_pri_indev, compare_set_pri_indev); | |
1372 | object_property_add_str(obj, "secondary_in", | |
1373 | compare_get_sec_indev, compare_set_sec_indev); | |
1374 | object_property_add_str(obj, "outdev", | |
1375 | compare_get_outdev, compare_set_outdev); | |
1376 | object_property_add_link(obj, "iothread", TYPE_IOTHREAD, | |
1377 | (Object **)&s->iothread, | |
1378 | object_property_allow_set_link, | |
1379 | OBJ_PROP_LINK_STRONG); | |
1380 | /* This parameter just for Xen COLO */ | |
1381 | object_property_add_str(obj, "notify_dev", | |
1382 | compare_get_notify_dev, compare_set_notify_dev); | |
1383 | ||
1384 | object_property_add(obj, "compare_timeout", "uint64", | |
1385 | compare_get_timeout, | |
1386 | compare_set_timeout, NULL, NULL); | |
1387 | ||
1388 | object_property_add(obj, "expired_scan_cycle", "uint32", | |
1389 | compare_get_expired_scan_cycle, | |
1390 | compare_set_expired_scan_cycle, NULL, NULL); | |
1391 | ||
1392 | object_property_add(obj, "max_queue_size", "uint32", | |
1393 | get_max_queue_size, | |
1394 | set_max_queue_size, NULL, NULL); | |
1395 | ||
1396 | s->vnet_hdr = false; | |
1397 | object_property_add_bool(obj, "vnet_hdr_support", compare_get_vnet_hdr, | |
1398 | compare_set_vnet_hdr); | |
1399 | } | |
1400 | ||
1401 | void colo_compare_cleanup(void) | |
1402 | { | |
1403 | CompareState *tmp = NULL; | |
1404 | CompareState *n = NULL; | |
1405 | ||
1406 | QTAILQ_FOREACH_SAFE(tmp, &net_compares, next, n) { | |
1407 | object_unparent(OBJECT(tmp)); | |
1408 | } | |
1409 | } | |
1410 | ||
1411 | static void colo_compare_finalize(Object *obj) | |
1412 | { | |
1413 | CompareState *s = COLO_COMPARE(obj); | |
1414 | CompareState *tmp = NULL; | |
1415 | ||
1416 | qemu_mutex_lock(&colo_compare_mutex); | |
1417 | QTAILQ_FOREACH(tmp, &net_compares, next) { | |
1418 | if (tmp == s) { | |
1419 | QTAILQ_REMOVE(&net_compares, s, next); | |
1420 | break; | |
1421 | } | |
1422 | } | |
1423 | if (QTAILQ_EMPTY(&net_compares)) { | |
1424 | colo_compare_active = false; | |
1425 | qemu_mutex_destroy(&event_mtx); | |
1426 | qemu_cond_destroy(&event_complete_cond); | |
1427 | } | |
1428 | qemu_mutex_unlock(&colo_compare_mutex); | |
1429 | ||
1430 | qemu_chr_fe_deinit(&s->chr_pri_in, false); | |
1431 | qemu_chr_fe_deinit(&s->chr_sec_in, false); | |
1432 | qemu_chr_fe_deinit(&s->chr_out, false); | |
1433 | if (s->notify_dev) { | |
1434 | qemu_chr_fe_deinit(&s->chr_notify_dev, false); | |
1435 | } | |
1436 | ||
1437 | colo_compare_timer_del(s); | |
1438 | ||
1439 | qemu_bh_delete(s->event_bh); | |
1440 | ||
1441 | AioContext *ctx = iothread_get_aio_context(s->iothread); | |
1442 | aio_context_acquire(ctx); | |
1443 | AIO_WAIT_WHILE(ctx, !s->out_sendco.done); | |
1444 | if (s->notify_dev) { | |
1445 | AIO_WAIT_WHILE(ctx, !s->notify_sendco.done); | |
1446 | } | |
1447 | aio_context_release(ctx); | |
1448 | ||
1449 | /* Release all unhandled packets after compare thead exited */ | |
1450 | g_queue_foreach(&s->conn_list, colo_flush_packets, s); | |
1451 | AIO_WAIT_WHILE(NULL, !s->out_sendco.done); | |
1452 | ||
1453 | g_queue_clear(&s->conn_list); | |
1454 | g_queue_clear(&s->out_sendco.send_list); | |
1455 | if (s->notify_dev) { | |
1456 | g_queue_clear(&s->notify_sendco.send_list); | |
1457 | } | |
1458 | ||
1459 | if (s->connection_track_table) { | |
1460 | g_hash_table_destroy(s->connection_track_table); | |
1461 | } | |
1462 | ||
1463 | object_unref(OBJECT(s->iothread)); | |
1464 | ||
1465 | g_free(s->pri_indev); | |
1466 | g_free(s->sec_indev); | |
1467 | g_free(s->outdev); | |
1468 | g_free(s->notify_dev); | |
1469 | } | |
1470 | ||
1471 | static void __attribute__((__constructor__)) colo_compare_init_globals(void) | |
1472 | { | |
1473 | colo_compare_active = false; | |
1474 | qemu_mutex_init(&colo_compare_mutex); | |
1475 | } | |
1476 | ||
1477 | static const TypeInfo colo_compare_info = { | |
1478 | .name = TYPE_COLO_COMPARE, | |
1479 | .parent = TYPE_OBJECT, | |
1480 | .instance_size = sizeof(CompareState), | |
1481 | .instance_init = colo_compare_init, | |
1482 | .instance_finalize = colo_compare_finalize, | |
1483 | .class_size = sizeof(CompareClass), | |
1484 | .class_init = colo_compare_class_init, | |
1485 | .interfaces = (InterfaceInfo[]) { | |
1486 | { TYPE_USER_CREATABLE }, | |
1487 | { } | |
1488 | } | |
1489 | }; | |
1490 | ||
1491 | static void register_types(void) | |
1492 | { | |
1493 | type_register_static(&colo_compare_info); | |
1494 | } | |
1495 | ||
1496 | type_init(register_types); |