找回密码
 立即注册→加入我们

QQ登录

只需一步,快速开始

搜索
热搜: 下载 VB C 实现 编写
查看: 819|回复: 2

【C】Deadlock detecting

[复制链接]
发表于 2022-11-23 04:45:59 | 显示全部楼层 |阅读模式

欢迎访问技术宅的结界,请注册或者登录吧。

您需要 登录 才可以下载或查看,没有账号?立即注册→加入我们

×
本帖最后由 usr 于 2022-11-23 04:50 编辑

Although semaphore is a powerful tool to synchronize, using semaphore can cause problems such as deadlock.
Deadlock can be defined as a set of processes is deadlocked if each process in the set is waiting for an
event that only another process in the set can cause.
A simplest deadlock module can be process P1 is using resource R1 and acquiring R2, meanwhile process P2 is using R2 and requiring R1.
When we inquire deeper inside deadlock problem, we can find that deadlock can occur when there is a cycle in a wait for graph.
To detect deadlock needs us to determine whether there is a cycle in the graph.
Therefor the problem can be easy that we need some algorithms to find cycles.
Here is a simple way to do this.
First, we do a topological sorting on a graph.
The result of topological sorting is a sequence of vertices.
Then we compare the number of vertices after topological sorting to the number of vertices that has already in the graph.
If we cannot get an equal value of these two parameters, it is sure that the graph has a cycle.
Here is the code to detect deadlocks in C.
Caution that this following code needs StoneValley library.

  1. #include <stdio.h>
  2. #include "StoneValley/src/svgraph.h"

  3. P_GRAPH_L pWaitingGrp = NULL;

  4. /*    (B)
  5. *    ^ \  
  6. *   /   v
  7. * (A)<-(C)
  8. *       |
  9. *       v
  10. *      (D)
  11. *
  12. */

  13. int main()
  14. {
  15.         pWaitingGrp = grpCreateL();
  16.         if (NULL != pWaitingGrp)
  17.         {
  18.                 P_ARRAY_Z parr;
  19.                 grpInsertVertexL(pWaitingGrp, 'A');
  20.                 grpInsertVertexL(pWaitingGrp, 'B');
  21.                 grpInsertVertexL(pWaitingGrp, 'C');
  22.                 grpInsertVertexL(pWaitingGrp, 'D');

  23.                 grpInsertEdgeL(pWaitingGrp, 'A', 'B', 0);
  24.                 grpInsertEdgeL(pWaitingGrp, 'B', 'C', 0);
  25.                 grpInsertEdgeL(pWaitingGrp, 'C', 'D', 0);
  26.                 grpInsertEdgeL(pWaitingGrp, 'C', 'A', 0);

  27.                 parr = grpTopologicalSortL(pWaitingGrp);
  28.                 if (NULL != parr && grpVerticesCountL(pWaitingGrp) == parr->num)
  29.                         printf("No deadlock.\n");
  30.                 else
  31.                         printf("deadlocked.\n");

  32.                 if (parr)
  33.                         strDeleteArrayZ(parr);
  34.                 grpDeleteL(pWaitingGrp);
  35.         }
  36.         return 0;
  37. }
复制代码

BIBLIOGRAPHY:
MODERN OPERATING SYSTEMS FOURTH EDITIO by ANDREW S. TANENBAUM HERBERT BOS
EMBEDDED AND REAL-TIME OPERATING SYSTEMS by K.C.WANG
回复

使用道具 举报

发表于 2022-11-23 11:33:11 | 显示全部楼层
话说如果WINDOWS上的线程死锁了,可以通过调用KeForceResumeThread来唤醒。。。
它的工作原理就是把线程的Semaphore设置为有信号。
  1. ULONG KeForceResumeThread        (         IN PKTHREAD         Thread         )        
  2. {

  3.     ULONG OldCount;
  4.     KIRQL OldIrql;

  5.     ASSERT_THREAD(Thread);
  6.     ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL);

  7.     //
  8.     // Raise IRQL to dispatcher level and lock dispatcher database.
  9.     //

  10.     KiLockDispatcherDatabase(&OldIrql);

  11.     //
  12.     // Capture the current suspend count.
  13.     //

  14.     OldCount = Thread->SuspendCount + Thread->FreezeCount;

  15.     //
  16.     // If the thread is currently suspended, then force resumption of
  17.     // thread execution.
  18.     //

  19.     if (OldCount != 0) {
  20.         Thread->FreezeCount = 0;
  21.         Thread->SuspendCount = 0;
  22.         Thread->SuspendSemaphore.Header.SignalState += 1;
  23.         KiWaitTest(&Thread->SuspendSemaphore, RESUME_INCREMENT);
  24.     }

  25.     //
  26.     // Unlock dispatcher database and lower IRQL to its previous
  27.     // value.
  28.     //

  29.     KiUnlockDispatcherDatabase(OldIrql);

  30.     //
  31.     // Return the previous suspend count.
  32.     //

  33.     return OldCount;
  34. }
复制代码
回复 赞! 靠!

使用道具 举报

 楼主| 发表于 2022-11-23 23:24:59 | 显示全部楼层
Golden Blonde 发表于 2022-11-23 11:33
话说如果WINDOWS上的线程死锁了,可以通过调用KeForceResumeThread来唤醒。。。
它的工作原理就是把线程的S ...

感谢科普。请问WINDOWS是怎样检测出有死锁的呢?
回复 赞! 靠!

使用道具 举报

本版积分规则

QQ|Archiver|小黑屋|技术宅的结界 ( 滇ICP备16008837号 )|网站地图

GMT+8, 2024-12-26 23:45 , Processed in 0.036506 second(s), 24 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表