with

Ada.Text_IO,
Ada.Streams.Stream_IO,
Ada.Strings.Bounded,
Ada.Text_IO.Bounded_IO,
Ada.Numerics.Float_Random,
Ada.Calendar,
Ada.Containers.Vectors,
Ada.Real_Time;

use
Ada.Streams.Stream_IO,
Ada.Numerics.Float_Random,
Ada.Strings.Bounded,
Ada.Containers,
Ada.Real_Time;

procedure Main is

   type Money is digits 12 range 0.0 .. 1_000_000_000.0;
   package BS_20 is new Generic_Bounded_Length(20); use BS_20;
   package BS_20_IO is new Ada.Text_IO.Bounded_IO(BS_20); -- use BS_20_IO;

   type Ticker is record
      Currency_Pair_Id : BS_20.Bounded_String := BS_20.Null_Bounded_String;
      Buy_Price        : Money := 0.0;
      Sell_Price       : Money := 0.0;
      Last_Trade       : Money := 0.0;
      High             : Money := 0.0;
      Low               : Money := 0.0;
      Avg               : Money := 0.0;
      Vol               : Money := 0.0;
      Vol_Curr         : Money := 0.0;
      Ticker_Updated   : Natural := 0;
      Row_Inserted      : Ada.Calendar.Time := Ada.Calendar.Clock;
   end record;

   package Tickers_Vector is new Vectors(Natural, Ticker); use Tickers_Vector;

   F        : File_Type;
   S         : Stream_Access;
   File_Name : constant String := "tickers.data";
   Rand_Generator : Generator;
   t1, t2 : Time;

