Pregunta sobre cuestiones de concurrencia como sincronización y puntos muertos.
Cuando se observa la programación concurrente, se usan comúnmente dos términos, es decir, concurrente y paralelo. Y algunos lenguajes de programación específicamente reclaman soporte para programación paralela, como Java . ¿Esto significa que la programación paralela y concurrente son realmente...
Estoy tratando de entender los algoritmos de Peterson y Dekker que son muy similares y muestran muchas simetrías. Traté de formular los algoritmos en lenguaje informal como sigue: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Después de leer varias fuentes, todavía estoy confundido acerca de los hilos de nivel de usuario y kernel. En particular: Los hilos pueden existir tanto a nivel de usuario como a nivel de núcleo ¿Cuál es la diferencia entre el nivel de usuario y el nivel de kernel?
A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas?...
Que yo sepa, hay tres álgebras de procesos principales que han inspirado una amplia gama de investigaciones sobre modelos formales de concurrencia. Estos son: CCS y cálculo ambos por Robin Milnerππ\pi CSP por Tony Hoare y ACP por Jan Bergstra y Jan Willem Klop Los tres parecen tener hasta el...
Últimamente he estado leyendo un poco de literatura y he encontrado algunas estructuras de datos bastante interesantes. He investigado varios métodos diferentes para reducir el tiempo de actualización a peor tiempo de actualización [1-7].O ( 1 )O(1)\mathcal{O}(1) Recientemente comencé a buscar...
Tengo un registro de base de datos donde algunas transacciones ganan (se confirman antes del bloqueo) y otras pierden (aún no se han comprometido). Aprendimos en clase que las acciones de los perdedores deben deshacerse al revés. ¿Hay alguna razón para hacer esto al revés? ¿Alguien puede dar un...
Los bloqueos generalmente se implementan a través de probar y configurar e intercambiar instrucciones a nivel de máquina. ¿Hay otras implementaciones que no usan estas? Además, ¿podemos decir que todas las soluciones de nivel de hardware para el problema de la sección crítica se pueden clasificar...
De acuerdo con Wikipedia , La operación de prueba y configuración puede resolver el problema de consenso sin esperas para no más de dos procesos concurrentes. ¿Por qué no puede resolver el problema durante más de dos
Cuando observamos el Modelo de actor y los Procesos secuenciales de comunicación , vemos que ambos intentan hacer concurrencia en función del paso de mensajes , pero son distintos . (Vemos implementaciones del modelo CSP en las rutinas de go-lang (y core.async de Clojure ) y el modelo de actor en...
He estado leyendo sobre lenguajes de programación basados en pila, como FORTH y Cat , y parece que dada su naturaleza, solo pueden ejecutar una acción a la vez, independientemente de su paradigma (FORTH es imprescindible mientras que Cat es funcional). Un lenguaje imperativo modificaría la pila,...
He estado leyendo sobre las diferencias entre la serialización y la linealización , que son criterios de consistencia para los sistemas replicados, como las bases de datos replicadas. Sin embargo, no sé en qué casos sería necesaria la linealización, a pesar de que es más fuerte que la...
¿Hay algún cambio que se pueda hacer en las CPU para que funcionen mejor en tiempos de ejecución concurrentes como Rust? Por ejemplo, ¿hay cambios en las implementaciones de predicción de sucursales o en los tamaños de caché que ayudarían a los tiempos de ejecución concurrentes? Tengo la impresión...
En otras palabras, ¿qué ventajas tiene el subproceso híbrido sobre el subproceso 1: 1 (solo kernel) y N: 1 (solo usuario)? Este es un seguimiento de ¿Cuál es la diferencia entre los hilos de nivel de usuario y los hilos de nivel de
Estoy diseñando una base de datos de objetos en memoria para un caso de uso muy específico. Es un escritor único, pero debe admitir lecturas concurrentes eficientes. Las lecturas deben estar aisladas. No hay lenguaje de consulta, la base de datos solo admite: obtener objeto / -s por atributo /...
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 siguiente proceso 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 posible (aunque con suerte...
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...
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...
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...