Domande taggate «concurrency»

Domande su problemi di concorrenza come sincronizzazione e deadlock.

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

Processo CCS per un distributore di bevande con due prezzi diversi

Un distributore di bevande richiede all'utente di inserire una moneta ( ), quindi premere uno dei tre pulsanti: richiede una tazza di tè , idem per il caffè e richiede un rimborso (ovvero la macchina restituisce la moneta: ). Questo distributore può essere modellato mediante il seguente processo CCS :ˉ …

11 logic concurrency modelling process-algebras ccs

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

Formalismi nella programmazione concorrente e / o distribuita?

Il mio background proveniva da linguaggi imperativi, principalmente C, C ++ e Python. Ho raccolto Scala, Erlang e un po 'di Haskell qualche anno dopo e da allora sono diventato molto interessato alla programmazione funzionale e ai formalismi alla base. Sono anche interessato alla programmazione concorrente e distribuita e ho …

10 distributed-systems concurrency

È possibile provare la sicurezza del thread?

Dato un programma composto da variabili e istruzioni che modificano queste variabili e una primitiva di sincronizzazione (un monitor, mutex, java sincronizzato o C #'s lock), è possibile provare che un tale programma è thread-safe? Esiste persino un modello formale per descrivere cose come la sicurezza del filo o le …

9 proof-techniques correctness-proof concurrency threads

L'algoritmo a due processi di esclusione reciproca di Peterson tiene conto dei processi di morte?

Penso che nell'algoritmo di Peterson per l'esclusione reciproca , se il processo prima di entrare nella sezione critica dovesse morire o essere cancellato, l'altro processo sarebbe in loop per sempre, in attesa di entrare nella sezione critica. Nella figura, se il processo 1 viene interrotto, il resto dei processi dietro …

9 programming-languages concurrency mutual-exclusion

Qual è la rilevanza pratica degli algoritmi di mutua esclusione da manuale?

C'è stata una buona dose di ricerca sugli algoritmi di mutua esclusione, ad esempio molti di questi sono presentati in libri di testo classici come The Art of Multiprocessor Programming , in cui un intero capitolo è dedicato a loro. Mi chiedo quali sono le situazioni pratiche in cui si …

8 reference-request concurrency mutual-exclusion

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.