初探奥尔良(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则并行着处理一样的事情

由于大家都是互相独立的处理各自的事情,数据不会发生冲突,也就无需类似锁之类的机制来确保数据一致性问题

image

由于Actor类文章网上搜索一大片, 在此就不再过多阐述了。

 

 

什么是奥尔良?

简单一句话,微软的一个基于Actor模型的实现,具体介绍可以更多参考官网

奥尔良官网

他跟正儿八经的Actor相比,微软习惯就是将其做更加上层的封装,Actor都变成了Grains,万事万物皆是Grains的感觉

 

我干了什么?

我也刚开始入门,发这篇文章主要是想证实下,Actor那套是不是真的那么神,本文涉及的所有代码均在 https://github.com/virtualcca/OrleansTest/tree/master 上面

 

既然他们说他们是以单线程来处理同一个Actor,那我就想测试下用Orleans搞一个并发转账的场景,和我常规的多线程并发转账场景的一个对比,而我想看到的结果是,常规版的由于多线程的问题数据总是错乱的,而奥尔良则能始终正确

 

转账代码

 

image

我有一个账户,账户上面有Money, 我能做2个操作,要么转钱过来,要么查看我还有多少钱,当然,转账总要点时间的对吧,所以转账时候Delay了1ms

 

实际转账的执行代码

image

可以注意下奥尔良版和原始版唯一区别在于

奥尔良版是通过client.GetGrain来获取了一个IAccount,这样获取到的是属于奥尔良托管的一个Client实例,对其执行的操作其实会发送到Host里执行,然后Host里就是正儿八经的Actor架构来去处理所有操作

但是正如之前介绍Actor的时候谈到单个Actor是单线程,而多个Actor之间是并发,如何确定你是一个还是多个Actor,是通过一个Id来区分(具体奥尔良官网有介绍),而GetGrain后面的那个0的参数就是他的Id,也就是我的这个IAccount是属于一个Actor

常规版直接new一个实例执行同样操作

 

然后代码运行,可以看到结果

image

原始版的结果仅供参考,我每次运行得出来的结果也都不一样(多线程执行顺序是不确定的)

而奥尔良版则能正确的恒定输出4950

 

至此,可以明确奥尔良完美的实现了Actor里关于单个Actor单线程的这么个处理。。。。

posted @ 2019-03-17 12:26  LeoLaw  阅读(1518)  评论(4编辑  收藏  举报