MantisBT - Community
View Issue Details
0025896Community[OCCT] OCCT:Modeling Algorithmspublic2015-03-05 16:222020-10-01 10:38
Istvan Csanady 
[OCCT] 7.5.0[OCCT] 7.5.0 
0025896: Modeling Algorithms - UserBreak raising uncatchable exception in boolean operations
When the parallel flag is true in BOPAlgo_PaveFiller, and the BOPAlgo_Algo::UserBreak() calls are raising Standard_NotImplemented exceptions and the exceptions can not be catched, since they are running from a new thread, and not embedded in try/catch blocks. This prevents the cancellation of boolean operations when running the pave filler parallel.
No tags attached.
related to 0025748verified abv Open CASCADE Foundation Classes - Parallel version of progress indicator 
related to 0030842closed denix56 Community C++11 support 
related to 0029935closed bugmaster Open CASCADE Foundation Classes - introduce OSD_ThreadPool class defining a thread pool 
diff patch_parallel.diff (1,041) 2015-12-09 18:05
diff parallel.diff (4,199) 2019-08-02 12:43
Issue History
2015-03-05 16:22Istvan CsanadyNew Issue
2015-03-05 16:22Istvan CsanadyAssigned To => msv
2015-03-10 10:28msvAssigned Tomsv => azn
2015-03-10 10:28msvStatusnew => assigned
2015-04-09 16:49msvNote Added: 0039512
2015-04-09 16:49msvAssigned Toazn => Istvan Csanady
2015-04-09 16:49msvStatusassigned => feedback
2015-04-09 16:49msvTarget Version6.9.0 => 7.1.0
2015-04-09 16:51Istvan CsanadyNote Added: 0039513
2015-04-09 16:54abvNote Added: 0039514
2015-04-09 23:40msvAssigned ToIstvan Csanady => msv
2015-04-09 23:40msvStatusfeedback => assigned
2015-12-09 17:32Istvan CsanadyFile Added: patch.diff
2015-12-09 17:32Istvan CsanadyNote Added: 0048916
2015-12-09 17:54msvNote Added: 0048917
2015-12-09 17:54msvAssigned Tomsv => Istvan Csanady
2015-12-09 17:54msvStatusassigned => feedback
2015-12-09 18:05Istvan CsanadyFile Added: patch_parallel.diff
2015-12-09 18:05Istvan CsanadyNote Added: 0048918
2015-12-09 18:33msvFile Deleted: patch.diff
2015-12-11 10:42msvNote Added: 0049008
2016-10-26 11:56msvTarget Version7.1.0 => 7.2.0
2017-07-20 17:13msvTarget Version7.2.0 => 7.3.0
2018-02-25 21:09abvTarget Version7.3.0 => 7.4.0
2018-02-25 21:10abvAssigned ToIstvan Csanady => abv
2018-02-25 21:10abvStatusfeedback => assigned
2018-07-07 23:09abvRelationship addedrelated to 0029935
2019-08-02 12:43denix56File Added: parallel.diff
2019-08-02 12:45denix56Note Added: 0085983
2019-08-12 17:48msvTarget Version7.4.0 => 7.5.0
2019-09-04 12:22kgvSummaryUserBreak raising uncatchable exception in boolean operations => Modeling Algorithms - UserBreak raising uncatchable exception in boolean operations
2019-09-04 12:22kgvRelationship addedrelated to 0025748
2019-09-04 12:24kgvRelationship addedrelated to 0030775
2019-09-04 12:24kgvRelationship addedrelated to 0030842
2020-09-15 16:30msvTarget Version7.5.0 => 7.6.0*
2020-09-18 22:40msvRelationship addedrelated to 0021264
2020-09-23 06:34abvAssigned Toabv => akaftasev
2020-09-23 06:36abvNote Added: 0095225
2020-09-28 17:43akaftasevNote Added: 0095446
2020-09-28 17:43akaftasevNote Edited: 0095446bug_revision_view_page.php?bugnote_id=95446#r23623
2020-09-28 17:43akaftasevAssigned Toakaftasev => abv
2020-09-28 17:43akaftasevStatusassigned => feedback
2020-09-28 17:54akaftasevNote Edited: 0095446bug_revision_view_page.php?bugnote_id=95446#r23624
2020-09-29 13:14akaftasevNote Added: 0095462
2020-10-01 10:38abvStatusfeedback => closed
2020-10-01 10:38abvResolutionopen => fixed
2020-10-01 10:38abvFixed in Version => 7.5.0
2020-10-01 10:38abvTarget Version7.6.0* => 7.5.0

2015-04-09 16:49   
Dear Istvan, do you work with OCCT compiled with TBB (HAVE_TBB is defined)? I think you do not, because in HAVE_TBB branch the code has try/catch block (see OSD_Parallel.hxx:268). It is just a question, anyway.
Istvan Csanady   
2015-04-09 16:51   
No, I am not using TBB.
2015-04-09 16:54   
Not sure whether it is relevant for this issue, but note that if you use custom signal handlers (e.g. OSD::SetSignal()), on some platforms this works on per-thread basis, thus handlers should be armed separately for each thread.
Istvan Csanady   
2015-12-09 17:32   
Patch is attached
2015-12-09 17:54   
Dear Istvan, the attached patch is relevant not to this bug, but rather to "Do not copy plane if Alt is 0.0 in BRepFill_OffsetWire".
Istvan Csanady   
2015-12-09 18:05   
corrected, sorry.
2015-12-11 10:42   
The proposed patch is not perfect.

1. It catches exception in the loop by tasks. It means that if user break event takes place the repetitive try/catch will hit on each iteration and the loop will continue till end. It is better to surround the whole loop into try block.

2. It hides all exceptions. I.e. if some exception not connected with user break takes place then the algorithm will continue working with some task left incomplete. This can lead to unpredictable results.

The right way is to implement mechanism that will allow catching exceptions in parallel tasks (i.e. in other threads), stop all other parallel executions (or simply stop scheduling new tasks) and re-throw exception when main thread takes control again. This way is implemented in TBB scheduler.
2019-08-02 12:45   
I ve uploaded patch that allows to rethrow exceptions from threads. However, it requires C++11
2020-09-23 06:36   
I believe exception handling should now (since OCCT 7.4.0) work, due to changes made within #30775. Andrey @akaftasev (or @debix56), can you please check this to confirm?
2020-09-28 17:43   
(edited on: 2020-09-28 17:54)
I researched the given problem: in the current version, when the parallel flag is true, and the BOPAlgo_Algo::UserBreak() calls, exception can be catched in another threads and execution stops with message like: "Error: The intersection of the arguments has failed" (this message is displayed when the "bop" operation is stopped)
This results were received with using TBB

2020-09-29 13:14   
The same result without TBB