Domande taggate «concurrency»





1
Che cos'è il "tempo pseudo" se usato rispetto ai semafori
Attualmente sto ascoltando il discorso di Alan Kays "È davvero complesso o l'abbiamo semplicemente complicato?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) dove afferma che "i semafori erano una cattiva idea e c'era qualcosa chiamato pseudo tempo che era superiore" (alle 51:40 nel video collegato). Forse ho frainteso la parola "tempo pseudo", ma ne …

2
Perché la linearizzabilità è una proprietà di sicurezza e perché gli insiemi di proprietà di sicurezza sono chiusi?
Nel capitolo 13 "Oggetti atomici" del libro "Algoritmi distribuiti" di Nancy Lynch, la linearizzabilità (nota anche come atomicità) si è dimostrata una proprietà di sicurezza. Vale a dire, la proprietà di traccia corrispondente è non vuota, prefisso-chiuso e limite-chiuso , come definito nella Sezione 8.5.3. Informalmente, una proprietà di sicurezza …

1
Una pratica operazione di confronto e scambio di più parole
Nel documento con lo stesso titolo di quella di questa domanda, gli autori descrivono come costruire un bloccante linearizzabile multi-word CAS operazione utilizzando solo una parola sola CAS. Inizialmente introducono l'operazione double-compare-single-swap - RDCSS, come segue: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); …

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.