projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 634487e) | patch
Eliminate race condition in console_print_stats() found by Sorav's
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 20 Jul 2005 04:44:55 +0000 (04:44 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 20 Jul 2005 04:44:55 +0000 (04:44 +0000)
commit076c62799001f43a6f216755e71578d7143e1e05
treebfa2f006545b41a73f8cf31d515d772ae2c3cecdtree | snapshot
parent634487e3accd00279bb817849594022ef902dc8acommit | diff
Eliminate race condition in console_print_stats() found by Sorav's
Checkbochs tool.
src/lib/kernel/console.c diff | blob | history
Pintos public repository