vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.16k stars 138 forks source link

Resolve Helgrind/DRD errors (i.e., multithreading issues) #496

Open tueda opened 8 months ago

tueda commented 8 months ago

Ensuring TFORM operates without any Helgrind/DRD errors would be beneficial, as it guarantees the absence of multithreading issues such as data races. But any additional synchronization should be carefully introduced not to cause performance degradation.

If this is done, then adding CI tests with Helgrind/DRD would enhance the reliability of TFORM in the development process.

Related discussions can be found in #417, #470 and #493.

jodavies commented 6 months ago

What is the status here? I see that you have a branch resolving some helgrind issues; is it now clean running the tests?

tueda commented 6 months ago

In fact, it was difficult to sort out all the threading stuff. The rewriting has been stopped...