Abstract FR:

La norme actuelle dans le domaine de la validation atomique des transactions est la validation atomique a deux phases (2pc). Malgré son grand succès, 2pc est inefficace en termes de latence et de coût de communication même en l'absence de pannes, et est bloquant en cas de pannes. Cette thèse a pour but d'étudier et de proposer de nouvelles solutions au problème de la validation atomique, capables de répondre aux exigences des systèmes actuels en termes de haute-performance et de tolérance aux pannes. La première phase du 2pc est une phase de votes durant laquelle les participants à la transaction ont le droit à un abandon unilatéral. Retirer le droit de veto à tous les participants réduit considérablement le coût de la validation atomique, mais introduit quelques contraintes sur la façon dont le contrôle de concurrence et la reprise après pannes sont gérés par les différents participants. A la lumière de cette observation, et dans sa première partie, cette thèse comporte trois contributions majeures. Premièrement, elle introduit le problème de la validation atomique dictatoriale, une variante du problème de la validation atomique classique, caractérisée par l'absence de droits de veto des participants à la transaction. La deuxième contribution qui en découle étant l'expression de trois conditions nécessaires et suffisantes caractérisant un sgbd compatible avec l'approche dictatoriale. Enfin, une solution pragmatique au nouveau problème est aussi proposée, permettant ainsi d'étendre le domaine d'applicabilité de la gestion dictatoriale des transactions aux systèmes utilisés de nos jours. Dans sa seconde partie, le problème de la validation atomique non-bloquante est étudié, et deux solutions lui sont proposées : la première étant adaptée au contexte synchrone, et la deuxième résout le problème dans un contexte asynchrone. Un outil logiciel basé sur nos différentes solutions a été aussi développé dans le contexte des standards transactionnels actuels