RPS: Track expected number of pushes w. statistics
authorJulius Bünger <buenger@mytum.de>
Tue, 26 Feb 2019 11:36:13 +0000 (12:36 +0100)
committerJulius Bünger <buenger@mytum.de>
Tue, 26 Feb 2019 11:37:17 +0000 (12:37 +0100)
src/rps/gnunet-service-rps.c

index 098c71f93188e6c90283315fd150779ab1b09fce..b389c5b79e7c58c2dad546d5bbc888c3865da739 100644 (file)
@@ -4404,6 +4404,10 @@ do_round (void *cls)
         "# peers in view at end of round",
         View_size (sub->view),
         GNUNET_NO);
+    GNUNET_STATISTICS_set (stats,
+        "# expected pushes",
+        alpha * sub->view_size_est_need,
+        GNUNET_NO);
   }
 
   LOG (GNUNET_ERROR_TYPE_DEBUG,