[erlang-questions] Subtle behaviour of Erlang scheduler

[Corrado Santoro]

Ulf Wiger (TN/EAB) wrote:
> BTW, where is it documented that 'high' and 'max'
> are strict priorities, and does this still hold
> true in an SMP environment (i.e. can one high
> priority process starve all normal priority 
> processes)? 
Indeed, this could be reasonable, IMHO, according to a "standard" 
priority system.


> The code server is a pretty heavy process to 
> run on a blocking priority. One way to address
> the problem would be to make all priorities 
> non-strict, right?
Or to think about a priority inheritance/ceiling system. If we think 
that a gen_server is something like an object and that a gen_server:call 
is something like a method call, it is reasonable to assume that a 
process receiving a message handles it running with the same priority of 
the sending process. That is, not only the receiving process uses the 
reductions left by the sending proces, but also its priority. This 
should definitively solve the problem by means of a state-of-art approach.

All the best,
--Corrado

-- 
==================================================================
Eng. Corrado Santoro, Ph.D.
University of Catania - ITALY - Engineering Faculty

Tel: +39 095 7382380        VoIP: sip:7035@REDACTED

Personal Home Page: http://www.diit.unict.it/users/csanto
     NUXI Home Page: http://nuxi.diit.unict.it
==================================================================