Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture delves into the concept of transactional memory, focusing on hardware changes to simplify concurrency control. It covers topics such as fine-grained locking, hardware changes for speculative address tracking, hardware lock elision, and the benefits of using transactional memory. The instructor explains the challenges of traditional locking mechanisms, the concept of hand over hand locking, and the implementation of hardware transactional memory. The lecture also discusses the composable nature of transactions, recovery mechanisms, and the implementation of transactional memory in Intel processors. Overall, the lecture emphasizes how hardware speculation can streamline software problems and enable declarative concurrency control.