-
Archives
- May 2022
- December 2021
- November 2021
- October 2021
- September 2021
- July 2021
- May 2021
- April 2021
- March 2021
- December 2020
- October 2020
- September 2020
- July 2020
- June 2020
- March 2020
- January 2020
- December 2019
- October 2019
- April 2019
- March 2019
- January 2019
- December 2018
- November 2018
- September 2018
- August 2018
- July 2018
- June 2018
- May 2018
- April 2018
- February 2018
- December 2017
- November 2017
- October 2017
- August 2017
- July 2017
- June 2017
- April 2017
- February 2017
- January 2017
- November 2016
- September 2016
- August 2016
- July 2016
- June 2016
- May 2016
- April 2016
- March 2016
- February 2016
- October 2015
- September 2015
- June 2015
- May 2015
- April 2015
- March 2015
- February 2015
- January 2015
- November 2014
- October 2014
- August 2014
- June 2014
- March 2014
- January 2014
- October 2013
- August 2013
- July 2013
- June 2013
- April 2013
- February 2013
- January 2013
- November 2012
- October 2012
- September 2012
- August 2012
- July 2012
- June 2012
- May 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- January 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
-
Meta
Tag Archives: linux bugs
Verification Challenge 7: Heavy Modifications to Linux-Kernel Tree RCU
There was a time when I felt that Linux-kernel RCU was too low-level to possibly be the subject of a security exploit, but Rowhammer put paid to that naive notion. And it finally happened earlier this year. Now, I could … Continue reading
Posted in Uncategorized
Tagged bugs, linux, linux bugs, linux bugs rcu, rcu, stupid rcu tricks, verification, verification challenge
Comments Off on Verification Challenge 7: Heavy Modifications to Linux-Kernel Tree RCU
Verification Challenge 7: Heavy Modifications to Linux-Kernel Tree RCU
There was a time when I felt that Linux-kernel RCU was too low-level to possibly be the subject of a security exploit, but Rowhammer put paid to that naive notion. And it finally happened earlier this year. Now, I could … Continue reading
Posted in Uncategorized
Tagged bugs, linux, linux bugs, linux bugs rcu, rcu, stupid rcu tricks, verification, verification challenge
Comments Off on Verification Challenge 7: Heavy Modifications to Linux-Kernel Tree RCU
Stupid RCU Tricks: rcutorture Accidentally Catches an RCU Bug
With the Linux-kernel v4.13 merge window coming up, it is time to do at least a little heavy-duty testing of the patches destined for v4.14, which had been but lightly tested on my laptop. An overnight run on a larger … Continue reading
Posted in Uncategorized
Tagged linux bugs, linux bugs rcu, parallel, rcu, rcutorture, stupid rcu tricks, validation
Comments Off on Stupid RCU Tricks: rcutorture Accidentally Catches an RCU Bug
Dagstuhl Seminar: Compositional Verification Methods for Next-Generation Concurrency
Some time ago, I figured out that there are more than a billion instances of the Linux kernel in use, and this in turn led to the realization that a million-year RCU bug is happening about three times a day … Continue reading
Posted in Uncategorized
Tagged bugs, linux bugs, parallel, stupid rcu tricks, stupid smp tricks, workshop
Comments Off on Dagstuhl Seminar: Compositional Verification Methods for Next-Generation Concurrency
Lies that firmware tells RCU
One of the complaints that real-time people have against some firmware is that it lies about its age, attempting to cover up cycle-stealing via SMIs by reprogramming the TSC. Some firmware goes farther and lies about the number of CPUs … Continue reading
Posted in Uncategorized
Tagged bugs, linux, linux bugs, linux bugs rcu, rcu, stupid rcu tricks
Comments Off on Lies that firmware tells RCU
A practitioner at a formal-methods conference
I had the privilege of being asked to present on ordering, RCU, and validation at a joint meeting of the REORDER (Third International Workshop on Memory Consistency Models) and EC2 (7th International Workshop on Exploiting Concurrency Efficiently and Correctly) workshops. … Continue reading
Posted in Uncategorized
Tagged bugs, linux bugs, parallel, stupid rcu tricks, stupid smp tricks, workshop
Comments Off on A practitioner at a formal-methods conference
A practitioner at a formal-methods conference
I had the privilege of being asked to present on ordering, RCU, and validation at a joint meeting of the REORDER (Third International Workshop on Memory Consistency Models) and EC2 (7th International Workshop on Exploiting Concurrency Efficiently and Correctly) workshops. … Continue reading
Posted in Uncategorized
Tagged bugs, linux bugs, parallel, stupid rcu tricks, stupid smp tricks, workshop
Comments Off on A practitioner at a formal-methods conference
paulmckrcu 