Re: [fricas-devel] Cannot build FriCAS in VirtualBox (Debian 10, sbcl) SB-IMPL::SAVE-WITH-MULTIPLE- THREADS-ERROR

2019-09-17 Thread oldk1331
On 9/17/19 7:37 PM, Ralf Hemmecke wrote:
> Hi Qian,
> 
> it's as unreliable as before. It seems that it depends on the time on my
> virtualbox. When I try to compile now, it goes over that problematic step.
> 

I tried locally on my machine, here are my findings:

1. This bug is not related with Linux distros.
2. This bug is not related with virtualbox, it also happens on QEMU.
3. This bug happens when the virtual machine has only 1 CPU.
(I suspect it also happens on real 1 core machine.)
4. This bug happens since SBCL 1.4.14. Older versions are fine.

So something related with threads in SBCL during 1.4.13~1.4.14
got wrong.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/900c7596-5118-35c0-bf4d-29f95811c82c%40gmail.com.


Re: [fricas-devel] Cannot build FriCAS in VirtualBox (Debian 10, sbcl) SB-IMPL::SAVE-WITH-MULTIPLE- THREADS-ERROR

2019-09-17 Thread Ralf Hemmecke
Hi Qian,

it's as unreliable as before. It seems that it depends on the time on my
virtualbox. When I try to compile now, it goes over that problematic step.

The last view lines from a failing build look like this.

==
   preloading
/home/hemmecke/scratch/build/fricas/target/x86_64-linux-gnu/algebra/NIL.fasl..skipped.
   preloading
/home/hemmecke/scratch/build/fricas/target/x86_64-linux-gnu/algebra/NIL.fasl..skipped.

T
*
debugger invoked on a SB-IMPL::SAVE-WITH-MULTIPLE-THREADS-ERROR in thread
#:
  Cannot save core with multiple threads running.

  Interactive thread (of current session):
#

  Other thread:
#
See also:
  The SBCL Manual, Node "Saving a Core Image"

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-IMPL::DEINIT)
0] NIL
*
(quit)
ls /home/hemmecke/scratch/build/fricas/build/x86_64-linux-gnu/bin/interpsys
ls: cannot access
'/home/hemmecke/scratch/build/fricas/build/x86_64-linux-gnu/bin/interpsys':
No such file or directory
make[2]: *** [Makefile:327:
/home/hemmecke/scratch/build/fricas/build/x86_64-linux-gnu/bin/interpsys] Error
2
make[2]: Leaving directory '/home/hemmecke/scratch/build/fricas/src/interp'
make[1]: *** [Makefile:229: all-interpsys] Error 2
make: *** [Makefile:246: all-src] Error 2
make[1]: Leaving directory '/home/hemmecke/scratch/build/fricas/src'

real61m31.510s
user0m0.172s
sys 0m0.019s
deb10:~/v/git/fricas-bisect:master %>
==

