歡迎光臨
每天分享高質量文章

初探奧爾良(Orleans)

由於工作上關係目前經常被各種併發資料問題搞得焦頭爛額,要麼要效能捨棄資料上得一致性,要麼要一致性但是卻得到了特別糟糕的響應。難道魚和熊掌真的無法兼得嗎?

然後找到了類似奧爾良這種基於Actor模型的kuangjia

首先本人因為是C#系的所以暫不考慮Java系那套,那擺在面前的此型別的框架其實就2個。 Akka.Net和Orleans。

什麼是Actor?

Actor應該說是一種程式設計模型,一個Actor是一個最基本的計算單原,他能接收訊息並執行計算(一個行為)

它最重要的特性是每個Actor之間互相隔離,互補共享記憶體,也就是說每個Actor都能維持一個私有狀態且不能被別人所改變。

這對於我們意味著什麼呢?想下一般我們遇到的併發問題,是不是在我們執行某個操作的時候,一個資料不正確的被另一個操作所幹擾,導致資料最終混亂,而Actor則確保自己的資料不能被別人改變(獨立維護自己的狀態)以便使得最終一致。

wait

如果Actor自己資料不能被別人改變,那就是順序執行?那會不會很慢?

對於一個Actor來說,沒錯,他還真的就順序執行,因此能確保準確性

但是你真正系統裡肯定不會只有一個Actor,而是由很多Actor組成,每個Actor之間是能並行的(因為他們不共享資料,所以他們可以互相獨立的正確處理)

具體來說,當並行的訊息到達一個Actor的時候,它會儲存到一個MailBox(郵箱)裡(你可以簡單理解為一個佇列),然後Actor從MailBox撈資料,一條一條順序的撈

然後不同的Actor則並行著處理一樣的事情

由於大家都是互相獨立的處理各自的事情,資料不會發生衝突,也就無需類似鎖之類的機制來確保資料一致性問題

由於Actor類文章網上搜索一大片, 在此就不再過多闡述了。

什麼是奧爾良?

簡單一句話,微軟的一個基於Actor模型的實現,具體介紹可以更多參考官網

奧爾良官網

他跟正兒八經的Actor相比,微軟習慣就是將其做更加上層的封裝,Actor都變成了Grains,萬事萬物皆是Grains的感覺 

我幹了什麼?

我也剛開始入門,發這篇文章主要是想證實下,Actor那套是不是真的那麼神,本文涉及的所有程式碼均在 https://github.com/virtualcca/OrleansTest/tree/master 上面

既然他們說他們是以單執行緒來處理同一個Actor,那我就想測試下用Orleans搞一個併發轉賬的場景,和我常規的多執行緒併發轉賬場景的一個對比,而我想看到的結果是,常規版的由於多執行緒的問題資料總是錯亂的,而奧爾良則能始終正確

轉賬程式碼

我有一個賬戶,賬戶上面有Money, 我能做2個操作,要麼轉錢過來,要麼檢視我還有多少錢,當然,轉賬總要點時間的對吧,所以轉賬時候Delay了1ms

實際轉賬的執行程式碼

可以註意下奧爾良版和原始版唯一區別在於

奧爾良版是透過client.GetGrain來獲取了一個IAccount,這樣獲取到的是屬於奧爾良託管的一個Client實體,對其執行的操作其實會傳送到Host裡執行,然後Host裡就是正兒八經的Actor架構來去處理所有操作

但是正如之前介紹Actor的時候談到單個Actor是單執行緒,而多個Actor之間是併發,如何確定你是一個還是多個Actor,是透過一個Id來區分(具體奧爾良官網有介紹),而GetGrain後面的那個0的引數就是他的Id,也就是我的這個IAccount是屬於一個Actor

常規版直接new一個實體執行同樣操作

然後程式碼執行,可以看到結果

原始版的結果僅供參考,我每次執行得出來的結果也都不一樣(多執行緒執行順序是不確定的)

而奧爾良版則能正確的恆定輸出4950

至此,可以明確奧爾良完美的實現了Actor裡關於單個Actor單執行緒的這麼個處理。。。。

原文地址:https://www.cnblogs.com/leolaw/p/10546239.html

贊(0)

分享創造快樂