Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Rennes 1" +contributor:("Raynal, Michel"). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Stainer, Julien. Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances.

Degree: Docteur es, Informatique, 2015, Rennes 1

Cette thèse étudie ce qui peut-être calculé dans des systèmes composés de multiple ordinateurs communicant par messages ou partageant de la mémoire. Les modèles considérés prennent en compte la possibilité de défaillance d'une partie de ces ordinateurs ainsi que la variabilité et l'hétérogénéité de leurs vitesses d'exécution. Les résultats présentés considèrent principalement les problèmes d'accord, les systèmes sujets au partitionnement et les détecteurs de fautes. Ce document établis des relations entre les modèles itérés connus et la notion de détecteur de fautes. Il présente une hiérarchie de problèmes généralisant l'accord k-ensembliste et le consensus s-simultané. Une nouvelle construction universelle basée sur des objets consensus s-simultané ainsi qu'une famille de modèles itérés autorisant plusieurs processus à s'exécuter en isolation sont introduites.

This thesis studies computability in systems composed of multiple computers exchanging messages or sharing memory. The considered models take into account the possible failure of some of these computers, as well as variations in time and heterogeneity of their execution speeds. The presented results essentially consider agreement problems, systems prone to partitioning and failure detectors. The document establishes relations between known iterated models and the concept of failure detector and presents a hierarchy of agreement problems spanning from k-set agreement to s-simultaneous consensus. It also introduces a new universal construction based on s-simultaneous consensus objects and a family of iterated models allowing several processes to run in isolation.

Advisors/Committee Members: Raynal, Michel (thesis director).

Subjects/Keywords: Informatique répartie; Calculabilité; Tolérance aux défaillance; Asynchronie; Détecteurs de fautes; Distributed Computing; Computability; Fault-Tolerance; Asynchrony; Failure Detectors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stainer, J. (2015). Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2015REN1S054

Chicago Manual of Style (16th Edition):

Stainer, Julien. “Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances.” 2015. Doctoral Dissertation, Rennes 1. Accessed January 22, 2020. http://www.theses.fr/2015REN1S054.

MLA Handbook (7th Edition):

Stainer, Julien. “Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances.” 2015. Web. 22 Jan 2020.

Vancouver:

Stainer J. Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances. [Internet] [Doctoral dissertation]. Rennes 1; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015REN1S054.

Council of Science Editors:

Stainer J. Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing : Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances. [Doctoral Dissertation]. Rennes 1; 2015. Available from: http://www.theses.fr/2015REN1S054

2. Kanellou, Eleni. Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur.

Degree: Docteur es, Informatique, 2015, Rennes 1

