Dans cette thèse nous proposons un modèle de calcul qui intègre la programmation concurrente et déclarative.
Ceci rend la programmation concurrente vraiment facile.
En informatique, la mémoire transactionnelle logicielle, en anglais software transactional memory (STM), est un mécanisme de contrôle de concurrence analogue aux transactions de base de données pour contrôler l'accès à la mémoire partagée dans la programmation concurrente.
In computer science, software transactional memory (STM) is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in concurrent computing.
Ces raisons cependant ne mitigent pas le fait que la programmation concurrente est difficile.
These reasons however, do not mitigate the fact that concurrent programming is difficult.
Grâce à ces travaux, la nouvelle génération de programmation concurrente se profile clairement à l'horizon.
Thanks to these efforts, the next generation in concurrent programming is clearly on the horizon.
Nous avons démontré comment résoudre le problème de la section critique, qui est le problème le plus fondamental en programmation concurrente.
We have shown how to solve the critical section problem, which is the most fundamental problem in concurrent programming.
Résultats expérimentaux à l'appui, nous montrons comment ces domaines permettent, à l'aide de méthodes de calcul adaptées, de vérifier avec précision la correction d'algorithmes classiques de programmation concurrente.
Supported by experimental results, we show how these domains, by means of adapted iteration methods, allow precisely verifying the correction of typical concurrent programming algorithms.
Le groupe travaille sur différents aspects des systèmes complexes, notamment dans les domaines de l'informatique en nuage, des réseaux à large échelle et coopératifs, de la programmation concurrente et de la fiabilité logicielle.
The group conducts research on various aspects of complex systems, notably in the fields of cloud computing, large-scale and cooperative networks, concurrent programming, and software dependability.
L'écriture d'algorithmes pour ce type de machines demeureplus difficile que pour celles strictement séquentielles et la conception de langages adaptés est un sujet de recherche actif nonobstant la fréquente utilisation de la programmation concurrente.
Nevertheless, algorithm writing for this kind of machine remains more difficultthan for those strictly sequential and the conception of adapted languages is an active subject of researchnotwithstanding the frequent use of the concurrent programming.
A noter que les paradigmes de programmation abordés lors du cours sont quasi-exclusivement séquentiels, la programmation concurrente étant tout juste effleurée lors de la dernière séance et réservée pour d'autres cours.
Note that the programming paradigms seen in this course are almost exclusively sequential, concurrent programming being addressed only marginally during the last session and being the subject of other courses.
En programmation concurrente, une opération (ou ensemble d'opérations) est atomique si pour le reste du système elle paraît se produire en un unique instant entre son invocation et sa réponse.
In concurrent programming, an operation or set of operations is atomic if it appears to the rest of the system to occur in a single instant between its invocation and its response.
