Preguntas etiquetadas con concurrency

Actualmente estoy asistiendo al curso de programación concurrente en mi universidad y recientemente comenzamos a hablar sobre el concepto de monitor. Si bien entiendo la necesidad de la exclusión mutua, no entiendo por qué usaría un monitor para eso. Según tengo entendido, un monitor garantiza que exactamente uno o ningún …

11 concurrency  synchronization  mutual-exclusion 

Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el …

11 logic  concurrency  modelling  process-algebras  ccs 

Tengo entendido que las implementaciones más populares de un mutex (p. Ej., Std :: mutex en C ++) no garantizan la equidad , es decir, no garantizan que, en casos de contención, el bloqueo sea adquirido por hilos en el orden en que llamado lock (). De hecho, incluso es …

11 concurrency  synchronization  threads 

Mi experiencia provino de lenguajes imperativos, principalmente C, C ++ y Python. Recogí Scala, Erlang y un poco de Haskell unos años más tarde y desde entonces me he interesado mucho en la programación funcional y los formalismos detrás de ella. También estoy interesado en la programación concurrente y distribuida …

10 distributed-systems  concurrency 

Dado un programa que consta de variables e instrucciones que modifican estas variables, y una primitiva de sincronización (un monitor, mutex, Java sincronizado o bloqueo de C #), ¿es posible demostrar que dicho programa es seguro para subprocesos? ¿Existe incluso un modelo formal para describir cosas como la seguridad del …

9 proof-techniques  correctness-proof  concurrency  threads 

Creo que en el algoritmo de Peterson para la exclusión mutua , si el primer proceso para ingresar a la sección crítica fuera a morir o cancelarse, el otro proceso se repetiría para siempre, esperando ingresar a la sección crítica. En la imagen, si el proceso 1 se detiene, el …

9 programming-languages  concurrency  mutual-exclusion 

Se ha investigado bastante sobre algoritmos de exclusión mutua; por ejemplo, gran parte se presenta en libros de texto clásicos como The Art of Multiprocessor Programming , donde se dedica un capítulo completo a ellos. Me pregunto cuáles son las situaciones prácticas en las que uno podría necesitar estos algoritmos …

8 reference-request  concurrency  mutual-exclusion