Actuellement, la majorité des architectures de processeurs sont fondées sur une mémoire partagée avec cohérence de caches. Des prototypes intégrant de grandes quantités de cœurs, reliés par une infrastructure de transmission de messages, indiquent que, dans un proche avenir, les architectures de processeurs vont probablement avoir ces caractéristiques. Ces deux tendances exigent que les processus s'exécutent en parallèle et rendent la programmation concurrente nécessaire. Cependant, la difficulté inhérente du raisonnement sur la concurrence peut rendre ces nouvelles machines difficiles à programmer. Nous explorons trois approches ayant pour but de faciliter la programmation concurrente. Nous proposons WFR-TM, une approche fondé sur la mémoire transactionnelle (TM), un paradigme de programmation concurrente qui utilise des transactions afin de synchroniser l'accès aux données partagées. Une transaction peut soit terminer (commit), rendant visibles ses modifications, soit échouer (abort), annulant toutes ses modifications. WFR-TM tente de combiner des caractéristiques désirables des TM optimistes et pessimistes. Une TM pessimiste n'échoue jamais aucune transaction; néanmoins les algorithmes existants utilisent des verrous pour exécuter de manière séquentielle les transactions qui contiennent des opérations d'écriture. Les algorithmes TM optimistes exécutent toutes les transactions en parallèle mais les terminent seulement si elles n'ont pas rencontré de conflit au cours de leur exécution. WFR-TM fournit des transactions en lecture seule qui sont wait-free, sans jamais exécuter d'opérations de synchronisation coûteuse (par ex. CAS, LL\SC, etc) ou sacrifier le parallélisme entre les transactions d'écriture. Nous présentons également Dense, une implémentation concurrente de graphe. Les graphes sont des structures de données polyvalentes qui permettent la mise en oeuvre d'une variété d'applications. Cependant, des applications multi-processus qui utilisent des graphes utilisent encore largement des versions séquentielles. Nous introduisons un nouveau modèle de graphes concurrents, permettant l'ajout ou la suppression de n'importe quel arc du graphe, ainsi que la traversée atomique d'une partie (ou de l'intégralité) du graphe. Dense offre la possibilité d'effectuer un snapshot partiel d'un sous-ensemble du graphe défini dynamiquement. Enfin, nous ciblons les futures architectures. Dans l'intérêt de la réutilisation du code il existe depuis quelques temps une tentative d'adaptation des environnements d'exécution de logiciel - comme par ex. JVM, l'environnement d'exécution de Java - initialement prévus pour mémoire partagée, à des machines sans cohérence de caches. Nous étudions des techniques générales pour implémenter des structures de données distribuées en supposant qu'elles vont être utilisées sur des architectures many-core, qui n'offrent qu'une cohérence partielle de caches, voir pas de cohérence du tout.

Though a majority of current processor architectures relies on shared, cache-coherent memory, current prototypes…

Advisors/Committee Members: Raynal, Michel (thesis director).

Subjects/Keywords: Mémoire transactionnelle logicielle; Programmation concurrente; Structures de données; Structures de données (informatique); Stm; Concurrent programming; Data structures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kanellou, E. (2015). Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2015REN1S171

Chicago Manual of Style (16th Edition):

Kanellou, Eleni. “Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur.” 2015. Doctoral Dissertation, Rennes 1. Accessed January 22, 2020. http://www.theses.fr/2015REN1S171.

MLA Handbook (7th Edition):

Kanellou, Eleni. “Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur.” 2015. Web. 22 Jan 2020.

Vancouver:

Kanellou E. Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur. [Internet] [Doctoral dissertation]. Rennes 1; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015REN1S171.

Council of Science Editors:

Kanellou E. Data structures for current multi-core and future many-core architectures : Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur. [Doctoral Dissertation]. Rennes 1; 2015. Available from: http://www.theses.fr/2015REN1S171

3. Crain, Tyler. On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles.

Degree: Docteur es, Informatique, 2013, Rennes 1

Les architectures multicœurs changent notre façon d'écrire des programmes. L'écriture de programmes concurrents est bien connue pour être difficile. Traditionnellement, l'utilisation de verrous (locks) permettant au code de s'exécuter en exclusion mutuelle, a été l'abstraction la plus largement utilisée pour l'écriture des programmes concurrents. Malheureusement, il est difficile d'écrire des programmes concurrents efficaces et corrects reposant sur des verrous. En outre, les verrous présentent d'autres problèmes, notamment celui du passage à l'échelle. Le concept de mémoire transactionnelle a été proposé comme une solution à ces difficultés. Les transactions peuvent être considérées comme une abstraction de haut niveau, ou une méthodologie pour l'écriture de programmes concurrents, ce qui permet au programmeur de pouvoir déclarer des sections de code devant être exécutés de façon atomique, sans avoir à se soucier des détails de synchronisation. Malheureusement, bien qu'assurément plus facile à utiliser que les verrous, la mémoire transactionnelle souffre encore de problèmes de performance et de facilité d'utilisation. En fait, de nombreux concepts relatifs à l'utilisation et à la sémantique des transactions n'ont pas encore des normes convenues. Cette thèse propose de nouvelles solutions permettant de faciliter l'utilisation des mémoires transactionellles. La thèse débute par un chapitre qui donne un bref aperçu de la mémoire transactionnelle logicielle (STM) ainsi qu'une discussion sur le problème de la facilité d'utilisation. Les contributions à la recherche sont ensuite divisées en quatre chapitres principaux, chacun proposant une approche différente afin de rendre les STMs plus facile à utiliser.

Multicore architectures are changing the way we write programs. Writing concurrent programs is well known to be difficult task. Traditionally, the use of locks allowing code to execute in mutual exclusion has been the most widely used abstraction to write concurrent programs. Unfortunately, using locks it is difficult to write correct concurrent programs that perform efficiently. Additionally, locks present other problems such as scalability issues. Transactional memory has been proposed as a possible promising solution to these difficulties of writing concurrent programs. Transactions can be viewed as a high level abstraction or methodology for writing concurrent programs, allowing the programmer to be able to declare what sections of his code should be executed atomically, without having to worry about synchronization details. Unfortunately, although arguably easier to use then locks, transactional memory still suffers from performance and ease of use problems. In fact many concepts surrounding the usage and semantics of transactions have no widely agreed upon standards. This thesis specifically focuses on these ease of use problems by discussing how previous research has dealt with them and proposing new solutions putting ease of use first. The thesis starts with a chapter giving a brief overview of software…

Advisors/Committee Members: Raynal, Michel (thesis director).

Subjects/Keywords: Mémoire transactionnelle logicielle; STM; Programmation concurrente; Structures de données; Software transactional memory; STM; Concurrent programming; Data structures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Crain, T. (2013). On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2013REN1S022

Chicago Manual of Style (16th Edition):

Crain, Tyler. “On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles.” 2013. Doctoral Dissertation, Rennes 1. Accessed January 22, 2020. http://www.theses.fr/2013REN1S022.

MLA Handbook (7th Edition):

Crain, Tyler. “On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles.” 2013. Web. 22 Jan 2020.

Vancouver:

Crain T. On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles. [Internet] [Doctoral dissertation]. Rennes 1; 2013. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2013REN1S022.

Council of Science Editors:

Crain T. On improving the ease of use of the software transactional memory abstraction : Faciliter l'utilisation des mémoires transactionnelles logicielles. [Doctoral Dissertation]. Rennes 1; 2013. Available from: http://www.theses.fr/2013REN1S022

.