Windows内存管理(3)--检查内存可用性,结构化异常处理 和 ASSERT
1. 检查内存可用性
在驱动程序开发中,对内存的操作要格外小心。如果某段内存是只读的,而驱动程序试图去写操作,会导致系统的崩溃。
DDK提供了两个函数,帮助程序员在不知道某段内存是否可读写的情况下,试探这段内存的可读写性。
VOID
ProbeForRead(
IN CONST VOID *Address,
IN SIZE_T Length,
IN ULONG Alignment
);
VOID
ProbeForWrite(
IN CONST VOID *Address,
IN SIZE_T Length,
IN ULONG Alignment
);
这两个函数不是返回该段内存是否可读写,而是当不可读写的时候,引发一个异常。
2. 结构化异常处理
(1) try-except块
__try
{
// guarded code
}
__except ( expression )
{
// exception handler code
}
其中expression ()
{
NT_STATUS status = STATUS_SUCCESS;
status = Foo1(…);
if(!NT_SUCCESS(status))
{
//回收资源;
//return status;
}
status = FooN(…);
if(!NT_SUCCESS(status))
{
//()
{
NT_STATUS status = STATUS_SUCCESS;
__try
{
status = Foo1(…);
if(!NT_SUCCESS(status))
{
//return status<span courier="" new";="" mso-hansi-font-family:"courier="" new";mso-bidi-font-family:"courier="" mso-font-kerning:0pt;"="" style="font-family: 宋体; ">;
}
status = Foo2(…);
if(!NT_SUCCESS(status))
{
//return status;
}
status = FooN(…);
if(!NT_SUCCESS(status))
{
//return status;
}
}
__finally
{
if(!NT_SUCCESS(status)
{
//统一回收资源
}
return status;
}
}
3. 断言
在驱动程序中,使用“断言”,一般是通过ASSERT宏。例如:
NTSTATUS Foo(PCHAR* str)
{
ASSERT(str!=NULL); //断言
//对str的操作。
}
这段代码认为输入绝不可能是空指针,因此在函数的开头做了一个断言。一旦断言失败,会引发一个异常,并终止程序。
例如:
用C语言的知识解释如下:
assert( <expression> );
当expression结果为“假”时,会在stderr中输出这条语句所在的文件名和行号,以及这条表达式。这只在调试版本中起作用,在Release版本中不会产生任何代码。
通常当我们使用assert时,都在强烈说明一个含义:在这里必然如此。它通常用于一个函数的先验条件和后验条件的检查。比如我写一个C风格复制字符串的函数,并且认为调用者不应该传入NULL指针:
char * clone_string(const char * source)
{
char * result;
assert(source != NULL);
result = (char *)malloc(strlen(source) + 1);
if (result != NULL)
{
strcpy(result, source);
assert(strcmp(result, source) == 0);
}
return result;
}
注意到我对source是否为NULL是用assert检查的,但对result是不是为NULL是用if语句判断的,这是因为在调用代码正确的情况下source必然不为NULL,如果断言失败,说明调用代码中有错误,需要修改;但result作为malloc的返回值则不一定,在malloc代码无误的情况下仍然可能返回NULL——当内存块不足时。最后又用assert对strcpy的结果进行检查,因为只要代码正确,无论什么情况strcpy应该正常完成复制,它没有malloc那种异常情况存在。
转载于:https://www.cnblogs.com/vcerror/p/4289081.html
Windows内存管理(3)--检查内存可用性,结构化异常处理 和 ASSERT相关推荐
- Java内存管理:Java内存区域 JVM运行时数据区
Java内存管理:Java内存区域 JVM运行时数据区 在前面的一些文章了解到javac编译的大体过程.Class文件结构.以及JVM字节码指令. 下面我们详细了解Java内存区域:先说明JVM规范定 ...
- C++:内存管理:C++内存管理详解
C++语言内存管理是指:对系统的分配.创建.使用这一系列操作.在内存管理中,由于是操作系统内存,使用不当会造成很麻烦的后果.本文将从系统内存的分配.创建出发,并且结合例子来说明内存管理不当会造成的结果 ...
- 鸿蒙系统内存管理,嵌入式系统内存管理-鸿蒙HarmonyOS技术社区-鸿蒙官方战略合作伙伴-51CTO.COM...
1.概述 操作系统的内存管理功能用于向操作系统提供一致的地址映射功能和内存页面的申请.释放操作.在嵌入式实时系统中,内存管理根据不同的系统,有不同的策略,对于有些系统支持的虚拟内存管理机制,对于另外一 ...
- 【C 语言必知必会】内存管理、动态分配内存、野指针
C 语言内存管理.动态分配内存.野指针 文章目录 C 语言内存管理.动态分配内存.野指针 前言: 1.内存分区 1.1 代码区 1.2.1 全局初始化数据区(静态数据区data段) 1.2.2 未初始 ...
- 属性与内存管理(属性与内存管理都是相互关联的)
<span style="font-size:18px;"> 属性与内存管理(属性与内存管理都是相互关联的)第一部分一,属性:属性是OC2.0之后出来的新语法,用来取代 ...
- 【Linux 内核 内存管理】优化内存屏障 ③ ( 编译器屏障 | 禁止 / 开启内核抢占 与 方法保护临界区 | preempt_disable 禁止内核抢占源码 | 开启内核抢占源码 )
文章目录 一.禁止 / 开启内核抢占 与 方法保护临界区 二.编译器优化屏障 三.preempt_disable 禁止内核抢占 源码 四.preempt_enable 开启内核抢占 源码 一.禁止 / ...
- JVM自动内存管理机制——Java内存区域(下)
一.虚拟机参数配置 在上一篇<Java自动内存管理机制--Java内存区域(上)>中介绍了有关的基础知识,这一篇主要是通过一些示例来了解有关虚拟机参数的配置. 1.Java堆参数设置 a) ...
- Unity 之 Mono内存管理与泄漏 — 内存是手游的硬伤(转)
WeTest导读 内存是游戏的硬伤,如果没有做好内存的管理问题,游戏极有可能会出现卡顿,闪退等影响用户体验的现象.本文介绍了在腾讯游戏在Unity游戏开发过程中常见的Mono内存管理问题,并介绍了一系 ...
- Windows系统程序设计之结构化异常处理
标 题: [原创]Windows系统程序设计之结构化异常处理 作 者: 北极星2003 时 间: 2006-09-20,20:21:28 链 接: http://bbs.pediy.com/showt ...
最新文章
- 饭后半小时养胃黄金期
- 创建 Web 部件页--msdn
- 架构师之路 — 软件架构 — 应用架构设计模式
- ubuntu与xp双系统中如何设置默认启动系统?
- Apache FTPClient操作文件上传下载及公共类
- 用redis实现分布式锁
- FFTNTT数学解释
- iMX8MP方案推荐|一款适用于心电监护仪的嵌入式核心板
- Eth Transfer
- macos同时运行多个版本php程序(nginx+php56+php72)
- 计算机无法连接共享打印机,共享打印机无法连接,小编教你共享打印机无法连接怎么办...
- 51单片机数码管显示学习笔记
- 使用Java语言编写一个五子棋UI界面并实现网络对战功能(非局域网)
- JAVA计算机毕业设计自习室预订系统Mybatis+系统+数据库+调试部署
- 华为认证HCIA的方向选择
- 高考选地理化学生物能考计算机专业吗,高考选科物理化学地理可以报考什么专业...
- 软件企业和双软企业的区别
- 【excel】利用NETWORKDAYS.INTL函数计算两日期之间的工作日时间
- 暑期实习Day7---SpringMVC
- Java组各任务工作流程