darma-tasking / serialization-sanitizer Goto Github PK
View Code? Open in Web Editor NEWCompile-time aided sanitizer for serializers to discover missing members and check for correctness.
License: Other
Compile-time aided sanitizer for serializers to discover missing members and check for correctness.
License: Other
Look for members that should not be byte serialized in types that say they are byte serializable
For bvh
, we are getting some bad generated code with a class in an anon namespace. It's not inserting the full type
void vt::pipe::signal::Signal<tree_reduce_msg>::serialize<checkpoint::serializers::Sanitizer>(checkpoint::serializers::Sanitizer& s) {
where tree_reduce_msg
is in the anon namespace within two other normal namespaces.
There seems to be some tricky elements to this given how we've implemented them for the standard library. Right now, the clang frontend pass does not cover them.
Also, modify the output of the sanitizer at runtime to include serializers that were not checked that were run!
Need inline if there end up being multiple definitions
General improvements to make the code as easy to use as possible and get it ready to plug in CI
Add the basic template workflows to this repo
Refer to DARMA-tasking/magistrate#101 to see the interface for the checkpoint::sanitizer::Runtime
that this should implement.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.