search

vermaseren / form

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

Hang with Term too complex during normalization #323

Open jodavies opened 5 years ago

jodavies commented 5 years ago

It is not yet obvious to me where control goes in the code, but there is a way to obtain the error

Term too complex during normalization
... term data ...
Called from Generator
Error in processing one term in thread 3 in module 92

and have FORM hang indefinitely, rather than crash out. This is annoying when running large arrays of jobs, for example.

I will keep investigating the logic here, but have just made an issue already to document the problem.

Thanks, Josh.

jodavies commented 5 years ago

Perhaps the call of Normalize which doesn't check the return value at proces.c:3163 is suspicious.

Edit: No, that the term data is printed with "Called from Generator" means that a jump to GenCall was made.

jodavies commented 4 years ago

I don't have an easy way to test since I don't have a "minimal example" for this hang, but I wonder if it is related to #14 ?

vsht commented 4 years ago

Did you try to compile FORM with the patch from @tueda ? For me this actually solved all issues with broken TFORM jobs hanging on our cluster so I was about to suggest to add it to the master branch. So far I didn't observe any side effects.

jodavies commented 4 years ago

No, but I haven't seen this error since I made this issue, since I changed the way the scripts were doing things to avoid it.