Closer to mvar. Tvars support full transactional semantics.