[发明专利]基于约束检测与冲突消解的大规模在线服务系统变更调度方法及系统

权利要求书

1.一种大规模在线服务系统变更调度方法，其特征在于，包括变更约束模型的构建与更新、变更约束检测、变更冲突消解；具体步骤包括：

1)变更约束模型的构建与更新，具体执行如下步骤：

11)提取变更记录：从历史成功变更的运行数据中，提取各个变更的变更对象、变更类型、变更开始运行时间、变更完成运行时间，其中，变更对象是子服务，变更类型包括修改配置、修改代码、更新软件库版本、更新数据库条目；每一条数据记为rec_i＝(c_i，t_i1，t_i2)，c_i＝(obj_i，act_i)，其中，c_i表示变更，obj_i表示变更对象，act_i表示变更类型，t_i1表示变更开始运行时间，t_i2表示变更完成运行时间；记数据集为Rec＝{rec₁，rec₂，...，rec_q}，q为数据集中包含的变更数量；

12)提取顺序变更对：顺序变更对是满足以下条件的有序变更对(c_i，c_j)：(a)t_i2＜t_j1；(b)t_j1-t_i2＜w，其中w为预先设定的超参数，用于控制顺序变更对的最大时间间隔，记顺序变更对集合为P＝{(c₁₁，c₁₂)，(c₂₁，c₂₂)，...，(c_p1，c_p2)}.；

13)提取变更类型和服务依赖类型：记变更类型为C₁，C₂，...，C_n，其中n为全部变更类型的数量，对于每一条历史变更运行数据rec_i，该条数据的变更类型Class(act_i)∈{C₁，C₂，...，C_n}.，记服务依赖类型为D₁，D₂，...，D_m，其中m为全部服务依赖类型的数量，服务依赖类型与服务依赖图的边的类型相对应；

14)构建变更约束模型：变更约束模型表示为维度是m×n×n的矩阵M，其中M_i，j，k表示当两个变更的变更对象存在依赖关系D_i，被依赖的变更对象对应的变更类型是C_j，依赖变更对象对应的变更类型是C_k时，变更之间存在的约束；M_i，j，k的值为正表示被依赖的变更对象对应的变更应该先运行，反之亦然，绝对值表示以上约束的置信度；

15)定期更新变更约束模型：在经过一段时间后，会产生新的成功运行的变更运行数据，将这些数据作为历史运行数据，使用其进行变更约束模型的更新；

2)变更约束检测，具体执行如下步骤：

21)收集变更请求：收集不断到达的变更请求，每隔一段时间或每到达一定数量的变更，完成本批变更请求的收集；

22)基于服务依赖图和变更约束模型，检测待调度变更之间的约束，以有序变更对的形式表示，记待调度变更为各个待调度变更的变更对象分别为变更类型分别为

3)变更冲突消解,具体执行如下步骤：

31)初始化变更调度方案，以有向无环图Pl的形式表示，将作为节点加入Pl，节点之间的有向边表示目标节点代表的变更的运行开始时间必须晚于源节点代表的变更的运行结束时间；

32)初始化j＝1，k＝2；

33)在变更约束检测的结果Cons中查找(c_j，c_k)和(c_k，c_j)，若存在(c_j，c_k)，说明若c_k开始运行的时间在c_j结束运行的时间之前，会产生冲突，冲突消解的方法是c_j结束运行之后cx才可以开始运行，向Pl中加入边c_j→c_k；同理，若存在(c_k，c_j)，向G中加入边c_k→c_j；

34)遍历下一对j，k，满足1≤j≤k≤N_CR，若存在这样的j，k，执行33)、34)；

35)完成变更调度方案的生成，基于变更调度方案进行变更的调度。