Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming.threads > #5948

About the Sanitizers..

Show all headers | View raw

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.

Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread

Thread

About the Sanitizers.. aminer68@gmail.com - 2020-08-01 16:36 -0700

csiph-web