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

Allow cancelling local search matching #82

Open eclipse-viatra-bot opened 4 months ago

eclipse-viatra-bot commented 4 months ago

| --- | --- | | Bugzilla Link | 535102 | | Status | NEW | | Importance | P3 enhancement | | Reported | May 25, 2018 04:16 EDT | | Modified | Nov 23, 2020 08:30 EDT | | Version | 2.0.0 | | See also | 535101 | | Reporter | Zoltan Ujhelyi |

Description

Given that local search-based matching can take a long time to execute, it would make sense to provide a way to cancel its execution. As of now, the best workaround is around the following (provided the matcher runs in a background thread):

    Runnable planExecutorRunnable = () -> {\
        Iterator<Tuple> tuples = lsResultProvider.getAllMatches(adornment).iterator();\
        while(!Thread.currentThread().isInterrupted() && tuples.hasNext()) {\
            // Process found match here\
        }\
    };\
    \

This is problematic, as if it takes a long time to find a single match, it takes a long time to cancel evaluation; furthermore, it is quite cumbersome to write. Right now it is unclear how such a functionality should be implemented, but should be solved togerer with bug 535101.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on May 18, 2020 13:04

Postponing issues that will not be solved for version 2.5.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.