Table des matières
99 relations: ABCL/1, ACM Transactions on Computational Logic, ACM-IEEE Symposium on Logic in Computer Science, Akka (logiciel), Algorithme de l'autruche, Algorithme de la boulangerie, Algorithme de Peterson, Allocation de ressources, Antipattern, Atomicité (informatique), Aviv Regev, Équité (informatique), Barrière de synchronisation, Burroughs Corporation, Calcul distribué, Catégorie *-autonome, Charles Antony Richard Hoare, Clojure, CML, CO-OPN, Communicating sequential processes, Communication inter-processus, Comparaison des langages de programmation multi-paradigmes, Concurrence (homonymie), Concurrent C, Concurrent ML, Conference on Implementation and Application of Automata, D (langage), Deadlock, Double-checked locking, Elixir (langage), Erlang (langage), Extensible Storage Engine, Fetch-and-add, Fortran, Fundamenta Informaticae, Futures (informatique), Génie logiciel, Go (langage), Go! (langage), Histoire des langages de programmation, Hybrid Multicore Parallel Programming, Interblocage, International Colloquium on Automata, Languages and Programming, Inversion, Inversion de priorité, Logical Methods in Computer Science, Logique de Hoare, Logique de séparation, Maurice Herlihy, ... Développer l'indice (49 plus) »
ABCL/1
ABCL/1 (Actor-Based Concurrent Language) est un langage à prototype et concurrent créé en 1986 par Akinori Yonezawa, of the Department of Information Science de l'Université de Tokyo.
Voir Programmation concurrente et ABCL/1
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la; elle est publiée par l'Association for Computing Machinery depuis 2000.
Voir Programmation concurrente et ACM Transactions on Computational Logic
ACM-IEEE Symposium on Logic in Computer Science
La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique.
Voir Programmation concurrente et ACM-IEEE Symposium on Logic in Computer Science
Akka (logiciel)
Akka est une bibliothèque logicielle qui permet de construire rapidement des applications concurrentes en Java ou Scala.
Voir Programmation concurrente et Akka (logiciel)
Algorithme de l'autruche
En informatique, l'algorithme de l'autruche est une stratégie consistant à ignorer les problèmes potentiels en partant du principe qu'ils sont extrêmement rares.
Voir Programmation concurrente et Algorithme de l'autruche
Algorithme de la boulangerie
L'algorithme de la boulangerie (Lamport's bakery algorithm en anglais) est un algorithme d'exclusion mutuelle inventé par Leslie Lamport, dans le cadre général de machines multi-processeurs à mémoire partagée ne fournissant aucune opération atomique.
Voir Programmation concurrente et Algorithme de la boulangerie
Algorithme de Peterson
En informatique, l'algorithme de Peterson est un algorithme d'exclusion mutuelle pour la programmation concurrente.
Voir Programmation concurrente et Algorithme de Peterson
Allocation de ressources
Dans le contexte de la programmation concurrente, l'allocation de ressources est l'opération permettant d'affecter des ressources à un thread particulier.
Voir Programmation concurrente et Allocation de ressources
Antipattern
En génie logiciel, les anti-patrons ou sont des erreurs courantes de conception des logiciels.
Voir Programmation concurrente et Antipattern
Atomicité (informatique)
L'atomicité est une propriété utilisée en programmation concurrente pour désigner une opération ou un ensemble d'opérations d'un programme qui s'exécutent entièrement sans pouvoir être interrompues avant la fin de leur déroulement.
Voir Programmation concurrente et Atomicité (informatique)
Aviv Regev
Aviv Regev, née le, est une biologiste israélienne spécialiste de la biologie computationnelle.
Voir Programmation concurrente et Aviv Regev
Équité (informatique)
Dans le contexte de la programmation concurrente, la notion déquité se rapporte au principe d'équité dans le cadre des algorithmes d'ordonnancement ou de synchronisation.
Voir Programmation concurrente et Équité (informatique)
Barrière de synchronisation
En programmation concurrente, une barrière de synchronisation permet de garantir qu'un certain nombre de tâches aient passé un point spécifique.
Voir Programmation concurrente et Barrière de synchronisation
Burroughs Corporation
La Burroughs Corporation était l’un des leaders du marché de la bureautique.
Voir Programmation concurrente et Burroughs Corporation
Calcul distribué
Un calcul distribué, ou réparti ou encore partagé, est un calcul ou un traitement réparti sur plusieurs microprocesseurs et plus généralement sur plusieurs unités centrales informatiques, et on parle alors d'architecture distribuée ou de système distribué.
Voir Programmation concurrente et Calcul distribué
Catégorie *-autonome
En mathématiques, une catégorie *-autonome (lire « étoile-autonome » ou « star-autonome ») est une structure étudiée en théorie des catégories.
Voir Programmation concurrente et Catégorie *-autonome
Charles Antony Richard Hoare
Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.
Voir Programmation concurrente et Charles Antony Richard Hoare
Clojure
Clojure est un langage de programmation fonctionnelle compilée, multi-plateforme et destiné à la création de programmes sûrs et facilement distribuables.
Voir Programmation concurrente et Clojure
CML
CML, sigle composé des trois lettres C, M et L, peut faire référence à.
Voir Programmation concurrente et CML
CO-OPN
CO-OPN, pour Concurrent Object-Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l'Université de Genève qui permet de décrire des ensembles de réseaux de Petri algébriques concurrents communicants d'une façon modulaire s'inspirant fortement de la programmation orientée objet.
Voir Programmation concurrente et CO-OPN
Communicating sequential processes
En programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes.
Voir Programmation concurrente et Communicating sequential processes
Communication inter-processus
Image montrant un échange de données (avec un communication inter-processus) entre deux unités d'un cloud computing. En informatique, la communication inter-processus (inter-process communication, IPC, en anglais) regroupe un ensemble de mécanismes permettant à des processus concurrents de communiquer.
Voir Programmation concurrente et Communication inter-processus
Comparaison des langages de programmation multi-paradigmes
Les langages de programmation peuvent être regroupées par le nombre et les types de paradigmes pris en charge.
Voir Programmation concurrente et Comparaison des langages de programmation multi-paradigmes
Concurrence (homonymie)
La concurrence désigne la.
Voir Programmation concurrente et Concurrence (homonymie)
Concurrent C
Le concurrent C est une extension du langage de programmation C développée aux laboratoires Bell d'AT&T en 1984.
Voir Programmation concurrente et Concurrent C
Concurrent ML
Concurrent ML (CML) est une version concurrente du langage Standard ML.
Voir Programmation concurrente et Concurrent ML
Conference on Implementation and Application of Automata
International Conference on Implementation and Application of Automata (abrégé en CIAA) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, réunissant chercheurs et enseignants du supérieur et de l'industrie concernés par la théorie, les implémentations et les applications des automates et de structures voisines.
Voir Programmation concurrente et Conference on Implementation and Application of Automata
D (langage)
Le D est un langage de programmation impératif orienté objet et multi-paradigmes conçu pour la programmation système.
Voir Programmation concurrente et D (langage)
Deadlock
Deadlock peut faire référence à.
Voir Programmation concurrente et Deadlock
Double-checked locking
En génie logiciel, le verrouillage à double test ou est un ancien patron de conception.
Voir Programmation concurrente et Double-checked locking
Elixir (langage)
Elixir est un langage de programmation multi-paradigme fonctionnant sur la machine virtuelle Erlang (BEAM).
Voir Programmation concurrente et Elixir (langage)
Erlang (langage)
LYME et LYCE sont basés sur '''Erlang''' et offrent des alternatives à LAMP. Erlang est un langage de programmation, supportant plusieurs paradigmes: concurrent, temps réel, distribué.
Voir Programmation concurrente et Erlang (langage)
Extensible Storage Engine
Extensible Storage Engine (abr. ESE), aussi appelé Jet Blue est un moteur de base de données créé par Microsoft en 1996.
Voir Programmation concurrente et Extensible Storage Engine
Fetch-and-add
Fetch And Add en informatique, désigne l'instruction d'extraction et d'ajout de processeur (FAA pour Fetch-And-Add) incrémentant atomiquement le contenu d'un emplacement de mémoire par une valeur spécifiée.
Voir Programmation concurrente et Fetch-and-add
Fortran
240x240px Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique.
Voir Programmation concurrente et Fortran
Fundamenta Informaticae
Fundamenta Informaticae est une revue scientifique en informatique théorique.
Voir Programmation concurrente et Fundamenta Informaticae
Futures (informatique)
En programmation, les notions de futurs (« futures »), promesses (« promises ») ou délais (« delay ») font référence à des techniques de synchronisation pour certains langages concurrents.
Voir Programmation concurrente et Futures (informatique)
Génie logiciel
Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels.
Voir Programmation concurrente et Génie logiciel
Go (langage)
Go est un langage de programmation compilé et concurrent inspiré de C et Pascal.
Voir Programmation concurrente et Go (langage)
Go! (langage)
Go! est un langage de programmation concurrent, originellement conçu par Keith Clark et Francis McCabe en 2003.
Voir Programmation concurrente et Go! (langage)
Histoire des langages de programmation
Cet article évoque les événements majeurs de l'histoire des langages de programmation.
Voir Programmation concurrente et Histoire des langages de programmation
Hybrid Multicore Parallel Programming
HMPP (Hybrid Multicore Parallel Programming) est un ensemble d'outils de développement au service de la programmation multi-cœurs hybride.
Voir Programmation concurrente et Hybrid Multicore Parallel Programming
Interblocage
Exemple d'interblocage: le processus ''P1'' utilise la ressource ''R2'' qui est attendue par le processus ''P2'' qui utilise la ressource ''R1'', attendue par ''P1''. Un interblocage (ou étreinte fatale, deadlock en anglais) est un phénomène qui peut survenir en programmation concurrente.
Voir Programmation concurrente et Interblocage
International Colloquium on Automata, Languages and Programming
International Colloquium on Automata, Languages and Programming (abrégé en ICALP) est la principale conférence académique européenne en informatique théorique.
Voir Programmation concurrente et International Colloquium on Automata, Languages and Programming
Inversion
L'inversion est l’action d’inverser, de redisposer les constituants d’un groupe dans un sens opposé ou dans un ordre contraire, ainsi que le résultat de cette action.
Voir Programmation concurrente et Inversion
Inversion de priorité
L'inversion de priorité est un phénomène qui peut se produire en programmation concurrente.
Voir Programmation concurrente et Inversion de priorité
Logical Methods in Computer Science
Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logique.
Voir Programmation concurrente et Logical Methods in Computer Science
Logique de Hoare
La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé.
Voir Programmation concurrente et Logique de Hoare
Logique de séparation
La logique de séparation (en anglais « Separation Logic »), attribuée à John C. Reynolds, est une extension de la logique de Hoare.
Voir Programmation concurrente et Logique de séparation
Maurice Herlihy
Maurice Peter Herlihy, né le, est un informaticien américain.
Voir Programmation concurrente et Maurice Herlihy
Mémoire partagée (communication inter-processus)
Dans un contexte de la programmation concurrente, le partage de mémoire est un moyen de partager des données entre différents processus: une même zone de la mémoire vive est accédée par plusieurs processus.
Voir Programmation concurrente et Mémoire partagée (communication inter-processus)
Mémoire transactionnelle logicielle
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.
Voir Programmation concurrente et Mémoire transactionnelle logicielle
Michel Raynal
Michel Raynal (né le 16 janvier 1949) est un informaticien français, professeur à l’IRISA, Université de Rennes 1, France.
Voir Programmation concurrente et Michel Raynal
Michel Sintzoff
Michel Sintzoff (né à Ixelles le et mort à Ottignies-Louvain-la-Neuve le) est un mathématicien et informaticien belge.
Voir Programmation concurrente et Michel Sintzoff
Mise en sommeil
Dans le contexte de la programmation concurrente, la mise en sommeil (sleep) d'un thread permet de retirer l'accès à la ressource processeur de ce thread.
Voir Programmation concurrente et Mise en sommeil
Modèle d'acteur
En informatique, le modèle d'acteur est un modèle mathématique qui considère des acteurs comme les seules fonctions primitives nécessaires pour la programmation concurrente.
Voir Programmation concurrente et Modèle d'acteur
Modula-2
Modula est un langage de programmation créé en 1977 par Niklaus Wirth à l'École polytechnique fédérale de Zurich.
Voir Programmation concurrente et Modula-2
Monoïde des traces
En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non.
Voir Programmation concurrente et Monoïde des traces
Multitâche
Un système d'exploitation est multitâche s’il permet d’exécuter, de façon apparemment simultanée, plusieurs programmes informatiques.
Voir Programmation concurrente et Multitâche
Node.js
Node.js est une plateforme logicielle libre en JavaScript, orientée vers les applications réseau évènementielles hautement concurrentes qui doivent pouvoir monter en charge.
Voir Programmation concurrente et Node.js
Occam (langage)
Le langage de programmation Occam est un langage de programmation adapté à l'architecture parallèle, apparu en 1983.
Voir Programmation concurrente et Occam (langage)
OpenMP
() est une interface de programmation pour le calcul parallèle sur architecture à mémoire partagée.
Voir Programmation concurrente et OpenMP
Oz (langage)
Oz est un langage de programmation permettant d'employer et de combiner différents paradigmes de programmation.
Voir Programmation concurrente et Oz (langage)
Paradigme (programmation)
langue.
Voir Programmation concurrente et Paradigme (programmation)
Parallélisation de boucle
Les parallélisations de boucle sont des techniques d'optimisation de boucle mises en œuvre au sein des compilateurs qui ont pour objectif d'obtenir une parallélisation automatique efficace.
Voir Programmation concurrente et Parallélisation de boucle
Parallélisme (informatique)
Blue Gene L cabinet, un des supercalculateurs massivement parallèles les plus rapides des années 2000. En informatique, le parallélisme consiste à mettre en œuvre des architectures d'électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci.
Voir Programmation concurrente et Parallélisme (informatique)
Passage de messages
Le modèle de passage de messages (message passing en anglais) est un modèle de communication entre ordinateurs ou entre processus à l'intérieur d'un même ordinateur.
Voir Programmation concurrente et Passage de messages
Portal
Portal peut faire référence à.
Voir Programmation concurrente et Portal
Portal (langage)
Portal est un langage de programmation créé par R. Schild et H. Lienard du Laboratoire de recherche de LGZ Landis & Gyr à Zoug en 1978, spécialisé pour la programmation temps réel et la programmation concurrente.
Voir Programmation concurrente et Portal (langage)
Prix EATCS
Le prix EATCS est un prix, remis par l'European Association for Theoretical Computer Science (EATCS) à un chercheur pour honorer sa brillante carrière en informatique théorique.
Voir Programmation concurrente et Prix EATCS
Problème des producteurs et des consommateurs
Le problème des producteurs et des consommateurs est un exemple informatique de synchronisation de ressources, qui peut s'envisager dans différents contextes de programmation concurrente, notamment en environnement multi-thread.
Voir Programmation concurrente et Problème des producteurs et des consommateurs
Producteur
Producteur peut désigner.
Voir Programmation concurrente et Producteur
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Voir Programmation concurrente et Programmation fonctionnelle
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Voir Programmation concurrente et Programmation informatique
Pugs
Pugs était une mise en œuvre expérimentale de Perl 6 en langage Haskell, et utilisant les spécificités les plus avancées de GHC.
Voir Programmation concurrente et Pugs
Rachid Guerraoui
Rachid Guerraoui, né le à Rabat, est un informaticien suisso-marocain, professeur à la Faculté informatique et communications de l'École polytechnique fédérale de Lausanne (EPFL) et professeur affilié à l'Université Mohammed VI Polytechnique au Maroc.
Voir Programmation concurrente et Rachid Guerraoui
Réentrance
En informatique, la réentrance est la propriété pour une fonction d'être utilisable simultanément par plusieurs tâches utilisatrices.
Voir Programmation concurrente et Réentrance
Réplication (informatique)
En informatique, la réplication est un processus de partage d'informations pour assurer la cohérence de données entre plusieurs sources de données redondantes, pour améliorer la fiabilité, la tolérance aux pannes, ou la disponibilité.
Voir Programmation concurrente et Réplication (informatique)
Reia
Reia est un langage de programmation concurrent orienté objet pour la machine virtuelle Beam.
Voir Programmation concurrente et Reia
Robin Milner
Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge, est un informaticien britannique.
Voir Programmation concurrente et Robin Milner
Ruby
Ruby est un langage de programmation libre.
Voir Programmation concurrente et Ruby
Rust (langage)
est un langage de programmation compilé multi-paradigme qui met l'accent sur la performance, la sûreté des types et la concurrence.
Voir Programmation concurrente et Rust (langage)
Sémaphore (informatique)
Un sémaphore est une variable (ou un type de donnée abstrait) partagée par différents « acteurs », qui garantit que ceux-ci ne peuvent y accéder que de façon séquentielle à travers des opérations atomiques, et constitue la méthode utilisée couramment pour restreindre l'accès à des ressources partagées (par exemple un espace de stockage) et synchroniser les processus dans un environnement de programmation concurrente.
Voir Programmation concurrente et Sémaphore (informatique)
Section critique
En programmation concurrente, une section critique est une portion de code dans laquelle il doit être garanti qu'il n'y aura jamais plus d'un thread simultanément.
Voir Programmation concurrente et Section critique
Situation de compétition
Une situation de compétition (ou situation de concurrence, accès concurrent, concurrence critique, course critique, séquencement critique; race condition en anglais, littéralement « situation de course »), est une situation caractérisée par un résultat différent selon l'ordre dans lequel agissent les acteurs du système.
Voir Programmation concurrente et Situation de compétition
Spinlock
En programmation informatique et plus particulièrement en programmation concurrente, le spinlock ou verrou tournant est un mécanisme simple de synchronisation basé sur l'attente active.
Voir Programmation concurrente et Spinlock
SR (programmation)
SR (abréviation de Synchronizing Resources) est un langage de programmation destiné à la programmation concurrente.
Voir Programmation concurrente et SR (programmation)
Swift (langage de script parallèle)
Swift.
Voir Programmation concurrente et Swift (langage de script parallèle)
Synchronisation (multitâches)
En programmation concurrente, la synchronisation se réfère à deux concepts distincts mais liés: la synchronisation de processus et la synchronisation de données.
Voir Programmation concurrente et Synchronisation (multitâches)
Système d'exploitation pour capteur en réseau
Les systèmes d’exploitation pour capteur en réseau (notés également WSNAcronyme: Wireless Sensor Network, littéralement: Réseau de senseur sans fils.) sont des systèmes d'exploitation embarqués au sein de capteurs en réseau (le plus souvent des réseaux sans fil).
Voir Programmation concurrente et Système d'exploitation pour capteur en réseau
Therac-25
Therac-25 était le nom d'une machine de radiothérapie développée conjointement par lÉnergie atomique du Canada Limitée (EACL, Canada) et CGR MeV (France).
Voir Programmation concurrente et Therac-25
Thread safety
La thread safety d'un code (qu'on appelle alors « code thread-safe ») est la propriété de celui-ci associée au fait qu'il est capable de fonctionner correctement lorsqu'il est exécuté simultanément au sein du même espace d'adressage par plusieurs threads.
Voir Programmation concurrente et Thread safety
Tool Command Language
Tool Command Language (abréviation: Tcl) est un langage de script initialement conçu en 1988 par John Ousterhout et son équipe à l'université de Californie à Berkeley.
Voir Programmation concurrente et Tool Command Language
Université de Waterloo
L’Université de Waterloo (UW ou simplement Waterloo) est une université publique de recherche canadienne située à Waterloo, en Ontario.
Voir Programmation concurrente et Université de Waterloo
Urbi
Urbi est une plate-forme logicielle, sous licence libre BSD, utilisée pour le développement d'applications dans les domaines de la robotique et des systèmes complexes.
Voir Programmation concurrente et Urbi
Verrou global du noyau
Le verrou global du noyau, en anglais Big Kernel Lock (BKL) ou Giant Lock (littéralement le « verrou géant du noyau »), est un mécanisme qui permet de suspendre toutes les opérations du noyau d'un système d'exploitation de manière à contrôler les accès concurrents sur les machines multi-processeurs à mémoire partagée (SMP).
Voir Programmation concurrente et Verrou global du noyau
Vivacité (informatique)
En programmation concurrente, la vivacité est le fait pour un système de garantir qu'une propriété sera vraie à partir d'une certaine étape de l'exécution.
Voir Programmation concurrente et Vivacité (informatique)
Yaws
Yaws (Yet Another Web Server) est un serveur web http, écrit en Erlang.
Voir Programmation concurrente et Yaws
ZODB
La ZODB (Zope Object DataBase) est la base de données orientée objet du serveur d'applications Zope.
Voir Programmation concurrente et ZODB
Également connu sous le nom de Concurrence (informatique).