> -----Original Message----- > From: lng-odp-boun...@lists.linaro.org [mailto:lng-odp- > boun...@lists.linaro.org] On Behalf Of ext Ola Liljedahl > Sent: Thursday, January 29, 2015 7:02 PM > To: Taras Kondratiuk > Cc: lng-odp@lists.linaro.org > Subject: Re: [lng-odp] Handling xxx_INVALID handles > > On 29 January 2015 at 17:46, Taras Kondratiuk > <taras.kondrat...@linaro.org> wrote: > > Petri requires calls on shared resources (e.g. shared memory, pools) > to be robust even when called with *stale* handles (because some other > thread might just have freed the shared resource).
No, implementation is _not required_ to do that check, but API definition must not ban that check. If implementation can check it, it can return an error. If it cannot check, it will crash. Application will always check the return value. -Petri > > > > > _______________________________________________ > > lng-odp mailing list > > lng-odp@lists.linaro.org > > http://lists.linaro.org/mailman/listinfo/lng-odp > > _______________________________________________ > lng-odp mailing list > lng-odp@lists.linaro.org > http://lists.linaro.org/mailman/listinfo/lng-odp _______________________________________________ lng-odp mailing list lng-odp@lists.linaro.org http://lists.linaro.org/mailman/listinfo/lng-odp