Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
October 4-6 in Berlin, Germany
Register Now for LinuxCon+ContainerCon Europe
View analytic
Wednesday, October 5 • 11:00 - 11:50
Linux-Kernel Memory Ordering: Help Arrives At Last! - Paul E. McKenney, IBM

Sign up or log in to save this to your schedule and see who's attending!

It has been said that Documentation/memory-barriers.txt can be used to frighten small children, and perhaps this is true. But even if it is true, it is woefully inefficient. After all, there is a huge number of children in this world, so a correspondingly huge amount of time and effort would be required in order to read it to them all.

This situation clearly calls for an automated tool, which is the topic of this talk, and which is now available in prototype form. This tool takes short fragments of concurrent C code as input, and exhaustively analyzes the possible results. In other words, instead of perusing memory-barriers.txt to find the answer to a memory-ordering question, you can get your answer by writing a small test case and feeding it to the tool. This talk will give an introduction to this tool, describing how to use it and how it works, including a short demo.

Speakers
avatar for Paul E. McKenney

Paul E. McKenney

Distinguished Engineer, IBM
Paul E. McKenney is a Distinguished Engineer with the IBM Linux Technology Center, where he maintains the RCU implementation within the Linux kernel. He has been coding for four decades, more than half of that on parallel hardware. His prior lives include the DYNIX/ptx kernel at Sequent, networking protocols at SRI International, and work as a self-employed contract programmer on soft-realtime projects. His hobbies include what passes for running... Read More →


Wednesday October 5, 2016 11:00 - 11:50
Charlottenburg III