private Object MarshaledInvoke(Control caller, Delegate method, Object[] args, bool synchronous) { if (!IsHandleCreated) { throw new InvalidOperationException(SR.GetString(SR.ErrorNoMarshalingThread)); }  ActiveXImpl activeXImpl = (ActiveXImpl)Properties.GetObject(PropActiveXImpl); if (activeXImpl != ) { IntSecurity.UnmanagedCode.Demand(); } // We don't want to wait if we're on the same thread, or else we'll deadlock. // It is important that syncSameThread always be false for asynchronous calls. // bool syncSameThread = false; int pid; // ignored if (SafeNativeMethods.GetWindowThreadProcessId(new HandleRef(this, Handle), out pid) == SafeNativeMethods.GetCurrentThreadId()) { if (synchronous) syncSameThread = true; } // Store the compressed stack information from the thread that is calling the Invoke()  // so we can assign the same security context to the thread that will actually execute  // the delegate being passed.  // ExecutionContext executionContext = ; if (!syncSameThread) { executionContext = ExecutionContext.Capture(); } ThreadMethodEntry tme = new ThreadMethodEntry(caller, this, method, args, synchronous, executionContext); lock (this) { if (threadCallbackList == ) { threadCallbackList = new Queue(); } } lock (threadCallbackList) { if (threadCallbackMessage == 0) { threadCallbackMessage = SafeNativeMethods.RegisterWindowMessage(Application.WindowMessagesVersion + "_ThreadCallbackMessage"); } threadCallbackList.Enqueue(tme); } if (syncSameThread) { InvokeMarshaledCallbacks(); } else { // UnsafeNativeMethods.PostMessage(new HandleRef(this, Handle), threadCallbackMessage, IntPtr.Zero, IntPtr.Zero); } if (synchronous) { if (!tme.IsCompleted) { WaitForWaitHandle(tme.AsyncWaitHandle); } if (tme.exception != ) { throw tme.exception; } return tme.retVal; } else { return(IAsyncResult)tme; } }

Invoke的機(jī)制就保證了一個(gè)共享變量只能由一個(gè)線程維護(hù)，這和GO語言使用通信來替代共享內(nèi)存的設(shè)計(jì)是暗合的，他們的理念都是 "讓同一塊內(nèi)存在同一時(shí)間內(nèi)只被一個(gè)線程操作" 。這和現(xiàn)代計(jì)算體系結(jié)構(gòu)的多核CPU（SMP)有著密不可分的聯(lián)系，

這里我們先來科普一下CPU之間的通信MESI協(xié)議的內(nèi)容。我們知道現(xiàn)代的CPU都配備了高速緩存，按照多核高速緩存同步的MESI協(xié)議約定，每個(gè)緩存行都有四個(gè)狀態(tài)，分別是E（exclusive）、M（modified）、S（shared）、I（invalid），其中：

M：代表該緩存行中的內(nèi)容被修改，并且該緩存行只被緩存在該CPU中。這個(gè)狀態(tài)代表緩存行的數(shù)據(jù)和內(nèi)存中的數(shù)據(jù)不同。

E：代表該緩存行對(duì)應(yīng)內(nèi)存中的內(nèi)容只被該CPU緩存，其他CPU沒有緩存該緩存對(duì)應(yīng)內(nèi)存行中的內(nèi)容。這個(gè)狀態(tài)的緩存行中的數(shù)據(jù)與內(nèi)存的數(shù)據(jù)一致。

I：代表該緩存行中的內(nèi)容無效。

S:該狀態(tài)意味著數(shù)據(jù)不止存在本地CPU緩存中，還存在其它CPU的緩存中。這個(gè)狀態(tài)的數(shù)據(jù)和內(nèi)存中的數(shù)據(jù)也是一致的。不過只要有CPU修改該緩存行都會(huì)使該行狀態(tài)變成 I 。

四種狀態(tài)的狀態(tài)轉(zhuǎn)移圖如下：

我們上文也提到了，不同的線程是有大概率是運(yùn)行在不同CPU核上的，在不同CPU操作同一塊內(nèi)存時(shí)，站在CPU0的角度上看，就是CPU1會(huì)不斷發(fā)起remote write的操作，這會(huì)使該高速緩存的狀態(tài)總是會(huì)在S和I之間進(jìn)行狀態(tài)遷移，而一旦狀態(tài)變?yōu)镮將耗費(fèi)比較多的時(shí)間進(jìn)行狀態(tài)同步。

因此我們可以基本得出 this.Invoke(new DeleteDelegate(DeleteFileHandler), new object[] { sender,e }); ;這行看似無關(guān)緊要的代碼之后，無意中使files共享變量的維護(hù)操作，由多核多線程共同操作，變成了眾多子線程向主線程通信，所有維護(hù)操作均由主線程進(jìn)行，這也使最終的執(zhí)行效率有所提高。

深度解讀，為何要加兩把鎖

在當(dāng)前使用通信替代共享內(nèi)存的大潮之下，鎖其實(shí)是最重要的設(shè)計(jì)。

我們看到在.Net的Invoke實(shí)現(xiàn)中，使用了兩把鎖lock (this) 與lock (threadCallbackList)。