我一直在研究事务内存是如何在 Haskell 中实现的,但我不确定我是否理解暴露给程序员的 STM 操作如何挂钩到用 C 编写的运行时系统函数中。在ghc/libraries/base/GHC/Conc/Sync.hs
git repo 中,我看到了以下定义:
-- |A monad supporting atomic memory transactions.
newtype STM a = STM (State# RealWorld -> (# State# RealWorld, a #))
deriving Typeable
-- |Shared memory locations that support atomic memory transactions.
data TVar a = TVar (TVar# RealWorld a)
deriving Typeable
-- |Create a new TVar holding a value supplied
newTVar :: a -> STM (TVar a)
newTVar val = STM $ \s1# ->
case newTVar# val s1# of
(# s2#, tvar# #) -> (# s2#, TVar tvar# #)
然后在 中ghc/rts/PrimOps.cmm
,我看到以下 C-- 定义:
stg_newTVarzh (P_ init){
W_ tv;
ALLOC_PRIM_P (SIZEOF_StgTVar, stg_newTVarzh, init);
tv = Hp - SIZEOF_StgTVar + WDS(1);
SET_HDR (tv, stg_TVAR_DIRTY_info, CCCS);
StgTVar_current_value(tv) = init;
StgTVar_first_watch_queue_entry(tv) = stg_END_STM_WATCH_QUEUE_closure;
StgTVar_num_updates(tv) = 0;
return (tv);
}
我的问题:
- 中的第一个和最后一个是什么
#
意思(# s2#, TVar tvar# #)
。我之前读过,在#
变量之后放置一个只是一个命名约定,表明某些东西是未装箱的,但是它本身意味着什么? - 我们如何从
newTVar#
到stg_newTVarzh
?似乎我错过了这两者之间的另一个定义。编译器是否重写newTVar#
为对所列 C-- 函数的调用? - C-代码中的
P_
和是什么?W_
我只能找到另一个出现的newTVar#
inghc/compiler/prelude/primops.txt.pp
primop NewTVarOp "newTVar#" GenPrimOp
a
-> State# s -> (# State# s, TVar# s a #)
{Create a new {\tt TVar\#} holding a specified initial value.}
with
out_of_line = True
has_side_effects = True
根据https://ghc.haskell.org/trac/ghc/wiki/Commentary/PrimOps,这是定义原语的方式,以便编译器了解它们。