stm

9El calor

1Respuesta

función de comprobación de Haskell STM devolviendo undefined

¿Hay una buena razón por la cual la función check en la biblioteca Contol.Concurent.STM tiene tipo Bool -> STM a y devuelve undefined en caso de éxito en lugar de tener el tipo Bool -> STM()? La forma

10El calor

2Respuesta

¿Por qué Scala no crea una instancia de un objeto complementario?

Soy nuevo en Scala y Akka así que discúlpeme si esta es una pregunta nueva, pero no puedo encontrar la respuesta en ningún otro lado ... Para el registro Estoy usando Scala 2.9.0-1 y Akka 1.1.3 y tamb

9El calor

1Respuesta

Haskell: hilo bloqueado indefinidamente en una transacción STM

¿Hay alguna manera de aumentar un intervalo de tiempo, en función del cual el RTS decide que el hilo ha bloqueado indefinidamente en una transacción STM? Aquí está mi código: import Control.Concurrent

5El calor

1Respuesta

¿Deberían leerse múltiples refs de Clojure en una transacción por consistencia?

Esta es una pregunta teórica motivada por mi deseo de comprender mejor la concurrencia de Clojure. Digamos que estoy escribiendo boids. Supongamos que cada boid es un hilo verde separado que muta posi

10El calor

1Respuesta

¿Qué tan seguro es `UnsafePerformIO (newTVarIO 0)`?

me he dado cuenta de este idioma en Data.Unique: uniqSource :: TVar Integer uniqSource = unsafePerformIO (newTVarIO 0) {-# NOINLINE uniqSource #-} ¿Está garantizada sólo a ejecutar una vez?

5El calor

1Respuesta

¿Qué pasa con la siguiente solución para los "Filósofos del comedor"?

Con el fin de familiarizarse con STM en Haskell, escribí la siguiente solución al problema de la cena de los filósofos: import Control.Concurrent import Control.Concurrent.STM import Control.Monad

11El calor

1Respuesta

Haskell: TVar: orElse

¿Se llama a la parte "else" de orElse cuando se reintenta una transacción debido a otra transacción escribiendo a TVar que se leyó, o solo cuando se llama explícitamente retry?

39El calor

1Respuesta

Concurrente estructura de datos genéricos sin interbloqueos o falta de recursos

Recientemente he hecho una serie de preguntas con respecto a TVar, y todavía me preocupan los bloqueos en directo. Así que pensé en esta estructura: Cada transacción obtiene una prioridad única (tal v

13El calor

2Respuesta

Utilizando STM y transacciones de base de datos juntas

He estado usando la biblioteca STM de Haskell y realmente me gusta la capacidad de redactar transacciones y la naturaleza general de "STM". Por una buena razón, STM no permite acciones IO dentro de un

5El calor

1Respuesta

Posibles mejoras en el ejemplo de concurrencia "oficial" de clojure (usando bloqueos, átomos, stm)

Estoy tratando de obtener the "official" example of clojure concurrency más cerca de una versión Java con bloqueo manual. In this gist puse el código java y clojure y el volcado de subprocesos de un p