Comments (2)
Related: spack/spack#8738 .
from verrou.
Here are a few quick thoughts:
-
The development of Verrou has been announced on the Valgrind mailing lists (both -users and -devel), but the Valgrind community did not seem very enthusiastic about adding Verrou as another tool. If Verrou's was to be considered as a branch off Valgrind, the repositories would probably remain separated; Verrou's repository would continue being hosted on Github.
-
Although we have no strictly defined policy about it, up to now we tend to base Verrou on stable Valgrind versions. Major versions of Verrou tend to be released at their own pace, and for each official Valgrind release, we try to release a minor version of Verrou based on the new Valgrind release. Again, if Verrou was to be considered a branch of Valgrind, this would probably not change.
That being said, I would see several advantages to moving to the strategy you're proposing:
-
As you mentioned, it would simplify the handling of Valgrind patches
-
It would simplify the installation of Verrou: no need to separately download a Valgrind version; less risk to make errors in the process
-
It would simplify the testing process of Verrou against development versions of Valgrind: a Verrou branch dedicated to valgrind-dev compatibility could be defined. Testing it would be a simple matter of merging it to the current valgrind master.
We'll have to discuss that internally and think more about it, but all in all, I think it might be worth trying. And the next Valgrind release (currently planned in September) would probably be a good occasion to put it in place.
from verrou.
Related Issues (20)
- Consider capping verrou_dd's delta list length HOT 2
- Adding call graph information to verrou_dd HOT 2
- Improving reproducibility in verrou_dd HOT 1
- Incompatibility between Valgrind 3.13 and recent binutils HOT 4
- Dealing with a verrou-unstable compiler intrinsic
- "Exclude below" symbol selection HOT 1
- RDDMin's dd.sym folder name can go over the filesystem limit HOT 1
- verrou 2.1.0 + glibc 2.27's "pow" = segfault HOT 1
- GDB's "stop-at" commands do not work HOT 1
- fmaintrin.h HOT 5
- Does it buid with Intel compilers ? HOT 5
- Verrou is incompatible with valgrind-master (after versions >3.15) HOT 1
- Provide an option to exclude exact zeros from cancellation reports
- Documentation of uncounted operation HOT 6
- Loading VERROU_* env variable with branch 3.16 of valgrind fails HOT 2
- The documention for setting the precision of the MCA backend is wrong HOT 1
- Does not compile with openmpi-4.0.3 (and it seems with any openmpi >= 3.0) HOT 2
- README broken link to manual
- Copy-paste typo in hashRatio? 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 verrou.