- Sep 02, 2016
-
-
Frans Kaashoek authored
-
Frans Kaashoek authored
-
Frans Kaashoek authored
-
Frans Kaashoek authored
as a direct index into cpus. Record apicid in struct cpu and have cpunum() look for it. Replace cpu->id with cpunum() everywhere, and replace cpu->id with cpu->apicid. Thanks to Xi Wang.
-
Robert Morris authored
-
- Sep 01, 2016
-
-
Robert Morris authored
-
- Aug 26, 2016
-
-
Frans Kaashoek authored
-
Frans Kaashoek authored
-
Frans Kaashoek authored
add to test that they indeed trap in user space thanks to pablogventura@gmail.com and nwolovick@gmail.com
-
- Aug 25, 2016
-
-
Frans Kaashoek authored
-
Frans Kaashoek authored
for f in *.{h,c}; do sed -i .sed 's/[[:blank:]]*$//' $f; done (Thanks to Nicolás Wolovick)
-
Frans Kaashoek authored
-
MikeCAT authored
-
MikeCAT authored
-
- Aug 24, 2016
-
-
Robert Morris authored
-
- Aug 19, 2016
-
-
Frans Kaashoek authored
-
- Aug 18, 2016
-
-
Frans Kaashoek authored
-
Peter H. Froehlich authored
-
Frans Kaashoek authored
-
Frans Kaashoek authored
-
Peter H. Froehlich authored
-
Peter H. Froehlich authored
-
Peter H. Froehlich authored
-
Peter H. Froehlich authored
-
Frans Kaashoek authored
-
Frans Kaashoek authored
that is a multiple of the sector size.
-
- Aug 13, 2016
-
-
Robert Morris authored
however, processes still modify their own p->* without locking
-
- Aug 12, 2016
-
-
Robert Morris authored
* use xchg only for its atomicness. * use __sync_synchronize() for both CPU and compiler barrier.
-
- Aug 11, 2016
-
-
Robert Morris authored
-
Robert Morris authored
-
- Aug 10, 2016
-
-
Robert Morris authored
-
Robert Morris authored
-
Robert Morris authored
-
Robert Morris authored
-
- Aug 08, 2016
-
-
Robert Morris authored
fix Regehr complaint
-
- Nov 15, 2015
-
-
Frans Kaashoek authored
-
Nathaniel Wesley Filardo authored
Use cons.lock for everything. This eliminates the possibility that two CPUS independently, simultaneously manipulate the CRTC in cgaputc.
-
Nathaniel Wesley Filardo authored
-
kaashoek authored
Fix comments
-
kaashoek authored
Update URL for 2014
-