search

eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

BPMN example is not working on multiple threads #24

Open eclipse-viatra-bot opened 6 months ago

eclipse-viatra-bot commented 6 months ago

| --- | --- | | Bugzilla Link | 479751 | | Status | NEW | | Importance | P3 normal | | Reported | Oct 14, 2015 09:17 EDT | | Modified | May 26, 2016 08:39 EDT | | Version | 0.8.0 | | Reporter | Andras Szabolcs Nagy |

Description

It throws a lot of type of exception undeterministically.

eclipse-viatra-bot commented 6 months ago

By Andras Szabolcs Nagy on Oct 21, 2015 10:18

I found a bug in the BFS and DFS strategies when they start new threads which I've fixed.

Now if I remove the global constraint, everything works well as it should.\ But when I add it, it still throws non-deterministic exceptions from the IncQuery engine. A few examples:

1) EMF-IncQuery encountered an error in processing the EMF model.\ NoSuchElementException at org.eclipse.incquery.runtime.rete.network.ReteContainer.messageConsumptionSingleThreaded(ReteContainer.java:460)

2) IllegalStateException at org.eclipse.incquery.runtime.rete.tuple.MaskedTupleMemory.add(MaskedTupleMemory.java:80)

3) The incremental pattern matcher encountered an error during invoking a callback on removal of match...\ IllegalStateException at\ org.eclipse.incquery.runtime.evm.specific.event.IncQueryEventHandler$3.activationMissing(IncQueryEventHandler.java:117)

I have no idea yet what's the problem.

eclipse-viatra-bot commented 6 months ago

By Zoltan Ujhelyi on Mar 17, 2016 08:38

Added new tickets to 1.3