Drools规则加载变量冲突问题分析

问题现象说明

　　在个别环境下加载规则时出现：rule/trade/hg/Rule_FY_*.java (53:3948) : Duplicate local variable paraMap，出现此问题的环境为：was8.5+linux2.6，问题的关键现象也在于：开发环境、客户相同的部署环境均未发生过类似异常。

问题分析

    经过对drools源码的跟踪、调试，该问题和中间件无关。根本原因是规则脚本中的全局变量和局部变量重复了，由系统在加载文件时的顺序引发此问题：

1. 规则脚本中voucher_preprocess.drl中定义了一个全局变量(paraMap)，HG-2.0.0.drl等脚本中也定义了paraMap的局部变量，当规则引擎将全局变量作为本规则方法的入参时就会发生冲突。调试出rule/trade/hg/Rule_FY_*.java的源代码，相关代码为：

    

public class Rule_FY_e9cd732bdbd54e998f137a2f40468216 { public static void defaultConsequence(org.drools.spi.KnowledgeHelper drools,**,java.util.Map paraMap ) throws Exception { org.drools.runtime.rule.RuleContext kcontext = drools; Map> originalMap = map.getGroupMap();     ******         Map paraMap = new HashMap();     ******     } } }

paraMap变量的冲突点为方法入参和本方法的局部定义变量发生重复定义，其中入参paraMap是规则引擎根据规则的上下文信息自动生成的，其生成的原理为：采用antlr词法分析器对规则脚本进行分析，提取出局部变量，将此局部变量和全局变量列表进行匹配，如在全局变量列表中找到了，则将此加入到方法入参，之所以要将此作为入参，是因为在规则体内可能有用到全局变量的场景。

 

1. 规则引擎何时将全局变量作为入参是有条件的，其中的一个必要条件是在解析规则中的局部变量时其全局变量已经先加载了（和规则文件的加载顺序有关）；当voucher_preprocess.drl脚本比HG-2.0.0.drl先加载时便会触发此条件，发生问题，当voucher_preprocess.drl后加载时，在解析HG-2.0.0.drl的相关局部变量时因为未发现有相关的全局变量，在生成方法入参时也就不会生成此全局变量了，也就不会有问题。
2. 文件的加载顺序：读取规则文件时，用的是java.io.File.listFiles()，而该方法java官方的说明是："不保证数组中的字符以特定顺序出现，特别是不保证按字母顺序排序"（绝大部分情况是按字母顺序排序的），原始注释：

/** * **** * There is no guarantee that the name strings in the resulting array * will appear in any specific order; they are not, in particular, * guaranteed to appear in alphabetical order. */ public File[] listFiles() {

 

结论

对于规则脚本的编写，也应该遵循java的编码规范，比如全局变量的命名以g开头，避免局部变量和全局变量出现同名现象。

可删除voucher_preprocess.drl中的全局变量或对相关规则中的局部变量paraMap进行重命名均可解决此问题。

重现条件

    在未报出此问题的环境中，将voucher_preprocess.drl的文件名前添加a(avoucher_preprocess.drl)，使其先于HG-2.0.0.drl加载。

附：调试日志

有问题环境规则文件加载顺序（无规则）：

/home/sofa_home/rules/SJSJG-2.0.0.drl, /home/sofa_home/rules/voucher_qyfhpx.drl, /home/sofa_home/rules/STOCKBUYBACK-2.0.0.drl, /home/sofa_home/rules/voucher_xg.drl, /home/sofa_home/rules/voucher_qygxsf.drl, /home/sofa_home/rules/voucher_etfjj_bp.drl, /home/sofa_home/rules/voucher_zqzh.drl, /home/sofa_home/rules/BJSMX_BFJ-2.0.0.drl, /home/sofa_home/rules/voucher_gpjys.drl, /home/sofa_home/rules/voucher_trade.drl, /home/sofa_home/rules/voucher_xdhgjx.drl, /home/sofa_home/rules/TAJZ-2.0.0.drl, /home/sofa_home/rules/voucher_preprocess.drl, /home/sofa_home/rules/DETAILTOSUMMARY_SH-2.0.0.drl,

无问题环境规则文件加载顺序（按字母排序）：

 

C:\test\sofa_home\rules\BJSJG-2.0.0.drl, C:\test\sofa_home\rules\BJSMX-2.0.0.drl, C:\test\sofa_home\rules\BJSMX_BFJ-2.0.0.drl, C:\test\sofa_home\rules\COMMAND-2.0.0.drl, C:\test\sofa_home\rules\DEALCPQSQFCASH_BJ-2.0.0.drl, C:\test\sofa_home\rules\DEALCPQSQFCASH_GGT_SH-2.0.0.drl, C:\test\sofa_home\rules\DEALCPQSQFCASH_SH-2.0.0.drl, C:\test\sofa_home\rules\DEALCPQSQFCASH_SZ-2.0.0.drl, C:\test\sofa_home\rules\DEALYJQSQFCASH_BJ-2.0.0.drl, C:\test\sofa_home\rules\DEALYJQSQFCASH_GGT_SH-2.0.0.drl, C:\test\sofa_home\rules\DEALYJQSQFCASH_SH-2.0.0.drl, C:\test\sofa_home\rules\DEALYJQSQFCASH_SZ-2.0.0.drl, C:\test\sofa_home\rules\DETAILTOSUMMARY_BJ-2.0.0.drl, C:\test\sofa_home\rules\DETAILTOSUMMARY_GGT_SH-2.0.0.drl, C:\test\sofa_home\rules\DETAILTOSUMMARY_SH-2.0.0.drl, C:\test\sofa_home\rules\DETAILTOSUMMARY_SZ-2.0.0.drl, C:\test\sofa_home\rules\ETFJJCASHSUMMARY-2.0.0.drl, C:\test\sofa_home\rules\FUTURES-2.0.0.drl, C:\test\sofa_home\rules\GP-2.0.0.drl,