Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contrôle de sérialisabilité dans des systèmes de transactions parallèles
| Auteur / Autrice : | Christine Cornier |
| Direction : | Guy Vidal-Naquet |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 1985 |
| Etablissement(s) : | Paris 11 |
| Partenaire(s) de recherche : | autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) |
| Jury : | Président / Présidente : Guy Vidal-Naquet |
| Examinateurs / Examinatrices : Jean-Claude Bermond, Marie-Paule Flé, Claude Girault, Gérard Roucairol |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Le but de cette thèse est de développer des algorithmes de construction d'un automate de reconnaissance du langage des comportements corrects ou sérialisables d'un système de transactions itérées, parallèles. Une relation de précédence entre transactions, associée à un préfixe de comportement, indépendante des occurrences de transactions, caractérise la correction de ce préfixe. Les états de l’automate sont ensuite caractérisés par des ensembles de mots ou à l’aide de la relation de précédence : une implantation est présentée. La complexité de ces algorithmes dépend de la taille de la relation de conflit du système : une définition de la notion d’utilité d’un conflit est fournie ainsi que des propriétés permettant de caractériser cette utilité. La transformation du système par suppression de conflits inutiles possède la propriété de confluence et, ainsi, le nombre de conflits d’un système de transactions peut être minimalisé.