多线程WIN32程序如何检查死锁(三）-使用Petri网络来表示多线程应用程序阅读全文>
发表于 @ 2005年09月20日 14:00:00|评论(loading...)|编辑|收藏
本文是处理基于WIN32应用程序死锁的三篇文章系列之一。本文介绍程序不变量的概念以及Petri网络模拟多线程应用程序的理论框架。它呈现基于Petri网络体系的死锁检测技术。下一篇文章：《DLDETECT.EXE的实现》，描述怎么样实现一个DLDETECT.EXE，它是一个WIN32应用程序，提供编辑Petri网络交互界面和多线程应用程序起初的形式。最后一篇文章《使用DLDEECT来工作》描述一个多线程应用程序怎么样被写为Petri网络，或者怎么样使用DLDETECT.EXE来设计和分析多线程应用程序。阅读全文>
发表于 @ 2005年09月05日 16:31:00|评论(loading...)|编辑|收藏
OutputDebugString，调试，DEBUG，DEBUGVIEW，TRACE阅读全文>
发表于 @ 2005年08月12日 09:45:00|评论(loading...)|编辑|收藏