Nederlands
Menu

Multicore en synchronisatie

Welke beschrijving van de werking van de atomaire instructie CAS (compare-and-swap) is juist?

  1. ASchrijft alleen een nieuwe waarde als de waarde in het geheugen gelijk is aan de verwachte waarde, en laat weten of dit is gelukt
  2. BVergelijkt twee geheugenwaarden en schrijft de grootste naar beide
  3. CWisselt de waarde in het geheugen en de waarde in het register onvoorwaardelijk om
Antwoord en toelichting tonen

Antwoord: A. Schrijft alleen een nieuwe waarde als de waarde in het geheugen gelijk is aan de verwachte waarde, en laat weten of dit is gelukt

CAS voert ondeelbaar uit: 'als de waarde op dit adres nog de verwachte waarde is, verander hem dan in de nieuwe waarde'. Als een andere thread de waarde tussen lezen en schrijven heeft veranderd, mislukt het, zodat bijwerken kan terwijl wordt gecontroleerd dat er niets is gewijzigd. Bij mislukking wordt opnieuw gelezen en berekend en wordt CAS herhaald in een lus, zodat een gedeelde waarde veilig zonder lock kan worden bijgewerkt. De cmpxchg-instructie van x86 is hiervan een voorbeeld.

Dit onderwerp oefenen Naar de onderwerppagina

Meer vragen over Multicore en synchronisatie

  1. De bovenstaande code verdubbelt de gedeelde variabele counter met CAS(&p, verwachte waarde, nieuwe waarde). Wanneer mislukt CAS en wordt de lus opnieuw doorlopen?
  2. Wanneer mislukt bij een instructiepaar zoals LR/SC (load-reserved/store-conditional) van RISC-V de SC (store-conditional)?
  3. Welke uitleg over het ABA-probleem, dat bij lock-free datastructuren met CAS aandacht vraagt, is juist?
  4. Welke beschrijving van de werking van een fetch-and-add-instructie, zoals amoadd.w van RISC-V of lock xadd van x86, is juist?
  5. Welke uitleg over een spinlock is juist?

Vergelijkingen bij dit onderwerp