Race condition in gap_reset_workspace()

[jdemeyer]

Consider this script gap_race.sage:

from multiprocessing import Process
import time

def rungap():
    gap("42")

P = [Process(target=rungap) for i in range(4)]
for p in P:
    p.start()
    time.sleep(0.1)

When executing with ./sage --nodotsage gaprace.sage, this should run without producing errors. But it doesn't, due to race conditions in gap_reset_workspace().

CC: @vbraun

Component: interfaces

Author: Jeroen Demeyer

Reviewer: Volker Braun

Merged: sage-5.9.beta0

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

[jdemeyer]

Author: Jeroen Demeyer

[vbraun]

comment:2

Looks good. But on Windows, os.rename() will raise an OSError if destination exists. Not sure if that applies to Cygwin, but better safe than sorry?

[jdemeyer]

comment:3

Attachment: 14242_gap_workspace_race.patch.gz

Updated.

[vbraun]

comment:4

Looks good to me

[vbraun]

Reviewer: Volker Braun

[jdemeyer]

Merged: sage-5.9.beta0