projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79a8269) | patch
Change "Memory Barriers" to "Optimization Barriers".
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Sep 2006 14:59:41 +0000 (14:59 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Sep 2006 14:59:41 +0000 (14:59 +0000)
commit9c2776a5cbf6a68387bd4921078ab96762f54b3a
tree528b5ad56b998d03fa7f4e39e05685be2babeae9tree | snapshot
parent79a8269502b77763edefdf692d386615a8696661commit | diff
Change "Memory Barriers" to "Optimization Barriers".
Thanks to Joshua Haberman for pointing out the issue.
doc/reference.texi diff | blob | history
doc/threads.texi diff | blob | history
src/threads/synch.h diff | blob | history
ta-advice/HW1 diff | blob | history
Pintos public repository