On Thu, Oct 22, 2015 at 05:17:50AM +0100, Alan Burlison wrote: > It's been said that the current mechanisms in Linux & some BSD > variants can be subject to races
You do realize that it goes for the entire area? And the races found in this thread are in the BSD variant that tries to do something similar to what you guys say Solaris is doing, so I'm not sure which way does that argument go. A high-level description with the same level of details will be race-free in _all_ of them. The devil is in the details, of course, and historically they had been very easy to get wrong. And extra complexity in that area doesn't make things better. >, and the behaviour exhibited > doesn't conform to POSIX, for example requiring the use of > shutdown() on unconnected sockets because close() doesn't kick off > other threads accept()ing on the same fd. Umm... The old kernels (and even more - old userland) are not going to disappear, so we are stuck with such uses of shutdown(2) anyway, POSIX or no POSIX. > I'd be interested to hear > if there's a better and more performant way of handling the > situation that doesn't involve doing the sort of bookkeeping Casper > described,. So would a lot of other people. > To quote one of my colleague's favourite sayings: Performance is a > goal, correctness is a constraint. Except that in this case "correctness" is the matter of rather obscure and ill-documented areas in POSIX. Don't get me wrong - this semantics isn't inherently bad, but it's nowhere near being an absolute requirement. -- To unsubscribe from this list: send the line "unsubscribe netdev" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
