Re: Private or public task ?

[Jean-Pierre Rosen <rosen@adalog.fr>]

Maciej Sobczak a �crit :
> On 9 Lut, 15:26, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
> 
>> There are two kinds of blockings: bounded and unbounded. The idea is
>> that when computing a time budget, you can account for bounded
>> blockings, but not unbounded ones.
> 
>> The "potentially blocking" phrase should be understood as really meaning
>> unbounded.
> 
> Well, I know what you try to convey, but there are traps:
> 
>    delay Some_Static_Constant;
> 
> Is it bounded or unbounded?
> 
For the rules of potentially blocking operations, delay is potentially
blocking because it /can/ be unbounded. Many unbounded things can be
proved bounded with sufficient analysis and provided some elements are
static; that's not the point here.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr