Diferencia entre TVar y TMVar

No es realmente una cuestión de bloqueo, se trata de lo que significa la referencia:{[13]]}

• TVar es una referencia mutable dentro de STM, que representa el estado compartido general. Lo creas sosteniendo un valor, puedes leerlo y escribirlo, 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 con un valor, o vacío. Usted puede poner un valor en él, que si ya se llena bloques hasta que alguien más lo vacía; o puede tomar un valor de él, que si ya se vacía bloques hasta que alguien lo llena. Obviamente es similar a un MVar, pero para muchos usos comunes podría ser más simple pensar en él como una cola de un solo elemento utilizada para un par productor/consumidor comunicante.

En resumen, TVar es un estado compartido general, úselo si desea actualizaciones atómicas de datos de lugares arbitrarios. TMVar es una sincronización primitiva, úsala si quieres un hilo para esperar hasta que algo esté disponible, mientras que otro espera que algo sea necesario.

También tenga en cuenta TChan, que se implementa aproximadamente como dos TVar s lugares de retención en una lista vinculada donde cada enlace hacia adelante es también un TVar, y funciona como una cola ilimitada para la comunicación.

Todos estos se pueden usar de maneras ligeramente diferentes,por supuesto you puede echar un vistazo al valor de un TMVar sin eliminarlo, por ejemplo, si desea un escenario donde múltiples hilos todos espere a que un solo recurso esté disponible, pero nunca es "utilizado".