Bug 1288009 - [GSS](6.2.z) Drools execution stuck due to infinite loop
Summary: [GSS](6.2.z) Drools execution stuck due to infinite loop
Keywords:
Status: CLOSED EOL
Alias: None
Product: JBoss BPMS Platform 6
Classification: Retired
Component: BRE
Version: 6.2.0
Hardware: Unspecified
OS: Unspecified
high
high
Target Milestone: CR1
: 6.2.1
Assignee: Mario Fusco
QA Contact: Marek Winkler
URL:
Whiteboard:
Depends On:
Blocks: 1288021 1288023 1295521
TreeView+ depends on / blocked
 
Reported: 2015-12-03 10:14 UTC by Martin Weiler
Modified: 2020-03-27 19:05 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
: 1295521 (view as bug list)
Environment:
Last Closed: 2020-03-27 19:05:09 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

Description Martin Weiler 2015-12-03 10:14:25 UTC
Description of problem:
Executing a process with multiple BusinessRulesTask is getting stuck in an infinite loop.

A sucessfully validated DRL  is executed by a jbpm process . The execution stops at the node where the business rule task should be executed; the java process consumes all available CPU time and the BPM Suite execution is not possible for any other process.

If the complete DRL is used, the behaviour desribed above occurs. If one of the rules is ommitted, the rule execution works! Here is a simplified version of those rules:

rule r1 ruleflow-group "group1"
    salience 100
when                      
    $person: Person( $addressList : addresses ) 
    Address( zipCode == "10243" ) from $addressList
    $cheese : Cheese( )
then
    System.out.println("r1 executed");
end

rule r2 ruleflow-group "group1"
    salience 5
when                      
    $person: Person( $addressList : addresses ) 
    Address( zipCode == "10318" ) from $addressList
    $cheese : Cheese( )  
then
    System.out.println("r2 executed");
end

Note the usage of the 'from' keyword. Its usage with very similar fact attributes seems to confuse the whole evaluation algorithm.

We have simulated the problem in a unit test and have found that the evaluation of rules repeatedly (infinited)  executes the method org.drools.core.reteoo.FromNode.createPeer() 

https://github.com/droolsjbpm/drools/blob/master/drools-core/src/main/java/org/drools/core/reteoo/FromNode.java#L208

Taking a heap dump after the infinite loop is entered showed a huge number of FromNodeLeftTuple instances.

Version-Release number of selected component (if applicable):


How reproducible:
Always

Steps to Reproduce:
1. See reproducer

Actual results:
Drools enters an infinite loop

Expected results:
Process and rules execution finishes normally


Additional info:
This is fixed by the changes related to DROOLS-992:
https://issues.jboss.org/browse/DROOLS-992
https://github.com/droolsjbpm/drools/commit/13bb9a748d5af562e334e499937e772a1c2774a5

Comment 3 Mario Fusco 2015-12-04 13:43:16 UTC
Fix backported to 6.3.x branch with https://github.com/droolsjbpm/drools/commit/245acce2f

Comment 4 Marek Winkler 2016-01-18 14:49:02 UTC
Verified in BRMS 6.2.1 CR1 by using the attached reproducer.


Note You need to log in before you can comment on or make changes to this bug.