s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the VxWorks task…

s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the VxWorks task descriptor in the Ada run time...

2007-04-20  Matthew Gingell  <gingell@adacore.com>
	    Jose Ruiz  <ruiz@adacore.com>

	* s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the
	VxWorks task descriptor in the Ada run time, call a C subprogram
	(__gnat_get_stack_info) that extracts the required information.

	* sysdep.c: Back out temporary lynxos workaround.
	(__gnat_get_stack_info): Add this procedure that passes to the Ada run
	time the stack information associated to the currently executing task.
	Only VxWorks systems require this function.

From-SVN: r125471

gcc/ada/s-stchop-vxworks.adb

@@ -45,7 +45,6 @@ with System.Storage_Elements; use System.Storage_Elements;
 with System.Parameters; use System.Parameters;
 with System.Soft_Links;
 with Interfaces.C;
-with System.OS_Interface;
 
 package body System.Stack_Checking.Operations is
 
@@ -79,10 +78,9 @@ package body System.Stack_Checking.Operations is
 
    --  Note: This function must be compiled with Polling turned off
 
-   --  Note: on systems like VxWorks and OS/2 with real thread-local storage,
+   --  Note: on systems like VxWorks and Linux with real thread-local storage,
    --        Set_Stack_Info should return an access value for such local
    --        storage. In those cases the cache will always be up-to-date.
-   --        Fix examples??? Linux???
 
    --  The following constants should be imported from some system-specific
    --  constants package. The constants must be static for performance reasons.
@@ -104,41 +102,22 @@ package body System.Stack_Checking.Operations is
    function Set_Stack_Info
      (Stack : not null access Stack_Access) return Stack_Access
    is
-      --  Task descriptor that is handled internally by the VxWorks kernel
-
-      type Td_Events_Storage is array (1 .. 4) of Interfaces.C.int;
-      pragma Convention (C, Td_Events_Storage);
-
-      type Task_Descriptor is record
-         T_Id            : Interfaces.C.int; -- task identifier
-         Td_Name         : System.Address; -- task name
-         Td_Priority     : Interfaces.C.int; -- task priority
-         Td_Status       : Interfaces.C.int; -- task status
-         Td_Options      : Interfaces.C.int; -- task option bits (see below)
-         Td_Entry        : System.Address; -- original entry point of task
-         Td_Sp           : System.Address; -- saved stack pointer
-         Td_PStackBase   : System.Address; -- the bottom of the stack
-         Td_PStackLimit  : System.Address; -- the effective end of the stack
-         Td_PStackEnd    : System.Address; -- the actual end of the stack
-         Td_StackSize    : Interfaces.C.int; -- size of stack in bytes
-         Td_StackCurrent : Interfaces.C.int; -- current stack usage in bytes
-         Td_StackHigh    : Interfaces.C.int; -- maximum stack usage in bytes
-         Td_StackMargin  : Interfaces.C.int; -- current stack margin in bytes
-         Td_ErrorStatus  : Interfaces.C.int; -- most recent task error status
-         Td_Delay        : Interfaces.C.int; -- delay/timeout ticks
-         Td_Events       : Td_Events_Storage; -- task events, post t2.0
+      type OS_Stack_Info is record
+         Size  : Interfaces.C.int;
+         Base  : System.Address;
+         Limit : System.Address;
       end record;
-      pragma Convention (C, Task_Descriptor);
+      pragma Convention (C, OS_Stack_Info);
+      --  Type representing the information that we want to extract from the
+      --  underlying kernel.
 
-      --  This VxWorks procedure fills in a specified task descriptor
-      --  for a specified task.
-      procedure TaskInfoGet
-        (T_Id      : System.OS_Interface.t_id;
-         Task_Desc : not null access Task_Descriptor);
-      pragma Import (C, TaskInfoGet, "taskInfoGet");
+      procedure Get_Stack_Info (Stack : not null access OS_Stack_Info);
+      pragma Import (C, Get_Stack_Info, "__gnat_get_stack_info");
+      --  Procedure that fills the stack information associated to the
+      --  currently executing task.
 
       My_Stack  : Stack_Access;
-      Task_Desc : aliased Task_Descriptor;
+      Task_Info : aliased OS_Stack_Info;
 
    begin
       --  The order of steps 1 .. 3 is important, see specification.
@@ -151,12 +130,11 @@ package body System.Stack_Checking.Operations is
 
          --  First invocation. Ask the VxWorks kernel about stack values
 
-         TaskInfoGet (System.OS_Interface.taskIdSelf, Task_Desc'Access);
+         Get_Stack_Info (Task_Info'Access);
 
-         My_Stack.Size :=
-           System.Storage_Elements.Storage_Offset (Task_Desc.Td_StackSize);
-         My_Stack.Base := Task_Desc.Td_PStackBase;
-         My_Stack.Limit := Task_Desc.Td_PStackLimit;
+         My_Stack.Size  := Storage_Elements.Storage_Offset (Task_Info.Size);
+         My_Stack.Base  := Task_Info.Base;
+         My_Stack.Limit := Task_Info.Limit;
 
       end if;
 

gcc/ada/sysdep.c

@@ -872,28 +872,30 @@ __gnat_get_task_options (void)
 #endif
 }
 
-#endif
+typedef struct
+{
+  int  size;
+  char *base;
+  char *end;
+} stack_info;
 
-#ifdef __Lynx__
+/* __gnat_get_stack_info is used by s-stchop.adb only for VxWorks. This
+   procedure fills the stack information associated to the currently
+   executing task. */
+extern void __gnat_get_stack_info (stack_info *vxworks_stack_info);
 
-/*
-   The following code works around a problem in LynxOS version 4.2. As
-   of that version, the symbol pthread_mutex_lock has been removed
-   from libc and replaced with an inline C function in a system
-   header.
-
-   LynuxWorks has indicated that this is a bug and that they intend to
-   put that symbol back in libc in a future patch level, following
-   which this patch can be removed. However, for the time being we use
-   a wrapper which can be imported from the runtime.
-*/
+void
+__gnat_get_stack_info (stack_info *vxworks_stack_info)
+{
+  TASK_DESC descriptor;
 
-#include <pthread.h>
+  /* Ask the VxWorks kernel about stack values */
+  taskInfoGet (taskIdSelf (), &descriptor);
 
-int
-__gnat_pthread_mutex_lock (pthread_mutex_t *mutex)
-{
-  return pthread_mutex_lock (mutex);
+  /* Fill the stack data with the information provided by the kernel */
+  vxworks_stack_info->size = descriptor.td_stackSize;
+  vxworks_stack_info->base = descriptor.td_pStackBase;
+  vxworks_stack_info->end  = descriptor.td_pStackEnd;
 }
 
-#endif /* __Lynx__ */
+#endif