Merge branch 'log_printf' into 2204-CPTR-352

203a9300 · James Foster · 8943ecf0 · b2f3c5f4 · 203a9300
Commit 203a9300 authored May 10, 2020 by James Foster
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

k-hardware.cc k-hardware.cc +4 -0

No files found.
--- a/k-hardware.cc
+++ b/k-hardware.cc
@@ -171,7 +171,11 @@ struct log_printer : public printer {
 };
 }

+// things get ugly when multiple processes output at the same time!
+static spinlock printLock;
+
 void log_vprintf(const char* format, va_list val) {
+    spinlock_guard guard(printLock);
    log_printer p;
    p.vprintf(0, format, val);
 }