Orleans 微软基于 Actor 的分布式框架

一、Actor模型工作原理

        Actor模型是一种并发编程模型,它基于消息传递实现,是一种轻量级的并发模型。在Actor模型中,每个Actor都是一个独立的执行单元,它可以接收和发送消息,并且可以执行一些本地操作,但是不能直接访问其他Actor的状态。

Actor模型的基本工作原理如下:
1.每个Actor都有一个唯一的标识符,它可以接收和发送消息。
2.Actor之间通过消息传递进行通信,每个Actor都有一个消息队列,用于存储接收到的消息。
3.Actor可以执行一些本地操作,但是不能直接访问其他Actor的状态。如果它想要访问其他Actor的状态,它必须通过发送消息的方式向其他Actor请求数据。
4.当一个Actor接收到一条消息时,它会根据消息处理逻辑执行相应的操作,并且可以向其他Actor发送消息。
5.Actor之间的通信是异步的,也就是说,发送消息的Actor不需要等待接收消息的Actor处理完消息才能继续执行。
6.在Actor模型中,所有的操作都是基于消息传递实现的,这种方式可以避免竞态条件和死锁等并发问题。

actor模型工作原理

        总的来说,Actor模型通过将并发问题分解成多个独立的执行单元,实现了一种非常灵活和高效的并发编程模型。它可以避免一些常见的并发问题,例如竞态条件和死锁,并且可以很好地应对分布式系统中的并发问题。

二、Orleans简介

        Orleans是微软开源的分布式基于Actor的模型框架。

        Orleans 是一个跨平台框架,用于构建可靠且可缩放的分布式应用程序。 分布式应用程序定义为跨多个进程的应用,通常使用对等通信来超越硬件边界。 Orleans 从单个本地服务器扩展到了云中成百上千的分布式、高度可用的应用程序。 Orleans 将熟悉的概念和 C# 习语扩展到了多服务器环境。 Orleans 在设计上可弹性缩放。 当主机加入群集时,它可以接受新的激活。 当主机因纵向缩减或计算机故障而退出群集时,该主机上的先前激活将根据需要在其余主机上重新激活。 Orleans 群集可以纵向缩减为单个主机。 用于启用弹性缩放的相同属性也会启用容错。 群集可自动检测故障并快速从故障中恢复。

        Orleans 的主要设计目标之一是通过提供一组通用模式和 API 来简化分布式应用程序开发的复杂性。 熟悉单一服务器应用程序开发的开发人员可以轻松地改为使用 Orleans 构建可复原、可缩放的云原生服务和其他分布式应用程序。 因此,Orleans 经常被称为“分布式 .NET”,并且是用于构建云原生应用的首选框架。

        在现在的计算机环境下,多线程编程是不可避免的。多线程带来的很多好处,也带来的很多编程上的弊端。如:在多线程环境下,如何保持操作数据的原子性就成了一个问题。

        Orleans采用的办法就是利用Actor模型原理,设计一个类,保证这个类从“创建”过程到“销毁”过程,以及“中途调用它的方法”的执行过程,这三个“过程”不管何时何地调用,都会在同一个线程中运行。这样的话,我就可以放心大胆的去修改,调用这个类的方法,而不用担心这个指向这个类的变量出现“脏读”的情况。

        Orleans模型里,每一个Actor有专门的类代表它,叫做Grain,这个grain类就是模拟通信场景中的”人”。

