Orleans解决并发之痛(一):单线程

程序在运行过程中有时会莫名其妙出现代码的某些约束或者执行结果和理想状况不一样,正常逻辑怎么会出现这样的情况?到底发生了什么?好像见了鬼!瞬间好无助。


谁来救救我

大多数出现正常逻辑很难解释的时候,我们可能会想到并发问题,因为好像只有并发才会能说服自己。为了验证和解决这个问题,我们可能会尝试一些方案,在并发的情况下我相信很多人都使用过锁,锁确实也能帮忙我们解决问题,不然它干嘛存在。

但随着业务逻辑的持续复杂,锁的使用可能无处不在。首先大家都知道锁本身的机制很耗性能;然后锁本身不涉及什么编程模式,所以在业务代码中融入大量锁对代码本身的稳定性也有一定影响。

经过查找资料,因为本身的项目是基于.NET,所以发现Microsoft Orleans好像可以比较好的满足解决并发的需求。

Orleans之前,先来扯一扯Actor模型

  1. Actor是以单线程存在的,所有消息都是顺序到达的,每次收到消息后,就放入队列,而它每次也从队列中取出消息体来处理;

  2. 每一个Actor有一个Id和它对应,一个Id对应的Actor只会在集群中存在一个,使用者只需要通过Id就能随时访问不需要关注该Actor在集群的什么位置;

  3. 每一个Actor看作是一个独立的实体,拥有自己独立的状态。Actor与Actor之间可以进行消息通知;

注:有状态的 Actor在集群中一个Id只会存在一个实例,无状态的可配置为根据流量存在多个,无状态的情况看具体业务需求。


Actor System

再来扯一扯Orleans框架

Orleans 提供了一个简单的方法来构建大规模、高并发、分布式应用程序,被认为是Actor模型的分布式版本,是一种改进的Actor模型。在Orleans中,Actors被称作Grains,采用接口来表示,Actors的消息用异步方法来接收,方法返回值必须是Task or Task<T>。

Orleans几个核心角色:
Grains(Actors)

Grains是Orleans应用程序的业务逻辑实现与抽象,Grains是彼此孤立的原子单位,分布的,持久的。 一个典型的Grain是有状态和行为的一个单实例。

Silo

Silo是一个主机服务,里面主要用于执行Grains,也就是说Grains开发完成后需要注册到Silo中,然后等待调用。它监听一个端口,用来监听从Silo到Silo的消息或者从客户端到Silo的消息的,典型的Silo就是,每台机器运行一个Silo,会对外暴露网关地址供调用。

Cluster(集群搭建的时候会具体介绍)

大量的Silo同时在一起工作就形成了Orleans的集群,Orleans运行完全自动化的集群管理。

Client

具体的应用客户端,可以是控制台、Web应用程序、WPF等一切.NET端技术。


开始接触Orleans Sample的时候,第一感觉项目结构和gRPC还挺像的,如果你之前有接触,一定感觉很亲切:

  1. 定义一个接口(Interfaces)

  2. 实现接口(Grains) -- 添加引用Interfaces

  3. 启动服务端(Silo)-- 添加引用Interfaces,Grains

  4. 启动客户端 (Client)-- 添加引用Interfaces

练习过程中对Nuget安装Orleans相关依赖包可能会有一些模糊,这里说明一下我的具体步骤,希望尽快帮忙实现效果,所有程序集使用.Net Framework的版本都是4.6:

程序集名称类型Nuget依赖包
Microsoft.Orleans.
引用
Interfaces类库Core-
Grains类库CoreInterfaces
Silo控制台程序Core
OrleansCodeGenerator
OrleansProviders
OrleansRuntime
Interfaces
Grains
Client控制台程序Core
OrleansCodeGenerator
Interfaces

在Silo项目中添加配置文件 OrleansConfiguration.xml:

<?xml version="1.0" encoding="utf-8" ?>
<OrleansConfiguration xmlns="urn:orleans">
    <Globals>
        <SeedNode Address="localhost" Port="11111" />
    </Globals>
    <Defaults>
        <Networking Address="localhost" Port="11111" />
        <ProxyingGateway Address="localhost" Port="30000" />
    </Defaults>
