I'm posting this in case someone comes across the same problem.
I recently upgraded to Ubuntu 19.04. Trying to start sage resulted in
the message "killed".
This was with 8.8 Beta 4 and 8.3. The later was an official
distribution. Both behaved the same way.
There was a bunch of cruft under ~/.sage/temp/HOSTNAME. Over 6000
directories. The one that showed up when running strace ./sage was 809:
-rw-r--r-- 1 andy andy 13 Apr 19 01:56 spawned_processes
-r-------- 1 andy andy 21014 Apr 19 01:56 tmp_1fCl4p.png
-r-------- 1 andy andy 12444 Apr 19 01:56 tmp_APQqMr.png
-r-------- 1 andy andy 16270 Apr 19 01:56 tmp_dQ29QR.png
-r-------- 1 andy andy 16270 Apr 19 01:56 tmp_gQVq6i.png
-r-------- 1 andy andy 12340 Apr 19 01:56 tmp_K6JBbi.png
-r-------- 1 andy andy 16578 Apr 19 01:56 tmp_PsB0yv.png
-r-------- 1 andy andy 12340 Apr 19 01:56 tmp_rpjDXo.png
-r-------- 1 andy andy 12444 Apr 19 01:56 tmp_t4eO9e.png
-r-------- 1 andy andy 11110 Apr 19 01:56 tmp_TYIAY2.png
-r-------- 1 andy andy 19551 Apr 19 01:56 tmp_w3kJW2.png
spawned_processes contained:
814 Singular
In ~/.sage/temp/HOSTNAME/cleaner.log I found:
Process 809 is no longer running, so we clean up
Killing 809's spawned jobs
--> Killing 'Singular' with PID 814 and parent PID 809
--> Killing process group 0
Maybe sage dies because of the "Killing process group 0".
The '809' directory is never deleted. It looks like that is supposed to
happen in sage-clean, in the cleanup() function. The log never shows
"Deleting 809". Maybe this is a race condition. kill_spawned_jobs() is
doing the kill process group 0. sage-cleaner kills itself before it can
delete the directory.
if not os.path.isfile(spawned_processes) \
or kill_spawned_jobs(spawned_processes, parent_pid):
logger.info('Deleting %s', dir_name)
rm_rf(dir_name)
Renaming .sage/temp/HOSTNAME to HOSTNAME.old fixed the problem. A new
HOSTNAME directory was automatically created.
After the rename, sage 8.8beta4 runs and passes all test.
Regards,
Andy
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
