Monitor.Wait初探(4)

前面通过Windbg调试步步追踪最后终于发现Wait函数涉及WaitForMultipleObjectsEx的系统调用。

不过这里我还想换一个角度再来追踪一把，这次是通过.Net源码分析进行追踪。

当然，需要首先下载Rotor并配置好，这里假设全部源码文件放在目录d:\sscli20，这里略去不讲。

我们已经知道Wait在托管层最后调用的实际是ObjWait这个函数：

[MethodImpl(MethodImplOptions.InternalCall), SecurityCritical]
private static extern bool ObjWait(bool exitContext, int millisecondsTimeout, object obj);

 

这个函数的实现是非托管的C++代码实现，而文件sscli20\clr\src\vm\ecall.cpp记录的就是InternalCall类型的托管层函数对应的native方法的一个映射。

注意vm子目录下方的全是此类.net managed code的native实现。

在ecall.cpp搜索ObjWait找到如下内容，原来是映射到了ObjectNative类的WaitTimeout方法，

FCFuncStart(gMonitorFuncs)
    FCFuncElement("Enter", JIT_MonEnter)
    FCFuncElement("Exit", JIT_MonExit)
    FCFuncElement("TryEnterTimeout", JIT_MonTryEnter)
    FCFuncElement("ObjWait", ObjectNative::WaitTimeout)
    FCFuncElement("ObjPulse", ObjectNative::Pulse)
    FCFuncElement("ObjPulseAll", ObjectNative::PulseAll)
    FCFuncElement("ReliableEnter", JIT_MonReliableEnter)
FCFuncEnd()

在vm目录搜素包含class ObjectNative的头文件，地球人都知道类的原型一般都定义在头文件.h,so看看我的搜索条件：

ok，原来定义在comobject.h中，相应的WaitTimeOut函数的实现应该在comobject.cpp中，打开之，看到：

FCIMPL3(FC_BOOL_RET, ObjectNative::WaitTimeout, CLR_BOOL exitContext, INT32 Timeout, Object* pThisUNSAFE)
{
    CONTRACTL
    {
        MODE_COOPERATIVE;
        DISABLED(GC_TRIGGERS);  // can't use this in an FCALL because we're in forbid gc mode until we setup a H_M_F.
        SO_TOLERANT;
        THROWS;
    }
    CONTRACTL_END;

    BOOL retVal = FALSE;
    OBJECTREF pThis = (OBJECTREF) pThisUNSAFE;
    HELPER_METHOD_FRAME_BEGIN_RET_1(pThis);
    //-[autocvtpro]-------------------------------------------------------

    if (pThis == NULL)
        COMPlusThrow(kNullReferenceException, L"NullReference_This");

    if ((Timeout < 0) && (Timeout != INFINITE_TIMEOUT))
        COMPlusThrowArgumentOutOfRange(L"millisecondsTimeout", L"ArgumentOutOfRange_NeedNonNegNum");

    retVal = pThis->Wait(Timeout, exitContext);

    //-[autocvtepi]-------------------------------------------------------
    HELPER_METHOD_FRAME_END();
    FC_RETURN_BOOL(retVal);
}
FCIMPLEND

 

现在我们看到函数体中最终调用的是pThis->Wait，pThis是个啥玩意呢，通过分析代码，发现它就是WaitTimeOut函数的最后一个参数Object* pThisUNSAFE的一个引用，原来是一个Object类型，那这里的Object和c#的object或者.Net的Object有啥关系，大胆猜想，这其实就是托管Object对应的native Object。而事实也应如此。

那麽废话不多说，我们要来看看此Object的Wait实现，依然避免不了搜索一番，首先我们在object.h中找到了Object类的定义，摘取其说明如下，也印证了刚才的猜想：

/*
* Object
*
* This is the underlying base on which objects are built.   The MethodTable
* pointer and the sync block index live here.  The sync block index is actually
* at a negative offset to the instance.  See syncblk.h for details.
*
*/

 

注意这句话：The MethodTable * pointer and the sync block index live here. 每个对象都要维护自己的方法表，我们稍微瞥一眼该类的定义就发现如下定义：

class Object
{
  protected:
    MethodTable*    m_pMethTab;

。。。。。

那麽什麽是sync block index呢？其实就是翻译过来的同步索引块，还记得这个玩意麽？在.Net CLR via C#一书中我们知道一个引用类型的对象都要额外负担两个东西的维护：类型指针和同步索引块，原文是这麽说的：

all objects on the heap contain two overhead members: the type object pointer and the sync block index

 

回归正题，Object::Wait的实现仍然在头文件中，如下：

BOOL Wait(INT32 timeOut, BOOL exitContext)
{
    WRAPPER_CONTRACT;
    return GetHeader()->Wait(timeOut, exitContext);
}

哦，原来是先调用了GetHeader方法获取对象头，然后调用对象头的Wait方法，追下去，GetHeader方法的实现：

// Sync Block & Synchronization services

// Access the ObjHeader which is at a negative offset on the object (because of
// cache lines)
ObjHeader   *GetHeader()
{
    LEAF_CONTRACT;
    return PTR_ObjHeader(PTR_HOST_TO_TADDR(this) - sizeof(ObjHeader));
}

 

看来要想往下追，还必须看对象头ObjHeader类的Wait方法实现：在syncblk.h中找到了其定义，在对应的cpp文件中找到了其相应的实现如下：

BOOL ObjHeader::Wait(INT32 timeOut, BOOL exitContext)
{
    CONTRACTL
    {
        INSTANCE_CHECK;
        THROWS;
        GC_TRIGGERS;
        MODE_ANY;
        INJECT_FAULT(COMPlusThrowOM(););
    }
    CONTRACTL_END;

    //  The following code may cause GC, so we must fetch the sync block from
    //  the object now in case it moves.
    SyncBlock *pSB = GetBaseObject()->GetSyncBlock();

    // GetSyncBlock throws on failure
    _ASSERTE(pSB != NULL);

    // make sure we own the crst
    if (!pSB->DoesCurrentThreadOwnMonitor())
        COMPlusThrow(kSynchronizationLockException);

#ifdef _DEBUG
    Thread *pThread = GetThread();
    DWORD curLockCount = pThread->m_dwLockCount;
#endif

    BOOL result = pSB->Wait(timeOut,exitContext);

    _ASSERTE (curLockCount == pThread->m_dwLockCount);

    return result;
}

 

看到了嘛！！！！该Wait实现最重要的两行代码终于浮现出来了，它们就是加横线的两行。

第一行    SyncBlock *pSB = GetBaseObject()->GetSyncBlock(); 用来获取对象的索引块；

第二行    BOOL result = pSB->Wait(timeOut,exitContext); 嗯，越来越接近真相，原来又调用了索引块对象的Wait方法。

那继续吧，看看SyncBlock 类型的Wait方法实现，依旧在syncblk.cpp中，如下：