Accès aux membres de l'objet et à l'atomicité

Question

• Nous savons par le C# specification que les références lecture/écriture sont atomiques. Dans une déclaration qui accède à un membre d'un objet, la référence sera-t-elle également accessible de manière atomique? Je pense que oui car c'est aussi une sorte de lecture de référence implicite que le compilateur doit fournir pour l'atomicité tout en générant du code pour celui-ci.

• Dans la même instruction, l'accès à l'objet pour accéder à son membre provoquera la référence des objets conservés afin qu'il ne soit pas collecté lorsque une nouvelle instance est créée par un autre thread? Ainsi, si nous accédons aux membres d'une chaîne, la référence des objets les plus à gauche sera-t-elle également conservée afin qu'elle ne soit pas collectée par d'autres threads?

Considérons le code suivant;

static SomeClass sharedVar; 

void someMethod() 
{ 
    SomeClass someLocalVar = sharedVar.memberX.memberY.a; 
    operations on someLocalVar... 
} 

Je cherche l'explication officielle sur le sujet, de MSDN library spécifications C#, etc. ou les gens de Microsoft pour vous assurer que je ne suis pas casser quelque chose et tout va bien.

Answer 1

1. Oui, toutes les lectures de référence sont atomiques.
2. Lors d'une opération de lecture de champ, une référence ne peut pas être collectée à partir du moment où la valeur est poussée sur la pile tant que la commande .ldfld n'est pas terminée. Sinon, cela permettrait au CLR de collecter un objet que vous utilisiez. Avoir un autre thread créer une instance de la valeur n'est pas lié à ce problème.
3. Je ne suis pas tout à fait sûr de ce que vous voulez dire par ce dernier point, mais je pense que vous vous inquiétez un peu trop de la récupération de place. Le CLR ne supprimera pas un objet tant que vous l'utilisez encore.

Answer 2

Vous vous inquiétez trop au sujet du GC. Il ne supprimera aucun objet qu'il vous est possible de référencer à l'avenir par un accès &. Seuls les objets totalement inaccessibles seront supprimés.