Вы должны узнать о пакетах Ada ( Введение в пакеты ).Я вижу по крайней мере две широкие классификации понятий в вашем коде: продукты / сборки и моделируемая производственная линия (производители и потребители).Разделите определения продуктов и сборок в один пакет, а определения задач (заводские работы) в другой пакет.
Редактировать: я потратил время на разбиение вашего кода.Разделение открывает возможности для вашего кода быть лучше организованным.Например, я изменил тип задачи Buffer на задачу с именем Buffer.Вашему коду требовался только один экземпляр этой задачи.
Пакеты:
-----------------------------------------------------------------------
-- Notice that there is no relationship between products and
-- assemblies in the data definitions. That relationship is established
-- in the Buffer task type defined in the Tasks package;
-----------------------------------------------------------------------
package Products_Assemblies is
Number_Of_Products: constant Integer := 5;
Number_Of_Assemblies: constant Integer := 3;
subtype Product_Type is Integer range 1 .. Number_Of_Products;
subtype Assembly_Type is Integer range 1 .. Number_Of_Assemblies;
Product_Name: constant array (Product_Type) of String(1 .. 8)
:= ("Product1", "Product2", "Product3", "Product4", "Product5");
Assembly_Name: constant array (Assembly_Type) of String(1 .. 9)
:= ("Assembly1", "Assembly2", "Assembly3");
end Products_Assemblies;
Обратите внимание, что этот пакет не отображает отношения между продуктами и сборками.Такие отношения часто лучше всего устанавливать как структуры данных.Во-вторых, тип Product может быть более четко реализован как тип перечисления
type Product_Type is (Product1, Product2, Product3, Product4, Product5);
Аналогично Assembly_Type может быть реализован как
type Assembly_Type is (Assembly1, Assembly2, Assembly3);
Значения имени перечисления для типа перечисления могут отображаться какстрока с использованием атрибута Image.
Спецификация пакета задач: with products_assemblies;use Products_Assemblies;
package Tasks is
Number_Of_Consumers : constant Integer := 2;
subtype Consumer_Type is Integer range 1 .. Number_Of_Consumers;
-- Producer produces determined product
task type Producer is
-- Give the Producer an identity, i.e. the product type
entry Start (Product : in Product_Type; Production_Time : in Integer);
end Producer;
-- Consumer gets an arbitrary assembly of several products from the buffer
task type Consumer is
-- Give the Consumer an identity
entry Start (Consumer_Number : in Consumer_Type; Consumption_Time : in Integer);
end Consumer;
-- In the Buffer, products are assemblied into an assembly
task Buffer is
-- Accept a product to the storage provided there is a room for it
entry Take (Product : in Product_Type; Number : in Integer);
-- Deliver an assembly provided there are enough products for it
entry Deliver (Assembly : in Assembly_Type; Number : out Integer);
end Buffer;
end Tasks;
Обратите внимание, что именно здесь я изменил Buffer с типа задачи на задачу.
Task package body:
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO;
with Ada.Numerics.Discrete_Random;
package body tasks is
subtype Production_Time_Range is Integer range 3 .. 6;
subtype Consumption_Time_Range is Integer range 4 .. 8;
package Random_Consumption is new Ada.Numerics.Discrete_Random
(Consumption_Time_Range);
package Random_Assembly is new Ada.Numerics.Discrete_Random (Assembly_Type);
type My_Str is new String (1 .. 256);
task body Producer is
package Random_Production is new Ada.Numerics.Discrete_Random
(Production_Time_Range);
G : Random_Production.Generator; -- generator liczb losowych
Product_Type_Number : Integer;
Product_Number : Integer;
Production : Integer;
begin
accept Start (Product : in Product_Type; Production_Time : in Integer) do
Random_Production.Reset (G); -- start random number generator
Product_Number := 1;
Product_Type_Number := Product;
Production := Production_Time;
end Start;
Put_Line ("Started producer of " & Product_Name (Product_Type_Number));
loop
delay Duration (Random_Production.Random (G)); -- symuluj produkcjÄ
Put_Line
("Produced product " & Product_Name (Product_Type_Number) &
" number " & Integer'Image (Product_Number));
-- Accept for storage
Buffer.Take (Product_Type_Number, Product_Number);
Product_Number := Product_Number + 1;
end loop;
end Producer;
task body Consumer is
G : Random_Consumption.Generator; -- random number generator (time)
G2 : Random_Assembly.Generator; -- also (assemblies)
Consumer_Nb : Consumer_Type;
Assembly_Number : Integer;
Consumption : Integer;
Assembly_Type : Integer;
Consumer_Name : constant array
(1 .. Number_Of_Consumers) of String (1 .. 9) :=
("Consumer1", "Consumer2");
begin
accept Start (Consumer_Number : in Consumer_Type;
Consumption_Time : in Integer) do
Random_Consumption.Reset (G); -- ustaw generator
Random_Assembly.Reset (G2); -- też
Consumer_Nb := Consumer_Number;
Consumption := Consumption_Time;
end Start;
Put_Line ("Started consumer " & Consumer_Name (Consumer_Nb));
loop
delay Duration
(Random_Consumption.Random (G)); -- simulate consumption
Assembly_Type := Random_Assembly.Random (G2);
-- take an assembly for consumption
Buffer.Deliver (Assembly_Type, Assembly_Number);
Put_Line
(Consumer_Name (Consumer_Nb) & ": taken assembly " &
Assembly_Name (Assembly_Type) & " number " &
Integer'Image (Assembly_Number));
end loop;
end Consumer;
task body Buffer is
Storage_Capacity : constant Integer := 30;
type Storage_type is array (Product_Type) of Integer;
Storage : Storage_type := (0, 0, 0, 0, 0);
Assembly_Content : array (Assembly_Type, Product_Type) of Integer :=
((2, 1, 2, 1, 2), (2, 2, 0, 1, 0), (1, 1, 2, 0, 1));
Max_Assembly_Content : array (Product_Type) of Integer;
Assembly_Number : array (Assembly_Type) of Integer := (1, 1, 1);
In_Storage : Integer := 0;
procedure Setup_Variables is
begin
for W in Product_Type loop
Max_Assembly_Content (W) := 0;
for Z in Assembly_Type loop
if Assembly_Content (Z, W) > Max_Assembly_Content (W) then
Max_Assembly_Content (W) := Assembly_Content (Z, W);
end if;
end loop;
end loop;
end Setup_Variables;
function Can_Accept (Product : Product_Type) return Boolean is
Free : Integer; -- free room in the storage
-- how many products are for production of arbitrary assembly
Lacking : array (Product_Type) of Integer;
-- how much room is needed in storage to produce arbitrary assembly
Lacking_room : Integer;
MP : Boolean; -- can accept
begin
if In_Storage >= Storage_Capacity then
return False;
end if;
-- There is free room in the storage
Free := Storage_Capacity - In_Storage;
MP := True;
for W in Product_Type loop
if Storage (W) < Max_Assembly_Content (W) then
MP := False;
end if;
end loop;
if MP then
return True; -- storage has products for arbitrary
-- assembly
end if;
if Integer'Max (0,
Max_Assembly_Content (Product) - Storage (Product)) >
0 then
-- exactly this product lacks
return True;
end if;
Lacking_room := 1; -- insert current product
for W in Product_Type loop
Lacking (W) :=
Integer'Max (0, Max_Assembly_Content (W) - Storage (W));
Lacking_room := Lacking_room + Lacking (W);
end loop;
if Free >= Lacking_room then
-- there is enough room in storage for arbitrary assembly
return True;
else
-- no room for this product
return False;
end if;
end Can_Accept;
function Can_Deliver (Assembly : Assembly_Type) return Boolean is
begin
for W in Product_Type loop
if Storage (W) < Assembly_Content (Assembly, W) then
return False;
end if;
end loop;
return True;
end Can_Deliver;
procedure Storage_Contents is
begin
for W in Product_Type loop
Put_Line
("Storage contents: " & Integer'Image (Storage (W)) & " " &
Product_Name (W));
end loop;
end Storage_Contents;
begin
Put_Line ("Buffer started");
Setup_Variables;
loop
accept Take (Product : in Product_Type; Number : in Integer) do
if Can_Accept (Product) then
Put_Line
("Accepted product " & Product_Name (Product) & " number " &
Integer'Image (Number));
Storage (Product) := Storage (Product) + 1;
In_Storage := In_Storage + 1;
else
Put_Line
("Rejected product " & Product_Name (Product) & " number " &
Integer'Image (Number));
end if;
end Take;
Storage_Contents;
accept Deliver (Assembly : in Assembly_Type; Number : out Integer) do
if Can_Deliver (Assembly) then
Put_Line
("Delivered assembly " & Assembly_Name (Assembly) &
" number " & Integer'Image (Assembly_Number (Assembly)));
for W in Product_Type loop
Storage (W) := Storage (W) - Assembly_Content (Assembly, W);
In_Storage := In_Storage - Assembly_Content (Assembly, W);
end loop;
Number := Assembly_Number (Assembly);
Assembly_Number (Assembly) := Assembly_Number (Assembly) + 1;
else
Put_Line
("Lacking products for assembly " & Assembly_Name (Assembly));
Number := 0;
end if;
end Deliver;
Storage_Contents;
end loop;
end Buffer;
end tasks;
Наконец, я предоставил "основную" процедуру для тестирования пакетов.:
with Tasks; use Tasks;
with Products_Assemblies; use Products_Assemblies;
procedure Simulation_Main is
P : array (1 .. Number_Of_Products) of Producer;
K : array (1 .. Number_Of_Consumers) of Consumer;
begin
for I in 1 .. Number_Of_Products loop
P (I).Start (I, 10);
end loop;
for J in 1 .. Number_Of_Consumers loop
K (J).Start (J, 12);
end loop;
end Simulation_Main;
Эта версия компилируется без ошибок и запускается.Нет встроенного способа прекратить симуляцию.Возможно, вы захотите рассмотреть вопрос о предоставлении чистого способа закрыть все.Вы также можете рассмотреть некоторые из вашего дизайна.Например, параметр Production_Time для записи Start для типа задачи Producer никогда не используется в задаче.Он присваивается локальной переменной и затем игнорируется.