ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-13 22:23:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

trace_logger: warn on multiple buffer wraps

Browse Source 
Ref #3884
This commit is contained in:
Martin Stein 2020-09-21 16:29:05 +02:00 committed by Christian Helmuth
parent d2d74cc5fa
commit 4eb4bd6f96
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/src/app/trace_logger/trace_buffer.h
View File

@ -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())