Hello...
About the Sanitizers..
I am a white arab, and i think i am smart since i have invented many
scalable algorithms, and today i will talk about Sanitizers..
So read the following web page about the Sanitizers:
https://github.com/google/sanitizers
And notice carefully the ThreadSanitizer, so read carefully
the following paper about ThreadSanitizer:
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/35604.pdf
And it says in the conclusion the following:
"ThreadSanitizer uses a new algorithm; it has several modes of
operation, ranging from the most conservative mode (which has few false positives but also misses real races) to a very aggressive one (which
has more false positives but detects the largest number of
real races)."
So as you are noticing since the very agressive mode doesn't detect
all the data races, so then it is not "scalable", so it is not good,
since you can still take a lot of time to verify a big project so that
to find the remaining data races that are not detected by ThreadSanitizer.
So what i advice is to use the incremental testing by using
the methodologies that i talk about in my following thoughts:
https://community.idera.com/developer-tools/general-development/f/getit-and-third-party/71464/about-turing-completeness-and-parallel-programming
For the rest of the Sanitizers above, here is my thoughts on how you can
do it in Delphi and Freepascal:
https://community.idera.com/developer-tools/general-development/f/getit-and-third-party/70231/fearless-security-memory-safety
Also don't forget about the following:
Null safety library for Delphi and FreePascal is here..
I have just read the following news:
Google Dart gains sound null safety
https://www.infoworld.com/article/3562572/google-dart-gains-sound-null-safety.html
And as you have noticed , i have also provided you with the
following MyNullable library for Delphi and FreePascal that
brings null safety.
Java lacks null safety. When a function receives an object,
this object might be null. That is, if you see ‘String s’ in your
code, you often have no way of knowing whether ‘s’ contains an
actually String unless you check at runtime. Can you guess whether
programmers always check? They do not, of course, In practice,
mission-critical software does crash without warning due to null values.
We have two decades of examples. In Swift or Kotlin, you have safe calls
or optionals as part of the language.
Here is MyNullable library for Delphi and FreePascal that brings null
safety, you can download it from my website here:
https://sites.google.com/site/scalable68/null-safety-library-for-delphi-and-freepascal
Thank you,
Amine Moulay Ramdane.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)