レイヴンズカーのプロフィール

プラグマ プロファイル ( Ravenscar );

プラグマ Task_Dispatching_Policy  ( FIFO_Within_Priorities );
プラグマ Locking_Policy  ( Ceiling_Locking );
プラグマ Detect_Blocking ;
プラグマの 制限 ( 
                 No_Abort_Statements 、
                 No_Calendar 、
                 No_Dynamic_Attachment 、
                 No_Dynamic_Priorities 、
                 No_Implicit_Heap_Allocations 、
                 No_Local_Protected_Objects 、No_Local_Timing_Events 、No_Protected_Type_Allocators 、No_Relative_Delay 、No_Requeue_Statements 、No_Select_Statements 、No_Specific_Termination_Handlers 、No_Task_Allocators 、No_Task_Hierarchy 、No_Task_Termination 、Simple_Barriers 、Max_Entry_Queue_Length = > 1 、Max_Protected_Entries = > 1 、Max_Task_Entries = > 0 、No_Dependence => Ada.Asynchronous_Task_Control 、No_Dependence = > Ada.Calendar 、No_Dependence => Ada . Execution_Time . Group_Budget 、No_Dependence => Ada . Execution_Time . Timers 、No_Dependence => Ada . Task _ Attributes );