Re: protected type interrupts

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

REH a �crit :
> I am having a disagreement with a compiler vendor.  I am using a
> protected type for an interrupt handler (see below).  The handler
> simply sets a boolean to true that an entry is using as a guard.  The
> entry is called by a task.  Basically, the task is blocked until
> signaled by the interrupt to do the processing.  With newer versions of
> their compiler, the computer resets.  They say it is because they are
> calling the entry at the interrupt level, and not the task level (we
> process this in a task because we have to do things you cannot do in a
> interrupt).  They say the LRM allows them to do this.  Is that true?
C.3.1 (17) allows them to pretty much anything. Apparently, a 
ceiling_priority is in effect (either because you specified it, or by 
default), thus your task inherits the ceiling of the protected type 
(which is an interrupt_priority), and this implementation seems to 
forbid an entry to be called at an interrupt level.

A work-around could be:
   protected Relay_Object is

     procedure Isr;

     entry Process_Interrupt;

   private

     Triggered : Boolean := False;

   end Relay_Object;

   protected Interrupt_Object is

     procedure Isr;
     pragma Attach_Handler(Isr, XXX);
     pragma Interrupt_Priority(XXX);

   private

     pragma Suppress(All_Checks, On => Isr);
   end Interrupt_Object;

   protected body Relay_Object is

     procedure Isr is
     begin
       Triggered := True;
     end Isr;

     entry Process_Interrupt when Triggered is
     begin
       Triggered := False;

       -- process interrrupt
     end Process_Interrupt;

   end Relay_Object;

   protected body Interrupt_Object is

     procedure Isr is
     begin
       Relay_Object.Isr;
     end Isr;
   end Interrupt_Object;

This way, the task is not calling a PO that serves as an interrupt 
handler, thus C.3.1 (17) does not apply.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr