用信号量显示一个简单的死锁示例

时间:2014-06-16 20:09:14

标签: java deadlock semaphore

我目前正在服用操作系统,我们的老师为我们的实验室分配了这个问题,但他没有太大的帮助。所以我需要用信号量显示死锁的基本示例,我的输出需要证明死锁的发生。我假设他的意思是我的异常被抓住了。这跟我一样接近。

import java.util.concurrent.Semaphore;
public class deadlockTest2
{
    private Semaphore sem1=new Semaphore(1);
    private Semaphore sem2=new Semaphore(1);
    private int num;

    public deadlockTest2(int random)
    {
            num=random;
    }
    public void run()
    {
        try 
        {
            sem1.acquire();
        }
         catch (InterruptedException e)
        {
            System.out.println("I am deadlocked");}
        }

    public static void main(String[] args)
    {
        deadlockTest2 tester=new deadlockTest2(5);
        deadlockTest2 tester2=new deadlockTest2(20);
        tester.run();
        tester2.run();
    }   
}



我甚至关闭了吗?我一直在阅读材料,但没有完全掌握它。我想我不明白一个过程是什么。有人请帮忙。

1 个答案:

答案 0 :(得分:4)

当两个或多个进程完全阻止彼此完成执行时,就会发生死锁。您可以将流程视为一个单独的程序;它们与您的其他流程同时运行。

死锁的一个基本示例是一个包含两个进程和两个互斥锁的程序,其中每个进程都需要访问这两个互斥锁,但在获取其他互斥锁之前不会释放它自己的互斥锁。一个例子:

  1. 进程A锁定Mutex A
  2. 进程B锁定Mutex B
  3. 进程A想要锁定互斥锁B,但已被进程B锁定!
  4. 进程B想要锁定互斥锁A,但已被进程A锁定!
  5. 注意:互斥锁只是一个值为1的信号量。

    很容易看到这将永远持续下去,因为在锁定其他资源之前,这两个进程都不会释放自己的资源。这两个进程陷入僵局。

    我看到你的实现的第一个问题是你给每个进程一组他们的OWN信号量,这是行不通的,因为你需要在进程之间共享这些信号量。就好像你这样做了:

    1. 进程A锁定Mutex A_A(存在于进程A中)
    2. 进程B锁定互斥锁B_B(存在于进程B中)
    3. 进程A锁定Mutex B_A(存在于进程A中)
    4. 进程B锁定互斥锁A_B(存在于进程B中)
    5. 所以就好像你有四个单独的信号量(每个进程有一个Mutex A和一个Mutex B)而不是预期的TWO。

      你想要的更多应该是:

      Semaphore sem1 = new Semaphore(1);
      Semaphore sem2 = new Semaphore(1);
      
      public class deadlockTest1 implements Runnable
      {
          public void run()
          {
              sem1.acquire();
              Thread.sleep(1000);
              sem2.acquire();
          }
      }
      
      public class deadlockTest2 implements Runnable
      {
          public void run()
          {
              sem2.acquire();
              Thread.sleep(1000);
              sem1.acquire();
          }
      }
      

      然后在你的主要功能中:

      public static void main(String[] args)
      {
          deadlockTest1 tester1 = new deadlockTest1();
          deadlockTest2 tester2 = new deadlockTest2();
          tester1.run();
          tester2.run();
      }
      

      这应该完全符合我在第一个例子中描述的内容。当每个进程首次运行时,它们将各自成功获取自己的互斥锁(锁定sem1,B锁定sem2),然后它们将休眠1秒钟。在唤醒时,他们将尝试锁定其他互斥锁(尝试锁定sem2,B尝试锁定sem1),但由于这些资源从未被各自的进程释放,因此无法获取它们,因此这两个进程将无限期地阻塞。 / p>