Is it considered to be ok to not check the return code of close(2) in base?
Andrew Duane
aduane at juniper.net
Mon Jan 8 18:05:31 UTC 2018
> -----Original Message-----
> From: owner-freebsd-hackers at freebsd.org [mailto:owner-freebsd-
> hackers at freebsd.org] On Behalf Of Eric van Gyzen
> Sent: Monday, January 8, 2018 12:52 PM
> To: Rodney W. Grimes <freebsd-rwg at pdx.rh.CN85.dnsmgr.net>; Eugene
> Grosbein <eugen at grosbein.net>
> Cc: Yuri <yuri at rawbw.com>; Brooks Davis <brooks at freebsd.org>; Ian
> Lepore <ian at freebsd.org>; Alan Somers <asomers at freebsd.org>; Freebsd
> hackers list <freebsd-hackers at freebsd.org>
> Subject: Re: Is it considered to be ok to not check the return code of close(2)
> in base?
>
> On 01/08/2018 10:55, Rodney W. Grimes wrote:
> >> 08.01.2018 23:13, Eric van Gyzen wrote:
> >>
> >>> Right, which is the reason such bugs are hard to diagnose.
> >>> Optionally killing the process on close->EBADF would help find buggy
> >>> code when another thread did NOT re-open the file descriptor between
> >>> the two close calls.
> >>
> >> Wouldn't "close(f); assert(errno != EBADF);" be better?
>
> Putting the code in one place is far better than putting it in N places...after
> /finding/ those N places. Indeed, the purpose of this code is to help people
> find those places, even in their own code, outside of base.
>
> > Or even
> > #ifdef DEBUG_CLOSE
> > #define close(f) close(f); assert(errno != EBADF);
> > #endif
>
> errno could have been EBADF before the close(). A successful close() does
> not modify errno. So, this would have be larger, making it even more
> unpalatable.
>
> > Then the people that want to go chasing these errors can, and the rest
> > of us are untouched.
>
> Every mention in this thread of killing the process has called it optional.
> Tools, not policy.
>
> Eric
Of course, my OCD will kick in and say this would need to be something like:
#ifdef DEBUG_CLOSE
#define close(f) do {if (close(f) < 0) assert(errno != EBADF); } while (0)
#endif
Have to watch those macro replacements like "if (need_to_close) close(f);". And the close succeeding :-)
....................................
Andrew L. Duane - Principal Resident Engineer
AT&T Advanced Services Technical Lead
Juniper Quality Ambassador
m +1 603.770.7088
o +1 408.933.6944 (2-6944)
skype: andrewlduane
aduane at juniper.net
More information about the freebsd-hackers
mailing list