Comments (18)
Hi @jahidhasanlinix
I tried building hydra on a clean slate Ubuntu 20.04 machine, but could not reproduce the issue.
Could you please share your environment?
from hydra.
What is the output of stat /home/hydra/src/lkl
?
src/dep.sh
should install all necessary libraries, and then running make build-btrfs-imgwrp
under src
should compile everything.
from hydra.
*** Configuration file ".config" not found!
***
*** Please run some configurator (e.g. "make oldconfig" or
*** "make menuconfig" or "make xconfig").
***
make[2]: *** [scripts/kconfig/Makefile:69: syncconfig] Error 1
make[1]: *** [Makefile:538: syncconfig] Error 2
Makefile:595: include/config/auto.conf: No such file or directory
make: *** [Makefile:635: include/config/auto.conf] Error 2
from hydra.
Something seems off..
As shown in the error message, the build script clones https://github.com/sslab-gatech/lkl.git
to /home/hydra/src/lkl
. If your system does not have /home/hydra/src/lkl
, that could mean the build failed before cloning the repository.
Could you try starting over after cloning the latest master branch of this repository?
from hydra.
Please clone https://github.com/sslab-gatech/hydra.git
to another directory, and retry building there.
from hydra.
I'm not entirely following your setup. Where did you clone hydra.git
this time? In other words, where did you run git clone https://github.com/sslab-gatech/hydra.git
command? The answer to these questions ought to be your new workspace directory, where you're supposed to cd src
and run make build-btrfs-imgwrp
command.
from hydra.
Could you follow these steps?
$ rm -rf /home/hydra
$ rm -rf /home/jahid/hydra
$ cd /home/jahid
$ git clone https://github.com/sslab-gatech/hydra.git
$ cd /home/jahid/hydra/src
$ make build-btrfs-imgwrp
Please note that you are not supposed to clone lkl
yourself. The build script will do that for you.
from hydra.
dep.sh
is not needed if you've already run it previously; it installs packages on your system, which remain on the system unless you explicitly uninstall them.
from hydra.
dep.sh
is not needed if you've already run it previously; it installs packages on your system, which remain on the system unless you explicitly uninstall them.
Seems like its working but at the end I am getting this error again, little different than previous one--- Is it normal behavior?
remote: Counting objects: 100% (3/3), done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 6486812 (delta 0), reused 1 (delta 0), pack-reused 6486809
Receiving objects: 100% (6486812/6486812), 1.59 GiB | 50.28 MiB/s, done.
Resolving deltas: 100% (5487365/5487365), done.
Updating files: 100% (63299/63299), done.
(cd /home/jahid/hydra/src/lkl && ./compile -t btrfs -c && cd -)
/bin/sh: 1: ./compile: not found
make: *** [Makefile:52: build-lkl-btrfs] Error 127
from hydra.
That is not quite right. What's the output of ls -alh /home/jahid/hydra/src/lkl
?
from hydra.
Does your system has python3? (python --version
)
from hydra.
Does your system has python3? (
python --version
)
So I updated the python version:
python --version
Python 3.8.10
from hydra.
What about,
cd /home/jahid/hydra/src/lkl
./compile -t btrfs -c
?
from hydra.
What about,
cd /home/hydra/src/lkl ./compile -t btrfs -c
?
Seems like its working now, does the last few lines are similar to your results?
make: Leaving directory '/home/hydra/src/lkl/tools/lkl'
cp -f tools/lkl/executor tools/lkl/btrfs-executor
cp -f tools/lkl/combined tools/lkl/btrfs-combined
cp -f tools/lkl/combined-consistency tools/lkl/btrfs-combined-consistency
from hydra.
Yes, with run.py
you can run the fuzzer, and let the fuzzer run for however long you want. We manually terminated the fuzzer (ctrl + c) after 12 hours in that experiment.
from hydra.
So basically there was no timer or signal to sleep it, right? It runs automatically for infinite time, something like that?
Correct. It keeps running.
the image file you run for 12 hours, may I know where it was located in your codebase
You can find the base images for each file system in src/samples/oracle/
. {filesystem}-10.image
are the ones used for crash consistency testing, and they are passed to the fuzzer as an argument (line 72 in src/run.py
).
from hydra.
passed to the fuzzer as an argument (line 7
Great. That helps a lot. I really appreciate your help. We can close this issue now. As I do not have any question now for this issue. Thank you again.
from hydra.
My pleasure! Closing.
from hydra.
Related Issues (20)
- Run out of memory and segfault reported? HOT 1
- c5d1b0c make build-xfs-imgwrp failed HOT 1
- how to enable kasan? HOT 2
- How to test FUSE filesystems? HOT 2
- No instrumentation detected HOT 5
- Who did u report the bug to? HOT 2
- can't find setup logic bug HOT 2
- Makefile Issue
- Fuzzer Not Displaying: Interrupted HOT 9
- Question about new image HOT 7
- Debug Issue on Hydra
- test image fail on my os
- Can not reproduce bugs with ubuntu 18.04 and back-port LKL kernel 4.16 HOT 2
- Image Failed
- make build-xfs-imgwrp error
- got crashes reported in ALF UI, but there is no test case exists in 'log directory'
- Expand to other filesystems? HOT 2
- How do the raw images generate? HOT 3
- SilbylFS checker? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from hydra.