begin

   Create(F, Out_File, File_Name);
   S := Ada.Streams.Stream_IO.Stream (F);

   Ada.Text_IO.Put_Line("Генерим 100М записей и засовываем в файл...");

   t1 := Clock;
   for i in 1 .. 100_000_000 loop
      declare
         t : Ticker;
      begin
         t.Currency_Pair_Id := Append(To_Bounded_String("C_Pair "), To_Bounded_String(i'Img));
         t.Buy_Price   := Money(Random(Gen => Rand_Generator) * 1000.0);
         t.Sell_Price  := Money(Random(Gen => Rand_Generator) * 1000.0);
      t.Last_Trade  := Money(Random(Gen => Rand_Generator) * 1000.0);
      t.High        := Money(Random(Gen => Rand_Generator) * 1000.0);
      t.Low         := Money(Random(Gen => Rand_Generator) * 1000.0);
      t.Avg         := Money(Random(Gen => Rand_Generator) * 1000.0);
      t.Vol         := Money(Random(Gen => Rand_Generator) * 1000.0);
         t.Vol_Curr    := Money(Random(Gen => Rand_Generator) * 1000.0);
         t.Ticker_Updated := Natural(Random(Gen => Rand_Generator) * 1000.0);

         Ticker'Write(S, t);
      end;
   end loop;

   Close(F);

   t2 := Clock;
   Ada.Text_IO.Put_Line("Выполнено за: " & To_Duration(t2 - t1)'Image & " секунд!");
   Ada.Text_IO.New_Line;

   declare
      l_ticker : Ticker;
      l_tickers_vector : Tickers_Vector.Vector;
      l_count : Natural := 0;
   begin
      Ada.Text_IO.Put_Line("Загружаем данные из файла в оперативу...");

      Open(F, In_File, File_Name);
      t1 := Clock;

      while not End_Of_File (F) loop
         Ticker'Read(S, l_ticker);
         l_tickers_vector.Append(l_ticker);
      end loop;

      t2 := Clock;
      Ada.Text_IO.Put_Line("Выполнено за: " & To_Duration(t2 - t1)'Image & " секунд!");
      Ada.Text_IO.New_Line;

      Ada.Text_IO.Put_Line("Записей в оперативе: " & l_tickers_vector.Length'Img);

      Ada.Text_IO.New_Line;
      Ada.Text_IO.Put_Line("Выбираем из оперативы 100 записей где: 300.0 < Sell_Price < 300.01 ...");
      t1 := Clock;
      for el of l_tickers_vector loop
         if 300.0 < el.Sell_Price and el.Sell_Price < 300.01 then
            Ada.Text_IO.Put_Line(el'Img);
            l_count := l_count + 1;
         end if;
         exit when l_count = 100;
      end loop;
   end;
   t2 := Clock;
   Ada.Text_IO.Put_Line("Выполнено за: " & To_Duration(t2 - t1)'Image & " секунд!");
   Ada.Text_IO.New_Line;
   Ada.Text_IO.Put_Line("Всем пока!");

   Close(F);

end Main;

[krang@server db]$ ./main
Генерим 100М записей и засовываем в файл...
Выполнено за:  53.791278543 секунд!

Загружаем данные из файла в оперативу...
Выполнено за:  43.687895288 секунд!

Записей в оперативе:  100000000

Выбираем из оперативы 100 записей где: 300.0 < Sell_Price < 300.01 ...

(CURRENCY_PAIR_ID =>
 (MAX_LENGTH =>  20,
  CURRENT_LENGTH =>  13,
  DATA => "C_Pair  75097"),
 BUY_PRICE =>  7.66713867187500E+02,
 SELL_PRICE =>  3.00003448486328E+02,
 LAST_TRADE =>  3.50097320556641E+02,
 HIGH =>  1.77031326293945E+02,
 LOW =>  7.89952514648438E+02,
 AVG =>  9.47466369628906E+02,
 VOL =>  2.95501129150391E+02,
 VOL_CURR =>  5.27072448730469E+02,
 TICKER_UPDATED =>  54,
 ROW_INSERTED => -4004742416757146000)

(CURRENCY_PAIR_ID =>
 (MAX_LENGTH =>  20,
  CURRENT_LENGTH =>  13,
  DATA => "C_Pair  98149"),
 BUY_PRICE =>  6.01267211914063E+02,
 SELL_PRICE =>  3.00009277343750E+02,
 LAST_TRADE =>  8.78224365234375E+02,
 HIGH =>  6.85162048339844E+02,
 LOW =>  6.04520935058594E+02,
 AVG =>  3.35528221130371E+01,
 VOL =>  3.73119628906250E+02,
 VOL_CURR =>  9.91177673339844E+02,
 TICKER_UPDATED =>  517,
 ROW_INSERTED => -4004742416745312000)

(CURRENCY_PAIR_ID =>
 (MAX_LENGTH =>  20,
  CURRENT_LENGTH =>  14,
  DATA => "C_Pair  136243"),
 BUY_PRICE =>  3.87408050537109E+02,
 SELL_PRICE =>  3.00001068115234E+02,
 LAST_TRADE =>  3.95937713623047E+02,
 HIGH =>  2.51328857421875E+02,
 LOW =>  6.28083007812500E+02,
 AVG =>  3.01791809082031E+02,
 VOL =>  2.72942161560059E+01,
 VOL_CURR =>  6.08765258789063E+02,
 TICKER_UPDATED =>  413,
 ROW_INSERTED => -4004742416725719000)
...
...
...
(CURRENCY_PAIR_ID =>
 (MAX_LENGTH =>  20,
  CURRENT_LENGTH =>  15,
  DATA => "C_Pair  9558235"),
 BUY_PRICE =>  5.03789550781250E+02,
 SELL_PRICE =>  3.00000335693359E+02,
 LAST_TRADE =>  1.63941665649414E+02,
 HIGH =>  5.57660827636719E+02,
 LOW =>  4.86927429199219E+02,
 AVG =>  2.41333297729492E+02,
 VOL =>  1.25471755981445E+02,
 VOL_CURR =>  5.67385559082031E+02,
 TICKER_UPDATED =>  741,
 ROW_INSERTED => -4004742411838132000)

Выполнено за:  0.748881795 секунд!

Всем пока!