lib/zlib/contrib/ada/mtest.adb

   1 ----------------------------------------------------------------
   2 --  ZLib for Ada thick binding.                               --
   3 --                                                            --
   4 --  Copyright (C) 2002-2003 Dmitriy Anisimkov                 --
   5 --                                                            --
   6 --  Open source license information is in the zlib.ads file.  --
   7 ----------------------------------------------------------------
   8 --  Continuous test for ZLib multithreading. If the test would fail
   9 --  we should provide thread safe allocation routines for the Z_Stream.
  10 --
  11 --  $Id: mtest.adb,v 1.4 2004/07/23 07:49:54 vagul Exp $
  12
  13 with ZLib;
  14 with Ada.Streams;
  15 with Ada.Numerics.Discrete_Random;
  16 with Ada.Text_IO;
  17 with Ada.Exceptions;
  18 with Ada.Task_Identification;
  19
  20 procedure MTest is
  21    use Ada.Streams;
  22    use ZLib;
  23
  24    Stop : Boolean := False;
  25
  26    pragma Atomic (Stop);
  27
  28    subtype Visible_Symbols is Stream_Element range 16#20# .. 16#7E#;
  29
  30    package Random_Elements is
  31       new Ada.Numerics.Discrete_Random (Visible_Symbols);
  32
  33    task type Test_Task;
  34
  35    task body Test_Task is
  36       Buffer : Stream_Element_Array (1 .. 100_000);
  37       Gen : Random_Elements.Generator;
  38
  39       Buffer_First  : Stream_Element_Offset;
  40       Compare_First : Stream_Element_Offset;
  41
  42       Deflate : Filter_Type;
  43       Inflate : Filter_Type;
  44
  45       procedure Further (Item : in Stream_Element_Array);
  46
  47       procedure Read_Buffer
  48         (Item : out Ada.Streams.Stream_Element_Array;
  49          Last : out Ada.Streams.Stream_Element_Offset);
  50
  51       -------------
  52       -- Further --
  53       -------------
  54
  55       procedure Further (Item : in Stream_Element_Array) is
  56
  57          procedure Compare (Item : in Stream_Element_Array);
  58
  59          -------------
  60          -- Compare --
  61          -------------
  62
  63          procedure Compare (Item : in Stream_Element_Array) is
  64             Next_First : Stream_Element_Offset := Compare_First + Item'Length;
  65          begin
  66             if Buffer (Compare_First .. Next_First - 1) /= Item then
  67                raise Program_Error;
  68             end if;
  69
  70             Compare_First := Next_First;
  71          end Compare;
  72
  73          procedure Compare_Write is new ZLib.Write (Write => Compare);
  74       begin
  75          Compare_Write (Inflate, Item, No_Flush);
  76       end Further;
  77
  78       -----------------
  79       -- Read_Buffer --
  80       -----------------
  81
  82       procedure Read_Buffer
  83         (Item : out Ada.Streams.Stream_Element_Array;
  84          Last : out Ada.Streams.Stream_Element_Offset)
  85       is
  86          Buff_Diff   : Stream_Element_Offset := Buffer'Last - Buffer_First;
  87          Next_First : Stream_Element_Offset;
  88       begin
  89          if Item'Length <= Buff_Diff then
  90             Last := Item'Last;
  91
  92             Next_First := Buffer_First + Item'Length;
  93
  94             Item := Buffer (Buffer_First .. Next_First - 1);
  95
  96             Buffer_First := Next_First;
  97          else
  98             Last := Item'First + Buff_Diff;
  99             Item (Item'First .. Last) := Buffer (Buffer_First .. Buffer'Last);
 100             Buffer_First := Buffer'Last + 1;
 101          end if;
 102       end Read_Buffer;
 103
 104       procedure Translate is new Generic_Translate
 105                                    (Data_In  => Read_Buffer,
 106                                     Data_Out => Further);
 107
 108    begin
 109       Random_Elements.Reset (Gen);
 110
 111       Buffer := (others => 20);
 112
 113       Main : loop
 114          for J in Buffer'Range loop
 115             Buffer (J) := Random_Elements.Random (Gen);
 116
 117             Deflate_Init (Deflate);
 118             Inflate_Init (Inflate);
 119
 120             Buffer_First  := Buffer'First;
 121             Compare_First := Buffer'First;
 122
 123             Translate (Deflate);
 124
 125             if Compare_First /= Buffer'Last + 1 then
 126                raise Program_Error;
 127             end if;
 128
 129             Ada.Text_IO.Put_Line
 130               (Ada.Task_Identification.Image
 131                  (Ada.Task_Identification.Current_Task)
 132                & Stream_Element_Offset'Image (J)
 133                & ZLib.Count'Image (Total_Out (Deflate)));
 134
 135             Close (Deflate);
 136             Close (Inflate);
 137
 138             exit Main when Stop;
 139          end loop;
 140       end loop Main;
 141    exception
 142       when E : others =>
 143          Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Information (E));
 144          Stop := True;
 145    end Test_Task;
 146
 147    Test : array (1 .. 4) of Test_Task;
 148
 149    pragma Unreferenced (Test);
 150
 151    Dummy : Character;
 152
 153 begin
 154    Ada.Text_IO.Get_Immediate (Dummy);
 155    Stop := True;
 156 end MTest;