soarlab / fptuner Goto Github PK

Hi,

I am trying to install FPTuner and ran into several issues when building dependencies, particularly the INTERVAL library of FPTaylor. Seems like this is a known issue, so I applied the suggested solution and used the make fptaylor-simple-interval to compile FPTaylor. All dependencies are now installed, but seems like the later version of FPTaylor is incompatible with FPTuner.

When running the command:
$ python3 ./fptuner.py -e 0.001 ../examples/helloworld0.py

I am getting the following error:

$~/FPTuner/bin/./fptuner.py:4: DeprecationWarning: the imp module is deprecated in favour of importlib and slated for removal in Python 3.12; see the module's documentation for alternative uses
  import imp
Traceback (most recent call last):
  File "/root/FPTuner/bin/./fptuner.py", line 259, in <module>
    main()
  File "/root/FPTuner/bin/./fptuner.py", line 196, in main
    eforms, alloc = tft_tuning.TFTRun(EXPRS_NAME)
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_tuning.py", line 181, in TFTRun
    eforms, alloc = tft_sol_exprs.SolveExprs(fname_input, OPTIMIZERS)  
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_sol_exprs.py", line 587, in SolveExprs
    ef = GenerateErrorFormFromExpr(te, ERROR_TYPE, E_UPPER_BOUND, M2, EQ_GIDS, CONSTRAINT_EXPRS) 
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_sol_exprs.py", line 133, in GenerateErrorFormFromExpr
    text_terms = tft_get_first_derivations.GetFirstDerivations(expr)
                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_get_first_derivations.py", line 201, in GetFirstDerivations
    ParseFPTaylorResults(cstr_expr, vs, fpt_outputs) 
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_get_first_derivations.py", line 143, in ParseFPTaylorResults
    assert(id_comment in raw_expr_2_comment.keys()) 
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError

Any advice on how to proceed? Is it possible to use FPTuner without the INTERVAL library?

Dear FPTuner Team,

When building the code:

/usr/bin/ld: chcw.o: relocation R_X86_64_32S against `.bss' can not be used when making a shared object; recompile with -fPIC

My system is Ubunt17.10 and python3.6.

Could you help me?
Best,

Hi,
I am trying to build and use FPTuner in an Ubuntu 16.04 x86_64 machine. I installed the latest Gurobi, but the FPTuner build fails in InstallFPTaylor. What should I do to fix this?

Downloading FPTaylor git repository at branch develop
Checking out FPTaylor at commit bb773cb0e9e1b13db8845623e80186e1a343bb11
Building FPTaylor
File "fpu.ml", line 24, characters 0-52:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 25, characters 0-54:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 26, characters 0-60:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 24, characters 0-52:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 25, characters 0-54:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 26, characters 0-60:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
/usr/bin/ld: chcw.o: relocation R_X86_64_32S against `.bss' can not be used when making a PIE object; recompile with -fPIC
/usr/bin/ld: final link failed: Nonrepresentable section on output
collect2: error: ld returned 1 exit status
File "none", line 1:
Error: Error while building custom runtime system
Makefile:23: recipe for target 'ocamlfpu' failed
make[1]: *** [ocamlfpu] Error 2
Makefile:71: recipe for target 'compile-interval' failed
make: *** [compile-interval] Error 2
Traceback (most recent call last):
File "setup.py", line 258, in
main(sys.argv)
File "setup.py", line 199, in main
InstallFPTaylor("develop", "bb773cb0e9e1b13db8845623e80186e1a343bb11")
File "setup.py", line 83, in InstallFPTaylor
assert(os.path.isfile("./fptaylor"))
AssertionError

Thank you very much.

Hello,

First of all, many thanks for the excellent paper and sharing the work through this repo.

I'm trying to build FPTuner in an Ubuntu 16.04. I get the following errors related to building Gelpia.

1. "make requirements" fails: the url (http://lipforge.ens-lyon.fr/frs/download.php/162/crlibm-1.0beta4.tar.gz) to download CRLibM is broken

2. I bypassed problem 1. by using the crlibm.tar.gz from the develop branch of Gelpia and have succesfully built requirements. However, compilation of Gelpia ("make") fails with an error related to Rust and the getopts package:

error[E0301]: cannot mutably borrow in a pattern guard
--> /home/ggeorgak/.cargo/registry/src/github.com-1ecc6299db9ec823/getopts-0.2.17/src/lib.rs:405:73
|
405 | } else if was_long || name_pos < names.len() || args.peek().map_or(true, |n| is_arg(&n)) {
| ^^^^ borrowed mutably in pattern guard

error: aborting due to previous error

error: Could not compile getopts.

I am trying to build and use FPTuner in an Ubuntu 16.04 x86_64 virtual machine. I got Gurobi installed, but the FPTuner build fails while trying to compile Gelpia in what looks like Rust code. I'm not familiar with Rust so I'm not sure where to start debugging this one. Is this an FPTuner issue or a Gelpia issue?

Downloading Gelpia git repository at branch ArtifactEvaluation
Building Gelpia requirements
Installing Rust
Installing CRLibM
Installing GAOL
Building Gelpia
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338:23: 338:42 error: the `?` operator is not stable (see issue #31436)
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338         let out_dir = self.get_out_dir()?;
                                                                                                          ^~~~~~~~~~~~~~~~~~~
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338:23: 338:42 help: add #![feature(question_mark)] to the crate attributes to enable
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:341:25: 341:48 error: the `?` operator is not stable (see issue #31436)
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:341             let mut f = fs::File::create(&src)?;
                                                                                                            ^~~~~~~~~~~~~~~~~~~~~~~
[many more similar lines snipped]