Skip to main content

Search

Show all results for

Home

Publication

Transactional Memory: Glimmer of a Theory

About
Privacy
Disclaimer

Copyright © 2025 EPFL, all rights reserved

Graph Chatbot

Rachid Guerraoui, Michal Kapalka
2009
conference papers

Abstract

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.

Official source

https://infoscience.epfl.ch/entities/publication/405759d7-75d2-4dec-94b2-87ad14411e44

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (12)

M-theory is a theory in physics that unifies all consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1995 (M-Theory - Edward Witten (1995)). Witten's announcement initiated a flurry of research activity known as the second superstring revolution. Prior to Witten's announcement, string theorists had identified five versions of superstring theory.

Superstring theory

Superstring theory is an attempt to explain all of the particles and fundamental forces of nature in one theory by modeling them as vibrations of tiny supersymmetric strings. 'Superstring theory' is a shorthand for supersymmetric string theory because unlike bosonic string theory, it is the version of string theory that accounts for both fermions and bosons and incorporates supersymmetry to model gravity. Since the second superstring revolution, the five superstring theories (Type I, Type IIA, Type IIB, HO and HE) are regarded as different limits of a single theory tentatively called M-theory.

A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be scientific, belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings.

Related publications (30)

Excited State-Specific CASSCF Theory for the Torsion of Ethylene

State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...

Amer Chemical Soc2024

Correlation of powers of Hüsler-Reiss vectors and Brown-Resnick fields, and application to insured wind losses

Erwan Fabrice Koch

H & uuml;sler-Reiss vectors and Brown-Resnick fields are popular models in multivariate and spatial extreme-value theory, respectively, and are widely used in applications. We provide analytical formulas for the correlation between powers of the components ...

Springer2024

Asset life, leverage, and debt maturity matching

Erwan Morellec, Jakub Hajda

Capital ages and must eventually be replaced. We propose a theory of financing in which firms borrow to finance investment and deleverage as capital ages to have enough financial slack to finance replacement investments. To achieve these dynamics, firms is ...

Elsevier Science Sa2024