ppt
Software concurrency
Fils d’exécution tournants concurremment
2
Évolution de la programmation
•La programmation au départ était linéaire.
•Série d’instructions exécutées séquentiellement.
•Rien n’est fait simultanément !
•Résultat déterministe.
•Maintenant, la programmation implique
l’exécution de tâches concurrentes partageant
des variables, des ressources.
•«Fil d’exécution » (en anglais thread);
•Interruptions;
•Résultat non-déterministe.
3
Évolution de la programmation
•Des problèmes risquent de survenir si cette
exécution concurrente n’est pas prise en
compte.
•Certains événements montrent que cela peut même
impliquer des pertes de vies.
•Exemple: Therac-25
Exemple
•Supposons que nous avons deux routines
concurrentes dont le contenu est identique:
•La variable i est initialisée à 0.
•Quelle sera la valeur de i lorsque ces deux
routines concurrentes se seront exécutées ?
•Est-ce que se sera 1 ou 2 ?
4
LDI i,R1
ADDI 1,R1
STI R1,i
LDI i,R2
ADDI 1,R2
STI R2,i
Exemple
•Supposons que nous avons deux routines
concurrentes dont le contenu est identique:
•Réponse: parfois 1, parfois 2.
•Impossible à prévoir.
•Cela est inacceptable.
5
LDI i,R1
ADDI 1,R1
STI R1,i
LDI i,R2
ADDI 1,R2
STI R2,i
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
1
/
73
100%
