Delay the evaluation of SAGE_TMP in order to facilitate forking in doctesting

[roed314]

In order to use multiprocessing in the new doctesting framework (#12415), sage's infrastructure for dealing with temporary files needs to change.

Apply

• attachment: trac_13147-rebased-to-13681.patch.

Depends on #13579
Depends on #13681

CC: @mwhansen

Component: doctest coverage

Author: David Roe, Mike Hansen

Reviewer: John Palmieri

Merged: sage-5.5.beta1

Issue created by migration from https://trac.sagemath.org/ticket/13147

[roed314]

Attachment: 13147_move.patch.gz

David Roe/Robert Bradshaw's original solution: I don't like it as much as Mike's

[roed314]

comment:1

I like Mike's solution a lot more, but it requires speaklater. I think this is in the new flasque notebook? Can we use it from there?

[roed314]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
-In order to use multiprocessing in the new doctesting framework (#12415), sage's infrastructure for dealing with temporary files needs to change.  Here are two potential solutions
+In order to use multiprocessing in the new doctesting framework (#12415), sage's infrastructure for dealing with temporary files needs to change.  Here are two potential solutions.
+
+Apply [attachment: 13147_lazy.patch.](https://github.com/sagemath/sage/files/ticket13147/13147_lazy.patch..gz)

[ohanar]

comment:4

+1 for Mike's solution, I know nothing about the flask notebook, but we certainly shouldn't include speaklater in the manner it is done in the patch.

Also, why are we using temp files and directories in DOT_SAGE still, I see no reason to not use the tempfile module with Mike's patch.

[jhpalmieri]

comment:5

While you're rewriting the definition of SAGE_TMP, you should change lines like

d = '%s/temp/%s/%s/'%(DOT_SAGE, HOSTNAME, os.getpid()) 

to use os.path.join.

[roed314]

Attachment: 13147_lazy.patch.gz

Mike Hansen's solution

[kini]

comment:6

Andrew, are you referring to the fact that Mike creates speaklater.py in the Sage library?

[roed314]

comment:7

Yeah, I think Andrew's referring to the fact that Mike just included speaklater.

patchbot: apply 13147_lazy.patch.

[kini]

comment:8

patchbot: apply 13147_lazy.patch