基本概念
事件溯源(Event Sourcing)是一种设计模式,它记录并存储了应用程序状态变化的所有事件。
其核心思想是将系统中的每次状态变化都视为一个事件,并将这些事件以时间顺序的方式持久化存储。
这样,通过重放这些事件,我们可以重建系统在任何特定时间点的状态。
每个事件通常都包含了描述状态变化的必要信息,以及发生状态变化的原因和时间戳。
工作原理
工作原理方面,事件溯源主要依赖于两个关键部分:事件生成和事件存储。
当系统中发生状态变化时,会生成一个或多个事件,这些事件随后被存储到事件存储中。
事件存储需要设计成高可用、高一致且可伸缩的,以支持大规模的系统操作。
之后,当需要重建系统状态时,只需从事件存储中按顺序读取事件,并依次应用这些事件到系统状态即可。
使用场景
在Orleans7中,事件溯源主要应用在以下几个场景:
-
分布式系统状态同步:在分布式系统中,各个节点之间的状态同步是一个重要问题。通过事件溯源,每个节点都可以记录并发送自己的状态变化事件,其他节点则可以通过订阅这些事件来同步自己的状态。
-
历史数据追踪和审计:在某些业务场景下,需要追踪系统的历史操作记录,以进行审计或分析。事件溯源提供了完整的操作历史,可以方便地查询和回放历史事件。
-
容错和恢复:当系统发生故障时,通过事件溯源可以方便地恢复到故障发生前的状态,或者根据事件日志进行故障排查。
优势
事件溯源在Orleans7中带来了以下优势:
-
数据完整性和一致性:由于事件溯源记录了所有状态变化的历史,因此可以确保数据的完整性和一致性。
-
灵活性和可扩展性:事件溯源的设计使得系统可以很容易地添加新的状态变化事件,同时也支持大规模的系统扩展。
-
容错和恢复能力:通过事件溯源,可以轻松地恢复到系统的任何历史状态,大大提高了系统的容错和恢复能力。
-
清晰的业务逻辑:每个事件都代表了一个具体的业务操作,因此通过查看事件日志,可以清晰地了解系统的业务逻辑和操作流程。
总的来说,事件溯源是一种强大而灵活的设计模式,它在Orleans7中的应用为分布式系统带来了诸多优势。对于软件开发者来说,理解和掌握事件溯源机制,将有助于构建更加健壮、可靠和可扩展的分布式系统。
示例
下面使用事件溯源,来跟踪一个账户的变更记录。
首先需要安装必须的nuget包
<PackageReference Include="Microsoft.Orleans.EventSourcing" Version="8.0.0" /> <PackageReference Include="Microsoft.Orleans.Clustering.AdoNet" Version="8.0.0" /> <PackageReference Include="Microsoft.Orleans.Persistence.AdoNet" Version="8.0.0" /> <PackageReference Include="Microsoft.Orleans.Server" Version="8.0.0" />
然后设置Orleans,除了Orleans的常规设置外,还需要 siloHostBuilder.AddLogStorageBasedLogConsistencyProvider("LogStorage") 来设置LogConsistencyProvider
builder.Host.UseOrleans(static siloHostBuilder => { var invariant = "System.Data.SqlClient"; var connectionString = "Data Source=localhost\\SQLEXPRESS;Initial Catalog=orleanstest;User Id=sa;Password=12334;"; siloHostBuilder.AddLogStorageBasedLogConsistencyProvider("LogStorage"); // Use ADO.NET for clustering siloHostBuilder.UseAdoNetClustering(options => { options.Invariant = invariant; options.ConnectionString = connectionString; }).ConfigureLogging(logging => logging.AddConsole()); siloHostBuilder.Configure<ClusterOptions>(options => { options.ClusterId = "my-first-cluster"; options.ServiceId = "SampleApp"; }); // Use ADO.NET for persistence siloHostBuilder.AddAdoNetGrainStorage("GrainStorageForTest", options => { options.Invariant = invariant; options.ConnectionString = connectionString; //options.GrainStorageSerializer = new JsonGrainStorageSerializer() }); });
定义账户的存储和提取事件类
// the classes below represent events/transactions on the account // all fields are user-defined (none have a special meaning), // so these can be any type of object you like, as long as they are serializable // (so they can be sent over the wire and persisted in a log). [Serializable] [GenerateSerializer] public abstract class Transaction { /// <summary> A unique identifier for this transaction </summary> [Id(0)] public Guid Guid { get; set; } /// <summary> A description for this transaction </summary> [Id(1)] public string Description { get; set; } /// <summary> time on which the request entered the system </summary> [Id(2)] public DateTime IssueTime { get; set; } } [Serializable] [GenerateSerializer] public class DepositTransaction : Transaction { [Id(0)] public uint DepositAmount { get; set; } } [Serializable] [GenerateSerializer] public class WithdrawalTransaction : Transaction { [Id(0)] public uint WithdrawalAmount { get; set; } }
再定义账户的Grain,其中有存钱,取钱,获取余额,与变更记录操作
Grain类必须具有 LogConsistencyProviderAttribute 才能指定日志一致性提供程序。 还需要 StorageProviderAttribute设置存储。
/// <summary> /// An example of a journaled grain that models a bank account. /// /// Configured to use the default storage provider. /// Configured to use the LogStorage consistency provider. /// /// This provider persists all events, and allows us to retrieve them all. /// </summary> /// <summary> /// A grain that models a bank account /// </summary> public interface IAccountGrain : IGrainWithStringKey { Task<uint> Balance(); Task Deposit(uint amount, Guid guid, string desc); Task<bool> Withdraw(uint amount, Guid guid, string desc); Task<IReadOnlyList<Transaction>> GetTransactionLog(); } [StorageProvider(ProviderName = "GrainStorageForTest")] [LogConsistencyProvider(ProviderName = "LogStorage")] public class AccountGrain : JournaledGrain<AccountGrain.GrainState, Transaction>, IAccountGrain { /// <summary> /// The state of this grain is just the current balance. /// </summary> [Serializable] [Orleans.GenerateSerializer] public class GrainState { [Orleans.Id(0)] public uint Balance { get; set; } public void Apply(DepositTransaction d) { Balance = Balance + d.DepositAmount; } public void Apply(WithdrawalTransaction d) { if (d.WithdrawalAmount > Balance) throw new InvalidOperationException("we make sure this never happens"); Balance = Balance - d.WithdrawalAmount; } } public Task<uint> Balance() { return Task.FromResult(State.Balance); } public Task Deposit(uint amount, Guid guid, string description) { RaiseEvent(new DepositTransaction() { Guid = guid, IssueTime = DateTime.UtcNow, DepositAmount = amount, Description = description }); // we wait for storage ack return ConfirmEvents(); } public Task<bool> Withdraw(uint amount, Guid guid, string description) { // if the balance is too low, can't withdraw // reject it immediately if (State.Balance < amount) return Task.FromResult(false); // use a conditional event for withdrawal // (conditional events commit only if the version hasn't already changed in the meantime) // this is important so we can guarantee that we never overdraw // even if racing with other clusters, of in transient duplicate grain situations return RaiseConditionalEvent(new WithdrawalTransaction() { Guid = guid, IssueTime = DateTime.UtcNow, WithdrawalAmount = amount, Description = description }); } public Task<IReadOnlyList<Transaction>> GetTransactionLog() { return RetrieveConfirmedEvents(0, Version); } }
最后即可通过client生成grain,并获取账户变动记录
var palyer = client.GetGrain<IAccountGrain>("zhangsan"); await palyer.Deposit(1000, Guid.NewGuid(), "aaa"); var logs = await palyer.GetTransactionLog(); return Results.Ok(logs);