La concurrencia es el estudio de sistemas que operan simultáneamente. Por ejemplo, dado un conjunto de ascensores y un grupo de personas que quieren ir a varios pisos. Un ejemplo de un sistema concurrente sería el sistema de gestión que indicaría a dónde van los ascensores y dónde dejar a una persona del grupo de personas.
Estoy tratando de entender cuáles son las diferencias reales entre el modelo de concurrencia del actor y el modelo de concurrencia de procesos secuenciales de comunicación (CSP). Hasta ahora, lo mejor que he podido encontrar es que el Modelo de actor permite que el número y el diseño de los nodos...
¿Existe un análogo paralelo natural a los árboles rojo-negros con propiedades similares o incluso no terriblemente peores para las actualizaciones, mientras que es razonablemente eficiente en el trabajo? En términos más generales, ¿qué es lo mejor que podemos hacer para la búsqueda paralela con...
¿Existe una descripción útil de futuros o promesas en términos de teoría de categorías? En particular, ¿cuál podría ser el dual categórico del
La semana pasada, estaba leyendo de nuevo el trasncrito de Leslie en Lamport de 1982 de una conferencia que dio sobre Problemas resueltos, Problemas no resueltos y No problemas en concurrencia . El documento es fácilmente legible, pero una de las cosas que me hizo pensar es la siguiente...
Actualmente estoy escuchando la charla de Alan Kays "¿Es realmente complejo o simplemente lo complicamos?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) donde dice que "los semáforos eran una mala idea y había algo llamado pseudo tiempo que era superior" (a las 51:40 en el video vinculado)....
David Rodríguez - dribeas escribió en un comentario en StackOverflow que "No todas las colecciones se pueden implementar sin bloqueos". No estoy seguro de si esto es cierto, y no puedo encontrar pruebas de ninguna manera. Esta declaración no es muy precisa, pero permítanme tratar de reformularla...
En el documento con el mismo título que el de esta pregunta, los autores describen cómo construir una operación CAS de varias palabras linealizable sin bloqueo utilizando solo un CAS de una sola palabra. Primero presentan la operación de doble comparación, intercambio único, RDCSS, de la siguiente...
En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se...
¿Alguien sabe de algún formalismo algebraico (o relacionado) de proceso que capture información de ubicación detallada? Estoy familiarizado con los ambientes y bigrafos, que obviamente tienen un modelo de ubicación, pero ¿qué pasa con los intentos de modelar información de ubicación más concreta,...
Entiendo la consistencia estricta y secuencial independientemente bastante bien. El estricto C básicamente impone el orden real en el que se ejecutaron las instrucciones en el reloj global. La coherencia secuencial básicamente impone el orden solo en un procesador. Sin embargo, tengo problemas...
Pruebas simultáneas de conocimiento cero con complejidad redonda logarítmica Los números de página son del propio documento, y no del pdf. De la página 3, "Un sistema de prueba interactiva se dice que es negro-box (computacional) cero conocimiento si hay una máquina del tiempo oráculo...
Anteriormente hice esta pregunta en Programmers.SE , sin éxito. Estoy buscando recursos de aprendizaje por escrito sobre cómo diseñar estructuras de datos concurrentes. Estoy más interesado en el proceso de diseño (por ejemplo, identificar los invariantes correctos) que en el producto final (una...