The Linux Foundation Collaboration Summit is an exclusive, invitation-only summit gathering core kernel developers, distribution maintainers, ISVs, end users, system vendors and other community organizations for plenary sessions and workgroup meetings to meet face-to-face to tackle and solve the most pressing issues facing Linux today. If your company is not a member of The Linux Foundation and you are interested in joining please visit our website to learn more about how you can become a Corporate Member.
The C language has proven quite effective and flexible, but there are surprising mismatches between the language as used in practice, the language as the standard defines it, and the language as implemented by optimising compilers. In fact, it's not even clear exactly what any of the three are. This talk will review ongoing work to clarify the situation, focussed especially on the C object model, the C/C++11 concurrency model, automated testing of GCC against the latter, and the de facto standard Linux concurrency model. We will highlight some pitfalls and ask for input on particular aspects of the language as used in practice. Joint work of Mark Batty, Robin Morisset, Justus Matthiesen, Kayvan Memarian, Paul McKenney, Peter Sewell, Francesco Zappa Nardelli, and others.
The intended audience is developers using C, both expert and less so, compiler writers, and analysis tool builders.