Publication

On the Liveness of Transactional Memory

Rachid Guerraoui
2011
Reports

Résumé

Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analogous of wait-freedom in the TM context, and we highlight different ways to circumvent the impossibility.

Source officielle

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Rachid Guerraoui
2011
Reports

Résumé

Source officielle

Concepts associés (12)

Provence

vignette|Vue de la Mer Méditerranée depuis Toulon La Provence (prononcé dans une large partie de la France, en français de Provence; Provença/Prouvènço en occitan provençal, de l'ancien provençal Provensa, dérivant du latin provincia, "province") est une région historique et culturelle ainsi qu'un ancien État indépendant puis associé à la France. Elle correspond à l'actuelle région Provence-Alpes-Côte d'Azur et au sud de la région Auvergne-Rhône-Alpes.

Interrogation (linguistique)

En linguistique, l'interrogation est un acte de langage par laquelle l'émetteur d'un énoncé adresse au destinataire (réel ou fictif) de celui-ci une demande d'information portant sur son contenu. Une phrase interrogative est couramment appelée « question ». L'interrogation totale concerne la phrase entière et appelle une réponse totale, comme « oui », « non », « sûrement »... Une telle question totale porte en fait très souvent sur un élément partiel, mis en relief par divers moyens ou non : ex.

Analogie de Maxwell

L'analogie d'impédance ou analogie de Maxwell est une méthode de représentation d'un système mécanique par un système électrique analogue. L'avantage de celle-ci est qu'il existe un grand nombre de théories et de techniques d'analyse concernant les systèmes électriques complexes, en particulier dans le domaine des filtres. En convertissant vers une représentation électrique, ces outils du domaine électrique peuvent être directement appliqués à un système mécanique sans modification.

Afficher plus