diff options
Diffstat (limited to 'gcc/ada/5gintman.adb')
| -rw-r--r-- | gcc/ada/5gintman.adb | 97 |
1 files changed, 84 insertions, 13 deletions
diff --git a/gcc/ada/5gintman.adb b/gcc/ada/5gintman.adb index 8868a8479dc..57771303f16 100644 --- a/gcc/ada/5gintman.adb +++ b/gcc/ada/5gintman.adb @@ -6,7 +6,8 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1997-1998, Florida State University -- +-- Copyright (C) 1991-1994, Florida State University -- +-- Copyright (C) 1995-2003, Ada Core Technologies -- -- -- -- GNARL is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -26,9 +27,8 @@ -- however invalidate any other reasons why the executable file might be -- -- covered by the GNU Public License. -- -- -- --- GNARL was developed by the GNARL team at Florida State University. It is -- --- now maintained by Ada Core Technologies Inc. in cooperation with Florida -- --- State University (http://www.gnat.com). -- +-- GNARL was developed by the GNARL team at Florida State University. -- +-- Extensive contributions were provided by Ada Core Technologies, Inc. -- -- -- ------------------------------------------------------------------------------ @@ -40,12 +40,15 @@ -- Make a careful study of all signals available under the OS, -- to see which need to be reserved, kept always unmasked, -- or kept always unmasked. + -- Be on the lookout for special signals that -- may be used by the thread library. with System.OS_Interface; -- used for various Constants, Signal and types +with Interfaces.C; +-- used for "int" package body System.Interrupt_Management is use System.OS_Interface; @@ -75,6 +78,10 @@ package body System.Interrupt_Management is -- unnamed signal number 48 for pthread_kill! -- + Unreserve_All_Interrupts : Interfaces.C.int; + pragma Import + (C, Unreserve_All_Interrupts, "__gl_unreserve_all_interrupts"); + ---------------------- -- Notify_Exception -- ---------------------- @@ -98,16 +105,80 @@ package body System.Interrupt_Management is end Initialize_Interrupts; begin - Abort_Task_Interrupt := Abort_Signal; + declare + function State (Int : Interrupt_ID) return Character; + pragma Import (C, State, "__gnat_get_interrupt_state"); + -- Get interrupt state. Defined in a-init.c + -- The input argument is the interrupt number, + -- and the result is one of the following: + + User : constant Character := 'u'; + Runtime : constant Character := 'r'; + Default : constant Character := 's'; + -- 'n' this interrupt not set by any Interrupt_State pragma + -- 'u' Interrupt_State pragma set state to User + -- 'r' Interrupt_State pragma set state to Runtime + -- 's' Interrupt_State pragma set state to System (use "default" + -- system handler) + + use Interfaces.C; + + begin + Abort_Task_Interrupt := Abort_Signal; + + pragma Assert (Keep_Unmasked = (Interrupt_ID'Range => False)); + pragma Assert (Reserve = (Interrupt_ID'Range => False)); + + -- Process state of exception signals + + for J in Exception_Interrupts'Range loop + if State (Exception_Interrupts (J)) /= User then + Keep_Unmasked (Exception_Interrupts (J)) := True; + Reserve (Exception_Interrupts (J)) := True; + end if; + end loop; + + if State (Abort_Task_Interrupt) /= User then + Keep_Unmasked (Abort_Task_Interrupt) := True; + Reserve (Abort_Task_Interrupt) := True; + end if; + + -- Set SIGINT to unmasked state as long as it's + -- not in "User" state. Check for Unreserve_All_Interrupts last + + if State (SIGINT) /= User then + Keep_Unmasked (SIGINT) := True; + end if; + + -- Check all signals for state that requires keeping them + -- unmasked and reserved + + for J in Interrupt_ID'Range loop + if State (J) = Default or else State (J) = Runtime then + Keep_Unmasked (J) := True; + Reserve (J) := True; + end if; + end loop; + + -- Add target-specific reserved signals + + for J in Reserved_Interrupts'Range loop + Reserve (Interrupt_ID (Reserved_Interrupts (J))) := True; + end loop; + + -- Process pragma Unreserve_All_Interrupts. This overrides any + -- settings due to pragma Interrupt_State: - for I in Reserved_Interrupts'Range loop - Keep_Unmasked (Reserved_Interrupts (I)) := True; - Reserve (Reserved_Interrupts (I)) := True; - end loop; + if Unreserve_All_Interrupts /= 0 then + Keep_Unmasked (SIGINT) := False; + Reserve (SIGINT) := False; + end if; - for I in Exception_Interrupts'Range loop - Keep_Unmasked (Exception_Interrupts (I)) := True; - Reserve (Reserved_Interrupts (I)) := True; - end loop; + -- We do not have Signal 0 in reality. We just use this value + -- to identify not existing signals (see s-intnam.ads). Therefore, + -- Signal 0 should not be used in all signal related operations hence + -- mark it as reserved. + Reserve (0) := True; + end; end System.Interrupt_Management; |