Well, while I was writing that mail, a fresh the compilation was running
and that was indeed stepping over the above problem. However, the same
problem occured then at a later time. :-(

I've temporarily uploaded the log here:

https://www.risc.jku.at/people/hemmecke/tmp/make.log.gz

You have to search in the file for "THREAD", because when I was put into
the sbcl debugger, I've simply typed "(quit)" and strangely enough, the
compilation went on.

I've used the attached script to build fricas (build-fricas.sh).

==

I also thought that it might be connected to VirtualBox, but I remember
having seen this error also outside a VM.

I also thought it might be connected to "--dynamic-space-size", because
my call is:

  $ /home/hemmecke/g/fricas/configure --prefix= --with-lisp=sbcl
--dynamic-space-size 2643 --prefix=/home/hemmecke/software

and I gave the VM 4GB of RAM.

I'd be happy if that THREAD problem can be solve once and for all.

Qian, if you want, I can make the VM image available to you.

All the best
Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7ab45773-7385-71d1-7e0a-84b6cd462c4a%40hemmecke.org.


build-fricas.sh
Description: application/shellscript


Re: [fricas-devel] Cannot build FriCAS in VirtualBox (Debian 10, sbcl) SB-IMPL::SAVE-WITH-MULTIPLE- THREADS-ERROR

2019-09-17 Thread oldk1331
On 9/17/19 6:01 PM, Ralf Hemmecke wrote:
> It seems that this thread is relevant for FriCAS.
> 
> https://stackoverflow.com/questions/4777/sbcl-building-a-standalone-executable
> 
> Maybe our build process has to be more careful of how to save the image.
> 
> Ralf
> 

In your link it shows
Other threads:
  #,..
So it is running in SLIME (inside emacs).

>From Nasser's original post, it shows
  Other thread:
#
Which is strange and should be a different matter than SLIME.

Hi Ralf, what does your error log shows?

Somehow I wonder this bug is related with VirtualBox?

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/586df3fa-d14a-c132-09dd-5e1315ccef41%40gmail.com.


Re: [fricas-devel] Cannot build FriCAS in VirtualBox (Debian 10, sbcl) SB-IMPL::SAVE-WITH-MULTIPLE- THREADS-ERROR

2019-09-17 Thread Ralf Hemmecke
It seems that this thread is relevant for FriCAS.

https://stackoverflow.com/questions/4777/sbcl-building-a-standalone-executable

Maybe our build process has to be more careful of how to save the image.

Ralf

On 9/17/19 11:25 AM, Ralf Hemmecke wrote:
> Interesting, now I seem to be in the same situation as Nasser.
> 
> I've created a fresh Debian 10 in Virtualbox and try to compile FriCAS from 
> source.
> It stops with 
> 
> debugger invoked on a SB-IMPL::SAVE-WITH-MULTIPLE-
> THREADS-ERROR in thread
> 
> This happens no matter whether I use the debian package for sbcl (1.4.16) 
> or the latest (binary) 1.5.6 from sbcl.org.
> 
> Needless to say that it is not a problem with parallel builds, since my 
> vbox has only one processor assigned.
> 
> Can someone successfully build FriCAS inside VirtualBox? How?
> 
> Thank you,
> Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/aebe4881-2647-811a-3276-e2540aec1524%40hemmecke.org.


[fricas-devel] Cannot build FriCAS in VirtualBox (Debian 10, sbcl) SB-IMPL::SAVE-WITH-MULTIPLE- THREADS-ERROR

2019-09-17 Thread Ralf Hemmecke
Interesting, now I seem to be in the same situation as Nasser.

I've created a fresh Debian 10 in Virtualbox and try to compile FriCAS from 
source.
It stops with 

debugger invoked on a SB-IMPL::SAVE-WITH-MULTIPLE-
THREADS-ERROR in thread

This happens no matter whether I use the debian package for sbcl (1.4.16) 
or the latest (binary) 1.5.6 from sbcl.org.

Needless to say that it is not a problem with parallel builds, since my 
vbox has only one processor assigned.

Can someone successfully build FriCAS inside VirtualBox? How?

Thank you,
Ralf

On Saturday, July 6, 2019 at 12:45:06 PM UTC+2, Waldek Hebisch wrote:
>
> Nasser M. Abbasi wrote: 
> > 
> > I first tried installing Latest fricas using Linux Manjaro GUI, and that 
> > failed. 
> > 
> > Next tried to install it using yay command. This also fail. Below is the 
> > start of the log file and the end of the log file showing the error 
> > 
> > >uname -r 
> > 4.19.36-1-MANJARO 
> > 
> > >lsb_release -a 
> > LSB Version: n/a 
> > Distributor ID: ManjaroLinux 
> > Description: Manjaro Linux 
> > Release: 18.0.4 
> > Codename: Illyria 
> > 
> > 
> > Any idea why it failed and how to correct it? 
> > 
> >  
> > >yay -S fricas 
> > :: Checking for conflicts... 
> > :: Checking for inner conflicts... 
> > [Aur: 1]  fricas-1.3.5-2 
>  
> > checking Lisp implementation... This is SBCL 1.5.3, an implementation of 
> > ANSI Common Lisp. 
>  
> > echo '(load "makeint.lisp") #-:ecl(BOOT::reclaim)' \ 
> >  '#+:ecl(FRICAS-LISP::make-program 
> > 
> "/home/me/.cache/yay/fricas/src/fricas-1.3.5/build/x86_64-linux-gnu/bin/interpsys"
>  
>
> > nil)' \ 
> >  '#-:ecl(BOOT::spad-save 
> > 
> "/home/me/.cache/yay/fricas/src/fricas-1.3.5/build/x86_64-linux-gnu/bin/interpsys"
>  
>
> > t)' | \ 
> >DAASE='/home/me/.cache/yay/fricas/src/fricas-1.3.5/src/share' 
> > 
> /home/me/.cache/yay/fricas/src/fricas-1.3.5/build/x86_64-linux-gnu/bin/bootsys
>  
>
> > *Using local database 
> > 
> /home/me/.cache/yay/fricas/src/fricas-1.3.5/src/share/algebra/compress.daase..
>  
>   
> >  Re-reading compress.daase   Using local database 
> > 
> /home/me/.cache/yay/fricas/src/fricas-1.3.5/src/share/algebra/interp.daase.. 
>
>  
> > 
> > T 
> > * NIL 
> > * 
> > debugger invoked on a SB-IMPL::SAVE-WITH-MULTIPLE-THREADS-ERROR in 
> thread 
> > #: 
> >   Cannot save core with multiple threads running. 
> > 
> >   Interactive thread (of current session): 
> > # 
> > 
> >   Other thread: 
> > # 
> > See also: 
> >   The SBCL Manual, Node "Saving a Core Image" 
> > 
> > Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL. 
> > 
> > restarts (invokable by number or by possibly-abbreviated name): 
> >   0: [ABORT] Exit debugger, returning to top level. 
> > 
> > (SB-IMPL::DEINIT) 
> > 0] 
> > 
> > 0 
>
> This error happens when sbcl is creating new executable (image). 
> This is rather complex operation done entirely by internal sbcl 
> code.  Everthing before looked OK.  The error message about 
> threads is puzzling: FriCAS uses only one thread and any other 
> thread can appear only for internal needs of sbcl or due to 
> some extensions.  In other words it seems that on Manjaro 
> sbcl is not working correctly.  I have tried on my machine 
> using the same version (1.5.3) of sbcl and it works. 
>
> One useful test is to fetch sbcl sources, build sbcl from 
> sources and then use this sbcl to build FriCAS.  That would 
> isolate general Manjaro featurs (libraries, "security 
> enhancements", etc) from Manjaro-specific changes to sbcl. 
>
> -- 
>   Waldek Hebisch 
>

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/f8b76858-5dd5-45c3-9da7-45806585a86c%40googlegroups.com.