From a5bf0d6619b0df33fb3ea04f90ed07802c0202a5 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 16 Jul 2014 00:17:48 +0200 Subject: [PATCH] Print statistics about shared memory accesses --- src/goto-symex/partial_order_concurrency.cpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/goto-symex/partial_order_concurrency.cpp b/src/goto-symex/partial_order_concurrency.cpp index e04805e8e20..bc1daa21c7c 100644 --- a/src/goto-symex/partial_order_concurrency.cpp +++ b/src/goto-symex/partial_order_concurrency.cpp @@ -153,6 +153,19 @@ void partial_order_concurrencyt::build_event_lists( numbering[e_it]=cnt; } } + + for(address_mapt::const_iterator + a_it=address_map.begin(); + a_it!=address_map.end(); + a_it++) + { + const a_rect &a_rec=a_it->second; + if(a_rec.reads.empty()) continue; + + statistics() << "Shared " << a_it->first << ": " + << a_rec.reads.size() << "R/" + << a_rec.writes.size() << "W" << eom; + } } /*******************************************************************\