diff options
author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2005-10-25 04:12:34 +0000 |
---|---|---|
committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2005-10-25 04:12:34 +0000 |
commit | 3837df869927b515563a33e6732d1da35c262c68 (patch) | |
tree | e59a8aa4feb1e25307ad6e0aef6e52d30bf17dbc /translate | |
parent | 729ff8c7d5c4c93bc67bd496ef398adfc980df22 (diff) | |
download | ghdl-3837df869927b515563a33e6732d1da35c262c68.tar.gz ghdl-3837df869927b515563a33e6732d1da35c262c68.tar.bz2 ghdl-3837df869927b515563a33e6732d1da35c262c68.zip |
simulation speed improved (about 20%)
Diffstat (limited to 'translate')
-rw-r--r-- | translate/grt/grt-main.adb | 7 | ||||
-rw-r--r-- | translate/grt/grt-processes.adb | 136 | ||||
-rw-r--r-- | translate/grt/grt-processes.ads | 3 | ||||
-rw-r--r-- | translate/grt/grt-stats.adb | 15 |
4 files changed, 135 insertions, 26 deletions
diff --git a/translate/grt/grt-main.adb b/translate/grt/grt-main.adb index 99ac86ca8..fa56046fd 100644 --- a/translate/grt/grt-main.adb +++ b/translate/grt/grt-main.adb @@ -99,6 +99,8 @@ package body Grt.Main is begin Register_Modules; + -- If the time resolution is to be set by the user, select a default + -- resolution. Options may override it. if Flag_String (5) = '?' then Set_Time_Resolution ('n'); end if; @@ -122,7 +124,10 @@ package body Grt.Main is Grt.Signals.Init; if Flag_Stats then - Grt.Errors.Ghdl_Exit_Cb1 := Disp_Stats_Hook'Access; + if Boolean'(False) then + -- Replaced by Setjump/Longjump. + Grt.Errors.Ghdl_Exit_Cb1 := Disp_Stats_Hook'Access; + end if; Stats.Start_Elaboration; end if; diff --git a/translate/grt/grt-processes.adb b/translate/grt/grt-processes.adb index 1e8b183ef..70ba85e9d 100644 --- a/translate/grt/grt-processes.adb +++ b/translate/grt/grt-processes.adb @@ -108,13 +108,38 @@ package body Grt.Processes is -- The secondary stack for the thread. Stack2 : Stack2_Ptr; + -- Table of processes. package Process_Table is new GNAT.Table (Table_Component_Type => Process_Type, Table_Index_Type => Process_Id, Table_Low_Bound => 1, - Table_Initial => 1, + Table_Initial => 16, Table_Increment => 100); + -- List of non_sensitized processes. + package Non_Sensitized_Process_Table is new GNAT.Table + (Table_Component_Type => Process_Id, + Table_Index_Type => Natural, + Table_Low_Bound => 1, + Table_Initial => 2, + Table_Increment => 100); + + -- List of processes to be resume at next cycle. + type Process_Id_Array is array (Natural range <>) of Process_Id; + type Process_Id_Array_Acc is access Process_Id_Array; + + Resume_Process_Table : Process_Id_Array_Acc; + Last_Resume_Process : Natural := 0; + Postponed_Resume_Process_Table : Process_Id_Array_Acc; + Last_Postponed_Resume_Process : Natural := 0; + + -- Number of postponed processes. + Nbr_Postponed_Processes : Natural := 0; + Nbr_Non_Postponed_Processes : Natural := 0; + + -- Number of resumed processes. + Nbr_Resumed_Processes : Natural := 0; + procedure Free is new Ada.Unchecked_Deallocation (Name => Sensitivity_Acc, Object => Sensitivity_El); @@ -146,6 +171,11 @@ package body Grt.Processes is return Res; end Get_Nbr_Sensitized_Processes; + function Get_Nbr_Resumed_Processes return Natural is + begin + return Nbr_Resumed_Processes; + end Get_Nbr_Resumed_Processes; + procedure Process_Register (This : System.Address; Proc : System.Address; Ctxt : Rti_Context; @@ -167,13 +197,22 @@ package body Grt.Processes is This => This, Rti => Ctxt, Sensitivity => null, - Resumed => True, + Resumed => False, Postponed => Postponed, State => State, Timeout => Bad_Time, Stack => Stack); -- Used to create drivers. Cur_Proc_Id := Process_Table.Last; + + if State /= State_Sensitized then + Non_Sensitized_Process_Table.Append (Cur_Proc_Id); + end if; + if Postponed then + Nbr_Postponed_Processes := Nbr_Postponed_Processes + 1; + else + Nbr_Non_Postponed_Processes := Nbr_Non_Postponed_Processes + 1; + end if; end Process_Register; procedure Ghdl_Process_Register @@ -227,7 +266,7 @@ package body Grt.Processes is Process_Table.Table (Process_Table.Last) := (Rti => Ctxt, Sensitivity => null, - Resumed => True, + Resumed => False, Postponed => False, State => State_Sensitized, Timeout => Bad_Time, @@ -258,9 +297,21 @@ package body Grt.Processes is Resume_Process_If_Event (Sig, Process_Table.Last); end Ghdl_Process_Add_Sensitivity; - procedure Resume_Process (Proc : Process_Id) is - begin - Process_Table.Table (Proc).Resumed := True; + procedure Resume_Process (Proc : Process_Id) + is + P : Process_Type renames Process_Table.Table (Proc); + begin + if not P.Resumed then + P.Resumed := True; + if P.Postponed then + Last_Postponed_Resume_Process := Last_Postponed_Resume_Process + 1; + Postponed_Resume_Process_Table (Last_Postponed_Resume_Process) + := Proc; + else + Last_Resume_Process := Last_Resume_Process + 1; + Resume_Process_Table (Last_Resume_Process) := Proc; + end if; + end if; end Resume_Process; function Ghdl_Stack2_Allocate (Size : Ghdl_Index_Type) @@ -461,9 +512,12 @@ package body Grt.Processes is end if; -- 3) The next time at which a process resumes. - for I in Process_Table.First .. Process_Table.Last loop + for I in Non_Sensitized_Process_Table.First .. + Non_Sensitized_Process_Table.Last + loop declare - Proc : Process_Type renames Process_Table.Table (I); + Pid : Process_Id := Non_Sensitized_Process_Table.Table (I); + Proc : Process_Type renames Process_Table.Table (Pid); begin if Proc.State = State_Wait and then Proc.Timeout < Res @@ -512,6 +566,8 @@ package body Grt.Processes is function Run_Processes (Postponed : Boolean) return Integer is + Table : Process_Id_Array_Acc; + Last : Natural; Status : Integer; begin Status := Run_None; @@ -520,22 +576,34 @@ package body Grt.Processes is Stats.Start_Processes; end if; - for I in Process_Table.First .. Process_Table.Last loop - if Process_Table.Table (I).Postponed = Postponed - and Process_Table.Table (I).Resumed - then + if Postponed then + Table := Postponed_Resume_Process_Table; + Last := Last_Postponed_Resume_Process; + else + Table := Resume_Process_Table; + Last := Last_Resume_Process; + end if; + for I in 1 .. Last loop + declare + Pid : constant Process_Id := Table (I); + Proc : Process_Type renames Process_Table.Table (Pid); + begin + if not Proc.Resumed then + Internal_Error ("run non-resumed process"); + end if; if Grt.Options.Trace_Processes then Grt.Astdio.Put ("run process "); - Disp_Process_Name (Stdio.stdout, I); + Disp_Process_Name (Stdio.stdout, Pid); Grt.Astdio.Put (" ["); - Grt.Astdio.Put (Stdio.stdout, Process_Table.Table (I).This); + Grt.Astdio.Put (Stdio.stdout, Proc.This); Grt.Astdio.Put ("]"); Grt.Astdio.New_Line; end if; - Process_Table.Table (I).Resumed := False; + Nbr_Resumed_Processes := Nbr_Resumed_Processes + 1; + Proc.Resumed := False; Status := Run_Resumed; - Cur_Proc_Id := I; - Cur_Proc := To_Acc (Process_Table.Table (I)'Address); + Cur_Proc_Id := Pid; + Cur_Proc := To_Acc (Process_Table.Table (Pid)'Address); if Cur_Proc.State = State_Sensitized then Cur_Proc.Subprg.all (Cur_Proc.This); else @@ -545,9 +613,15 @@ package body Grt.Processes is Ghdl_Signal_Internal_Checks; Grt.Stack2.Check_Empty (Stack2); end if; - end if; + end; end loop; + if Postponed then + Last_Postponed_Resume_Process := 0; + else + Last_Resume_Process := 0; + end if; + if Options.Flag_Stats then Stats.End_Processes; end if; @@ -581,6 +655,10 @@ package body Grt.Processes is -- evaluating the corresponding guard expression. null; + for I in Process_Table.First .. Process_Table.Last loop + Resume_Process (I); + end loop; + -- - Each nonpostponed process in the model is executed until it -- suspends. Status := Run_Processes (Postponed => False); @@ -634,9 +712,12 @@ package body Grt.Processes is -- d) For each process P, if P is currently sensitive to a signal S and -- if an event has occured on S in this simulation cycle, then P -- resumes. - for I in Process_Table.First .. Process_Table.Last loop + for I in Non_Sensitized_Process_Table.First .. + Non_Sensitized_Process_Table.Last + loop declare - Proc : Process_Type renames Process_Table.Table (I); + Pid : Process_Id := Non_Sensitized_Process_Table.Table (I); + Proc : Process_Type renames Process_Table.Table (Pid); El : Sensitivity_Acc; begin case Proc.State is @@ -645,19 +726,19 @@ package body Grt.Processes is when State_Delayed => if Proc.Timeout = Current_Time then Proc.Timeout := Bad_Time; - Proc.Resumed := True; + Resume_Process (Pid); Proc.State := State_Sensitized; end if; when State_Wait => if Proc.Timeout = Current_Time then Proc.Timeout := Bad_Time; - Proc.Resumed := True; + Resume_Process (Pid); Proc.State := State_Timeout; else El := Proc.Sensitivity; while El /= null loop if El.Sig.Event then - Proc.Resumed := True; + Resume_Process (Pid); exit; else El := El.Next; @@ -715,7 +796,9 @@ package body Grt.Processes is end if; else Current_Delta := 0; - Status := Run_Processes (Postponed => True); + if Nbr_Postponed_Processes /= 0 then + Status := Run_Processes (Postponed => True); + end if; if Status = Run_Resumed then Flush_Active_List; if Options.Flag_Stats then @@ -748,6 +831,11 @@ package body Grt.Processes is -- Grt.Disp.Disp_Signals_Type; -- end if; + -- Allocate processes arrays. + Resume_Process_Table := + new Process_Id_Array (1 .. Nbr_Non_Postponed_Processes); + Postponed_Resume_Process_Table := + new Process_Id_Array (1 .. Nbr_Postponed_Processes); Grt.Hooks.Call_Start_Hooks; Status := Run_Through_Longjump (Initialization_Phase'Access); diff --git a/translate/grt/grt-processes.ads b/translate/grt/grt-processes.ads index d7cb68caa..b81e42da1 100644 --- a/translate/grt/grt-processes.ads +++ b/translate/grt/grt-processes.ads @@ -52,6 +52,9 @@ package Grt.Processes is function Get_Nbr_Processes return Natural; function Get_Nbr_Sensitized_Processes return Natural; + -- Total number of resumed processes. + function Get_Nbr_Resumed_Processes return Natural; + -- Disp the name of process PROC. procedure Disp_Process_Name (Stream : Grt.Stdio.FILEs; Proc : Process_Id); diff --git a/translate/grt/grt-stats.adb b/translate/grt/grt-stats.adb index fb8a69202..4dd9ee6e2 100644 --- a/translate/grt/grt-stats.adb +++ b/translate/grt/grt-stats.adb @@ -297,7 +297,9 @@ package body Grt.Stats is end Disp_Signals_Stats; -- Disp all statistics. - procedure Disp_Stats is + procedure Disp_Stats + is + N : Natural; begin Put (stdout, "total: "); Put (stdout, Simu_Time); @@ -349,5 +351,16 @@ package body Grt.Stats is Put (stdout, "Number of sensitized processes: "); Put_I32 (stdout, Ghdl_I32 (Grt.Processes.Get_Nbr_Sensitized_Processes)); New_Line; + Put (stdout, "Number of resumed processes: "); + Put_I32 (stdout, Ghdl_I32 (Grt.Processes.Get_Nbr_Resumed_Processes)); + New_Line; + Put (stdout, "Average number of resumed processes per cycle: "); + N := Processes.Nbr_Delta_Cycles + Processes.Nbr_Cycles; + if N = 0 then + Put (stdout, "-"); + else + Put_I32 (stdout, Ghdl_I32 (Processes.Get_Nbr_Resumed_Processes / N)); + end if; + New_Line; end Disp_Stats; end Grt.Stats; |