Discussion :

[untipy]

Bonjour,

J'ai un doute et j'aimerais avoir confirmation.

Sur une architecture micro 32 bits j'ai 2 threads :
- la première th1 fait une recopie d'un ont dans un autre ex : a=b.
- la seconde th2 affecte une nouvelle valeur a b

Compte tenu de l'architecture, peut il y avoir corruption de donnée pendant la recopie de b dans a (th1) si th2 modifie b.
Ex : th2 interrompt th1 au niveau de la recopie du 2em octets de b dans a
Ou est ce atomique ?

Merci d'avance

[Vincent PETIT]

Salut untipy,
Je ne sais pas répondre a ta question, je n'ai jamais utilisé de thread sur mes micros par contre je vais bientôt me pencher sur la question.
En revanche, sur d'autres forums des personnes pourraient te répondre plus facilement peut être en reformulant la question.


Si je comprends bien :

- Tu as 2 threads (peu importe l'architecture car ça fonctionne de la même façon)
- Deux variables globales A et B
- Le premier thread fait A = B
- Le second thread modifie B

Est ce qu'il peut y avoir des corruptions du genre :
le premier thread s'interrompt alors qu'il était entrain de faire A = B.
le second thread se lance et modifie B.
le premier thread reprend la main et termine le A = B sauf que B n'a plus la même valeur.

Ou est ce impossible ?

Est ce bien ta question ? Si oui et que ton programme est en écrit en C alors tu auras probablement une réponse rapide sur le forum adapté.
Je suis également interressé par cette réponse.

A+

[untipy]

Bonjour

Désolé j'ai peut être mal formulé ma question mais oui tu as bien résumé la situation.

Merci de ton aide

[Bktero]

Oui. Il y a bien sûr aucune garantie quant à savoir qui du thread 1 ou du thread 2 écrira dans B en dernier. C'est la définition même d'un problème d'accès concurrent en environnement multi-threads.

[Vincent PETIT]

Il me semble que les mutex et les sémaphores règlent justement ces problèmes d'accès aux variables partagées entres threads ?

[Bktero]

Il me semble que les mutex et les sémaphores règlent justement ces problèmes d'accès aux variables partagées entres threads ?

Oui cela sert justement à ça

Ex : th2 interrompt th1 au niveau de la recopie du 2em octets de b dans a

En relisant ton message, je vois ça : la réponse est sans doute non. Il faut regarder le jeu d'instruction assembleur, mais il y a en généralement des opérateurs pour copier 32 bits par 32 bits sur une architecture 32 bits. Donc tu auras une valeur correcte mais tu ne peux pas garantir qu'un thread écrase les 32 bits que l'autre thread s'apprête à lire. En revanche, tu n'as pas forcément d'instruction pour copier 64 bits d'un coup, qu'il faut alors copier 2 fois et donc potentiellement avec préemption au milieu.

La question me fait penser à cet article intéressant : http://www.blaess.fr/christophe/2012...non-atomicite/