摘要：
1、题目（《离散数学及其应用》第6版P75 20 题） 给出可以列出有限集合所有子集的步骤。2、 解题思路假设有集合A = {a1, a2 … an}，列出其所有子集。先列出含有1个元素的所有子集：{a1},{a2} … {an}然后列出含有2个元素的所有子集：{a1,a2},{a1,a3}…{an... 阅读全文
摘要：
1、吸收律证明（A∪(A∩B) = A ）文氏图：注：三角形区域为 (A∩B)证明：∵A = A∩E //E为全集∴A∪(A∩B) = (A∩E)∪(A∩B)根据分配律倒推可知：(A∩E)∪(A∩B) = A∩(B∪E)∵B∪E = E∴A∩(B∪E) = A∩E = A点评：证明过程引入全集E，利... 阅读全文
摘要：
1、分配律1.1 A∩(B∪C) = (A∩B)∪(A∩C)说明：从左至右，图1中三角形区域为 A，草绿色区域为 (B∪C)，即有三角形又有草绿色底色的区域即为 A∩(B∪C) 图2中三角形区域为 (A∩B)，草绿色区域为 (A∩C)，三角形和草绿色底色的区域即为 (A∩B)∪(A∩C) 图3中用粗... 阅读全文
摘要：
1、交集和并集 2、补集 A∪~A = E A∩~A = φ 3、集合的减法 注意：A-B(左边草绿色部分) ≠ B-A(右边绿色部分) 4、减去一个集合 = 交上该集合的补集 注：草绿色为 ～B，三角形区域为 A, 粗线条框起的区域为集合运算结果区域 A-B 阅读全文
摘要：
最近跟踪了一个程序的界面卡死问题，该卡死偶尔出现，在抓到一次dump后用windbg载入分析，打印出函数调用堆栈后，一眼可以看出是临界区死锁了。代码:0:000:x86>kbChildEBPRetAddrArgstoChild0032dd0c779ed9930000071000000000000... 阅读全文
摘要：
01. 模块原则：使用简洁的接口拼合简单的部件。02. 清晰原则：清晰胜于机巧。03. 组合原则：设计时考虑拼接组合。04. 分离原则：策略同机制分离，接口同引擎分离。05. 简洁原则：设计要简洁，复杂度能低则低。06. 吝啬原则：除非确无它法，不要编写庞大的程序。07. 透明性原则：设计要可见，以... 阅读全文
摘要：
1、故事背景 最近同事的代码中碰到一个bug会导致奔溃的bug，从dump上看是由于某个对象的堆内存指针被释放了，但代码仍调用了该对象指针的虚函数，从而引起内存访问违法崩溃，由于该类被大量使用，无法直接定位到具体哪个类被提前释放了，从而打算开启堆页检查，跟踪该对象堆内存指针被释放的代码位置，从而... 阅读全文
摘要：
为了探究虚表的今生前世，先来一段测试代码虚函数类： 1 class CTest 2 { 3 public: 4 int m_nData; 5 6 virtual void PrintData() 7 { 8 printf("D... 阅读全文
摘要：
女人常说男人喜新厌旧，只见新人笑，那闻旧人哭，但装饰模式（Decorator）却是一种结交新朋友不忘老朋友的设计模式，非常适合去古代当老公（现代是不行的，因为只能娶一个老婆了）。装饰模式的本质是每一个装饰对象都被保留一个被其装饰的对象，装饰对象在展示新功能时会同时去调用被其装饰的对象的同功能... 阅读全文
摘要：
1、现象 最近项目中调出一个bug，某些时候程序会卡死不动，用windbg进行加载后用 ~*kb 命令列出所有的线程栈调用，发现有多个线程调用 WaitForMultipleObjects 在等待同一个内核对象： 输入 !handle cc f 命令列出该内核对象的详细信息： 发现是是一个Mute... 阅读全文