Comments (3)
The only tests for sel4bench are hardware tests so far, which I don't think we should run automatically on every PR.
We could enable the builds for those tests, though, and make the tests themselves available to be triggered via a label. That would certainly be an improvement.
Would it make sense to have something under simulation that doesn't measure anything useful but that confirms that the code at least runs and does not just compile?
from sel4bench.
I think this makes sense on a practical level, seeing that it builds and runs into know issues is worth something at least. I've seen that some tests fail in QEMU due to some jitter getting detected, so it's triggering a sanity check at least that get some test coverage then. Weighting this again more pressing issues it, might be a thing for the student task list.
I have an item on the lower end of my ToDo-List for running benchmarks in a simulation and either finding things that make sense, or find a simulation besides the standard QEMU (Renode, ARM FastModel .....) that is suitable enough to produce some stable numbers that are worth something. It came in though taking over seL4/seL4#298 ...
from sel4bench.
#19 adds sel4bench builds for pull requests and a hw-test
label to run them on hardware. We should probably make simulation runs for sel4bench a separate issue, because that's a longer-term project.
from sel4bench.
Related Issues (11)
- Delete merged branch spdx HOT 1
- Ability to change bench app options for RiscV HOT 3
- CI actions should build with clang also HOT 4
- avoid memset warning in apps/sel4bench/src/irq.c
- CI action repo checkout python script get-prs can't find github module HOT 3
- bench/risc-v: apps/fault fails to build HOT 1
- Page-Mapping benchmark error "seL4_Fault_CapFault" HOT 2
- sel4bench build is failing for Quartz64 HOT 6
- How can print log in a process spanwed by benchmark_spawn_process
- The results are not stable when using sel4bench. HOT 2
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 sel4bench.