Flame Graph for cache misses
_dl_runtime_resolve (6 samples, 0.02%)
__alloc_pages_nodemask (3 samples, 0.01%)
memset (9 samples, 0.04%)
do_wp_page (7 samples, 0.03%)
mmalloc_no_memset (71 samples, 0.29%)
__pread_nocancel (35 samples, 0.14%)
bvprintf (100 samples, 0.40%)
surf_resource_get_state (6 samples, 0.02%)
MC_modelcheck_safety_init (22,594 samples, 91.03%)
MC_modelcheck_safety_init
_IO_vasprintf (13 samples, 0.05%)
xbt_mallocator_get (7 samples, 0.03%)
_raw_spin_lock (8 samples, 0.03%)
free (5 samples, 0.02%)
mmalloc_no_memset (86 samples, 0.35%)
clear_page_c_e (5 samples, 0.02%)
clear_page_c_e (10 samples, 0.04%)
mmalloc_no_memset (14 samples, 0.06%)
mmalloc_no_memset (17 samples, 0.07%)
page_fault (3 samples, 0.01%)
mmalloc_get_bytes_used (103 samples, 0.41%)
mmalloc_set_current_heap (3 samples, 0.01%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
__memcpy_sse2 (5 samples, 0.02%)
mem_cgroup_newpage_charge (4 samples, 0.02%)
xbt_fifo_unshift (10 samples, 0.04%)
vfprintf (5 samples, 0.02%)
mc_snapshot_region_memcp (6 samples, 0.02%)
xbt_dict_rehash (35 samples, 0.14%)
__memcpy_sse2 (5 samples, 0.02%)
MC_take_snapshot_stacks (1,943 samples, 7.83%)
MC_take_sna..
add_heap_area_pair (4 samples, 0.02%)
_dl_fixup (5 samples, 0.02%)
__start_context (296 samples, 1.19%)
SIMIX_process_self (3 samples, 0.01%)
mmalloc_no_memset (8 samples, 0.03%)
mc_snapshot_region_memcp (3 samples, 0.01%)
__memcmp_sse4_1 (6 samples, 0.02%)
mc_translate_address_region (16 samples, 0.06%)
SIMIX_comm_destroy (3 samples, 0.01%)
_dl_runtime_resolve (8 samples, 0.03%)
handle_mm_fault (10 samples, 0.04%)
register_morecore (7 samples, 0.03%)
_IO_vasprintf (8 samples, 0.03%)
MC_dwarf_handle_scope_die (7 samples, 0.03%)
_dl_lookup_symbol_x (4 samples, 0.02%)
clear_page_c_e (68 samples, 0.27%)
vm_normal_page (10 samples, 0.04%)
handle_mm_fault (7 samples, 0.03%)
_xbt_dynar_cursor_get (11 samples, 0.04%)
__mod_zone_page_state (3 samples, 0.01%)
clear_page_c_e (3 samples, 0.01%)
xbt_dynar_insert_at (19 samples, 0.08%)
clear_page_c_e (6 samples, 0.02%)
compare_heap_area (4 samples, 0.02%)
malloc (5 samples, 0.02%)
compare_heap_area_without_type (5 samples, 0.02%)
xbt_dict_set_ext (5 samples, 0.02%)
malloc (12 samples, 0.05%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
mc_get_snapshot_region (19 samples, 0.08%)
mc_snapshot_read_region (3 samples, 0.01%)
operator new(unsigned long) (8 samples, 0.03%)
strcmp (4 samples, 0.02%)
alloc_pages_vma (4 samples, 0.02%)
mmalloc (3 samples, 0.01%)
sys_clock_gettime (5 samples, 0.02%)
_dl_fixup (6 samples, 0.02%)
xbt_dynar_get_ptr (5 samples, 0.02%)
MC_dwarf_die_to_type (38 samples, 0.15%)
bvprintf (5 samples, 0.02%)
mc_restore_page_snapshot_region (385 samples, 1.55%)
do_lookup_x (3 samples, 0.01%)
simcall_host_execute (7 samples, 0.03%)
xbt_fifo_shift_item (4 samples, 0.02%)
clear_page_c_e (4 samples, 0.02%)
MC_dwarf_handle_children (6 samples, 0.02%)
clear_page_c_e (9 samples, 0.04%)
dw_variable_free (7 samples, 0.03%)
__rmqueue (3 samples, 0.01%)
MC_stack_frame_free_voipd (24 samples, 0.10%)
calloc (48 samples, 0.19%)
mmalloc (17 samples, 0.07%)
find_vma (3 samples, 0.01%)
page_fault (3 samples, 0.01%)
reuse_swap_page (5 samples, 0.02%)
mmalloc_no_memset (3 samples, 0.01%)
simcall_comm_irecv (3 samples, 0.01%)
_dl_runtime_resolve (36 samples, 0.15%)
clear_page_c_e (13 samples, 0.05%)
handle_mm_fault (3 samples, 0.01%)
__clock_gettime (17 samples, 0.07%)
find_vma (24 samples, 0.10%)
__memcpy_sse2 (126 samples, 0.51%)
xbt_dict_set (5 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
calloc (6 samples, 0.02%)
snapshot_compare (140 samples, 0.56%)
_IO_default_xsputn (3 samples, 0.01%)
_IO_vasprintf (45 samples, 0.18%)
vfprintf (3 samples, 0.01%)
mfree (9 samples, 0.04%)
mmalloc_no_memset (8 samples, 0.03%)
smpi_execute (6 samples, 0.02%)
MC_dwarf_handle_children (21 samples, 0.08%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
mc_dwarf_location_list_init_from_expression (7 samples, 0.03%)
smpi_main (14 samples, 0.06%)
_xbt_dynar_cursor_first (3 samples, 0.01%)
mc_snapshot_read_region (30 samples, 0.12%)
MC_replay (636 samples, 2.56%)
MC..
mc_snapshot_read_region (75 samples, 0.30%)
simcall_BODY_comm_isend (3 samples, 0.01%)
mmalloc (7 samples, 0.03%)
sem_wait (3 samples, 0.01%)
free (4 samples, 0.02%)
strcmp (8 samples, 0.03%)
xbt_dynar_insert_at_ptr (41 samples, 0.17%)
mc_translate_address_region (3 samples, 0.01%)
_dl_sysdep_start (6 samples, 0.02%)
handle_mm_fault (5 samples, 0.02%)
__GI___strcmp_ssse3 (5 samples, 0.02%)
__memcmp_sse4_1 (5 samples, 0.02%)
mc_translate_address_region (18 samples, 0.07%)
get_search_interval (3 samples, 0.01%)
malloc (3 samples, 0.01%)
mmalloc_no_memset (14 samples, 0.06%)
bprintf (25 samples, 0.10%)
pagemap_pte_range (9 samples, 0.04%)
memset (15 samples, 0.06%)
clear_page_c_e (4 samples, 0.02%)
access_mem (4 samples, 0.02%)
handle_mm_fault (3 samples, 0.01%)
mmalloc_no_memset (3 samples, 0.01%)
clear_page_c_e (7 samples, 0.03%)
sem_wait (3 samples, 0.01%)
mc_region_new_sparse (1,717 samples, 6.92%)
mc_region..
page_fault (10 samples, 0.04%)
mc_snapshot_read_region (3 samples, 0.01%)
sem_wait (30 samples, 0.12%)
bvprintf (37 samples, 0.15%)
MC_dwarf_handle_children (39 samples, 0.16%)
xbt_dynar_free (110 samples, 0.44%)
xbt_fifo_shift (7 samples, 0.03%)
calloc (7 samples, 0.03%)
mc_member_resolve (361 samples, 1.45%)
xbt_dynar_new (49 samples, 0.20%)
compare_areas_with_type (13 samples, 0.05%)
bvprintf (8 samples, 0.03%)
clear_page_c_e (6 samples, 0.02%)
MC_dwarf_handle_scope_die (11 samples, 0.04%)
_dl_runtime_resolve (5 samples, 0.02%)
mc_member_resolve (7 samples, 0.03%)
mmalloc_no_memset (5 samples, 0.02%)
memset (46 samples, 0.19%)
_dl_fixup (12 samples, 0.05%)
MC_die_to_variable.isra.8 (39 samples, 0.16%)
__memcpy_sse2_unaligned (25 samples, 0.10%)
_raw_spin_lock (6 samples, 0.02%)
xbt_dict_get_elm_or_null (54 samples, 0.22%)
bvprintf (25 samples, 0.10%)
clear_page_c_e (162 samples, 0.65%)
xbt_dict_rehash (14 samples, 0.06%)
MC_dwarf_die_to_type (280 samples, 1.13%)
_dl_lookup_symbol_x (32 samples, 0.13%)
xbt_dict_set_ext (8 samples, 0.03%)
_IO_default_xsputn (34 samples, 0.14%)
page_fault (3 samples, 0.01%)
__GI___mempcpy (5 samples, 0.02%)
mc_free_snapshot_ignored_data_pvoid (7 samples, 0.03%)
xbt_dict_cursor_get_or_free (27 samples, 0.11%)
dwarf_getlocation (6 samples, 0.02%)
mmalloc (6 samples, 0.02%)
mc_ignore_local_variable_in_scope (3 samples, 0.01%)
__memcpy_sse2_unaligned (133 samples, 0.54%)
compare_heap_area_without_type (3 samples, 0.01%)
xbt_swag_remove (3 samples, 0.01%)
calloc (4 samples, 0.02%)
mrealloc (41 samples, 0.17%)
unw_backtrace (8 samples, 0.03%)
_ULx86_64_access_reg (27 samples, 0.11%)
_dl_runtime_resolve (5 samples, 0.02%)
do_wp_page (14 samples, 0.06%)
compare_heap_area_with_type (1,900 samples, 7.66%)
compare_he..
clear_page_c_e (329 samples, 1.33%)
mmalloc_no_memset (6 samples, 0.02%)
_dl_fixup (3 samples, 0.01%)
_IO_puts (3 samples, 0.01%)
__memcpy_sse2_unaligned (8 samples, 0.03%)
SIMIX_process_get_host (3 samples, 0.01%)
_raw_spin_lock (7 samples, 0.03%)
xbt_backtrace_current (8 samples, 0.03%)
mc_snapshot_read (12 samples, 0.05%)
sem_wait (3 samples, 0.01%)
SIMIX_simcall_pre (123 samples, 0.50%)
MC_dwarf_die_to_type (54 samples, 0.22%)
MC_dwarf_register_global_variable (8 samples, 0.03%)
_dl_runtime_resolve (4 samples, 0.02%)
dl_main (6 samples, 0.02%)
mem_cgroup_newpage_charge (5 samples, 0.02%)
mc_ignore_local_variable_in_scope (463 samples, 1.87%)
m..
clear_page_c_e (18 samples, 0.07%)
xbt_dict_cursor_get_or_free (12 samples, 0.05%)
bvprintf (17 samples, 0.07%)
_dl_fixup (5 samples, 0.02%)
MPI_Type_commit (3 samples, 0.01%)
MC_dwarf_register_variable (23 samples, 0.09%)
SIMIX_simcall_pre (8 samples, 0.03%)
__GI___mempcpy (6 samples, 0.02%)
register_morecore (89 samples, 0.36%)
clear_page_c_e (4 samples, 0.02%)
MC_dwarf_handle_scope_die (26 samples, 0.10%)
xbt_cfgelm_get (13 samples, 0.05%)
malloc (3 samples, 0.01%)
__GI___strcmp_ssse3 (4 samples, 0.02%)
surf_parse_lex (4 samples, 0.02%)
calloc (49 samples, 0.20%)
xbt_swag_remove (5 samples, 0.02%)
MC_post_process_types (196 samples, 0.79%)
MC_modelcheck_safety_init (3 samples, 0.01%)
_dl_runtime_resolve (33 samples, 0.13%)
bprintf (17 samples, 0.07%)
_IO_default_xsputn (23 samples, 0.09%)
MC_dwarf_handle_children (437 samples, 1.76%)
all (24,820 samples, 100%)
_xbt_dynar_cursor_get (3 samples, 0.01%)
xbt_swag_remove (4 samples, 0.02%)
_raw_spin_lock (11 samples, 0.04%)
sem_post (13 samples, 0.05%)
_IO_vasprintf (78 samples, 0.31%)
SIMIX_process_yield (5 samples, 0.02%)
clear_page_c_e (13 samples, 0.05%)
vfprintf (8 samples, 0.03%)
xbt_dynar_insert_at_ptr (3 samples, 0.01%)
_IO_vasprintf (9 samples, 0.04%)
__libc_start_main (22,601 samples, 91.06%)
__libc_start_main
mmalloc (4 samples, 0.02%)
calloc (4 samples, 0.02%)
visited_state_free (141 samples, 0.57%)
xbt_dict_get_or_null (14 samples, 0.06%)
do_lookup_x (17 samples, 0.07%)
mc_snapshot_read_region (4 samples, 0.02%)
_IO_default_xsputn (12 samples, 0.05%)
bvprintf (45 samples, 0.18%)
do_lookup_x (8 samples, 0.03%)
__swapcontext (5 samples, 0.02%)
mmalloc_no_memset (22 samples, 0.09%)
_IO_vasprintf (183 samples, 0.74%)
mc_snapshot_region_memcp (3 samples, 0.01%)
is_visited_state (19,344 samples, 77.94%)
is_visited_state
smx_ctx_sysv_resume_serial (5 samples, 0.02%)
vfprintf (16 samples, 0.06%)
MC_dwarf_register_variable (4 samples, 0.02%)
vfprintf (12 samples, 0.05%)
_IO_vasprintf (35 samples, 0.14%)
malloc (12 samples, 0.05%)
handle_mm_fault (3 samples, 0.01%)
boost::unordered::detail::table(boost::unordered::detail::set(std::allocator(unsigned long), unsigned long, boost::hash(unsigned long), std::equal_to(unsigned long) ) )::create_buckets(unsigned long) (17 samples, 0.07%)
do_lookup_x (6 samples, 0.02%)
mmalloc (45 samples, 0.18%)
malloc (121 samples, 0.49%)
_raw_spin_lock (8 samples, 0.03%)
do_lookup_x (7 samples, 0.03%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
bvprintf (8 samples, 0.03%)
xbt_dynar_free (127 samples, 0.51%)
mc_snapshot_read_region (5 samples, 0.02%)
handle_mm_fault (15 samples, 0.06%)
heap_ignore_region_free (4 samples, 0.02%)
malloc (7 samples, 0.03%)
_raw_spin_lock (8 samples, 0.03%)
sem_wait (28 samples, 0.11%)
calloc (57 samples, 0.23%)
_raw_spin_lock (14 samples, 0.06%)
mc_translate_address_region (9 samples, 0.04%)
__GI___strcmp_ssse3 (273 samples, 1.10%)
clear_page_c_e (16 samples, 0.06%)
SIMIX_context_suspend (3 samples, 0.01%)
unmap_single_vma (8 samples, 0.03%)
[unknown] (23,840 samples, 96.05%)
[unknown]
do_lookup_x (4 samples, 0.02%)
MC_take_snapshot_ignore (56 samples, 0.23%)
MC_snapshot_handle_ignore (36 samples, 0.15%)
_ULx86_64_r_uc_addr (4 samples, 0.02%)
_IO_vasprintf (4 samples, 0.02%)
compare_areas_with_type (5 samples, 0.02%)
add_heap_area_pair (22 samples, 0.09%)
s_mc_pages_store::store_page(void*) (1,666 samples, 6.71%)
s_mc_page..
compare_heap_area (2,028 samples, 8.17%)
compare_hea..
SIMIX_comm_isend (17 samples, 0.07%)
__memcpy_sse2 (8 samples, 0.03%)
mrealloc (4 samples, 0.02%)
_xbt_dynar_cursor_get (83 samples, 0.33%)
MC_get_local_variables_values (1,025 samples, 4.13%)
MC_g..
xbt_dict_get_or_null (54 samples, 0.22%)
xbt_dict_get_elm_or_null (6 samples, 0.02%)
xbt_dict_set_ext (13 samples, 0.05%)
_dl_fixup (25 samples, 0.10%)
do_lookup_x (4 samples, 0.02%)
do_wp_page (3 samples, 0.01%)
clear_page_c_e (7 samples, 0.03%)
page_fault (4 samples, 0.02%)
MC_dwarf_at_type (11 samples, 0.04%)
clear_page_c_e (3 samples, 0.01%)
mmalloc_no_memset (7 samples, 0.03%)
calloc (4 samples, 0.02%)
sg_cfg_get_int (20 samples, 0.08%)
_ULx86_64_tdep_trace (8 samples, 0.03%)
mc_get_snapshot_region (4 samples, 0.02%)
mfree (19 samples, 0.08%)
realloc (25 samples, 0.10%)
_dl_lookup_symbol_x (9 samples, 0.04%)
copy_user_enhanced_fast_string (7 samples, 0.03%)
__memcpy_sse2_unaligned (22 samples, 0.09%)
sg_cfg_get_boolean (19 samples, 0.08%)
_dl_lookup_symbol_x (3 samples, 0.01%)
xbt_swag_remove (3 samples, 0.01%)
MC_die_to_variable.isra.8 (3 samples, 0.01%)
calloc (31 samples, 0.12%)
mfree (5 samples, 0.02%)
xbt_mallocator_get (12 samples, 0.05%)
mmalloc_no_memset (5 samples, 0.02%)
xbt_swag_insert_at_tail (3 samples, 0.01%)
_ULx86_64_get_reg@plt (3 samples, 0.01%)
bvprintf (4 samples, 0.02%)
PMPI_Send (194 samples, 0.78%)
bprintf (5 samples, 0.02%)
walk_page_range (7 samples, 0.03%)
_dl_runtime_resolve (6 samples, 0.02%)
main (22,601 samples, 91.06%)
main
__memcpy_sse2_unaligned (4 samples, 0.02%)
MC_state_get_request (12 samples, 0.05%)
__memcpy_sse2 (3 samples, 0.01%)
memset (26 samples, 0.10%)
dwarf_tag (3 samples, 0.01%)
mc_translate_address_region (844 samples, 3.40%)
mc_..
sem_wait (4 samples, 0.02%)
_IO_vasprintf (25 samples, 0.10%)
MC_restore_snapshot (465 samples, 1.87%)
M..
SIMIX_host_execution_destroy (3 samples, 0.01%)
calloc (20 samples, 0.08%)
bprintf (4 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
reuse_swap_page (3 samples, 0.01%)
page_fault (7 samples, 0.03%)
mc_take_page_snapshot_region (1,711 samples, 6.89%)
mc_take_p..
alloc_pages_vma (7 samples, 0.03%)
xbt_dynar_insert_at_ptr (18 samples, 0.07%)
bprintf (8 samples, 0.03%)
mmalloc_no_memset (45 samples, 0.18%)
free (7 samples, 0.03%)
pagemap_pte_range (66 samples, 0.27%)
xbt_dynar_push (26 samples, 0.10%)
smx_ctx_sysv_runall_serial (3 samples, 0.01%)
pthread_mutex_unlock (4 samples, 0.02%)
reuse_swap_page (4 samples, 0.02%)
SIMIX_pre_host_execute (4 samples, 0.02%)
mmalloc (26 samples, 0.10%)
xbt_dynar_new (21 samples, 0.08%)
clear_page_c_e (3 samples, 0.01%)
bprintf (11 samples, 0.04%)
MC_region_restore (451 samples, 1.82%)
M..
__strdup (7 samples, 0.03%)
mc_dwarf_handle_namespace_die (236 samples, 0.95%)
_dl_lookup_symbol_x (3 samples, 0.01%)
memset (6 samples, 0.02%)
__GI___libc_write (7 samples, 0.03%)
clear_page_c_e (13 samples, 0.05%)
MC_dwarf_handle_children (25 samples, 0.10%)
operator new(unsigned long) (4 samples, 0.02%)
calloc (4 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
compare_heap_area_without_type (3 samples, 0.01%)
xbt_dynar_member (32 samples, 0.13%)
memset (4 samples, 0.02%)
__pread_nocancel (21 samples, 0.08%)
__memmove_ssse3_back (15 samples, 0.06%)
compare_heap_area (3,129 samples, 12.61%)
compare_heap_area
clear_page_c_e (46 samples, 0.19%)
clear_page_c_e (10 samples, 0.04%)
clear_page_c_e (4 samples, 0.02%)
__memcpy_sse2_unaligned (5 samples, 0.02%)
mc_snapshot_read_region (3 samples, 0.01%)
MC_ignore (11 samples, 0.04%)
memset (6 samples, 0.02%)
xbt_dictelm_new (34 samples, 0.14%)
__memcpy_sse2 (27 samples, 0.11%)
SIMIX_fifo_get_comm (11 samples, 0.04%)
clear_page_c_e (4 samples, 0.02%)
sem_post@plt (3 samples, 0.01%)
_IO_default_xsputn (12 samples, 0.05%)
page_waitqueue (3 samples, 0.01%)
mmalloc_no_memset (4 samples, 0.02%)
__memcpy_sse2 (17 samples, 0.07%)
mc_member_resolve (62 samples, 0.25%)
bvprintf (4 samples, 0.02%)
xbt_dict_get_elm_or_null (139 samples, 0.56%)
add_heap_area_pair (65 samples, 0.26%)
simcall_host_execution_wait (7 samples, 0.03%)
add_heap_area_pair (6 samples, 0.02%)
SIMIX_process_runall (3 samples, 0.01%)
compare_heap_area (6 samples, 0.02%)
MC_dwarf_handle_children (7 samples, 0.03%)
clear_page_c_e (13 samples, 0.05%)
MC_ignore (14 samples, 0.06%)
MC_state_delete (7 samples, 0.03%)
init_heap_information (475 samples, 1.91%)
i..
s_mc_pages_store::alloc_page() (6 samples, 0.02%)
native_set_pte_at (46 samples, 0.19%)
clear_page_c_e (5 samples, 0.02%)
TRACE_smpi_computing_in (4 samples, 0.02%)
_IO_vasprintf (4 samples, 0.02%)
malloc (26 samples, 0.10%)
clear_page_c_e (3 samples, 0.01%)
SIMIX_context_runall (3 samples, 0.01%)
dwarf_getlocations (27 samples, 0.11%)
xbt_dictelm_new (4 samples, 0.02%)
mc_translate_address_region (20 samples, 0.08%)
vfprintf (28 samples, 0.11%)
clear_page_c_e (3 samples, 0.01%)
compare_heap_area (6 samples, 0.02%)
free (9 samples, 0.04%)
mmalloc (3 samples, 0.01%)
xbt_dynar_length (3 samples, 0.01%)
dict_elm_mallocator_new_f (12 samples, 0.05%)
_xbt_dynar_cursor_get (5 samples, 0.02%)
__memcpy_sse2_unaligned (241 samples, 0.97%)
register_morecore (10 samples, 0.04%)
mc_get_snapshot_region@plt (16 samples, 0.06%)
_dl_lookup_symbol_x (5 samples, 0.02%)
checkpoint_ignore_region_free (3 samples, 0.01%)
_raw_spin_lock (9 samples, 0.04%)
xbt_dynar_remove_at (158 samples, 0.64%)
compare_heap_area (54 samples, 0.22%)
xbt_dictelm_new (131 samples, 0.53%)
xbt_dict_get_or_null (12 samples, 0.05%)
do_lookup_x (4 samples, 0.02%)
page_waitqueue (6 samples, 0.02%)
vfprintf (6 samples, 0.02%)
_dl_runtime_resolve (5 samples, 0.02%)
_IO_default_xsputn (5 samples, 0.02%)
smpi_bench_begin (12 samples, 0.05%)
sem_wait (4 samples, 0.02%)
mc_translate_address_region (6 samples, 0.02%)
add_heap_area_pair (93 samples, 0.37%)
handle_mm_fault (4 samples, 0.02%)
clear_page_c_e (6 samples, 0.02%)
__memmove_ssse3_back (4 samples, 0.02%)
_dl_lookup_symbol_x (19 samples, 0.08%)
xbt_dynar_search (14 samples, 0.06%)
_dl_runtime_resolve (5 samples, 0.02%)
__memcpy_sse2_unaligned (465 samples, 1.87%)
_..
vfprintf (3 samples, 0.01%)
__memcpy_sse2 (38 samples, 0.15%)
sem_wait (8 samples, 0.03%)
__memcpy_sse2 (5 samples, 0.02%)
operator new(unsigned long) (4 samples, 0.02%)
MC_state_get_executed_request (12 samples, 0.05%)
__pthread_mutex_unlock_usercnt (6 samples, 0.02%)
smpi_datatype_vector (18 samples, 0.07%)
sys_rt_sigprocmask (3 samples, 0.01%)
_dl_fixup (4 samples, 0.02%)
mc_dwarf_location_list_init (5 samples, 0.02%)
_dl_fixup (5 samples, 0.02%)
MC_dwarf_handle_children (14 samples, 0.06%)
SIMIX_pre_comm_isend (4 samples, 0.02%)
MC_dwarf_get_variables (1,515 samples, 6.10%)
MC_dwarf..
MC_dwarf_at_type (4 samples, 0.02%)
snapshot_compare (5 samples, 0.02%)
bprintf (100 samples, 0.40%)
_dl_fixup (12 samples, 0.05%)
xbt_dict_cursor_get_or_free (22 samples, 0.09%)
do_lookup_x (21 samples, 0.08%)
clear_page_c_e (3 samples, 0.01%)
_dl_runtime_resolve (5 samples, 0.02%)
mc_snapshot_read@plt (16 samples, 0.06%)
_setjmp@plt (5 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
__memcpy_sse2_unaligned (203 samples, 0.82%)
_raw_spin_lock (7 samples, 0.03%)
MC_die_to_variable.isra.8 (32 samples, 0.13%)
_raw_spin_lock (5 samples, 0.02%)
__memcpy_sse2_unaligned (7 samples, 0.03%)
memset (3 samples, 0.01%)
mmalloc (14 samples, 0.06%)
mc_snapshot_read_region (8 samples, 0.03%)
_raw_spin_lock (5 samples, 0.02%)
mc_member_resolve@plt (3 samples, 0.01%)
clear_page_c_e (41 samples, 0.17%)
MC_find_function_by_ip (252 samples, 1.02%)
clear_page_c_e (77 samples, 0.31%)
compare_heap_area (13 samples, 0.05%)
memcpy@plt (44 samples, 0.18%)
mmalloc (8 samples, 0.03%)
bprintf (4 samples, 0.02%)
compare_heap_area (19 samples, 0.08%)
bprintf (8 samples, 0.03%)
smpi_process_remote_mailbox (3 samples, 0.01%)
_xbt_dynar_cursor_get (6 samples, 0.02%)
_dl_runtime_resolve (3 samples, 0.01%)
calloc (17 samples, 0.07%)
smpi_execute (26 samples, 0.10%)
clear_page_c_e (3 samples, 0.01%)
_dl_fixup (8 samples, 0.03%)
mc_snapshot_read_region (20 samples, 0.08%)
bvprintf (13 samples, 0.05%)
SIMIX_comm_new (8 samples, 0.03%)
compare_areas_with_type (11,185 samples, 45.06%)
compare_areas_with_type
calloc (6 samples, 0.02%)
SIMIX_simcall_pre (5 samples, 0.02%)
__memcpy_sse2_unaligned (38 samples, 0.15%)
mc_read_pagemap (35 samples, 0.14%)
xbt_dynar_length (53 samples, 0.21%)
realloc (10 samples, 0.04%)
PMPI_Type_vector@plt (4 samples, 0.02%)
do_lookup_x (3 samples, 0.01%)
__alloc_pages_nodemask (3 samples, 0.01%)
compare_heap_area_without_type (8 samples, 0.03%)
_IO_vasprintf (4 samples, 0.02%)
MC_dwarf_handle_scope_die (45 samples, 0.18%)
strlen (72 samples, 0.29%)
xbt_dynar_free_container (5 samples, 0.02%)
mc_region_restore_sparse (448 samples, 1.80%)
m..
_raw_spin_lock (14 samples, 0.06%)
MC_dwarf_at_type (15 samples, 0.06%)
MC_dwarf_register_non_global_variable (4 samples, 0.02%)
_ULx86_64_dwarf_find_save_locs (4 samples, 0.02%)
smpi_simulated_main_ (296 samples, 1.19%)
_IO_default_xsputn (12 samples, 0.05%)
malloc@plt (3 samples, 0.01%)
PMPI_Recv (49 samples, 0.20%)
xbt_dictelm_new (3 samples, 0.01%)
mmalloc_no_memset (24 samples, 0.10%)
_IO_vasprintf (4 samples, 0.02%)
_dl_fixup (4 samples, 0.02%)
serialize_vector (5 samples, 0.02%)
clear_page_c_e (10 samples, 0.04%)
_dl_fixup (5 samples, 0.02%)
mc_snapshot_region_memcp (31 samples, 0.12%)
__strdup (18 samples, 0.07%)
__strdup (39 samples, 0.16%)
MC_state_interleave_size (5 samples, 0.02%)
page_fault (21 samples, 0.08%)
__memcpy_sse2 (24 samples, 0.10%)
xbt_dynar_insert_at_ptr (10 samples, 0.04%)
MC_dwarf_register_non_global_variable (23 samples, 0.09%)
build_request (20 samples, 0.08%)
__memcpy_sse2_unaligned (24 samples, 0.10%)
_dl_lookup_symbol_x (6 samples, 0.02%)
do_lookup_x (3 samples, 0.01%)
_dl_runtime_resolve (3 samples, 0.01%)
do_lookup_x (3 samples, 0.01%)
SIMIX_action_mallocator_new_f (5 samples, 0.02%)
MC_dwarf_register_non_global_variable (3 samples, 0.01%)
malloc (109 samples, 0.44%)
compare_heap_area_without_type (40 samples, 0.16%)
main (3 samples, 0.01%)
bvprintf (15 samples, 0.06%)
memset (4 samples, 0.02%)
calloc (80 samples, 0.32%)
smpi_datatype_create (11 samples, 0.04%)
clear_page_c_e (83 samples, 0.33%)
get_page_from_freelist (7 samples, 0.03%)
[unknown] (15 samples, 0.06%)
__memcpy_sse2 (7 samples, 0.03%)
clear_page_c_e (28 samples, 0.11%)
xbt_dynar_get_ptr (7 samples, 0.03%)
clear_page_c_e (5 samples, 0.02%)
MC_modelcheck_safety_init (17 samples, 0.07%)
SIMIX_context_runall (3 samples, 0.01%)
heap_ignore_region_free_voidp (7 samples, 0.03%)
clear_page_c_e (4 samples, 0.02%)
clear_page_c_e (4 samples, 0.02%)
sem_wait (22 samples, 0.09%)
__memcpy_sse2_unaligned (47 samples, 0.19%)
__tlb_remove_page (3 samples, 0.01%)
xbt_dict_set (11 samples, 0.04%)
_dl_lookup_symbol_x (11 samples, 0.04%)
mmalloc (4 samples, 0.02%)
mc_dwarf_execute_expression (79 samples, 0.32%)
page_fault (3 samples, 0.01%)
clear_page_c_e (29 samples, 0.12%)
_IO_default_xsputn (8 samples, 0.03%)
bprintf (9 samples, 0.04%)
__alloc_pages_nodemask (4 samples, 0.02%)
is_visited_state (3 samples, 0.01%)
clear_page_c_e (4 samples, 0.02%)
smpi_datatype_unuse (14 samples, 0.06%)
compare_areas_with_type (197 samples, 0.79%)
mc_dwarf_location_list_init_from_expression (4 samples, 0.02%)
pagemap_pte_range (4 samples, 0.02%)
memset (7 samples, 0.03%)
do_wp_page (18 samples, 0.07%)
SIMIX_pre_host_execution_wait (3 samples, 0.01%)
MC_dwarf_die_to_type (105 samples, 0.42%)
_dl_lookup_symbol_x (5 samples, 0.02%)
parse_platform_file (4 samples, 0.02%)
__memcpy_sse2 (3 samples, 0.01%)
mc_translate_address_region (17 samples, 0.07%)
clear_refs_write (4 samples, 0.02%)
call_init.part.0 (4 samples, 0.02%)
free_hot_cold_page (4 samples, 0.02%)
__write_nocancel (49 samples, 0.20%)
free_pcppages_bulk (6 samples, 0.02%)
_IO_vasprintf (8 samples, 0.03%)
memset (17 samples, 0.07%)
bvprintf (7 samples, 0.03%)
__memcpy_sse2_unaligned (374 samples, 1.51%)
MC_dwarf_at_type (183 samples, 0.74%)
MC_dwarf_handle_children (4 samples, 0.02%)
xbt_dynar_new (4 samples, 0.02%)
xbt_dict_set_ext (11 samples, 0.04%)
_dl_lookup_symbol_x (3 samples, 0.01%)
mc_dwarf_expression_init (3 samples, 0.01%)
MC_modelcheck_safety_init (14 samples, 0.06%)
xbt_dict_get_elm_or_null (12 samples, 0.05%)
apply_reg_state (6 samples, 0.02%)
page_fault (4 samples, 0.02%)
sem_wait (6 samples, 0.02%)
_IO_default_xsputn (3 samples, 0.01%)
mc_snapshot_region_memcp (22 samples, 0.09%)
_ULx86_64_init_local (10 samples, 0.04%)
mc_snapshot_read_region (16 samples, 0.06%)
__wake_up_bit (3 samples, 0.01%)
__memcpy_sse2 (33 samples, 0.13%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
handle_mm_fault (3 samples, 0.01%)
MC_free_snapshot (134 samples, 0.54%)
operator new(unsigned long) (8 samples, 0.03%)
MC_dwarf_handle_scope_die (21 samples, 0.08%)
memset (8 samples, 0.03%)
calloc (316 samples, 1.27%)
page_fault (4 samples, 0.02%)
mmput (5 samples, 0.02%)
bvprintf (4 samples, 0.02%)
memset (3 samples, 0.01%)
sem_wait (4 samples, 0.02%)
reuse_swap_page (6 samples, 0.02%)
mc_post_process_scope (92 samples, 0.37%)
_raw_spin_lock (4 samples, 0.02%)
handle_mm_fault (27 samples, 0.11%)
clear_page_c_e (5 samples, 0.02%)
__memcpy_sse2_unaligned (14 samples, 0.06%)
MC_dwarf_at_type (4 samples, 0.02%)
sem_wait (5 samples, 0.02%)
mc_snapshot_read (36 samples, 0.15%)
alloc_pages_vma (4 samples, 0.02%)
mc_dwarf_resolve_locations (137 samples, 0.55%)
MC_die_to_variable.isra.8 (14 samples, 0.06%)
mmalloc (6 samples, 0.02%)
mmalloc (10 samples, 0.04%)
page_fault (3 samples, 0.01%)
xbt_mallocator_release (3 samples, 0.01%)
mc_snapshot_read_region (25 samples, 0.10%)
MC_snapshot_handle_ignore (146 samples, 0.59%)
_dl_start (6 samples, 0.02%)
compare_heap_area_with_type (6 samples, 0.02%)
mmalloc_set_current_heap (3 samples, 0.01%)
_dl_lookup_symbol_x (33 samples, 0.13%)
mfree (3 samples, 0.01%)
calloc (4 samples, 0.02%)
smpi_execute_flops (3 samples, 0.01%)
is_visited_state (13 samples, 0.05%)
do_lookup_x (3 samples, 0.01%)
_dl_runtime_resolve (5 samples, 0.02%)
SIMIX_create_environment (4 samples, 0.02%)
bprintf (4 samples, 0.02%)
simcall_BODY_host_execute (3 samples, 0.01%)
_raw_spin_lock (4 samples, 0.02%)
xbt_swag_remove (5 samples, 0.02%)
calloc (8 samples, 0.03%)
_ULx86_64_dwarf_find_save_locs (50 samples, 0.20%)
MC_dwarf_die_to_type (18 samples, 0.07%)
handle_mm_fault (4 samples, 0.02%)
_raw_spin_lock (5 samples, 0.02%)
SIMIX_comm_irecv (4 samples, 0.02%)
smpi_datatype_lb (3 samples, 0.01%)
_IO_default_xsputn (6 samples, 0.02%)
__pread_nocancel (8 samples, 0.03%)
std::vector(unsigned long, std::allocator(unsigned long) )::_M_fill_insert(__gnu_cxx::__normal_iterator(unsigned long*, std::vector(unsigned long, std::allocator(unsigned long) ) ), unsigned long, unsigned long const&) (5 samples, 0.02%)
compare_heap_area_without_type (5 samples, 0.02%)
_ULx86_64_step (50 samples, 0.20%)
MC_dwarf_register_variable (8 samples, 0.03%)
_IO_vasprintf (7 samples, 0.03%)
xbt_dict_set_ext (189 samples, 0.76%)
SIMIX_comm_finish (14 samples, 0.06%)
kmem_cache_alloc_trace (4 samples, 0.02%)
smpi_comm_copy_buffer_callback (3 samples, 0.01%)
_dl_fixup (4 samples, 0.02%)
_xbt_dynar_cursor_get (72 samples, 0.29%)
mc_get_snapshot_region (4 samples, 0.02%)
reuse_swap_page (5 samples, 0.02%)
__memcpy_sse2 (27 samples, 0.11%)
bvprintf (183 samples, 0.74%)
mmalloc (7 samples, 0.03%)
vfprintf (9 samples, 0.04%)
xbt_dynar_push (3 samples, 0.01%)
__memcpy_sse2 (103 samples, 0.41%)
xbt_dict_set_ext (6 samples, 0.02%)
mfree (7 samples, 0.03%)
smpi_mpi_start (8 samples, 0.03%)
xbt_dict_set (6 samples, 0.02%)
mc_softdirty_reset (8 samples, 0.03%)
calloc (4 samples, 0.02%)
mc_get_snapshot_region (10 samples, 0.04%)
get_page_from_freelist (11 samples, 0.04%)
calloc (3 samples, 0.01%)
MC_dwarf_at_type (4 samples, 0.02%)
strlen (21 samples, 0.08%)
malloc (4 samples, 0.02%)
_raw_spin_lock (9 samples, 0.04%)
clear_refs_pte_range (410 samples, 1.65%)
smpi_mpi_start (43 samples, 0.17%)
encode_datatype (4 samples, 0.02%)
__memcpy_sse2_unaligned (8 samples, 0.03%)
sem_wait (3 samples, 0.01%)
smpi_datatype_free (3 samples, 0.01%)
_ULx86_64_access_reg (4 samples, 0.02%)
s_mc_pages_store::store_page(void*) (8 samples, 0.03%)
compare_areas_with_type (17 samples, 0.07%)
mc_snapshot_read_region (22 samples, 0.09%)
memset (3 samples, 0.01%)
handle_mm_fault (5 samples, 0.02%)
handle_mm_fault (19 samples, 0.08%)
mmalloc_no_memset (10 samples, 0.04%)
_dl_fixup (24 samples, 0.10%)
do_wp_page (3 samples, 0.01%)
mc_translate_address_region (7 samples, 0.03%)
mmalloc_no_memset (3 samples, 0.01%)
clear_page_c_e (21 samples, 0.08%)
handle_mm_fault (15 samples, 0.06%)
[unknown] (5 samples, 0.02%)
_dl_init_internal (4 samples, 0.02%)
xbt_dict_get_elm_or_null (58 samples, 0.23%)
handle_mm_fault (5 samples, 0.02%)
MC_dwarf_at_type (8 samples, 0.03%)
clear_page_c_e (10 samples, 0.04%)
do_lookup_x (3 samples, 0.01%)
handle_mm_fault (4 samples, 0.02%)
xbt_dynar_length@plt (3 samples, 0.01%)
mc_snapshot_read_region (24 samples, 0.10%)
mc_snapshot_read (26 samples, 0.10%)
_dl_lookup_symbol_x (9 samples, 0.04%)
__pread_nocancel (157 samples, 0.63%)
mc_translate_address_region@plt (77 samples, 0.31%)
_dl_fixup (4 samples, 0.02%)
__swapcontext (3 samples, 0.01%)
page_remove_rmap (14 samples, 0.06%)
free (22 samples, 0.09%)
mc_get_snapshot_region (12 samples, 0.05%)
perf_event_comm_output (3 samples, 0.01%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
_IO_vasprintf (4 samples, 0.02%)
memset (146 samples, 0.59%)
_IO_vasprintf (100 samples, 0.40%)
mc_snapshot_read (19 samples, 0.08%)
__memcpy_sse2_unaligned (5 samples, 0.02%)
do_lookup_x (3 samples, 0.01%)
bprintf (183 samples, 0.74%)
native_write_msr_safe (3 samples, 0.01%)
xbt_str_hash (10 samples, 0.04%)
_raw_spin_lock (4 samples, 0.02%)
bprintf (4 samples, 0.02%)
clear_page_c_e (7 samples, 0.03%)
sem_wait (4 samples, 0.02%)
mrealloc (22 samples, 0.09%)
_dl_fixup (3 samples, 0.01%)
_IO_default_xsputn (3 samples, 0.01%)
__write_nocancel (610 samples, 2.46%)
__..
mmalloc (6 samples, 0.02%)
__GI___strcmp_ssse3 (9 samples, 0.04%)
mmalloc (4 samples, 0.02%)
clear_page_c_e (11 samples, 0.04%)
mmalloc (165 samples, 0.66%)
__memcpy_sse2_unaligned (34 samples, 0.14%)
clear_page_c_e (22 samples, 0.09%)
vfprintf (16 samples, 0.06%)
mc_translate_address_region (8 samples, 0.03%)
_raw_spin_lock (3 samples, 0.01%)
_IO_str_overflow (3 samples, 0.01%)
mc_translate_address_region (3 samples, 0.01%)
compare_heap_area (6 samples, 0.02%)
mmalloc (5 samples, 0.02%)
bprintf (4 samples, 0.02%)
smx_ctx_sysv_suspend_serial (3 samples, 0.01%)
mmalloc_no_memset (164 samples, 0.66%)
xbt_dict_set (13 samples, 0.05%)
xbt_dynar_new (15 samples, 0.06%)
snapshot_compare (17 samples, 0.07%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
MC_post_process_object_info (143 samples, 0.58%)
clear_page_c_e (3 samples, 0.01%)
xbt_dict_set (6 samples, 0.02%)
mc_snapshot_region_memcp (30 samples, 0.12%)
smpi_main (22,601 samples, 91.06%)
smpi_main
MC_state_new (9 samples, 0.04%)
memset (79 samples, 0.32%)
pthread_mutex_lock (6 samples, 0.02%)
memset (31 samples, 0.12%)
MC_die_to_variable.isra.8 (250 samples, 1.01%)
calloc (3 samples, 0.01%)
mmalloc_get_bytes_used (13 samples, 0.05%)
xbt_swag_insert_at_tail (3 samples, 0.01%)
malloc (3 samples, 0.01%)
_dl_runtime_resolve (13 samples, 0.05%)
xbt_dynar_insert_at_ptr (26 samples, 0.10%)
visited_state_new (4,008 samples, 16.15%)
visited_state_new
_dl_fixup (4 samples, 0.02%)
clear_page_c_e (52 samples, 0.21%)
smpi_mpi_recv (31 samples, 0.12%)
_raw_spin_lock (4 samples, 0.02%)
sem_wait (3 samples, 0.01%)
mmalloc_no_memset (3 samples, 0.01%)
check_match.9459 (3 samples, 0.01%)
sem_post (19 samples, 0.08%)
_IO_str_overflow (9 samples, 0.04%)
_dl_runtime_resolve (7 samples, 0.03%)
mmalloc (10 samples, 0.04%)
mc_dwarf_expression_init (40 samples, 0.16%)
dict_elm_mallocator_new_f (4 samples, 0.02%)
reuse_swap_page (3 samples, 0.01%)
_IO_vasprintf (11 samples, 0.04%)
pagemap_pte_range (5 samples, 0.02%)
compare_heap_area (6 samples, 0.02%)
memset (3 samples, 0.01%)
malloc (10 samples, 0.04%)
memset (8 samples, 0.03%)
_dl_lookup_symbol_x (5 samples, 0.02%)
mmalloc_no_memset (8 samples, 0.03%)
PMPI_Type_free (3 samples, 0.01%)
__rmqueue (5 samples, 0.02%)
xbt_dynar_new (10 samples, 0.04%)
_dl_fixup (33 samples, 0.13%)
mmalloc (4 samples, 0.02%)
sem_wait (5 samples, 0.02%)
xbt_dict_cursor_get_or_free (3 samples, 0.01%)
MC_modelcheck_safety (5 samples, 0.02%)
clear_page_c_e (11 samples, 0.04%)
mc_snapshot_read_region (17 samples, 0.07%)
__alloc_pages_nodemask (12 samples, 0.05%)
mc_snapshot_read (14 samples, 0.06%)
clear_page_c_e (11 samples, 0.04%)
MC_ignore_local_variable (503 samples, 2.03%)
M..
mmalloc (3 samples, 0.01%)
MC_init_debug_info (1,971 samples, 7.94%)
MC_init_deb..
_raw_spin_lock (4 samples, 0.02%)
MC_ip_find_object_info (44 samples, 0.18%)
bvprintf (9 samples, 0.04%)
MC_dwarf_handle_children (46 samples, 0.19%)
xbt_swag_insert_at_tail (3 samples, 0.01%)
xbt_str_hash (33 samples, 0.13%)
smpi_execute_flops (20 samples, 0.08%)
xbt_dictelm_new (8 samples, 0.03%)
copy_user_enhanced_fast_string (4 samples, 0.02%)
_IO_vasprintf (5 samples, 0.02%)
sem_post (5 samples, 0.02%)
MC_unwind_stack_frames (3 samples, 0.01%)
local_variable_free (45 samples, 0.18%)
add_heap_area_pair (6 samples, 0.02%)
__memcmp_sse4_1 (26 samples, 0.10%)
__GI___mempcpy (3 samples, 0.01%)
__strdup (195 samples, 0.79%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
MC_dwarf_handle_children (236 samples, 0.95%)
_raw_spin_lock (4 samples, 0.02%)
MC_dwarf_register_variable (5 samples, 0.02%)
bvprintf (35 samples, 0.14%)
MPI_Finalize (3 samples, 0.01%)
smpi_bench_end (50 samples, 0.20%)
smpi_mpi_irecv (20 samples, 0.08%)
malloc (7 samples, 0.03%)
mc_snapshot_read_region (76 samples, 0.31%)
xbt_dynar_push (4 samples, 0.02%)
MC_dwarf_handle_children (137 samples, 0.55%)
do_lookup_x (32 samples, 0.13%)
clear_page_c_e (3 samples, 0.01%)
_dl_fixup (36 samples, 0.15%)
mmalloc (5 samples, 0.02%)
handle_mm_fault (6 samples, 0.02%)
calloc (4 samples, 0.02%)
xbt_dictelm_new (3 samples, 0.01%)
mmalloc (47 samples, 0.19%)
_IO_vasprintf (15 samples, 0.06%)
mc_dwarf_expression_init (3 samples, 0.01%)
MPI_Type_free (4 samples, 0.02%)
handle_mm_fault (36 samples, 0.15%)
__memcpy_sse2_unaligned (6 samples, 0.02%)
_dl_name_match_p (9 samples, 0.04%)
page_fault (3 samples, 0.01%)
xbt_dict_get_or_null (6 samples, 0.02%)
MPI_Send (194 samples, 0.78%)
free (27 samples, 0.11%)
apply_reg_state (4 samples, 0.02%)
xbt_str_hash (47 samples, 0.19%)
simcall_comm_isend (7 samples, 0.03%)
bvprintf (78 samples, 0.31%)
calloc (32 samples, 0.13%)
_raw_spin_lock (7 samples, 0.03%)
bprintf (7 samples, 0.03%)
MC_dwarf_handle_scope_die (15 samples, 0.06%)
_raw_spin_lock (4 samples, 0.02%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
unserialize_vector (6 samples, 0.02%)
vfprintf (12 samples, 0.05%)
bprintf (78 samples, 0.31%)
xbt_dynar_new (4 samples, 0.02%)
MC_modelcheck_safety (20,115 samples, 81.04%)
MC_modelcheck_safety
mfree (3 samples, 0.01%)
__strdup (3 samples, 0.01%)
do_wp_page (7 samples, 0.03%)
compare_heap_area_without_type (13 samples, 0.05%)
_raw_spin_lock (3 samples, 0.01%)
clear_page_c_e (51 samples, 0.21%)
malloc (4 samples, 0.02%)
mmalloc_no_memset (89 samples, 0.36%)
bprintf (13 samples, 0.05%)
_IO_str_overflow (5 samples, 0.02%)
xbt_dict_cursor_step (9 samples, 0.04%)
mc_member_resolve (90 samples, 0.36%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
check_match.9459 (4 samples, 0.02%)
mmalloc (4 samples, 0.02%)
__memcpy_sse2 (3 samples, 0.01%)
_raw_spin_lock (4 samples, 0.02%)
cleanup_extra_data (3 samples, 0.01%)
__memcpy_sse2 (31 samples, 0.12%)
xbt_swag_insert_at_tail (4 samples, 0.02%)
SIMIX_comm_copy_data (9 samples, 0.04%)
_dl_runtime_resolve (25 samples, 0.10%)
xbt_cfg_get_boolean (19 samples, 0.08%)
compare_heap_area_with_type (2,822 samples, 11.37%)
compare_heap_are..
release_pages (5 samples, 0.02%)
mmalloc_no_memset (3 samples, 0.01%)
MC_die_to_variable.isra.8 (4 samples, 0.02%)
SIMIX_pre_comm_isend (23 samples, 0.09%)
vfprintf (36 samples, 0.15%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
bvprintf (10 samples, 0.04%)
_ULx86_64_get_reg (7 samples, 0.03%)
mc_snapshot_read (34 samples, 0.14%)
do_wp_page (3 samples, 0.01%)
malloc (7 samples, 0.03%)
MC_snapshot_stack_free (110 samples, 0.44%)
MC_dwarf_die_to_type (4 samples, 0.02%)
mmalloc (89 samples, 0.36%)
do_wp_page (3 samples, 0.01%)
realloc (41 samples, 0.17%)
memset (47 samples, 0.19%)
_dl_runtime_resolve (4 samples, 0.02%)
_dl_runtime_resolve (6 samples, 0.02%)
handle_mm_fault (5 samples, 0.02%)
mmalloc (88 samples, 0.35%)
clear_page_c_e (8 samples, 0.03%)
_IO_vasprintf (10 samples, 0.04%)
xbt_dynar_length (85 samples, 0.34%)
surf_workstation_resource_priv (3 samples, 0.01%)
_IO_str_overflow (4 samples, 0.02%)
mmalloc (14 samples, 0.06%)
SIMIX_comm_isend (4 samples, 0.02%)
do_lookup_x (3 samples, 0.01%)
page_fault (3 samples, 0.01%)
_ULx86_64_dwarf_step (4 samples, 0.02%)
vfprintf (3 samples, 0.01%)
clear_page_c_e (20 samples, 0.08%)
clear_page_c_e (24 samples, 0.10%)
mc_snapshot_read_region (18 samples, 0.07%)
mc_translate_address_region (5 samples, 0.02%)
xbt_cfg_get_int (18 samples, 0.07%)
smpi_mpi_send (119 samples, 0.48%)
mmalloc_no_memset (27 samples, 0.11%)
mmalloc_no_memset (7 samples, 0.03%)
clear_page_c_e (6 samples, 0.02%)
__memcpy_sse2_unaligned (174 samples, 0.70%)
memset (13 samples, 0.05%)
mmalloc_no_memset (4 samples, 0.02%)
mrealloc (9 samples, 0.04%)
_dl_lookup_symbol_x (5 samples, 0.02%)
_dl_relocate_object (4 samples, 0.02%)
mmalloc (3 samples, 0.01%)
MC_dwarf_handle_scope_die (8 samples, 0.03%)
memset (9 samples, 0.04%)
mmalloc (3 samples, 0.01%)
memset (7 samples, 0.03%)
xbt_fifo_new_item (7 samples, 0.03%)
_surf_parse (4 samples, 0.02%)
SIMIX_host_execute (3 samples, 0.01%)
__memcpy_sse2_unaligned (5 samples, 0.02%)
_dl_runtime_resolve (4 samples, 0.02%)
realloc (4 samples, 0.02%)
calloc (7 samples, 0.03%)
mc_dwarf_execute_expression (6 samples, 0.02%)
xbt_dynar_free (3 samples, 0.01%)
clear_page_c_e (3 samples, 0.01%)
smx_ctx_sysv_wrapper (296 samples, 1.19%)
_raw_spin_lock (10 samples, 0.04%)
mc_fill_local_variables_values (998 samples, 4.02%)
mc_f..
finish_wait (36 samples, 0.15%)
mfree (19 samples, 0.08%)
__pread_nocancel (10 samples, 0.04%)
__GI___mmap64 (3 samples, 0.01%)
xbt_fifo_new (3 samples, 0.01%)
mc_dwarf_location_list_init (4 samples, 0.02%)
mc_get_snapshot_region (5 samples, 0.02%)
smpi_process_data (6 samples, 0.02%)
add_heap_area_pair (45 samples, 0.18%)
clear_page_c_e (5 samples, 0.02%)
clear_page_c_e (32 samples, 0.13%)
register_morecore (24 samples, 0.10%)
malloc (18 samples, 0.07%)
xbt_dictelm_new (6 samples, 0.02%)
MC_dwarf_handle_children (4 samples, 0.02%)
clear_page_c_e (16 samples, 0.06%)
clear_page_c_e (50 samples, 0.20%)
MC_dwarf_handle_scope_die (4 samples, 0.02%)
mc_snapshot_region_memcp (7 samples, 0.03%)
compare_heap_area_with_type (6 samples, 0.02%)
memset (11 samples, 0.04%)
mc_snapshot_read_region (36 samples, 0.15%)
dwarf_siblingof (3 samples, 0.01%)
clear_page_c_e (3 samples, 0.01%)
MC_dwarf_handle_children (5 samples, 0.02%)
reuse_swap_page (3 samples, 0.01%)
__memcpy_sse2 (3 samples, 0.01%)
s_mc_pages_store::resize(unsigned long) (5 samples, 0.02%)
__alloc_pages_nodemask (3 samples, 0.01%)
__memcpy_sse2_unaligned (7 samples, 0.03%)
_dl_runtime_resolve (4 samples, 0.02%)
xbt_fifo_unshift_item (3 samples, 0.01%)
xbt_dict_set (8 samples, 0.03%)
clear_page_c_e (345 samples, 1.39%)
MC_ignore_local_variable_in_object (503 samples, 2.03%)
M..
is_visited_state (5 samples, 0.02%)
do_wp_page (3 samples, 0.01%)
xbt_dict_cursor_step (11 samples, 0.04%)
MC_dwarf_handle_children (4 samples, 0.02%)
MC_dwarf_handle_children (18 samples, 0.07%)
mmalloc (73 samples, 0.29%)
perf_event_aux (4 samples, 0.02%)
MC_modelcheck_safety (17 samples, 0.07%)
mmalloc_no_memset (6 samples, 0.02%)
clear_page_c_e (4 samples, 0.02%)
MC_unwind_stack_frames (906 samples, 3.65%)
MC_u..
snapshot_compare (15,101 samples, 60.84%)
snapshot_compare
bprintf (45 samples, 0.18%)
do_wp_page (3 samples, 0.01%)
visited_state_free_voidp (147 samples, 0.59%)
[unknown] (26 samples, 0.10%)
__memcpy_sse2_unaligned (209 samples, 0.84%)
memset (21 samples, 0.08%)
bvprintf (4 samples, 0.02%)
vfprintf (63 samples, 0.25%)
down_read (6 samples, 0.02%)
page_fault (11 samples, 0.04%)
free (11 samples, 0.04%)
SIMIX_pre_comm_wait (14 samples, 0.06%)
memset (15 samples, 0.06%)
__memcpy_sse2_unaligned (5 samples, 0.02%)
MC_snapshot_stack_free_voidp (110 samples, 0.44%)
_raw_spin_lock (9 samples, 0.04%)
MC_get_memory_regions (1,731 samples, 6.97%)
MC_get_me..
xbt_dynar_new (5 samples, 0.02%)
_dl_fixup (7 samples, 0.03%)
clear_page_c_e (5 samples, 0.02%)
MC_snapshot_ignore_restore (16 samples, 0.06%)
clear_page_c_e (6 samples, 0.02%)
clear_page_c_e (25 samples, 0.10%)
compare_areas_with_type (3 samples, 0.01%)
_IO_vasprintf (37 samples, 0.15%)
MC_dwarf_at_type (9 samples, 0.04%)
MC_die_to_variable.isra.8 (12 samples, 0.05%)
_raw_spin_lock (4 samples, 0.02%)
realloc (7 samples, 0.03%)
_dl_fixup (6 samples, 0.02%)
mc_translate_address_region (10 samples, 0.04%)
xbt_dynar_insert_at_ptr (8 samples, 0.03%)
__memcpy_sse2 (5 samples, 0.02%)
mc_dwarf_handle_namespace_die (46 samples, 0.19%)
smpi_mpi_request_free (3 samples, 0.01%)
mmalloc (11 samples, 0.04%)
MC_resolve_subtype (165 samples, 0.66%)
sem_wait (12 samples, 0.05%)
compare_heap_area_with_type (26 samples, 0.10%)
clear_page_c_e (25 samples, 0.10%)
MC_do_the_modelcheck_for_real (3 samples, 0.01%)
perf_event_aux_ctx (4 samples, 0.02%)
mmalloc_no_memset (4 samples, 0.02%)
xbt_dynar_free (6 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
__memcpy_sse2_unaligned (22 samples, 0.09%)
_dl_runtime_resolve (7 samples, 0.03%)
clear_page_c_e (8 samples, 0.03%)
MC_do_the_modelcheck_for_real (14 samples, 0.06%)
malloc (4 samples, 0.02%)
compare_heap_area_without_type (4 samples, 0.02%)
calloc (14 samples, 0.06%)
MC_dwarf_handle_children (11 samples, 0.04%)
xbt_dictelm_new (6 samples, 0.02%)
_dl_runtime_resolve (3 samples, 0.01%)
mc_snapshot_read_region (14 samples, 0.06%)
page_fault (5 samples, 0.02%)
clear_page_c_e (18 samples, 0.07%)
simcall_BODY_host_execution_wait (3 samples, 0.01%)
__memcpy_sse2 (9 samples, 0.04%)
MC_die_to_variable.isra.8 (3 samples, 0.01%)
_dl_lookup_symbol_x (12 samples, 0.05%)
xbt_cfgelm_get (16 samples, 0.06%)
get_search_interval (3 samples, 0.01%)
_IO_default_xsputn (7 samples, 0.03%)
calloc (7 samples, 0.03%)
_xbt_dynar_cursor_get (6 samples, 0.02%)
xbt_dynar_push (5 samples, 0.02%)
mmalloc_no_memset (4 samples, 0.02%)
compare_heap_area_without_type (24 samples, 0.10%)
mc_get_snapshot_region (24 samples, 0.10%)
compare_heap_area_without_type (38 samples, 0.15%)
simcall_BODY_comm_wait (9 samples, 0.04%)
_IO_str_overflow (5 samples, 0.02%)
mfree (38 samples, 0.15%)
xbt_fifo_free_item (3 samples, 0.01%)
xbt_str_hash (8 samples, 0.03%)
_raw_spin_lock (3 samples, 0.01%)
__memcpy_sse2_unaligned (19 samples, 0.08%)
mmalloc (8 samples, 0.03%)
xbt_dict_cursor_step (10 samples, 0.04%)
check_match.9459 (5 samples, 0.02%)
mc_snapshot_read_region (2,055 samples, 8.28%)
mc_snapshot..
MC_dwarf_handle_children (110 samples, 0.44%)
__memcpy_sse2_unaligned (28 samples, 0.11%)
bvprintf (11 samples, 0.04%)
calloc (9 samples, 0.04%)
xbt_str_hash (3 samples, 0.01%)
_dl_fixup (3 samples, 0.01%)
clear_page_c_e (17 samples, 0.07%)
mc_snapshot_region_memcp (3 samples, 0.01%)
do_wp_page (11 samples, 0.04%)
mc_dwarf_location_list_init (6 samples, 0.02%)
sys_mmap_pgoff (3 samples, 0.01%)
__memcpy_sse2 (73 samples, 0.29%)
mc_snapshot_region_memcp (4 samples, 0.02%)
operator new(unsigned long) (3 samples, 0.01%)
_dl_lookup_symbol_x (4 samples, 0.02%)
handle_mm_fault (5 samples, 0.02%)
_IO_vasprintf (4 samples, 0.02%)
free (6 samples, 0.02%)
xbt_dynar_get_ptr (16 samples, 0.06%)
xbt_dynar_insert_at_ptr (4 samples, 0.02%)
__sigprocmask (11 samples, 0.04%)
mc_dwarf_resolve_locations (116 samples, 0.47%)
boost::unordered::detail::table(boost::unordered::detail::set(std::allocator(s_pointers_pair), s_pointers_pair, boost::hash(s_pointers_pair), std::equal_to(s_pointers_pair) ) )::create_buckets(unsigned long) (40 samples, 0.16%)
_dl_runtime_resolve (24 samples, 0.10%)
handle_mm_fault (28 samples, 0.11%)
page_fault (4 samples, 0.02%)
clear_page_c_e (7 samples, 0.03%)
clear_page_c_e (9 samples, 0.04%)
xbt_dynar_insert_at_ptr (9 samples, 0.04%)
__memcpy_sse2 (3 samples, 0.01%)
memset (11 samples, 0.04%)
_raw_spin_lock (92 samples, 0.37%)
__memcpy_sse2_unaligned (9 samples, 0.04%)
snapshot_compare (13 samples, 0.05%)
_setjmp (4 samples, 0.02%)
malloc (17 samples, 0.07%)
xbt_dynar_push (41 samples, 0.17%)
MC_dwarf_handle_children (89 samples, 0.36%)
MC_dwarf_handle_scope_die (163 samples, 0.66%)
add_heap_area_pair (90 samples, 0.36%)
snapshot_compare (3 samples, 0.01%)
SIMIX_host_self (3 samples, 0.01%)
operator new(unsigned long) (125 samples, 0.50%)
compare_heap_area_with_type (1,149 samples, 4.63%)
compa..
mmalloc_no_memset (3 samples, 0.01%)
_dl_fixup (14 samples, 0.06%)
memset (3 samples, 0.01%)
__memcpy_sse2 (3 samples, 0.01%)
_dl_lookup_symbol_x (4 samples, 0.02%)
PMPI_Finalize (3 samples, 0.01%)
access_mem (5 samples, 0.02%)
mc_snapshot_read_region (5 samples, 0.02%)
_raw_spin_lock (60 samples, 0.24%)
mmalloc_compare_heap (177 samples, 0.71%)
clear_page_c_e (33 samples, 0.13%)
smpi_comm_copy_buffer_callback (6 samples, 0.02%)
SIMIX_comm_copy_data (7 samples, 0.03%)
mc_dwarf_handle_namespace_die (110 samples, 0.44%)
_dl_lookup_symbol_x (3 samples, 0.01%)
MC_find_object_info (1,827 samples, 7.36%)
MC_find_ob..
handle_mm_fault (11 samples, 0.04%)
clear_page_c_e (16 samples, 0.06%)
local_variable_free_voidp (71 samples, 0.29%)
_dl_fixup (8 samples, 0.03%)
pagemap_pte_range (9 samples, 0.04%)
compare_heap_area (64 samples, 0.26%)
xbt_dict_set (189 samples, 0.76%)
MC_snapshot_add_region (1,718 samples, 6.92%)
MC_snapsh..
reuse_swap_page (3 samples, 0.01%)
SIMIX_process_runall (3 samples, 0.01%)
mmalloc_no_memset (3 samples, 0.01%)
mem_cgroup_uncharge_page (6 samples, 0.02%)
malloc (17 samples, 0.07%)
__alloc_pages_nodemask (3 samples, 0.01%)
MC_dwarf_die_to_type (4 samples, 0.02%)
_raw_spin_lock (4 samples, 0.02%)
MC_dwarf_at_type (3 samples, 0.01%)
_IO_default_xsputn (63 samples, 0.25%)
mc_snapshot_region_memcp (14 samples, 0.06%)
__libc_start_main (14 samples, 0.06%)
MC_dwarf_handle_children (8 samples, 0.03%)
MC_dwarf_handle_children (61 samples, 0.25%)
mc_snapshot_read_region (5 samples, 0.02%)
MC_wait_for_requests (18 samples, 0.07%)
smpi_comm_copy_buffer_callback (5 samples, 0.02%)
mc_snapshot_read_region (14 samples, 0.06%)
__memcpy_sse2_unaligned (9 samples, 0.04%)
compare_heap_area_with_type (153 samples, 0.62%)
clear_page_c_e (32 samples, 0.13%)
MC_dwarf_at_type (101 samples, 0.41%)
MC_region_new (1,718 samples, 6.92%)
MC_region..
page_fault (58 samples, 0.23%)
mc_snapshot_read (5 samples, 0.02%)
_dl_fixup (7 samples, 0.03%)
SIMIX_execution_finish (3 samples, 0.01%)
_IO_vasprintf (17 samples, 0.07%)
mmalloc (24 samples, 0.10%)
sem_wait (3 samples, 0.01%)
MPI_Recv (49 samples, 0.20%)
bprintf (37 samples, 0.15%)
SIMIX_process_yield (3 samples, 0.01%)
calloc (8 samples, 0.03%)
mc_translate_address_region (3 samples, 0.01%)
xbt_dict_get_or_null (59 samples, 0.24%)
__tsearch (21 samples, 0.08%)
clear_refs_pte_range (37 samples, 0.15%)
mc_dwarf_resolve_location (97 samples, 0.39%)
bvprintf (4 samples, 0.02%)
_IO_default_xsputn (36 samples, 0.15%)
clear_page_c_e (3 samples, 0.01%)
sem_wait (6 samples, 0.02%)
SIMIX_process_self (3 samples, 0.01%)
get_search_interval (38 samples, 0.15%)
[unknown] (6 samples, 0.02%)
sem_wait@plt (3 samples, 0.01%)
memset (18 samples, 0.07%)
malloc (8 samples, 0.03%)
__memcmp_sse4_1 (693 samples, 2.79%)
__..
__pread_nocancel (9 samples, 0.04%)
memset (8 samples, 0.03%)
clear_page_c_e (3 samples, 0.01%)
mmalloc (5 samples, 0.02%)
__GI___strcmp_ssse3 (4 samples, 0.02%)
compare_heap_area_with_type (6 samples, 0.02%)
mc_member_resolve (47 samples, 0.19%)
free (5 samples, 0.02%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
MC_wait_for_requests (9 samples, 0.04%)
compare_areas_with_type (137 samples, 0.55%)
is_visited_state (17 samples, 0.07%)
_dl_lookup_symbol_x (3 samples, 0.01%)
compare_heap_area (215 samples, 0.87%)
xbt_dict_set_ext (6 samples, 0.02%)
mc_dwarf_location_list_init_from_expression (79 samples, 0.32%)
_dl_fixup (4 samples, 0.02%)
memset (3 samples, 0.01%)
mc_dwarf_resolve_location (106 samples, 0.43%)
mc_get_snapshot_region (11 samples, 0.04%)
calloc (5 samples, 0.02%)
MC_modelcheck_safety (13 samples, 0.05%)
mfree (7 samples, 0.03%)
__memcpy_sse2 (3 samples, 0.01%)
__memmove_ssse3_back (10 samples, 0.04%)
simcall_comm_wait (10 samples, 0.04%)
MPI_Type_vector (23 samples, 0.09%)
_dl_runtime_resolve (8 samples, 0.03%)
main (14 samples, 0.06%)
smx_ctx_sysv_suspend_serial (8 samples, 0.03%)
SIMIX_simcall_pre (26 samples, 0.10%)
mmalloc_no_memset (10 samples, 0.04%)
__alloc_pages_nodemask (7 samples, 0.03%)
calloc (3 samples, 0.01%)
__memcpy_sse2 (5 samples, 0.02%)
__alloc_pages_nodemask (3 samples, 0.01%)
_dl_lookup_symbol_x (6 samples, 0.02%)
clear_page_c_e (26 samples, 0.10%)
MC_dwarf_at_type (7 samples, 0.03%)
MC_dwarf_handle_scope_die (687 samples, 2.77%)
MC..
alloc_pages_vma (3 samples, 0.01%)
memset (468 samples, 1.89%)
m..
__memcpy_sse2 (8 samples, 0.03%)
mmput (3 samples, 0.01%)
calloc (15 samples, 0.06%)
free (7 samples, 0.03%)
dwarf_end (18 samples, 0.07%)
mc_snapshot_read_region@plt (71 samples, 0.29%)
malloc (47 samples, 0.19%)
MC_region_destroy (5 samples, 0.02%)
free (3 samples, 0.01%)
xbt_swag_insert_at_tail (9 samples, 0.04%)
get_page_from_freelist (13 samples, 0.05%)
_xbt_dynar_cursor_first (11 samples, 0.04%)
_ULx86_64_dwarf_step (50 samples, 0.20%)
xbt_dynar_push (8 samples, 0.03%)
__memcpy_sse2_unaligned (9 samples, 0.04%)
memset (55 samples, 0.22%)
MC_dwarf_handle_scope_die (101 samples, 0.41%)
mc_valid_variable (21 samples, 0.08%)
smpi_process_index (9 samples, 0.04%)
xbt_dynar_insert_at_ptr (3 samples, 0.01%)
mfree (5 samples, 0.02%)
_ULx86_64_get_reg@plt (3 samples, 0.01%)
xbt_dict_set (58 samples, 0.23%)
__memcpy_sse2 (5 samples, 0.02%)
boost::unordered::detail::table(boost::unordered::detail::set(std::allocator(s_pointers_pair), s_pointers_pair, boost::hash(s_pointers_pair), std::equal_to(s_pointers_pair) ) )::create_buckets(unsigned long) (99 samples, 0.40%)
reuse_swap_page (3 samples, 0.01%)
_raw_spin_lock (14 samples, 0.06%)
mmalloc_no_memset (5 samples, 0.02%)
clear_page_c_e (8 samples, 0.03%)
mmalloc (27 samples, 0.11%)
__alloc_pages_nodemask (4 samples, 0.02%)
_IO_default_xsputn (3 samples, 0.01%)
_xbt_dynar_cursor_get (6 samples, 0.02%)
build_request (8 samples, 0.03%)
xbt_dict_set_ext (58 samples, 0.23%)
compare_heap_area (5 samples, 0.02%)
xbt_mallocator_get (4 samples, 0.02%)
MC_init (2,477 samples, 9.98%)
MC_init
SIMIX_pre_comm_wait (45 samples, 0.18%)
MC_dwarf_die_to_type (46 samples, 0.19%)
SIMIX_comm_finish (39 samples, 0.16%)
_raw_spin_lock (12 samples, 0.05%)
mrealloc (4 samples, 0.02%)
__memcpy_sse2_unaligned (69 samples, 0.28%)
SIMIX_pre_comm_irecv (21 samples, 0.08%)
clear_page_c_e (3 samples, 0.01%)
__memcpy_sse2_unaligned (37 samples, 0.15%)
handle_mm_fault (5 samples, 0.02%)
clear_page_c_e (3 samples, 0.01%)
xbt_os_walltimer_stop (17 samples, 0.07%)
vm_normal_page (3 samples, 0.01%)
MC_dwarf_handle_scope_die (7 samples, 0.03%)
bprintf (4 samples, 0.02%)
clear_page_c_e (17 samples, 0.07%)
clear_page_c_e (53 samples, 0.21%)
_raw_spin_lock (6 samples, 0.02%)
smpi_main (3 samples, 0.01%)
_dl_fixup (5 samples, 0.02%)
_dl_fixup (6 samples, 0.02%)
MC_dwarf_die_to_type (12 samples, 0.05%)
bvprintf (4 samples, 0.02%)
clear_page_c_e (33 samples, 0.13%)
malloc (6 samples, 0.02%)
MC_die_to_variable.isra.8 (5 samples, 0.02%)
_IO_str_overflow (28 samples, 0.11%)
register_morecore (14 samples, 0.06%)
clear_refs_pte_range (5 samples, 0.02%)
mc_snapshot_region_memcp (9 samples, 0.04%)
__GI___mmap64 (31 samples, 0.12%)
mc_pages_store_new (3 samples, 0.01%)
SIMIX_comm_irecv (18 samples, 0.07%)
xbt_os_timer_new (6 samples, 0.02%)
smpi_bench_end (12 samples, 0.05%)
vm_normal_page (58 samples, 0.23%)
xbt_mallocator_get (7 samples, 0.03%)
clear_page_c_e (7 samples, 0.03%)
mc_dwarf_location_list_init_from_expression (7 samples, 0.03%)
compare_heap_area (1,309 samples, 5.27%)
compar..
_dl_fixup (6 samples, 0.02%)
__GI___strcmp_ssse3 (77 samples, 0.31%)
xbt_dict_get_elm_or_null (13 samples, 0.05%)
_dl_runtime_resolve (5 samples, 0.02%)
vfprintf (34 samples, 0.14%)
do_wp_page (9 samples, 0.04%)
free (43 samples, 0.17%)
mmalloc_no_memset (47 samples, 0.19%)
MC_deadlock_check (4 samples, 0.02%)
do_lookup_x (4 samples, 0.02%)
__swapcontext (3 samples, 0.01%)
finish_wait (7 samples, 0.03%)
_raw_spin_lock (3 samples, 0.01%)
_dl_lookup_symbol_x (6 samples, 0.02%)
clear_page_c_e (5 samples, 0.02%)
xbt_dynar_new (8 samples, 0.03%)
clear_page_c_e (15 samples, 0.06%)
_start (22,612 samples, 91.10%)
_start
SIMIX_pre_host_execution_wait (4 samples, 0.02%)
register_morecore (4 samples, 0.02%)
clear_page_c_e (4 samples, 0.02%)
xbt_dynar_get_ptr@plt (7 samples, 0.03%)
bprintf (35 samples, 0.14%)
_ULx86_64_step (4 samples, 0.02%)
mc_snapshot_read_region (3 samples, 0.01%)
sem_post (139 samples, 0.56%)
handle_mm_fault (4 samples, 0.02%)
mc_snapshot_region_memcp (5 samples, 0.02%)
SIMIX_rdv_push (3 samples, 0.01%)
bprintf (10 samples, 0.04%)
xbt_dict_get_or_null (141 samples, 0.57%)
__GI___strcmp_ssse3 (3 samples, 0.01%)
mrealloc (10 samples, 0.04%)
xbt_dynar_push (11 samples, 0.04%)
_raw_spin_lock (4 samples, 0.02%)
vfprintf (3 samples, 0.01%)
mmalloc (3 samples, 0.01%)
MC_modelcheck_safety (3 samples, 0.01%)
__memcpy_sse2_unaligned (4 samples, 0.02%)
MC_take_snapshot (3,901 samples, 15.72%)
MC_take_snapshot
__rmqueue (4 samples, 0.02%)
clear_page_c_e (4 samples, 0.02%)
__memcpy_sse2 (30 samples, 0.12%)
clear_page_c_e (17 samples, 0.07%)
calloc (10 samples, 0.04%)
mc_dwarf_location_list_init (51 samples, 0.21%)
__write_nocancel (9 samples, 0.04%)
clear_page_c_e (6 samples, 0.02%)
_dl_runtime_resolve (14 samples, 0.06%)
simcall_BODY_comm_irecv (3 samples, 0.01%)
mmalloc_no_memset (26 samples, 0.10%)
get_page_from_freelist (6 samples, 0.02%)
PMPI_Type_vector (19 samples, 0.08%)
vm_normal_page (8 samples, 0.03%)
match_equals.isra.3 (11 samples, 0.04%)
_dl_runtime_resolve (13 samples, 0.05%)
malloc (29 samples, 0.12%)
xbt_dynar_free (22 samples, 0.09%)
__memcpy_sse2_unaligned (3 samples, 0.01%)
__memcpy_sse2 (3 samples, 0.01%)
_dl_runtime_resolve (7 samples, 0.03%)
_raw_spin_lock (21 samples, 0.08%)
do_lookup_x (4 samples, 0.02%)
xbt_dynar_remove_at (9 samples, 0.04%)
SIMIX_pre_comm_irecv (4 samples, 0.02%)
MC_do_the_modelcheck_for_real (22,594 samples, 91.03%)
MC_do_the_modelcheck_for_real
pagemap_pte_range (5 samples, 0.02%)
malloc (4 samples, 0.02%)
memset (21 samples, 0.08%)
__GI___strcmp_ssse3 (27 samples, 0.11%)
tdestroy_recurse (17 samples, 0.07%)
clear_page_c_e (24 samples, 0.10%)
smpi_mpi_wait (11 samples, 0.04%)
bprintf (15 samples, 0.06%)
_raw_spin_lock (47 samples, 0.19%)
xbt_dynar_free_container (11 samples, 0.04%)
smpi_mpi_wait (53 samples, 0.21%)
mc_translate_address_region (5 samples, 0.02%)
MC_dwarf_handle_scope_die (4 samples, 0.02%)
_IO_default_xsputn (15 samples, 0.06%)
free (3 samples, 0.01%)
register_morecore (45 samples, 0.18%)
calloc@plt (4 samples, 0.02%)
__pread_nocancel (8 samples, 0.03%)
mmalloc (9 samples, 0.04%)
MC_dwarf_handle_children (28 samples, 0.11%)
memset (5 samples, 0.02%)
_raw_spin_lock (43 samples, 0.17%)