1 /* Copyright (c) 2015. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #include <cstddef> // std::size_t
9 #include <stdio.h> // perror
12 #include <sys/socket.h>
13 #include <sys/types.h>
17 #include "src/mc/remote/Client.hpp"
18 #include "src/mc/remote/mc_protocol.h"
20 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_protocol, mc, "Generic MC protocol logic");
22 const char* MC_message_type_name(e_mc_message_type type)
27 case MC_MESSAGE_CONTINUE:
29 case MC_MESSAGE_IGNORE_HEAP:
31 case MC_MESSAGE_UNIGNORE_HEAP:
32 return "UNIGNORE_HEAP";
33 case MC_MESSAGE_IGNORE_MEMORY:
34 return "IGNORE_MEMORY";
35 case MC_MESSAGE_STACK_REGION:
36 return "STACK_REGION";
37 case MC_MESSAGE_REGISTER_SYMBOL:
38 return "REGISTER_SYMBOL";
39 case MC_MESSAGE_DEADLOCK_CHECK:
40 return "DEADLOCK_CHECK";
41 case MC_MESSAGE_DEADLOCK_CHECK_REPLY:
42 return "DEADLOCK_CHECK_REPLY";
43 case MC_MESSAGE_WAITING:
45 case MC_MESSAGE_SIMCALL_HANDLE:
46 return "SIMCALL_HANDLE";
47 case MC_MESSAGE_ASSERTION_FAILED:
48 return "ASSERTION_FAILED";