1、什么是Grain

        Grain 是多个 Orleans 基元中的一个。 就执行组件模型而言,grain 是一个虚拟执行组件。 任何 Orleans 应用程序中的基本构建块都是一个 grain。 grain 是由用户定义的标识、行为和状态组成的实体。 考虑 grain 的以下视觉表示形式:

 

        grain 标识是用户定义的键有多种类型可用,使 grain 始终可供调用。grain 能够包含可存储在任何存储系统中的易失性或持久性状态数据。 因此,grain 隐式将应用程序状态分区,实现自动可伸缩性并简化从故障中恢复的过程。 当 grain 处于活动状态时,grain 状态将保存在内存中,从而降低延迟并减轻数据存储的负载。

        Grain 的实例化由 Orleans 运行时按需自动执行。 有一段时间未使用的 grain 会自动从内存中删除以释放资源。 之所以能够做到这一点,是因为 grain 具有稳定的标识,无论它们是否已加载到内存中,都可以调用它们。 这样还能以透明方式从故障中恢复,因为调用方在任何时间点都不需要知道在哪个服务器上实例化了 grain。 Grain 具有受管理的生命周期,Orleans 运行时负责按需激活/取消激活和放置/定位 grain。 这样,开发人员就可以按照所有 grain 都在内存中的情况那样编写代码。

        Orleans为了解决多线程带来的“资源竞争”等问题,在Orleans框架内,它保证每个grain类符合以下行为规范:

  A. 发往同一个grain类实例的任何消息都会在固定线程内执行。
  B. grain类按照接受消息的先后,依次处理消息。在任意时间点,一个grain实例只处理一个消息。
  C. grain实例内的字段属性,只能由实例本身访问。外界不能访问。

 2、什么是Silo

        silo 是 Orleans 基元的另一个示例。 silo 承载一个或多个 grain。 Orleans 运行时实现应用程序的编程模型。

        通常,一组 silo 作为一个群集运行,以实现可伸缩性和容错。 作为群集运行时,silo 会相互协调,以分配工作并检测故障以及从故障中恢复。 运行时使承载在群集中的 grain 能够相互通信,就如同它们在单个进程中一样。 下图可视化了群集、silo 和 grain 之间的关系:

上图显示了群集、silo 和 grain 之间的关系。 可以组建任意数量的群集,每个群集包含一个或多个 silo,而每个 silo 包含一个或多个 grain。

除了核心编程模型以外,silo 还为 grain 提供一组运行时服务,例如计时器、提醒(持久计时器)、持久性、事务、流等。

3、可以用Orleans做什么

        Orleans 是用于构建云原生应用的框架,每当你构建最终需要缩放的 .NET 应用时,请考虑使用 Orleans。 Orleans 的用途看似数不胜数,但下面是一些最常见的用途:游戏、银行、聊天应用、GPS 跟踪、股票交易、购物车、投票应用等。 Microsoft 在 Azure、Xbox、Skype、Halo、PlayFab、Gears of War 和其他许多内部服务中都使用了 Orleans。 Orleans 的许多功能使之可以轻松用于各种应用程序。

 三、使用Orleans的简单示例

创建项目,利用Grain实现一个简单的URL缩短器

#创建新web项目
dotnet new web -o UrlShortener -f net7.0

#进入项目文件夹,打开编辑器
cd UrlShortener
code .

 在项目中添加orleans组件

#将 Orleans 添加到项目
dotnet add package Microsoft.Orleans.Server -v 7.0.0

在program.cs文件头部添加引用

using Microsoft.AspNetCore.Http.Extensions;
using Orleans.Runtime;

1、创建grain类

        首先在program.cs文件底部,添加一个继承自IGrainWithStringKey的接口,实现设置和读取。

public interface IUrlShortenerGrain : IGrainWithStringKey
{
    Task SetUrl(string shortenedRouteSegment, string fullUrl);
    Task<string> GetUrl();
}

然后创建 UrlShortenerGrain类,并实现此接口

public class UrlShortenerGrain : Grain, IUrlShortenerGrain
{
    private KeyValuePair<string, string> _cache;

    public Task SetUrl(string shortenedRouteSegment, string fullUrl)
    {
        _cache = new KeyValuePair<string, string>(shortenedRouteSegment, fullUrl);
        return Task.CompletedTask;
    }

    public Task<string?> GetUrl()
    {
        return Task.FromResult(_cache.Value);
    }
}

2、创建和配置接收器 

在 Program 类的顶部,重构 builder 代码以使用 Orleans。 完成的代码应如下例所示:

var builder = WebApplication.CreateBuilder();

builder.Host.UseOrleans(siloBuilder =>
{
    siloBuilder.UseLocalhostClustering();
});

var app = builder.Build();

        接下来,需要检索粒度工厂的实例。 Orleans 提供了一个默认的粒度工厂,它使用粒度的标识符来管理粒度的创建和检索。 调用 var app = builder.Build(); 后,添加以下代码行以获取粒度工厂,并将其存储在名为 grainFactory 的变量中:

var grainFactory = app.Services.GetRequiredService<IGrainFactory>();

3、创建长URL接收路由

将原输出“Hello, world”的代码改成接受长URL并准备返回短URL

app.MapGet("/shorten/{*path}",
    async (IGrainFactory grains, HttpRequest request, string path) =>
{
    return Results.Ok();
});

此时返回一个200的空值,将它改进返回短URL路径。

