Diferencia entre TVAR y TMVar

Question

he visto el TVar es un envase simple, mientras que el TMVar es lo mismo que un MVar, lo que significa que tiene un bloqueo, etc., pero dentro de la STM mónada. Me pregunto por qué sería necesario, ya que la idea de STM es hacer bloqueos innecesarios.

¿Cuál es el que debe usar si, por ejemplo, tiene un tipo como [Handle] una lista de identificadores de socket que desea usar entre los hilos hechos por forkIO?

Answer 1

En realidad no es una cuestión de bloqueo, sino de lo que significa la referencia:

• TVar es una referencia mutable dentro STM, que representa el estado general compartido. Usted lo crea manteniendo un valor, puede leer y escribir en él, etc. Es muy similar a IORef o STRef (que son lo mismo de todos modos).

• TMVar es una referencia a una ranura que los hilos pueden usar para comunicarse. Se puede crear manteniendo un valor, o vacío. Puedes ponerle un valor, que si ya está lleno de bloques hasta que alguien más lo vacíe; o puede tomar un valor de él, que si ya está vacío bloquea hasta que alguien lo llene. Es obviamente similar a un MVar, pero para muchos usos comunes podría ser más simple pensar en él como una cola de elemento único utilizada para un par productor/consumidor comunicante.

En resumen, es TVar estado compartido en general, lo utilizan si desea que las actualizaciones atómicas a los datos de lugares arbitrarios. TMVar es una primitiva de sincronización, úsela si desea que un hilo espere hasta que algo esté disponible, mientras que otro espera que algo se necesite.

También tenga en cuenta TChan, que se implementa más o menos como dos TVar s sostienen lugares en una lista enlazada donde cada enlace directo es también un TVar, y trabaja como una cola sin límites para la comunicación.

Todos estos se pueden utilizar de maneras ligeramente diferentes, por supuesto, puede echar un vistazo al valor de TMVar sin eliminarlo, por ejemplo, si desea un escenario en el que varios subprocesos esperen un único recurso para estar disponible, pero nunca se "agota". no duda comparable a las diferencias entre IORef y MVar -

Answer 2

Las diferencias entre TVar y TMVar no son tan grandes como se ven.

Mientras que MVar sí proporciona algo de bloqueo para la seguridad de la rosca, TMVar ¡no es nada interesante! (sin bloqueo adicional) Todo lo importante ya está implementado con STM y TVar, por lo que TMVar a es solo una abreviación para TVar (Maybe a) equipada con algunas funciones agradables (algunas de las cuales bloquean usando la función retry).

si el bloqueo con retry es compatible con el espíritu de STM y si se elimina algunas de las ventajas del MCI (no hay puntos muertos, etc.) es una cuestión aparte y me gustaría ver a alguien con más experiencia para responder a ella.