[openbeos] Re: POSIX thread safety, was: Re: Waiting and waiting

On Wed, 11 Dec 2002, Scott Mansfield wrote:

> On Wednesday 11 December 2002 07:31, you wrote:
> > > On Tuesday 10 December 2002 11:51, you wrote:
> > > > The definition I read didn't say that a reentrant function has to
> > > > return
> > > > the same thing each time it's called with the same parameters.
> > >
> > > That would be "idempotent," not re-entrant.
> >
> > A function f: X -> X is called idempotent, if f * f = f. The above
> > definition matches something like stateless deterministic, I would say.
>
> Same for f: D -> D, it is idempotent if f(f x) = f x for all x in D?

Yep, that's what f * f = f means.

CU, Ingo


Other related posts: