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