Preguntas etiquetadas con concurrency

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 …

26 concurrency 

¿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 actualizaciones?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

¿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 futuro?

22 pl.programming-languages  ct.category-theory  concurrency 

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 afirmación: …

13 reductions  dc.distributed-comp  concurrency 

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). Tal vez entendí mal la palabra "pseudo …

11 terminology  concurrency 

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 define en la Sección …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

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 manera: word_t RDCSS(RDCSSDescriptor_t …

10 dc.parallel-comp  concurrency 

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 de una manera …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

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 lista completa de códigos). Para un ejemplo …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

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 polinomio probabilístico tal que para …

8 cr.crypto-security  concurrency  zero-knowledge 

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 para reunir algo de literatura. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html describe …

8 pl.programming-languages  dc.parallel-comp  concurrency 

¿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, de modo que la ubicación de algún …

8 concurrency  process-algebra  formal-modeling