Scienza del computer synchronization

3

Algoritmi di Peterson e Dekker in contrasto

Sto cercando di capire gli algoritmi di Peterson e Dekker che sono molto simili e mostrano molte simmetrie. Ho provato a formulare gli algoritmi in un linguaggio informale come segue: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your …

41 concurrency synchronization mutual-exclusion

1

Esistono implementazioni di blocco hardware senza test-and-set o swap?

I blocchi sono generalmente implementati attraverso le istruzioni test-and-set e swap a livello di macchina. Ci sono altre implementazioni che non le usano? Inoltre, possiamo dire che tutte le soluzioni a livello di hardware al problema della sezione critica possono essere classificate in sole tre, vale a dire, disabilitare l'interruzione, …

19 concurrency synchronization mutual-exclusion

3

Perché dovresti usare un monitor anziché un semaforo?

Attualmente sto frequentando il corso di programmazione concorrente nella mia università e recentemente abbiamo iniziato a parlare del concetto di monitor. Mentre capisco la necessità dell'esclusione reciproca, non capisco perché dovrei usare un monitor per quello. A quanto ho capito, un monitor garantisce che esattamente uno o nessun processo è …

11 concurrency synchronization mutual-exclusion

3

Perché la maggior parte delle implementazioni di mutex è ingiusta?

La mia comprensione è che le implementazioni più popolari di un mutex (ad es. Std :: mutex in C ++) non garantiscono l' equità - cioè, non garantiscono che in casi di contesa, il blocco verrà acquisito dai thread nell'ordine in cui chiamato lock (). In effetti, è persino possibile …

11 concurrency synchronization threads

1

Cosa significa "monotonicità" nel contesto della mutabilità

Sto leggendo The Rust Programming Language e ho trovato il seguente passaggio: Ricorda che scrivere su una struttura non è un'operazione atomica e molte funzioni come vec.push()possono riallocare internamente e causare comportamenti non sicuri, quindi anche la monotonia potrebbe non essere sufficiente per giustificare UnsafeCell È appena uscito dal nulla …

8 programming-languages synchronization

Domande taggate «synchronization»