X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bc48db087894fd960073b3120cebf90e6b2f8c02..706dd4584b4002e0d948b81d103dd5c4b70db077:/src/mc/Process.cpp diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp index 6bf24dcb9e..9197cb95e4 100644 --- a/src/mc/Process.cpp +++ b/src/mc/Process.cpp @@ -11,6 +11,10 @@ #include #include +#include + +#include + #include #include #include @@ -24,7 +28,6 @@ #include #include -#include #include #include #include @@ -41,13 +44,9 @@ using simgrid::mc::remote; -extern "C" { - XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_process, mc, "MC process information"); -} - // ***** Helper stuff namespace simgrid { @@ -78,7 +77,6 @@ static const char *const filtered_libraries[] = { "libm", "libpthread", "librt", - "libsigc", "libstdc++", "libunwind", "libunwind-x86_64", @@ -182,14 +180,6 @@ static void zero_buffer_init(void) close(fd); } -static -int open_process_file(pid_t pid, const char* file, int flags) -{ - char buff[50]; - snprintf(buff, sizeof(buff), "/proc/%li/%s", (long) pid, file); - return open(buff, flags); -} - int open_vm(pid_t pid, int flags) { const size_t buffer_size = 30; @@ -205,7 +195,7 @@ int open_vm(pid_t pid, int flags) // ***** Process Process::Process(pid_t pid, int sockfd) : - AddressSpace(this),pid_(pid), socket_(sockfd), running_(true) + AddressSpace(this), pid_(pid), channel_(sockfd), running_(true) {} void Process::init() @@ -230,19 +220,14 @@ void Process::init() this->smx_process_infos.clear(); this->smx_old_process_infos.clear(); - this->unw_addr_space = unw_create_addr_space(&mc_unw_accessors , __BYTE_ORDER); - this->unw_underlying_addr_space = unw_create_addr_space(&mc_unw_vmread_accessors, __BYTE_ORDER); - this->unw_underlying_context = _UPT_create(this->pid_); + this->unw_addr_space = simgrid::mc::UnwindContext::createUnwindAddressSpace(); + this->unw_underlying_addr_space = simgrid::unw::create_addr_space(); + this->unw_underlying_context = simgrid::unw::create_context( + this->unw_underlying_addr_space, this->pid_); } Process::~Process() { - if (this->socket_ >= 0 && close(this->socket_) < 0) - xbt_die("Could not close communication socket"); - - this->maestro_stack_start_ = nullptr; - this->maestro_stack_end_ = nullptr; - if (this->memory_file >= 0) close(this->memory_file); @@ -250,34 +235,23 @@ Process::~Process() unw_destroy_addr_space(this->unw_underlying_addr_space); _UPT_destroy(this->unw_underlying_context); } - this->unw_underlying_context = nullptr; - this->unw_underlying_addr_space = nullptr; unw_destroy_addr_space(this->unw_addr_space); - this->unw_addr_space = nullptr; - - this->cache_flags = MC_PROCESS_CACHE_FLAG_NONE; - - if (this->clear_refs_fd_ >= 0) - close(this->clear_refs_fd_); - if (this->pagemap_fd_ >= 0) - close(this->pagemap_fd_); } /** Refresh the information about the process * - * Do not use direclty, this is used by the getters when appropriate + * Do not use directly, this is used by the getters when appropriate * in order to have fresh data. */ void Process::refresh_heap() { - xbt_assert(mc_mode == MC_MODE_SERVER); // Read/dereference/refresh the std_heap pointer: if (!this->heap) this->heap = std::unique_ptr(new s_xbt_mheap_t()); this->read_bytes(this->heap.get(), sizeof(struct mdesc), remote(this->heap_address), simgrid::mc::ProcessIndexDisabled); - this->cache_flags |= MC_PROCESS_CACHE_FLAG_HEAP; + this->cache_flags_ |= Process::cache_heap; } /** Refresh the information about the process @@ -287,16 +261,15 @@ void Process::refresh_heap() * */ void Process::refresh_malloc_info() { - xbt_assert(mc_mode == MC_MODE_SERVER); - if (!(this->cache_flags & MC_PROCESS_CACHE_FLAG_HEAP)) - this->refresh_heap(); // Refresh process->heapinfo: + if (this->cache_flags_ & Process::cache_malloc) + return; size_t count = this->heap->heaplimit + 1; if (this->heap_info.size() < count) this->heap_info.resize(count); this->read_bytes(this->heap_info.data(), count * sizeof(malloc_info), remote(this->heap->heapinfo), simgrid::mc::ProcessIndexDisabled); - this->cache_flags |= MC_PROCESS_CACHE_FLAG_MALLOC_INFO; + this->cache_flags_ |= Process::cache_malloc; } /** @brief Finds the range of the different memory segments and binary paths */ @@ -372,7 +345,7 @@ void Process::init_memory_map_info() regfree(&res.so_re); regfree(&res.version_re); - // Resolve time (including accross differents objects): + // Resolve time (including across different objects): for (auto const& object_info : this->object_infos) postProcessObjectInformation(this, object_info.get()); @@ -415,14 +388,14 @@ simgrid::mc::Frame* Process::find_function(RemotePtr ip) const return info ? info->find_function((void*) ip.address()) : nullptr; } -/** Find (one occurence of) the named variable definition +/** Find (one occurrence of) the named variable definition */ simgrid::mc::Variable* Process::find_variable(const char* name) const { // First lookup the variable in the executable shared object. // A global variable used directly by the executable code from a library // is reinstanciated in the executable memory .data/.bss. - // We need to look up the variable in the execvutable first. + // We need to look up the variable in the executable first. if (this->binary_info) { std::shared_ptr const& info = this->binary_info; simgrid::mc::Variable* var = info->find_variable(name); @@ -452,17 +425,17 @@ void Process::read_variable(const char* name, void* target, size_t size) const this->read_bytes(target, size, remote(var->address)); } -char* Process::read_string(RemotePtr address) const +std::string Process::read_string(RemotePtr address) const { if (!address) - return nullptr; + return {}; - off_t len = 128; - char* res = (char*) malloc(len); + // TODO, use std::vector with .data() in C++17 to avoid useless copies + std::vector res(128); off_t off = 0; while (1) { - ssize_t c = pread(this->memory_file, res + off, len - off, (off_t) address.address() + off); + ssize_t c = pread(this->memory_file, res.data() + off, res.size() - off, (off_t) address.address() + off); if (c == -1) { if (errno == EINTR) continue; @@ -472,15 +445,13 @@ char* Process::read_string(RemotePtr address) const if (c==0) xbt_die("Could not read string from remote process"); - void* p = memchr(res + off, '\0', c); + void* p = memchr(res.data() + off, '\0', c); if (p) - return res; + return std::string(res.data()); off += c; - if (off == len) { - len *= 2; - res = (char*) realloc(res, len); - } + if (off == (off_t) res.size()) + res.resize(res.size() * 2); } } @@ -508,7 +479,7 @@ const void *Process::read_bytes(void* buffer, std::size_t size, mc_model_checker->process().read( remote(remote_smpi_privatisation_regions + process_index)); - // Address translation in the privaization segment: + // Address translation in the privatization segment: size_t offset = address.address() - (std::uint64_t)info->start_rw; address = remote((char*)privatisation_region.address + offset); } @@ -590,30 +561,6 @@ void Process::ignore_region(std::uint64_t addr, std::size_t size) ignored_regions_.begin() + position, region); } -void Process::reset_soft_dirty() -{ - if (this->clear_refs_fd_ < 0) { - this->clear_refs_fd_ = open_process_file(pid_, "clear_refs", O_WRONLY|O_CLOEXEC); - if (this->clear_refs_fd_ < 0) - xbt_die("Could not open clear_refs file for soft-dirty tracking. Run as root?"); - } - if(::write(this->clear_refs_fd_, "4\n", 2) != 2) - xbt_die("Could not reset softdirty bits"); -} - -void Process::read_pagemap(uint64_t* pagemap, size_t page_start, size_t page_count) -{ - if (pagemap_fd_ < 0) { - pagemap_fd_ = open_process_file(pid_, "pagemap", O_RDONLY|O_CLOEXEC); - if (pagemap_fd_ < 0) - xbt_die("Could not open pagemap file for soft-dirty tracking. Run as root?"); - } - ssize_t bytesize = sizeof(uint64_t) * page_count; - off_t offset = sizeof(uint64_t) * page_start; - if (pread_whole(pagemap_fd_, pagemap, bytesize, offset) != bytesize) - xbt_die("Could not read pagemap"); -} - void Process::ignore_heap(IgnoredHeapRegion const& region) { if (ignored_heap_.empty()) { @@ -687,10 +634,45 @@ void Process::ignore_local_variable(const char *var_name, const char *frame_name std::vector& Process::simix_processes() { - xbt_assert(mc_mode != MC_MODE_CLIENT); - MC_process_smx_refresh(&mc_model_checker->process()); + this->refresh_simix(); return smx_process_infos; } +std::vector& Process::old_simix_processes() +{ + this->refresh_simix(); + return smx_old_process_infos; +} + +void Process::dumpStack() +{ + unw_addr_space_t as = unw_create_addr_space(&_UPT_accessors, __BYTE_ORDER); + if (as == nullptr) { + XBT_ERROR("Could not initialize ptrace address space"); + return; + } + + void* context = _UPT_create(this->pid_); + if (context == nullptr) { + unw_destroy_addr_space(as); + XBT_ERROR("Could not initialize ptrace context"); + return; + } + + unw_cursor_t cursor; + if (unw_init_remote(&cursor, as, context) != 0) { + _UPT_destroy(context); + unw_destroy_addr_space(as); + XBT_ERROR("Could not initialiez ptrace cursor"); + return; + } + + simgrid::mc::dumpStack(stderr, cursor); + + _UPT_destroy(context); + unw_destroy_addr_space(as); + return; +} + } }