Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Running out of PSP #5

Closed
olexandr-konovalov opened this issue Jan 15, 2016 · 8 comments
Closed

Running out of PSP #5

olexandr-konovalov opened this issue Jan 15, 2016 · 8 comments

Comments

@olexandr-konovalov
Copy link
Member

I've added PR #1 adding a test file based on the first of the two examples from testdata/test.g. The 2nd example from there fails with Out of space.Increase PSP. error - I don't know where to set it as many source filed have # define PSP lines with different values of PSP.

gap> testdatadir := DirectoriesPackageLibrary( "cohomolo", "testdata" );;
gap> Read( Filename ( testdatadir, "a6" ) );
gap> chr:= CHR( G, 3, F, m3 );;
gap> M:= SchurMultiplier( chr );
#I  Indices in the subgroup chain are:  10 4 
#I   Cohomolo package: Calling external program.
Out of space.Increase PSP.
#I   External program complete.
Error, 'Cohomolo' failed for some reason.
 called from
Cohomolo( chr, true, false, false, TmpName(  ) 
 ); at /Users/alexk/gap4r8p1/pkg/cohomolo/gap/coho4.g:880 called from
<function "SchurMultiplier">( <arguments> )
 called from read-eval loop at line 80 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 
@olexandr-konovalov
Copy link
Member Author

The message is printed by standalone/progs.d/conpdc1.c but there is no # define PSP line there...

@olexandr-konovalov
Copy link
Member Author

With increases info level, the error looks like

gap> M:= SchurMultiplier( chr );
#I   Cohomolo package: Calling external program.
#I/Users/alexk/gap4r8p1/pkg/cohomolo/bin/x86_64-apple-darwin14.5.0-gcc-5-defau\
lt64/cohomology.gap -mn 3 /tmp/gaptempfile.gztXeJ
Out of space.Increase PSP.
#I   External program complete.
Error, 'Cohomolo' failed for some reason.
 called from
Cohomolo( chr, true, false, false, TmpName(  ) 
 ); at /Users/alexk/gap4r8p1/pkg/cohomolo/gap/coho4.g:880 called from
<function "SchurMultiplier">( <arguments> )
 called from read-eval loop at line 81 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 

@olexandr-konovalov
Copy link
Member Author

I've rebuilt cohomolo with gcc 5.2.0 installed using Homebrew and the problem disappeared. I will now update my PR #1 with another example. This show how testing is important !

@olexandr-konovalov
Copy link
Member Author

Thank you to Derek who explained this to me today:

The cohomolo package consists of a large number of separate C programs, most of which define (their own value of) PSP. To find out exactly which C program was running when the crash occurred, edit cohomolo/bin/execcmd.gap file and insert the line

verbose=true

at the beginning of that file. Then it should print out each program call before running it.

@olexandr-konovalov
Copy link
Member Author

Resolved for now - the remedy is to used gcc instead of clang on OS X. Similar problems known for KBMAG. It may have sense to get to the original problem and make it working with clang - I've filed #6 to remind of that.

@fingolfin
Copy link
Member

I am not sure why this was closed and a new issue was opened -- this issue is not resolved, as it still occurs; we merely discovered that it depends on the compiler whether the failure appears or not... Since #6 contains far less details (e.g. no information on what the failure is, how to track down which of the many executables triggers it ec.), I have reopened this issue and closed #6.

@olexandr-konovalov
Copy link
Member Author

ok - maybe #6 should be deleted in this case...

@fingolfin
Copy link
Member

I don't think you can delete issues, just close them

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants