From 4eb4bd6f96a71126df7ded0ed06e4dec4b5458e5 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 21 Sep 2020 16:29:05 +0200 Subject: [PATCH] trace_logger: warn on multiple buffer wraps Ref #3884 --- repos/os/src/app/trace_logger/trace_buffer.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/repos/os/src/app/trace_logger/trace_buffer.h b/repos/os/src/app/trace_logger/trace_buffer.h index b2183db632..e0dfb0237b 100644 --- a/repos/os/src/app/trace_logger/trace_buffer.h +++ b/repos/os/src/app/trace_logger/trace_buffer.h @@ -42,8 +42,13 @@ class Trace_buffer using namespace Genode; bool wrapped = _buffer.wrapped() != _wrapped_count; - if (wrapped) + if (wrapped) { + if ((_buffer.wrapped() - 1) != _wrapped_count) { + warning("buffer wrapped multiple times; you might want to raise buffer size; curr_count=", + _buffer.wrapped(), " last_count=", _wrapped_count); + } _wrapped_count = _buffer.wrapped(); + } /* initialize _curr if _buffer was empty until now */ if (_curr.last())