3

我一直在研究事务内存是如何在 Haskell 中实现的，但我不确定我是否理解暴露给程序员的 STM 操作如何挂钩到用 C 编写的运行时系统函数中。在ghc/libraries/base/GHC/Conc/Sync.hsgit 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);
}

我的问题：

  1. 中的第一个和最后一个是什么#意思(# s2#, TVar tvar# #)。我之前读过，在#变量之后放置一个只是一个命名约定，表明某些东西是未装箱的，但是它本身意味着什么？
  2. 我们如何从newTVar#到stg_newTVarzh？似乎我错过了这两者之间的另一个定义。编译器是否重写newTVar#为对所列 C-- 函数的调用？
  3. 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，这是定义原语的方式，以便编译器了解它们。

4

1 回答 1

3

(# s2#, TVar tvar# #)是一个未装箱的元组。

该名称stg_newTVarzh由以下内容构成：

  • 前缀，对stg_整个 GHC 运行时通用，代表无脊椎无标签 G 机器，一种评估函数式语言的抽象机器；

  • newTVar这是的第一部分newTVar#；

  • final zh，也就是所谓的z编码#：这种编码生成一个可被所有平台上的链接器/ABI 使用的纯名称，删除像哈希 (#) 这样的有趣字符。

于 2015-06-18T08:32:14.113 回答