Les opérations atomiques en C#?

Est-il un moyen systématique pour savoir si une opération en C# sera atomique ou pas? Ou il y a des lignes directrices générales ou de règles de pouce?

InformationsquelleAutor Eric | 2012-07-31

.net atomic c#multithreading

31

Pour quelque chose de plus complet/détaillée:

Lit et écrit à la valeur de 32 bits types atomique: elle comprend les éléments suivants de la valeur intrinsèque (struct) types: bool, char, byte, sbyte, short, ushort, int, uint, float. Les types suivants (parmi d'autres) ne sont pas garantis pour être atomique: decimal, double, long, ulong.

par exemple
```
int x;
x = 10; //atomic
decimal d;

d = 10m; //not atomic
```
De référence affectation est également une opération atomique:
```
private String _text;
public void Method(String text)
{
  _text = text; //atomic
}
```
- Pas strictement correct - 64 bits (long) sont également atomique si vous êtes sur un système dont le mot de taille est de 64 bits (par exemple, x64 processeur exécute une version 64 bits de windows)
- Sont des références atomique, même sur une application 64 bits?
- Tant pis... je pense que le commentaire de @ChrisShain répond à cette question.
- Le C# spec: "Lectures et les écritures des autres types, y compris de long, ulong, double, decimal, ainsi que les types définis par l'utilisateur, ne sont pas garantis pour être atomique. "
- Le C# spec simplement dit lit et écrit à partir de/à la référence de "types" sont atomiques.
- le C# spec dit qu'il n'y a aucune garantie que les longs se atomique, mais cela ne veut pas dire interdire l'atomicité. Ma compréhension est que sur la version 64 bits de CLI ils sont atomiques, en raison des garanties dans le cadre de la CLI spec je poste ma réponse. Cela dit, je suis prêt à avoir tort si une autorité sur le sujet peut dire autrement, pourquoi l'accès à un long sur une plate-forme 64 bits serait non-atomique.
- voir le plus de ma réponse - Eric Lippert a répondu présent pour nous.
- vous avez raison, la spec ne dis pas qu'ils sont "pas" atomique ou "jamais" atomique, j'ai clarifié ma réponse (qui n'était pas destinée à suggérer qu'ils n'ont jamais été va être atomique, mais pas garanti). Mais, vous devez compiler pour x64 pour vous assurer qu'il a été. Si vous n'avez pas à compiler pour x64, le code peut s'exécuter en x86 et donc ne pas être atomique; donc, vous devez avoir à supposer qu'il n'était pas atomique et l'utilisation de verrouillage ou de Moniteur.Entrée/Sortie pour s'assurer qu'il est accessible de manière atomique.
- Référence de lit et de référence de l'écrit sont atomiques; une référence affectation combine un (atomique) de référence de lecture et d'un (atomique) de référence écrire, mais l'opération dans son ensemble n'est pas atomique.
InformationsquelleAutor Peter Ritchie
28

Oui. Lire la spécification CLI: http://www.ecma-international.org/publications/standards/Ecma-335.htm. Par exemple:

I. 12.6.6 Atomique lit et écrit

Conforme de la CLI doit garantir que l'accès en lecture et écriture
aligner correctement les emplacements de la mémoire qui n'est pas plus que le natif de la taille de mot
(la taille du type native int) est atomique (voir §I. 12.6.2) lorsque tous les
accès en écriture à un emplacement sont de la même taille. Atomique est écrit
alter n bits, autres que celles de l'écrit. Sauf disposition explicite
de contrôle (voir la Partition II (Instance de Contrôle de Mise en page)) est utilisé pour
modifier le comportement par défaut, les éléments de données qui n'est pas plus que le naturel
la taille de mot (de la taille d'une native int) doivent être correctement alignées.
Les références de l'objet doivent être traitées comme si elles sont stockées dans le
natif de la taille de mot.

[Note: Il n'y a pas de garantie sur la mise à jour atomique
(read-modify-write) de mémoire, sauf pour les méthodes fournies pour que
objectif dans le cadre de la bibliothèque de classe (voir la Partition IV). Atomique
écrire “d'un petit élément de données” (un élément qui n'est pas plus que le natif de word
taille) est nécessaire pour faire atomique lire/modifier/écrire sur le matériel
ne prend pas en charge directe des écritures pour les petits éléments de données. la note de fin]

[Note:
Il n'y a pas de garantie atomique accès à 8 octets de données lorsque la taille d'un
native int de 32 bits, même si certaines implémentations peuvent effectuer
les opérations atomiques lorsque les données sont alignées sur une limite de 8 octets. fin
remarque]

Concernant le 64 bits longue question, Eric Lippert réponses ici: http://blogs.msdn.com/b/ericlippert/archive/2011/05/31/atomicity-volatility-and-immutability-are-different-part-two.aspx

La spécification CLI rend effectivement plus de garanties. La CLI
des garanties qui lit et écrit des variables de types de valeur
la taille (ou plus petit) du processeur naturelle de la taille du pointeur sont
atomique; si vous exécutez le code C# sur un système d'exploitation 64 bits dans un
La version 64 bits de la CLR puis les lectures et écritures de 64 bits double et
entiers longs sont aussi la garantie d'être atomique. Le langage C# ne
pas de garantie, mais le moteur d'exécution spec n'. (Si vous êtes en cours d'exécution C#
le code dans certains environnement qui n'est pas mis en œuvre par certains
la mise en œuvre de la CLI puis, bien sûr, vous ne pouvez pas compter sur
garantie, contactez le revendeur qui vous a vendu le moteur d'exécution si vous voulez
savoir quelles sont les garanties qu'ils offrent.)

Un autre point subtil sur les accès atomique est que le sous-jacent
processeur ne garantit l'atomicité lorsque la variable en cours de lecture ou
l'écrit est associée à un stockage qui est aligné à droite
emplacement dans la mémoire. Finalement, la variable sera mis en œuvre en tant que
pointeur vers la mémoire quelque part. Sur un 32 bits du système d'exploitation, qui
pointeur doit être divisible par 4 pour la lecture ou d'écriture
pour être garanti d'être atomique, et sur un système d'exploitation 64 bits, il a
pour être divisible par 8.
- Eric ne dire que "Le langage C# ne garantit pas que." w.r.t. 64 bits des valeurs et de l'atomicité... Seulement en vertu d'une CLI est-ce une possibilité. Pédant; mais l'OP n'a pas de spécifier les CLI...
InformationsquelleAutor Chris Shain
6

De la CLI spécifications, vous pouvez obtenir ici:

"Conforme CLI doit garantir que l'accès en lecture et écriture
aligner correctement les emplacements de la mémoire qui n'est pas plus que le natif de la taille de mot
(la taille du type native int) est atomique...”

L'article 12.5 de la spécification C#ici:

“, Lit et écrit des types de données suivants doivent être atomiques: bool,
char, byte, sbyte, short, ushort, uint, int, float, et de référence
les types.” Aussi: “...il n'y a pas de garantie de atomique en lecture-modification-écriture,
comme dans le cas de l'incrémenter ou de la décrémenter.”

Faire l'opération d'incrémentation atomique avec cette.
- Sauf dans la classe Interlocked, qui n'ont atomique incrémenter, décrémenter, et plusieurs autres.
- Mis à jour!
InformationsquelleAutor Secko

Vous devez vous connecter pour publier un commentaire.