如何处理多个THREAD 合作同步的问题.pptVIP

Thread Synchronization in User Mode 如何處理多個thread 合作同步的問題? Outline 出了甚麼問題? Without interrupt (保證 incrementing of the value is done atomically) Interlocked functions 簡介 InterLockedExchanged 使用範例 InterLockedChange 使用範例 InterLockedCompareExchage 簡介 Cache lines Outline Advanced Thread Synchronization Critical Sections 出了甚麼問題? 兩個 thread 同時存取一個global variable Without interrupt (保證 incrementing of the value is done atomically)  Incrementing of the value is done atomically InterLockedExchangedAdd 使用範例 How do the interlocked functions work ? Depends on the CPU X86 ? assert a 硬體訊號 on the bus, 以防止其他 ＣＰＵ 存取相同的記憶體位址 InterlockedChangeAdd 特性 多個　ＣＰＵ　亦能保證 atomic 性質 速度非常快　(less than 50 cycles) 不會切換到 kernel model Interlocked functions 簡介: InterlockedExChange() InterlockedExChange的注意事項 Spin lock 非常浪費 CPU time 多 CPUs 的情況下,欲存取的資料與 lock variable 在不同的cache line 才會有效率(避免 race condition) 避免耗費大量 CPU time 的策略 讓給同樣 priority 等級的 thread 執行 若while 執行4000次,還沒搶到資源, 則進入 Kernel Mode 等待 (consuming no CPU time) Interlocked functions 簡介: Atomic test and set operation Cache lines 觀念 為了增進 CPU 執行效率, 一次會讀取 32 or 64-byte 到 cache 中,並且 aligned on 32 or 64-byte boundary 考量 multiprocessor Cache lines 衍生出的效率問題 應用程式中的資料應該以 Cache-line 大小為單位 group 起來 並且放到 cache-line boundaries ReadOnly 的變數與 Read/Write 變數分開 Poor designed data structure 強迫把資料放在另一個 cache line 完整的程式碼 Critical Sections 概念 甚麼是Critical Section? 是一程式區段, 而這個程式區段必須擁有某共用資源的權限才能執行 你可以放心的執行 Critical Section 的程式碼, 絕不會有其他的 thread 同時執行你所在的code 你的 thread 會被 preempt 換其他的thread 執行, 但是想要進入 Critical Section 的thread 是不會被 schedule的 系統不保證進入Critical Section thread 的順序,但OS保證公平對待所有要進入的thread 來看看, 不用Critical Section 會發生的問題 加入 Critical Section 解決問題 存取共享資源的程式碼一定要用Critical Section 包起來 我們來看看Critical Section 的處理細節 在使用 Critical Section 之前,要先作初始化的動作 初始化後, Process 中的thread 才能呼叫 EnterCriticalSection(), TryEnterCriticalSection, LeaveCriticalSection() 你不該去更改 Critical object 的內容,你只要呼叫相關的function 操作即可 Critical Section 的處理細節 當 thread 已經擁有 c