Unlocking Modern Concurrency Techniques for Efficient Software Development
Discover the secrets of modern concurrency with insights into applications, guarantees, and tools. Explore building concurrent algorithms and components with verified libraries and tools for synchronization. Dive into the world of efficient software development.
Download Presentation
Please find below an Image/Link to download the presentation.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.
You are allowed to download the files provided on this website for personal or commercial use, subject to the condition that they are used lawfully. All files are the property of their respective owners.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author.
E N D
Presentation Transcript
Modern Concurrency Made Easy(ier) Hernan Ponce de Leon Dresden Research Center
Modern Concurrency Applications This is hard! Data Sync Structures Primitives Atomic API Multicore CPU Huawei Confidential 2 Page 2
Guarantees by the Modern Software Stack Huawei Confidential 3 Page 3
Guarantees by the Modern Software Stack Huawei Confidential 4 Page 4
Dartagnan DEMO Huawei Confidential 5 Page 5
Take-aways Are you designing a new concurrent algorithm? Are you building a concurrent component? hernanponcedeleon/Dat3M: A verification tool for many memory models open-s4c/libvsync: A verified library of synchronization primitives and concurrent data structures Huawei Confidential 6 Page 6
