JCSP

Dans le la technologie de la programmation de l'informatique de et , le JCSP est une exécution de communiquant les processus séquentiels (CSP) pour le langage de programmation de Java .

Bien que CSP soit un système mathématique, JCSP n'exige pas la compétence mathématique détaillée, laissant à la place que les programmeurs peuvent réaliser le logiciel poli juste par des règles simples suivantes.

Il y a quatre manières dans lesquelles les programmes multifil peuvent échouer untestably :
conditions de compétitivité de - les variables partagées peuvent avoir l'état indéterminé parce que plusieurs fils leur accèdent concurremment sans verrouillage suffisant ;
impasse - deux fils ou plus atteignent une impasse quand ils essayent d'acquérir des serrures ou d'autres ressources d'une manière contradictoire ;
livelock - semblable à l'impasse mais ayant pour résultat le gaspillage sans fin du temps- CPU ;
famine - un ou plusieurs fils jamais n'obtiennent pas n'importe quel travail effectué, compromettant les résultats prévus des algorithmes de logiciel.

Généralement, il n'est pas possible de prouver l'absence de ces quatre risques simplement par l'essai rigoureux. Au lieu de cela il est nécessaire d'avoir une conception qui peut démontrer ces quatre risques n'existent pas. CSP permet à ceci d'être fait using des mathématiques et JCSP leur permet d'être faites pragmatique dans des programmes de Java.

Noter que le processus limite de CSP est employé essentiellement comme synonyme pour le fil de dans le langage de Java ; un processus de dans CSP est une unité légère de l'exécution qui agit l'un sur l'autre avec le monde extérieur par l'intermédiaire des événements et est un composant actif qui encapsule les structures de données sur lesquelles il fonctionne.

Random links: