Fix race condition in package pari_seadata_small#41875
Fix race condition in package pari_seadata_small#41875vbraun merged 2 commits intosagemath:developfrom
Conversation
|
CC: @tobiasdiez for build problem |
dimpase
left a comment
There was a problem hiding this comment.
Is the error only happening with Pari packages - pari-galpol, etc?
If so, it's easier to just make one of them, say, pari-galpol, a dependency for the rest of them.
Then pari-galpol will be installed first, and the race condition won't occur.
It seems yes, because they are going to create pari folder both. and I do not find other's packages need to do this thing. |
It runs well. I also found our build CI will hang on for some cases. |
|
I think replace cp by tar can solve this problem eventually. |
|
Documentation preview for this PR (built with commit 799b0eb; changes) is ready! 🎉 |
I do not think it is right method, because it will mislead in the document. In fact, they do not have dependency relations. |
|
This fixes a potential race condition in sage-the-distro |
|
Are you sure the root cause is correct? I think "install" would be better than tar here, but that is highly dependent on if/how tar solves the problem. |
Yes. two processes do not see the folders both. |
|
This happens really unusual. I found this in a linux build ci yesterday. |
|
If it's really a race condition between two instances of |
we just look https://raw.githubusercontent.com/gnu-mirror-unofficial/tar/master/src/extract.c tar also use |
I think this should be fixed in the way I proposed, by letting all these packages, except one, to depend on the latter. |
9422dd3 to
d4a4577
Compare
|
But I think this still do not fix the root cause maybe. |
|
very strange error |
|
@dimpase Now I have added dependency |
|
please add such a dependency to all the other |
It is a race condition caused by
cp -Rpbecause two processes both find the folder is not exist. they both usemkdirto create. So it causes one fails and one successes📝 Checklist
⌛ Dependencies