Skip to content

Instantly share code, notes, and snippets.

@rwbarton

rwbarton/apr8 perf report Secret

Created May 15, 2020 17:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rwbarton/bebc2b4c48f03feda09664167fc48b0d to your computer and use it in GitHub Desktop.
Save rwbarton/bebc2b4c48f03feda09664167fc48b0d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
apr8 perf report
Samples: 3K of event 'cycles', Event count (approx.): 789251656
Overhead Command Shared Object Symbol
8.74% lean lean [.] _int_malloc
8.62% lean lean [.] _int_free
6.04% lean lean [.] std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string
5.26% lean lean [.] malloc_consolidate
4.31% lean lean [.] std::istream::get
4.29% lean lean [.] malloc
3.95% lean lean [.] std::string::_Rep::_M_dispose
3.32% lean lean [.] lean::expr_deserializer::read()::{lambda(char)#1}::operator()
3.19% lean lean [.] lean::expr_cell::dec_ref
2.80% lean lean [.] lean::replace_rec_fn::apply
2.10% lean lean [.] lean::expr_app::expr_app
2.08% lean lean [.] lean::mk_app
2.00% lean lean [.] lean::rb_tree<std::pair<lean::name, std::string>, lean::rb_map<lean::name, std::string, lean::name_quick_cmp>::entry_cmp>::ensure_unshared
1.83% lean lean [.] std::vector<lean::expr, std::allocator<lean::expr> >::_M_emplace_back_aux<lean::expr const&>
1.40% lean lean [.] std::_Hashtable<std::string, std::pair<std::string const, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::string>, std::allocator<std::pair<std::pair<unsigned int, unsigned int>, std::string
1.36% lean lean [.] lean::rb_tree<std::pair<lean::name, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::name, std::pair<unsigned int, unsigned int>, lean::name_quick_cmp>::entry_cmp>::ensure_unshared
1.25% lean lean [.] std::istream::sentry::sentry
1.24% lean lean [.] lean::environment::find
1.22% lean lean [.] lean::mix
1.14% lean lean [.] lean::memory_pool::allocate
1.00% lean [unknown] [k] 0xffffffffa3533207
0.87% lean lean [.] lean::rb_tree<std::pair<lean::name, lean::declaration>, lean::rb_map<lean::name, lean::declaration, lean::name_quick_cmp>::entry_cmp>::insert
0.82% lean lean [.] memcpy
0.72% lean lean [.] std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<std::string const, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::string>, std::allocator<std::pair<std::p
0.62% lean lean [.] free
0.61% lean lean [.] lean::get_weight
0.61% lean lean [.] lean::vm_instr::release_memory
0.60% lean lean [.] lean::rb_map<lean::attr_record, std::pair<unsigned int, unsigned int>, lean::attr_record_cmp>::find
0.57% lean lean [.] lean::mk_binding
0.54% lean lean [.] lean::environment::update
0.53% lean lean [.] lean::declaration::~declaration
0.52% lean lean [.] lean::declaration::declaration
0.50% lean lean [.] lean::memory_pool::~memory_pool
0.49% lean lean [.] std::_Hashtable<lean::name, std::pair<lean::name const, unsigned int>, std::allocator<std::pair<lean::name const, unsigned int> >, std::__detail::_Select1st, std::equal_to<lean::name>, lean::name_hash, std::_
0.49% lean lean [.] lean::read_name
0.47% lean lean [.] lean::get_eqn_lemmas_for
0.44% lean lean [.] lean::expr_const::dealloc
0.43% lean lean [.] lean::expr_deserializer::~expr_deserializer
0.42% lean lean [.] lean::vm_code_modification::deserialize
0.40% lean lean [.] std::_Hashtable<std::string, std::pair<std::string const, std::vector<std::pair<std::pair<unsigned int, unsigned int>, std::string>, std::allocator<std::pair<std::pair<unsigned int, unsigned int>, std::string
0.39% lean lean [.] lean::rb_tree<lean::name, lean::name_quick_cmp>::insert
0.37% lean lean [.] lean::name::imp::dec_ref
0.35% lean [unknown] [k] 0xffffffffa3600f00
0.35% lean lean [.] std::_Sp_counted_base<(__gnu_cxx::_Lock_policy)2>::_M_release
0.34% lean [unknown] [k] 0xffffffffa2ed86cc
0.34% lean lean [.] std::_Sp_counted_ptr_inplace<std::vector<std::shared_ptr<lean::environment_extension const>, std::allocator<std::shared_ptr<lean::environment_extension const> > >, std::allocator<std::vector<std::shared_ptr<l
0.31% lean lean [.] lean::rb_tree<std::pair<lean::name, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::name, std::pair<unsigned int, unsigned int>, lean::name_quick_cmp>::entry_cmp>::node_cell::dec_ref
0.31% lean lean [.] std::vector<lean::name, std::allocator<lean::name> >::_M_emplace_back_aux<lean::name const&>
0.31% lean lean [.] lean::expr_cell::expr_cell
0.30% lean lean [.] lean::rb_tree<std::pair<lean::attr_record, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::attr_record, std::pair<unsigned int, unsigned int>, lean::attr_record_cmp>::entry_cmp>::ensure_unshared
0.30% lean lean [.] lean::add_eqn_lemma_core
0.30% lean lean [.] lean::rb_tree<std::pair<unsigned int, lean::vm_decl>, lean::rb_map<unsigned int, lean::vm_decl, lean::unsigned_cmp>::entry_cmp>::insert
0.29% lean lean [.] lean::rb_tree<std::pair<lean::name, lean::declaration>, lean::rb_map<lean::name, lean::declaration, lean::name_quick_cmp>::entry_cmp>::node_cell::dec_ref
0.27% lean lean [.] lean::level::~level
0.27% lean lean [.] lean::expr_const::expr_const
0.25% lean lean [.] lean::deserializer_core::read_string
0.25% lean lean [.] lean::rb_tree<std::pair<lean::attr_record, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::attr_record, std::pair<unsigned int, unsigned int>, lean::attr_record_cmp>::entry_cmp>::node_cell::dec_re
0.24% lean lean [.] lean::rb_tree<std::pair<std::pair<unsigned int, unsigned int>, lean::attr_record>, lean::rb_map<std::pair<unsigned int, unsigned int>, lean::attr_record, lean::priority_queue<lean::attr_record, lean::attr_rec
0.22% lean lean [.] std::string::reserve
0.22% lean lean [.] lean::attr_record::attr_record
0.21% lean lean [.] lean::expr_binding::expr_binding
0.20% lean lean [.] lean::rb_tree<std::pair<lean::name, std::string>, lean::rb_map<lean::name, std::string, lean::name_quick_cmp>::entry_cmp>::node_cell::dec_ref
0.19% lean lean [.] pthread_mutex_lock
0.19% lean lean [.] lean::expr_composite::expr_composite
0.18% lean lean [.] lean::check_stack
0.18% lean lean [.] lean::parse_olean_modifications
0.18% lean lean [.] __memset_avx2
Raw
master perf report
Samples: 5K of event 'cycles', Event count (approx.): 1472179714
Overhead Command Shared Object Symbol
16.00% lean lean [.] _int_malloc
11.17% lean lean [.] free
9.73% lean lean [.] __memcpy_ssse3
9.11% lean lean [.] malloc_consolidate
7.97% lean lean [.] malloc
2.94% lean lean [.] std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const, std::vector<std::pair<std::pair<unsign
2.69% lean lean [.] lean::module_ext::~module_ext
2.64% lean lean [.] std::istream::get
2.24% lean lean [.] std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_construct<char*>
2.11% lean lean [.] lean::expr_cell::dec_ref
1.86% lean lean [.] lean::expr_deserializer::read()::{lambda(char)#1}::operator()
1.82% lean lean [.] std::_Hashtable<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const, std::vector<st
1.78% lean lean [.] lean::replace_rec_fn::apply
1.25% lean lean [.] lean::expr_app::expr_app
1.02% lean lean [.] lean::rb_tree<std::pair<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, lean::rb_map<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::al
0.95% lean lean [.] lean::environment::find
0.95% lean lean [.] lean::mk_app
0.92% lean lean [.] lean::rb_tree<std::pair<lean::name, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::name, std::pair<unsigned int, unsigned int>, lean::name_quick_cmp>::entry_cmp>::ensure_unshared
0.80% lean lean [.] std::vector<lean::expr, std::allocator<lean::expr> >::_M_realloc_insert<lean::expr const&>
0.76% lean lean [.] lean::memory_pool::allocate
0.72% lean lean [.] std::istream::sentry::sentry
0.68% lean lean [.] lean::mix
0.64% lean lean [.] std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_create
0.54% lean lean [.] lean::environment::update
0.47% lean lean [.] lean::rb_tree<std::pair<lean::name, lean::declaration>, lean::rb_map<lean::name, lean::declaration, lean::name_quick_cmp>::entry_cmp>::insert
0.47% lean lean [.] lean::priority_queue<lean::attr_record, lean::attr_record_cmp>::insert
0.41% lean lean [.] lean::expr_deserializer::~expr_deserializer
0.37% lean lean [.] std::_Sp_counted_ptr_inplace<std::vector<std::shared_ptr<lean::environment_extension const>, std::allocator<std::shared_ptr<lean::environment_extension const> > >, std::allocator<std::vector<std::shared_ptr<l
0.35% lean lean [.] lean::expr_cell::dealloc
0.32% lean lean [.] lean::declaration::declaration
0.31% lean lean [.] lean::expr_binding::expr_binding
0.29% lean lean [.] operator new
0.29% lean lean [.] lean::memory_pool::~memory_pool
0.28% lean lean [.] lean::get_weight
0.26% lean lean [.] lean::list<lean::level>::~list
0.26% lean [unknown] [k] 0xffffffffa3533207
0.23% lean lean [.] lean::expr_cell::expr_cell
0.23% lean lean [.] lean::rb_tree<std::pair<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, lean::rb_map<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::al
0.23% lean lean [.] lean::rb_tree<std::pair<unsigned int, lean::vm_decl>, lean::rb_map<unsigned int, lean::vm_decl, lean::unsigned_cmp>::entry_cmp>::insert
0.22% lean lean [.] lean::declaration::~declaration
0.22% lean [unknown] [k] 0xffffffffa3600f00
0.21% lean lean [.] std::_Function_handler<lean::optional<lean::expr> (lean::expr const&, unsigned int), lean::instantiate(lean::expr const&, unsigned int, unsigned int, lean::expr const*)::{lambda(lean::expr const&, unsigned in
0.21% lean lean [.] lean::rb_tree<lean::name, lean::name_quick_cmp>::insert
0.20% lean lean [.] lean::level::~level
0.19% lean lean [.] lean::get_vm_index
0.19% lean [unknown] [k] 0xffffffffa2ed86cc
0.19% lean lean [.] lean::rb_tree<std::pair<lean::name, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::name, std::pair<unsigned int, unsigned int>, lean::name_quick_cmp>::entry_cmp>::fixup
0.18% lean lean [.] lean::rb_tree<std::pair<lean::name, lean::declaration>, lean::rb_map<lean::name, lean::declaration, lean::name_quick_cmp>::entry_cmp>::fixup
0.18% lean lean [.] __memset_avx2_unaligned_erms
0.17% lean lean [.] lean::rb_tree<std::pair<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, lean::rb_map<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::al
0.17% lean lean [.] lean::rb_tree<std::pair<lean::name, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::name, std::pair<unsigned int, unsigned int>, lean::name_quick_cmp>::entry_cmp>::node_cell::dec_ref
0.15% lean lean [.] lean::rb_tree<std::pair<lean::name, unsigned int>, lean::rb_map<lean::name, unsigned int, lean::name_quick_cmp>::entry_cmp>::ensure_unshared
0.15% lean lean [.] lean::rb_tree<std::pair<lean::name, lean::declaration>, lean::rb_map<lean::name, lean::declaration, lean::name_quick_cmp>::entry_cmp>::node_cell::dealloc
0.15% lean lean [.] lean::log_tree::node::mk_child
0.14% lean [unknown] [k] 0xffffffffa2ffb8a6
0.14% lean lean [.] lean::attr_record::attr_record
0.14% lean lean [.] __pthread_mutex_lock
0.14% lean lean [.] lean::rb_tree<std::pair<lean::attr_record, std::pair<unsigned int, unsigned int> >, lean::rb_map<lean::attr_record, std::pair<unsigned int, unsigned int>, lean::attr_record_cmp>::entry_cmp>::fixup
0.14% lean lean [.] lean::is_prefix_of
0.13% lean lean [.] lean::object_deserializer<lean::name>::read_core<lean::name_deserializer::read()::{lambda(char)#1}>
0.13% lean lean [.] lean::rb_tree<std::pair<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, lean::rb_map<lean::name, std::__cxx11::basic_string<char, std::char_traits<char>, std::al
0.12% lean lean [.] lean::deserializer_core::read_string[abi:cxx11]
0.12% lean lean [.] lean::level::level
0.12% lean lean [.] lean::name::imp::dealloc
0.12% lean lean [.] lean::add_eqn_lemma_core
0.12% lean lean [.] lean::mk_binding
0.12% lean lean [.] lean::rb_map<lean::name, std::shared_ptr<lean::attribute const>, lean::name_quick_cmp>::find
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment