Skip to content

rfourquet/LoadFlint.jl

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

33 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Problem:
Polymake needs flint needs gmp Nemo needs antic needs flint needs gmp

Depending on the order of the calls to init two copies of libflint (and libgmp) are loaded. The ones coming from Nemo have the memory allocators set to use the julia allocators, while Polymake does not.

Later in the code I call libantic which calls libflint to alloc memory Then I call libflint to free the memory, as antic is a derivative of flint.

Now antic calls the 2nd copy of libflint, the one where memory management is done by the system

Thus the free from the 1st call to libflint crashes.

Alternative approach set all memory functions in all gmp's to match julia: fails as allocations in polymake are happening before Julia can change this.

Thus LoadFlint

which will only make sure that libgmp and libflint are in the process space and properly initialized.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Julia 100.0%