Comments on Comment les processeurs se partagent la mémoire

Pascal (2013-01-15T13:17:04Z)

J'ai déjà constuit une machine biprocesseur à ram partagé en accès entrelacé.
J'avais réglé le problème ainsi : le premier processeur ne faisais que lire, le second lisait et écrivait.

simple-touriste (2013-01-10T21:34:32Z)

Mouais. Bof.

Ça ne devient vraiment marrant que quand on introduit des indirections (data dependency) et qu'un utilise un bon compilateur optimisant, dans un programme pessimisé pour avoir un certaine sémantique MT.

Nat (2009-06-17T17:53:49Z)

À un niveau différent et plus abordable le RCU (http://en.wikipedia.org/wiki/Read-copy-update) est sympa.

Ruxor (2009-06-17T09:33:03Z)

Je vois que les auteurs de ce papier admettent qu'ils n'ont, comme moi, pas bien compris ce qu'Intel pouvait vouloir dire en mettant la visibilité causale parmi les règles…

DM (2009-06-17T06:13:55Z)

Sur x86, c'est… compliqué. Voir Sarkar et al., _The semantics of x86-CC multiprocessor machine code_, POPL '09, ACM

Comments will not appear until they have been reviewed by the moderator.

Deleting comments is not supported. Please think before you post.

HTML is not allowed in content or elsewhere (writing <foo> simply produces <foo> in the text).

To cite a URL, write <URL: http://somewhere.tld/ >, and it will be automatically made into a link. (Do not try any other way or it might count as an attempt to spam.)

Your email address will not appear to other readers. Use it if you wish to leave me (the moderator) a way of contacting you.

To leave a contact address for all readers, use the Web site address field (it can be a mailto: URI, e.g. mailto:my.email@somewhere.tld, if you do not have a genuine Web site).

You can use an optional (semi-secret) “identifier phrase” of your choice to avoid identity stealing: it will not appear except to the moderator, who can use it to detect obvious usurpations. Don't rely seriously on this, however.

Use the last field to enter any other kind of comments for the moderator's eyes only.