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 > Nesting Transactions: Why and What Do We Need?
Nesting Transactions: Why and What Do We Need?Add 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. Abstract: We are seeing many proposals supporting atomic transactions in programming languages, software libraries, and hardware, some with and some without support for nested transactions. I argue that (in the long run) it is important to support nesting, and to go beyond closed nesting to open nesting. I will argue as to the general form open nesting should take and why, namely that it is a property of classes (data types) not code regions, and must include support for programmed concurrency control as well as programmed rollback. I will also touch on the implications for software or hardware transactional memory in order to support open nesting of this kind. Bio: Eliot Moss received his undergraduate and graduate degrees from the Massachusetts Institute of Technology, culminating in a Ph.D. in computer science in 1981, on the subject of nested transactions. He served in the U.S. Army until 1985 when he joined the faculty of the Department of Computer Science, University of Massachusetts at Amherst, where he now holds the rank of Professor. He co-directs the Architecture and Language Implementation Laboratory. Dr. Moss`s research focuses on efficient implementation of modern and emerging language features on modern and future hardware. His dissertation developed the notion of nested transactions, and he is one of the originators of transactional memory. 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 listsDifferent Views: E&D Lunchtime Sessions Royal Aeronautical Society (RAeS) Cambridge Branch Field Archaeology: Methods and MayhemOther talksDiscovering regulators of insulin output with flies and human islets: implications for diabetes and pancreas cancer Cafe Synthetique- AI and Automation: Revolutionising Biology SciScreen: Finding Dory Climate change, archaeology and tradition in an Alaskan Yup'ik Village Algorithmic Investigation of Large Biological Data sets Exploring the mechanisms of haematopoietic lineage progression at the single-cell level DataFlow SuperComputing for BigData Validation & testing of novel therapeutic targets to treat osteosarcoma Picturing the Heart in 2020 Art and Migration Towards bulk extension of near-horizon geometries Can land rights prevent deforestation? Evidence from a large-scale titling policy in the Brazilian Amazon. |