</OrleansConfiguration>

SeedNode:集群中主Silo地址,生产环境下不要这么使用。以这种方式配置主Silo的情况下,其他Silo加入集群需要等主Silo先启动。之后会介绍SystemStore来维护集群成员关系;
Networking:内部Silo与Silo之间通信地址;
ProxyingGateway:客户端调用的网关地址;

在Client项目中添加配置文件 ClientConfiguration.xml:

<?xml version="1.0" encoding="utf-8" ?>
<ClientConfiguration xmlns="urn:orleans">
    <Gateway Address="localhost" Port="30000"/>
</ClientConfiguration>

Gateway:配置Silo对外的网关地址;

集群下可以配置多个Gateway节点,如下:

<Gateway Address="gateway1" Port="30000"/>
<Gateway Address="gateway2" Port="30000"/>

注意:配置文件需要设置属性 "复制到输出目录"


configuration

Grain说明:

每个Grain都是单实例的,具有唯一标识。根据唯一标识获取Grain,这个标识可以是GUID、String、Long、混合类型。

在Grain内如果发送消息给其他Grain,需要使用 this.GrainFactory.GetGrain,不能通过 GrainClient.GrainFactory.GetGrain。

 var test = GrainClient.GrainFactory.GetGrain<ITest>(0); // long类型的primaryKey 0
public class TestGrain : Orleans.Grain, ITest
{
    private int num = 0;

    public Task AddCount()
    {
        num++;
        Console.WriteLine(num);
        return Task.CompletedTask;
    }
}
Client说明:

同时启动3个Task,每个Task内并行200次调用AddCount方法。如果没有做特殊的处理,num的结果肯定是乱的,并不会出现一直累加的效果。

private static void DoClientWork()
{
    var t1 = Task.Factory.StartNew(() =>
    {
        AddCount();
    });
    var t2 = Task.Factory.StartNew(() =>
    {
        AddCount();
    });
    var t3 = Task.Factory.StartNew(() =>
    {
        AddCount();
    });
    Task.WaitAll(t1, t2, t3);
}

static void AddCount()
{
    var test = GrainClient.GrainFactory.GetGrain<ITest>(0);

    Parallel.For(0, 200, (i) =>
    {
        test.AddCount();
    });
}

实际上执行最终的结果是600,并不会出现不一致的变化效果,这足以说明同一个Grain内部是单线程执行。


Test Result

相关文章: 

原文地址:http://www.jianshu.com/p/141ea382d242


.NET社区新闻,深度好文,微信中搜索dotNET跨平台或扫描二维码关注

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Orleans 项目基本上被认为是并行计算模型 Actor Model 的分布式版本。  虽然已经存在 Erlang 和 Akka 这样利用 Actor Model 的框架,用户仍然需要做很多工作来确保那些 actors 保持在线以及能够处理故障和恢复。Orleans 框架着眼复杂项目和 actor 管理,让用户能够编写分布式项目而无需担心。    关于自家的云计算平台,微软最大的一个卖点就是开发人员可以使用.NET、Visual Studio和其它编程工具来编写Azure应用程序。不过这并不是事情的全部,微软研究人员正在研发下一代云计算编程模式和相关工具,根据最新的资 料,Orleans就微软下一代云计算编程模式(之一)。    Orleans是一种新的编程模式,用来提升微软通用语言运行库(CLR)的抽象水平,它引入了“grains”的概念,这是一个可以在数据中心之 间迁移的计算和数据存储单元。Orleans自身还将提供很多运行时,包括Geo-Distribution、数据复制与一致行、性能监控、自适应控制、 运行时监控、分布式调试。    Orleans的宗旨就是为了创建一种既适用于客户端又适用于服务器的编程模式,简化代码调试,提高代码的可移植性。    目前已知的资料并没有任何关于Orleans开发计划的内容,Orleans也许还处在概念设计阶段,也许已经开始了初期的开发工作,这些都要耐心等待才会有答案。相关入门教程: http://www.rm5u.com/orleans/orleans-intro.html 标签:云计算
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值