[CRIU] BUG: CRIU corrupt floating point state after checkpoint

[Cyrill Gorcunov]

On Wed, Oct 02, 2019 at 09:14:50AM -0700, Diyu Zhou wrote:
> > Anyway could you please add at least "pidfile" option (from the
> > code I've sent you) to your source code and check if it does
> > matter (don't forget to update duming shell script to use
> > explicit pid from a file)?
> 
> Thanks for your help.
> 
> I have tried to let the program output pid to the file, the problemis still there.

Please attach the your new sources (just to be sure we're on the
same codebase), will try to take a look once time permit.