|
|
|
Home » Extra libraries, Code snippets, applications etc. » C++ language problems and code snippets » Capture division by zero
| Capture division by zero [message #55184] |
Fri, 16 October 2020 09:15  |
 |
koldo
Messages: 3249
Registered: August 2008
|
Senior Veteran |
|
|
I would like to capture floating point errors.
For now in case of error the program execution follows, but you can find in the doubles, things like INF or NAN.
This behaviour is very conservative for my apps, and I'd prefer in some situations to capture these situations stopping the execution.
I have tried it unsuccessfully using:
- signal(SIGFPE, ...)
- _controlfp_s()
- _set_se_translator()
Any help will be acknowledged!
PD. Somebody could say "just check that all data is adequate before using it in division, sqrt, ...". That's true, but difficult and cumbersome in some situations using uncontrolled data sources where sometimes even doing lots of "if" to check the consistency of data, that's not enough.
Best regards
Iñaki
|
|
|
|
|
|
| Re: Capture division by zero [message #55206 is a reply to message #55184] |
Sun, 18 October 2020 21:21  |
 |
Klugier
Messages: 830
Registered: September 2012
Location: Poland, Kraków
|
Experienced Contributor |
|
|
Hello Koldo,
From my personal experience you should identify all the places when division by zero can occurred and handle error separately. To find all places you should use static analyzer. I saw that cppcheck and clang-tidy have tools to detect problem such this.
I also suggest to cover each of the code that can cause division by zero problem with unit tests. Some time ago I added plugin/gtest to the bazaar to make code more bulletproof. One of the reason programmers use unit tests is to test corner cases easily.
Resources:
- https://sourceforge.net/p/cppcheck/wiki/ListOfChecks/ (Just search of division)
Klugier
Ultimate++ - one framework to rule them all.
[Updated on: Sun, 18 October 2020 21:40] Report message to a moderator |
|
|
|
| Re: Capture division by zero [message #55208 is a reply to message #55203] |
Sun, 18 October 2020 21:38 |
|
koldo
Messages: 3249
Registered: August 2008
|
Senior Veteran |
|
|
Thank you Didier, now it works
I have added some additional exception handling in DEBUG mode in SysInfo activated with ExceptionHandler() call.
It includes floating point exception handling.
It might be worth including something like this in main U++, that already includes signal(SIGFPE and other, only valid in Linux.
Best regards
Iñaki
[Updated on: Sun, 18 October 2020 21:38] Report message to a moderator |
|
|
|
| Re: Capture division by zero [message #55212 is a reply to message #55208] |
Mon, 19 October 2020 07:57 |
|
koldo
Messages: 3249
Registered: August 2008
|
Senior Veteran |
|
|
Quote:From my personal experience you should identify all the places when division by zero can occurred and handle error separately. I agree with you. However the DEBUG mode serves to capture unexpected situations, and this is to add more power to DEBUG mode detection of unexpected and nasty events. In addition to numerical errors, I have included unhandled exceptions, pure virtual functions and invalid parameter handler.
As soon as I tried it with one of my applications, I found a division by zero in an initialization that, by pure luck, had never caused any problem. This alone has been worth the effort, and I think I will capture many more ugly situations like this. 
Edit: PD: In a perfect world, DEBUG would be useless 
Best regards
Iñaki
[Updated on: Mon, 19 October 2020 08:18] Report message to a moderator |
|
|
|
| Re: Capture division by zero [message #55216 is a reply to message #55212] |
Mon, 19 October 2020 20:54 |
Didier
Messages: 593
Registered: November 2008
Location: France
|
Contributor |
|
|
Hello Koldo and Klugier,
I agree with Koldo, although unit testing is a must have, you cannot assume that ALL is tested 100% and that it will stay that way in the future (specially and very big projects.
So adding so additionnal checks that are application wide is always a good path.
In addition to catching signals I would also print the stack trace automatically (and eventually write automatically to a file) : this is very usefull in production envs (You can get better knowledge of what went wrong at you're clients site)
Although in release mode stacktrace is less precise (du to optimisations), it is stille very helpfull (as long as you conserve the debug info associated to you're release code)
[Updated on: Mon, 19 October 2020 20:56] Report message to a moderator |
|
|
|
|
|
|
|
|
|
|
|
| Re: Capture division by zero [message #55274 is a reply to message #55184] |
Mon, 26 October 2020 23:51 |
|
Klugier
Messages: 830
Registered: September 2012
Location: Poland, Kraków
|
Experienced Contributor |
|
|
Hello Koldo,
Influential people think that divisions by zero or negative square roots are admissible in a good code. I do not agree.
This is not the problem. Error handling or problematic value handling is very important. In production software you should always do that without compromising. The problem with "CrashHandler" is that it forces error handling to all package consumers. It is not even an option - you just create global variable:
static CrashHandler crash;
Library or component provider should avoid it at all cost. You should in the documentation tell that certain function could raise exception or returns error value. If your code could read external value and then it could cause problem you are obligated to validate it and in case of problem do something with it.
At the beginning of the thread I suggest to use static analyzer to find all this divided by zero problems and handle it properly. This is the best strategy for library and professional software. I agree that minidumps are extremely helpful to identify problems on production, but it must be handled on application level - never on library level.
/**
* PUBLIC API DOCUMENTATION
* In case when divider is 0 std::runtime_error is thrown.
*/
int Calculate(int divider)
{
if (divider == 0)
{
throw std::runtime_error("Calculate(): Divider can not be zero...");
}
return 20 / divider;
}
// Now the client could deiced what to do with the exception - it can be handled locally or globally in main function, but it is still the consumer choice what to do with it
// In case of global handler provided by library the decisions were taken from application creator.
// ... Below line may even decrese the performance, because on each new allocation NewHandler will be called.
std::set_new_handler(NewHandler);
std::set_unexpected(UnexpectedHandler); // <- What if somebody defines this handler and you overriding it - you should check this at least...
To be clear my overall goal is to pick up the quality of our packages. Never decrees or compromise on error handling, so you are my ally.
Klugier
Ultimate++ - one framework to rule them all.
[Updated on: Mon, 26 October 2020 23:56] Report message to a moderator |
|
|
|
|
|
|
|
|
|
|
|
| Re: Capture division by zero [message #55295 is a reply to message #55184] |
Tue, 27 October 2020 18:58 |
Didier
Messages: 593
Registered: November 2008
Location: France
|
Contributor |
|
|
Hello Koldo,
Quote:f your code considers these situations as normal, my friend, you are screwed
I don't know what made you think that was my point of view, and it is not at all my vision (rather the contrary), the only thing I say is that code comes from everywhere and quality is not always as it should be.
So everything that can be done to detect and correct this must be done and made available (including detecting divisions by 0, overflows, ...)
And besides, no one is perfect, errors are everywhere all the time (especially with big teams): so you have to deal with them
|
|
|
|
| Re: Capture division by zero [message #55297 is a reply to message #55295] |
Tue, 27 October 2020 19:21 |
|
koldo
Messages: 3249
Registered: August 2008
|
Senior Veteran |
|
|
Didier wrote on Tue, 27 October 2020 18:58Hello Koldo,
Quote:f your code considers these situations as normal, my friend, you are screwed
I don't know what made you think that was my point of view, and it is not at all my vision (rather the contrary), the only thing I say is that code comes from everywhere and quality is not always as it should be.
So everything that can be done to detect and correct this must be done and made available (including detecting divisions by 0, overflows, ...)
And besides, no one is perfect, errors are everywhere all the time (especially with big teams): so you have to deal with them
Sorry Didier
There must be a misunderstanding. My point of view is debugging all errors, including floating point.
Absolutely I was not referring to you and your point of view.
Best regards
Iñaki
|
|
|
|
Goto Forum:
Current Time: Thu Jan 28 03:24:52 CET 2021
Total time taken to generate the page: 0.01227 seconds
|
|
|
Members
Pages
Help
Register
Login
Home
)