app.MapGet("/shorten/{*path}",
async (IGrainFactory grains, HttpRequest request, string path) =>
{
    var shortenedRouteSegment = Guid.NewGuid().GetHashCode().ToString("X");
    var shortenerGrain = grains.GetGrain<IUrlShortenerGrain>(shortenedRouteSegment);
    await shortenerGrain.SetUrl(shortenedRouteSegment, path);
    var resultBuilder = new UriBuilder(request.GetEncodedUrl())
    {
        Path = $"/go/{shortenedRouteSegment}"
    };

    return Results.Ok(resultBuilder.Uri);
});

上述代码执行了几个任务:

  • 首先,使用一个 GUID 从其哈希代码创建一个随机的缩短路由段作为十六进制字符串。
  • 然后,粒度工厂使用缩短的路由段作为标识符来创建新粒度。
  • 粒度实例存储缩短的路由段和原始目标 URL,以便稍后可以进行检索。
  • 最后,组装一个包含缩短的路由段的新 URL 并返回给用户。

4、 创建访问短URL时重定向到对应长URL的路由路径

app.MapGet("/go/{shortenedRouteSegment}",
    async (IGrainFactory grains, string shortenedRouteSegment) =>
{
    var shortenerGrain = grains.GetGrain<IUrlShortenerGrain>(shortenedRouteSegment);
    var url = await shortenerGrain.GetUrl();

    return Results.Redirect(url);
});

此代码执行以下任务来处理用户的请求。

  • 使用短URL名作为键从grains工厂拉取保存所提供短URL的重定向信息的grain。
  • 从grain中检索完整的 URL 字符串。
  • 如果找到适当的 URL,则将用户重定向到该地址,否则返回 404。

5、运行测试

dotnet run

 如访问{localhost}/shorten/https://blog.csdn.net/zhujisoft,得到短路径"http://localhost:5205/go/AB39050D"

访问短路径http://localhost:5205/go/AB39050D,则可以重定向到长URL地址,利用grain实现简单的转换功能。

 6、状态保持,尝试用grain保存数据

可以定义要保持状态的对象,具体做法是在grain构造函数中声明这些对象并使用 PersistentState属性进行修饰。 使用此属性修饰的对象有权访问前面介绍的 API 方法。
PersistentState属性 接受两个参数:

  • Name:定义状态对象的名称。
  • StorageName:定义应将对象保存到的存储提供程序。
public class UrlShortenerGrain : Grain, IUrlShortenerGrain
{
    private readonly IPersistentState<KeyValuePair<string, string>> _cache;

    public UrlShortenerGrain(
        [PersistentState(
            stateName: "url",
            storageName: "urls")]
            IPersistentState<KeyValuePair<string, string>> state)
    {
        _cache = state;
    }
}

7、配置grain存储方法

builder.Host.UseOrleans(siloBuilder =>
{
    siloBuilder.UseLocalhostClustering();
    siloBuilder.AddAzureBlobGrainStorage("urls",
        // Recommended: Connect to Blob Storage using DefaultAzureCredential
        options =>
        {
            options.ConfigureBlobServiceClient(new Uri("https://<your-account-name>.blob.core.windows.net"),
                new DefaultAzureCredential());
        });
        // Connect to Blob Storage using Connection strings
        // options => options.ConfigureBlobServiceClient(connectionString));
});

         存储提供程序示例包括传统 SQL 数据库、各种 Azure 服务(例如 Blob 存储)和其他云资源(例如 Amazon DynamoDb)。 这些提供程序通过各种 NuGet 包提供。 Orleans 还提供扩展点来添加自己的存储提供程序。

为简单起见,本例中使用内存存储

builder.Host.UseOrleans(siloBuilder =>
{
    siloBuilder.UseLocalhostClustering();
    siloBuilder.AddMemoryGrainStorage("urls");
});

更新grain构造函数和使用方法

public async Task SetUrl(string shortenedRouteSegment, string fullUrl)
{
    _cache.State = new KeyValuePair<string, string>(shortenedRouteSegment, fullUrl);
    await _cache.WriteStateAsync();
}

public Task<string> GetUrl()
{
    return Task.FromResult(_cache.State.Value);
}

自此,应用程序现支持持久状态。

四、参考文章

1、Orleans 简介 - Training | Microsoft Learn

2、简介 - Training | Microsoft Learn

3、actor模型工作原理-腾科IT教育官网

4、Orleans简介_c# orleans 框架 组成部分_liyan530的博客-CSDN博客

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、付费专栏及课程。

余额充值