Code Monkey home page Code Monkey logo

Comments (5)

umangm avatar umangm commented on September 15, 2024

Hi @DemoAuguste,
RAPID does not come with its own logger, and relies on other tools like RVPredict or RoadRunner to generate traces.
Once you have traces generated from these tools, you can use them in RAPID, either directly or after converting them to a more readable format like CSV or STD.

Instructions for generating traces using RVPredict are given in the readme: https://github.com/umangm/rapid/blob/master/README.md
Instructions for generating traces using RoadRunner are here: https://github.com/umangm/rapid/blob/master/notes/Generate_RoadRunner_traces.md

Instructions for converting traces in any format to CSV or STD:

cd rapid/
ant jar
java -cp ./lib/*:rapid.jar <PrintClass> -f <format> -p <path>

Here,

  • <PrintClass> is either PrintSTD or PrintCSV depending upon the output format you want.
  • <format> is rr if the traces have been generated using RoadRunner. In this case <path> is the path to the log file.
  • <format> is rv if the traces have been generated using RVPredict. In this case, <path> is the path to the folder that contains the binary files.

Tip: I would recommend using the STD format over the CSV format. The CSV format does not handle fork joins elegantly.

from rapid.

DemoAuguste avatar DemoAuguste commented on September 15, 2024

Hi @umangm
Thanks for your reply. But I tried instructions you told me and I encountered with the following exception:

Exception in thread "main" java.lang.NoClassDefFoundError: org/apache/commons/cli/ParseException
	at PrintSTD.main(PrintSTD.java:13)
Caused by: java.lang.ClassNotFoundException: org.apache.commons.cli.ParseException
	at java.net.URLClassLoader.findClass(URLClassLoader.java:381)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	... 1 more

My instructions are as follows:

git clone [email protected]:umangm/rapid.git
cd rapid
ant build
ant jar
java -cp ./lib/*:rapid.jar PrintSTD -f rv -p ../base_log_dir/test/

I wonder if I have missed some critical steps so I can not generate the right outputs.

from rapid.

umangm avatar umangm commented on September 15, 2024

The last commit was about 6 hours ago, so please make sure you pull before you start.
Also can you paste the outputs of the following command for me:

ant clean; ls lib/; ant build; ant jar #assuming you are in the folder rapid/

from rapid.

DemoAuguste avatar DemoAuguste commented on September 15, 2024

I have got the right output successfully. Thank you very much!
I am also doing some research on data race detection. Your paper and work are excellent and interesting. Hope to have a further communication with you.

from rapid.

umangm avatar umangm commented on September 15, 2024

Thank you! We can take this conversation offline. My email is [email protected]
I would like to know more about your research !

from rapid.

Related Issues (4)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.