mirror of
https://github.com/wichtounet/thor-os.git
synced 2025-09-11 13:35:03 -04:00
Better logging
This commit is contained in:
parent
316c5bc9dd
commit
f430ff06a9
@ -43,7 +43,7 @@ public:
|
|||||||
value = 0;
|
value = 0;
|
||||||
|
|
||||||
if(Debug){
|
if(Debug){
|
||||||
logging::logf(logging::log_level::TRACE, "%s(mutex): directly acquired %d\n", name, scheduler::get_pid());
|
logging::logf(logging::log_level::TRACE, "%s(mutex): directly acquired (process %d)\n", name, scheduler::get_pid());
|
||||||
}
|
}
|
||||||
|
|
||||||
lock.release();
|
lock.release();
|
||||||
@ -67,7 +67,7 @@ public:
|
|||||||
if(queue.empty()){
|
if(queue.empty()){
|
||||||
value = 1;
|
value = 1;
|
||||||
if(Debug){
|
if(Debug){
|
||||||
logging::logf(logging::log_level::TRACE, "%s(mutex): direct release\n", name);
|
logging::logf(logging::log_level::TRACE, "%s(mutex): direct release (process %d)\n", name, scheduler::get_pid());
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
auto pid = queue.pop();
|
auto pid = queue.pop();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user