soarlab / fptuner Goto Github PK
View Code? Open in Web Editor NEWRigorous Floating-Point Mixed-Precision Tuner
License: MIT License
Rigorous Floating-Point Mixed-Precision Tuner
License: MIT License
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.
"make requirements" fails: the url (http://lipforge.ens-lyon.fr/frs/download.php/162/crlibm-1.0beta4.tar.gz) to download CRLibM is broken
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
.
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.
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?
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]
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,
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.