projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fbebef) | patch
Eliminate race condition in timer_print_stats() found by Sorav's
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 20:45:36 +0000 (20:45 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 20:45:36 +0000 (20:45 +0000)
commit400c8c5ba0d309716ad7d347dff067ddb2f99a74
treef8d510b56e0fb42561fbe4c953222fa1880a3a9dtree | snapshot
parent0fbebef6a26f59aea618b9b89c4d30fac0bd1a40commit | diff
Eliminate race condition in timer_print_stats() found by Sorav's
Checkbochs tool.
src/devices/timer.c diff | blob | history
Pintos public repository