在Ada中，可以使用Ada.Task_Identification包中的Protected类型来实现信号量。下面是一个简单的Ada代码示例：

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Task_Identification; use Ada.Task_Identification;

procedure Semaphore_Example is

   protected Semaphore is
      entry Wait;
      entry Signal;
   private
      Count : Integer := 0;
   end Semaphore;

   protected body Semaphore is
      entry Wait when Count = 0 is
      begin
         null; -- 等待信号量可用
      end Wait;

      entry Signal when Count < 10 is
      begin
         Count := Count + 1; -- 递增信号量计数
      end Signal;
   end Semaphore;

   task Example_Task is
      pragma Priority (10);
   end Example_Task;

   task body Example_Task is
   begin
      Semaphore.Wait; -- 请求信号量
      Put_Line ("Task " & Image (Task_Id) & " acquired the semaphore.");
      delay (1.0); -- 执行一些工作
      Semaphore.Signal; -- 释放信号量
   end Example_Task;

begin
   null; -- 可以在此添加其他并发任务

   for I in 1..10 loop
      pragma Unsuppress (Example_Task'Identity);
      Example_Task; -- 创建并发任务
   end loop;

   delay (10.0); -- 等待所有任务完成
end Semaphore_Example;

在上面的示例中，信号量通过Protected类型实现。Protected类型定义了两个entry（Wait和Signal），用于等待和释放信号量。当Count为0时，Wait entry会阻塞调用该entry的任务，直到Count大于0。Signal entry会递增Count的值，释放信号量。

在主程序中，我们创建了一个Example_Task任务，并使用循环创建了10个并发任务。每个并发任务在获取到信号量后，输出任务的标识符，并延迟1秒后释放信号量。最后，主程序等待10秒，以确保所有任务都完成。

这是一个简单的信号量示例，你可以根据自己的需求对其进行扩展和修改。