Re: close fd while select/poll/epoll

On Feb 4, 8:33 pm, phil-news-nos...@xxxxxxxx wrote:

A standard sure can say what will happening in a given scenario. Just
because there might be the very slightest possibility of a program not
succeeding in creating that scenario ONE TIME out of a BILLION does not
mean we can't understand the scenario AND define how the kernel is to
behave when the scenario does happen 999999999 times out of 1000000000.

Yes, that's exactly what it means. If a compliant program cannot know
it is not in case A, then any behavior legal for case A is legal in
that case.

There is simply no rational reason for a standard to prohibit
*undetectable* violations of its terms. So they all contain an 'as if'
rule that basically says that the standard only specifies the
observable behavior of the implementation, and the implementation is
free to violate the wording of the standard provided such a violation
is unobservable (cannot be detected *ever* by *any* compliant
program).

If the program cannot be sure it is not in case A, then no matter what
the standard says, the behavior permitted for case A is permitted for
the case the program is in.

DS
.

Relevant Pages

  • Re: Apith Predatory Realities: not like those of extant chimps (Repost from 08/2003)
    ... Whereas your scenario just assumes these ... behaviors/adaptations my scenario ... Apiths sleeping in trees, and avoiding predators ... you (and standard PA) claims that there were ...
    (sci.anthropology.paleo)
  • Re: Is Oreopithicus the Aquatic Ape Link?
    ... That evidence is based on the standard PA ... > allows for a scenario where the morphology of the obligate biped is at ... > an advantage over a creature who is merely a facultative biped. ... with competitors, ...
    (sci.anthropology.paleo)
  • Re: close fd while select/poll/epoll
    ... |> A standard sure can say what will happening in a given scenario. ... The 'as-if' rule in every standard ... | says that only behavior that can be detected by a compliant program ... The test program can TRY to create the situation. ...
    (comp.os.linux.development.system)
  • Re: Office 2003 Standard and Access 97 on same computer
    ... Everything okay with this scenario? ... Avoid using IE to open docs from. ... office have purchased MVL editions of Office 2003 standard. ...
    (microsoft.public.office.misc)
  • Re: close fd while select/poll/epoll
    ... Only if a conforming application can create that scenario. ... succeeding in creating that scenario ONE TIME out of a BILLION does not ... If a compliant program can never be certain it has created the ... The 'as-if' rule in every standard ...
    (comp.os.linux.development.system)