![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Software Lock Elision for x86 Machine Code
![]() Software Lock Elision for x86 Machine CodeAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins. Coarse grained locks are a source of bottlenecks in programs that want to run on machines with large numbers of threads. I will describe new techniques that I have developed to allow lock-based programs to use optimistic concurrency control. This lets multiple threads optimistically acquire the same lock, and run in parallel as long as they do not conflict on the data that they access. A specially constructed software transactional memory (STM) is used to maintain the illusion of mutual exclusion. This approach is toolchain-agnostic; it works on unmodified native x86 binaries, meaning that there are no restrictions on source language, compiler or debugger and software lock elision is applied optionally at runtime. In this talk, I will focus on two key challenges in building such a system. The first is building an STM that can preserve the x86 memory consistency model. The second is achieving efficient instrumentation for x86 machine code. I will show that there is a fundamental tradeoff between safety and the general applicability of the system in terms of programs that can be handled. The talk will present evaluations of improvements in scalability that the system brings to coarse grained locks. This talk is part of the Microsoft Research Cambridge, public talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsSustainable Development Research Seminars Beyond Profit Careers Stream Cambridge Seminars in the History of CartographyOther talksAn approach to the four colour theorem via Donaldson- Floer theory Perfect toposes and infinitesimal weak generation Managing your research data effectively and working reproducibly for beginners Genes against beans: favism, malaria and nationalism in the Middle East Annual General Meeting Scaling of tissue proportions to body size during vertebrate development The role of myosin VI in connexin 43 gap junction accretion Liver Regeneration in the Damaged Liver The Rise of Augmented Intelligence in Edge Networks Throwing light on organocatalysis: new opportunities in enantioselective synthesis Intrinsically Motivating Teachers;STIR's use of Data Driven Insight to Iterate, Pivot and (where necessary) Fail Fast |