Skip to content
New issue

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

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

Already on GitHub? # to your account

Failure to extract features for c++ programs #6

Closed
twang15 opened this issue Jul 16, 2018 · 3 comments
Closed

Failure to extract features for c++ programs #6

twang15 opened this issue Jul 16, 2018 · 3 comments

Comments

@twang15
Copy link

twang15 commented Jul 16, 2018

There are error messages while extracting features of a c++ program.
E.g.,

ML-FEAT-PROC Error (2): Error consulting featuresall.P: unrecoverable_error/++Error[XSB/Runtime/P]: [Unrecoverable!]
++Memory violation occurred during evaluation.
++Please report this problem using the XSB bug tracking system accessible from
++ http://sourceforge.net/projects/xsb
++Please supply the steps necessary to reproduce the bug.
SourceForge
XSB
Download XSB for free. Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
[featuresall compiled, cpu time used: 1.0250 seconds]
ML-FEAT-PROC Error (2): Error consulting featuresall.P: misc_error/++Error[XSB/Runtime/P]: [Miscellaneous] [Error in loading file ,./featuresall.xwam]
ML-FEAT-PROC Error: Query Error: existence_error/++Error[XSB/Runtime/P]: [Existence (No procedure :(usermod,/(fn_bb_nr,2)) exists)]

@twang15
Copy link
Author

twang15 commented Jul 16, 2018

Also, not every function has a corresponding *.ft (feature file), which may be caused by the above error.

@twang15
Copy link
Author

twang15 commented Jul 16, 2018

It may be caused by concurrent access to certain files when invoking multiple g++ instance with make -jN, where N is >= 2.

Using single compilation thread can indeed eliminate the above error message.

@gfursin
Copy link
Member

gfursin commented Jul 18, 2018

Good point and thanks for reporting! I added notes to readme: https://github.com/ctuning/reproduce-milepost-project#notes . By the way, this is yet another motivation to implement feature aggregation inside GCC/LLVM plugins rather than external Prolog files ...

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

No branches or pull requests

2 participants