Opened 6 years ago

Closed 6 years ago

#22272 closed defect (fixed)

Gap install error "Text file busy"

Reported by: Volker Braun Owned by:
Priority: major Milestone: sage-7.6
Component: build Keywords: random_fail
Cc: Dima Pasechnik Merged in:
Authors: Jeroen Demeyer Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 573afa5 (Commits, GitHub, GitLab) Commit: 573afa5b7f71bc54da1a6b2aa752273212d88bc6
Dependencies: Stopgaps:

Status badges

Description

I haven't seen this one before:

[gap-4.8.3] Installing (copying) files...
[gap-4.8.3] cp: cannot create regular file '/home/buildbot/slave/sage_git/build/local/gap/gap-4.8.3/bin/x86_64-unknown-linux-gnu-gcc-default64/gap': Text file busy
[gap-4.8.3] Error copying built GAP files.

Appears only randomly. The "text file busy" error means that we are trying to modify a currently-running executable (the text segment, nothing to do with plain text). Presumably thats a parallel build dependency error.

Change History (12)

comment:1 Changed 6 years ago by Dima Pasechnik

I have seen this quite a bit, and yes, killing GAP processes helps. No idea how to fix this nicely, though.

comment:2 Changed 6 years ago by Jeroen Demeyer

Branch: u/jdemeyer/gap_install_error__text_file_busy_

comment:3 Changed 6 years ago by Dima Pasechnik

Commit: dc8c742ac98fa3e35ae16213a197d19f28eab0d3
Status: newneeds_review

makes sense!


New commits:

dc8c742Clean GAP installation directory before re-installing

comment:4 Changed 6 years ago by Jeroen Demeyer

Authors: Jeroen Demeyer

comment:5 Changed 6 years ago by Dima Pasechnik

Reviewers: Dima Pasechnik
Status: needs_reviewpositive_review

comment:6 Changed 6 years ago by Volker Braun

Branch: u/jdemeyer/gap_install_error__text_file_busy_dc8c742ac98fa3e35ae16213a197d19f28eab0d3
Resolution: fixed
Status: positive_reviewclosed

comment:7 Changed 6 years ago by Volker Braun

Branch: dc8c742ac98fa3e35ae16213a197d19f28eab0d3u/jdemeyer/gap_install_error__text_file_busy_
Resolution: fixed
Status: closednew

I'm getting

[gap-4.8.3] Removing previous installation of GAP...
[gap-4.8.3] Installing (copying) files...
[gap-4.8.3] mkdir: cannot create directory '/home/buildslave-sage/slave/sage_git/build/local/gap/gap-4.8.3': No such file or directory
[gap-4.8.3] Error copying built GAP files.

The mkdir -p was important after all...


New commits:

dc8c742Clean GAP installation directory before re-installing

comment:8 Changed 6 years ago by Jeroen Demeyer

Of course the -p is important. I will confused because -p does two things:

  1. It will create any non-existing parent directories.
  1. It will not complain if the directory already exists.

I thought that the -p was only needed for 2. but it is obviously also needed for 1.

comment:9 Changed 6 years ago by git

Commit: dc8c742ac98fa3e35ae16213a197d19f28eab0d3573afa5b7f71bc54da1a6b2aa752273212d88bc6

Branch pushed to git repo; I updated commit sha1. New commits:

573afa5Make sure that we create $SAGE_LOCAL/gap

comment:10 Changed 6 years ago by Jeroen Demeyer

Status: newneeds_review

comment:11 Changed 6 years ago by Dima Pasechnik

Status: needs_reviewpositive_review

OK.

comment:12 Changed 6 years ago by Volker Braun

Branch: u/jdemeyer/gap_install_error__text_file_busy_573afa5b7f71bc54da1a6b2aa752273212d88bc6
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.