Sagas属于一个错误管理模式,也同时用于控制复杂事务的执行和回滚等。同时,Compensating-Transaction模式的的实现也是也是类似于Sagas策略的,可以对比参考一下。
Sagas的最开始的出现是因为一些长时间的事务的实现(最开始的时候仅仅是因为数据内的事务),现在也包括一些跨越多个区域的分布式事务。这些长时间持续的事务无法简单地通过一些典型的ACID模型使用多段提交配合持有锁的方式来实现。Sagas策略正式用来解决这个问题,和多段式处理不同,Sagas会将工作分成单独的事务,包含正常的操作和回滚的操作。
如下图:
上图展示了一个简单的Saga。如果有旅客预订了行程,需要预订汽车,航班以及旅店。如果无法获取全部的信息,可能最好就是不要出发。对开发者来说,肯定无法将所有的服务都定义为分布式的ACID事务。这时可以将租车行为定义为一个整体,其中包含如何去预订以及如何取消,当然,机票和酒店也提供同样的服务。
然后这些行为可以组合在一起构成了一个行为链。开发者还可以将整个行为链加密,这样只有该行为链的接收者才能够操控这个行为链。当一个行为完成后,会将完成的信息记录到一个集合(比如说,是一个队列)中,之后可以通过这个集合访问到对应的行为。当一个行为失败的实收,行为将本地清理完毕,然后将消息发送给该集合,从而路由到之前执行成功的行为,然后回滚所有的事务。
如果开发者对于旅行行程了解一些的话,就会知道上面的行为链其实是有风险的。一般来说,提前预订租车服务几乎都会成功,因为租车公司都会有足够的时间来帮助你安排车辆。但是预订宾馆就有一些风险了,一般无押金的情况下,只能提前24小时预订,而航班的退改一般情况下还要收费的,所以最后预订是对的。
使用举例
下面的程序作为样例可以帮助我们更好的了解Sagas策略
程序会生成一个典型的集合用来访问对应的行为链中的行为,会创建3个独立的进程,每一个进程都会负责一个指定的任务。分别是租车,预订酒店以及预订机票三个独立的任务。
static ActivityHost[] processes;
static void Main(string[] args)
{
var routingSlip = new RoutingSlip(new WorkItem[]
{
new WorkItem<ReserveCarActivity>(new WorkItemArguments),
new WorkItem<ReserveHotelActivity>(new WorkItemArguments),
new WorkItem<ReserveFlightActivity>(new WorkItemArguments)
});
// imagine these being completely separate processes with queues between them
processes = new ActivityHost[]
{
new ActivityHost<ReserveCarActivity>(Send),
new ActivityHost<ReserveHotelActivity>(Send),
new ActivityHost<ReserveFlightActivity>(Send)
};
// hand off to the first address
Send(routingSlip.ProgressUri, routingSlip);
}
static void Send(Uri uri, Routi