零缺陷编程读书笔记(九)自己设计并使用断言(7)

2024-06-16 07:58

本文主要是介绍零缺陷编程读书笔记(九)自己设计并使用断言(7),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

12 两个算法比一个算法好

 

1这就是我设计的反汇编程序的工作方式。

自然,该程序并没有使用 142 个条件不同的 if 语句来实现对所有可能的 142 条指令进行检查而是使用一个含有屏蔽码、指令特征和译码函数的表格对每条指令进行检查。查表程序循环检查指令,如果匹配上某条指令,就调用相应的译码程序译出该指令的 Register Mode 域。

 

下面给出这个表格的部分内容以及使用该表的部分代码:

/* idInst 是个屏蔽码和指令特征组成的表格,

其内容表示了不同类型指令的二进制位模式。

*/

static identity idInst[] =

{

 { 0xFF00,0x0600,   pcDecodeADDI },   /*  屏蔽码特征及函数  */

 { 0xF130,  0xD100, pcDecodeADDX },

 { 0xF000,  0xD000, pcDecodeADD },

 { 0xF000,  0x6000,   pcDecodeBcc },   /*  短转移  */

 { 0xF1C0,  0x4180,   pcDecodeCHK },

 { 0xF138,  0xB108,   pcDecodeCMPM },

 { 0xFF00,0x0C00,  pcDecodeCMPI },

 { 0xF1C0,  0x81C0,  pcDecodeDIVS },

 { 0xF100,  0xB100,   pcDecodeEOR },

/*  */

 { 0xFF00,0x4A00, pcDecodeTST },

 { 0xFFF8, 0x4E58,   pcDecodeUNLK },

 { 0x0000,  0x0000,   pcDecodeError }

};

/* pcDisasm

反汇编一条指令并将其填入操作码结构 opc

* pcDisasm 返回一个修改过的程序计数器

*

典型用法 pcNext = pcDisasm(pc, &opc);

*/

instruction* pcDisasm(instruction* pc, opcode* popcRet)

{

 identity* pid;

 instruction inst = *pc;

 for(pid=&idInst[0]; pid->mask!=0; pid++)

{

  if( (inst & pid->mask) ==   pid->pat )

break;

}

 return( pid->pcDecode(inst, pc+1, popcRet) );

}

我们看到,函数 pcDisasm 并不很大。

 

2

还是让我们看看 Microsoft Excel 重新计算工具的做法吧。由于速度是电子表格软件成

功的关键,所以为了保证绝不对其它无关单元中的公式重新计算,Excel 使用了一个相当复

杂的算法。这样做的唯一问题是因为该算法过于复杂,所以对其进行修改难免会引进新的错

误。Excel 的程序员当然不希望这种事情发生,所以他们又编写了一个只用在 Excel 调试版本的重新计算工具。当原来的重新计算工具完成了重新计算工作之后,再用这个重新计算工具对含有公式的所有单元进行一遍虽然缓慢但很彻底的重新计算。如果两次计算的结果不同,就会触发某个断言。

 

同样,我们可以把上述方法用到我们的反汇编程序上来,即使用另一个只用作凋试的反

汇编程序来对第一个反汇编程序进行确认。

 

幸好这并没有违反“除了原有代码之外,还应该执行所加入的调试代码,而且加入了调试代码之后,仍然要执行原有的代码”这条基本的准则,因此这样做还可以接受。

 

当编写代码时,要抓住一切机会对程序的结果进行验证(调用所有其它函数的瓶颈函数,

是特别适于进行这种检查的好地方)。要尽可能地使用不同的算法,而目要使其不仅仅是同

一算法的又一实现。通过使用不同的算法不仅可以发现算法实现中的错误,而且还增加了发

现算法本身错误的可能性。

 

要利用不同的算法对程序的结果进行确认

 

 

13

1

嘿这是怎么回事?

在本章的早些时候曾经说过,在定义宏 ASSERT 时必须谨慎从事。其中特别提到它不能

移动内存的内容,不能调用其它的函数或者引起了其它不期望的副作用。既然如此,为什么

下面的函数 pcDisasm 还使用了不符合上述要求的断言呢?

/*  检查两个输出值的有效性  */

ASSERT( pcRet == pcDisasmAlt(pc, &opc) );

ASSERT( memcmp(popcRet, &opc, sizeof(opcode))==0 );

之所以要禁止 ASSERT 调用其它的函数,是因为那样可能会对 ASSERT 周围的代码产生

某种不可预料的影响。但在上面的代码中,调用其它函数的不是 ASSERT,而是作者,即

ASSERT 的使用者。因为我知道在 pcDisasm 中调用其它的函数很安全,不会引起问题,所以不用顾虑在该断言中使用函数调用。

 

2)一开始就要阻止错误的发生

因此虽然我们也可以把这一任务推给测试组,但不要那么做。尽管相当多的程序员认为

测试者就是要为自己测试程序,但要知道,测试者的工作并不只是对你的程序进行测试,查

出自己程序中的错误毕竟是你自己的工作。如果你不同意这一观点,那么请举出一个只因为

有人进行错误检查就可以草率从事的其它工作来。既然没有,那为什么程序设计应该例外

呢?如果你想要始终如一地编写出没有错误的代码,就必须采取措施负起责。所以,还是让我们从现在就开始做起吧。

 

不要等待错误发生要使用初始检查程序

 

14 一个告诫

 

1

我曾经重写了一个由几个 Microsoft 小组共享的代码,它有许多的错误,因为在编写原

来的代码库时没有使用断言,但我在新版库中加上了断言。

我当然不认为他们没有问题。所以我请求他继续使用新库,直到发现某个断言有错为止。

他虽然心里不高兴,但还是答应了我的请求。结果,他发现所有的错误都出在他们自己的项目, 而不是我的新库中。

 

总结:

1 “零缺陷编程读书笔记”之“自己设计并使用断言”用了7篇完成了,不能说列出了原文中的精华,但是这些都是作者在第一次学习的时候,有深刻印象的。

2 好的书要读多次,每次都会有不同的收获。这个进度有些慢,一遍还没读完。

3 要坚持读完。即使再忙,进度再慢,也要坚持读完。做事就要有计划,有安排,有好的状态。

 

 

 

 

 

 

 

 

这篇关于零缺陷编程读书笔记(九)自己设计并使用断言(7)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1065882

相关文章

不懂推荐算法也能设计推荐系统

本文以商业化应用推荐为例,告诉我们不懂推荐算法的产品,也能从产品侧出发, 设计出一款不错的推荐系统。 相信很多新手产品,看到算法二字,多是懵圈的。 什么排序算法、最短路径等都是相对传统的算法(注:传统是指科班出身的产品都会接触过)。但对于推荐算法,多数产品对着网上搜到的资源,都会无从下手。特别当某些推荐算法 和 “AI”扯上关系后,更是加大了理解的难度。 但,不了解推荐算法,就无法做推荐系

中文分词jieba库的使用与实景应用(一)

知识星球:https://articles.zsxq.com/id_fxvgc803qmr2.html 目录 一.定义: 精确模式(默认模式): 全模式: 搜索引擎模式: paddle 模式(基于深度学习的分词模式): 二 自定义词典 三.文本解析   调整词出现的频率 四. 关键词提取 A. 基于TF-IDF算法的关键词提取 B. 基于TextRank算法的关键词提取

使用SecondaryNameNode恢复NameNode的数据

1)需求: NameNode进程挂了并且存储的数据也丢失了,如何恢复NameNode 此种方式恢复的数据可能存在小部分数据的丢失。 2)故障模拟 (1)kill -9 NameNode进程 [lytfly@hadoop102 current]$ kill -9 19886 (2)删除NameNode存储的数据(/opt/module/hadoop-3.1.4/data/tmp/dfs/na

Hadoop数据压缩使用介绍

一、压缩原则 (1)运算密集型的Job,少用压缩 (2)IO密集型的Job,多用压缩 二、压缩算法比较 三、压缩位置选择 四、压缩参数配置 1)为了支持多种压缩/解压缩算法,Hadoop引入了编码/解码器 2)要在Hadoop中启用压缩,可以配置如下参数

Makefile简明使用教程

文章目录 规则makefile文件的基本语法:加在命令前的特殊符号:.PHONY伪目标: Makefilev1 直观写法v2 加上中间过程v3 伪目标v4 变量 make 选项-f-n-C Make 是一种流行的构建工具,常用于将源代码转换成可执行文件或者其他形式的输出文件(如库文件、文档等)。Make 可以自动化地执行编译、链接等一系列操作。 规则 makefile文件

使用opencv优化图片(画面变清晰)

文章目录 需求影响照片清晰度的因素 实现降噪测试代码 锐化空间锐化Unsharp Masking频率域锐化对比测试 对比度增强常用算法对比测试 需求 对图像进行优化,使其看起来更清晰,同时保持尺寸不变,通常涉及到图像处理技术如锐化、降噪、对比度增强等 影响照片清晰度的因素 影响照片清晰度的因素有很多,主要可以从以下几个方面来分析 1. 拍摄设备 相机传感器:相机传

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码: 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口,https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

pdfmake生成pdf的使用

实际项目中有时会有根据填写的表单数据或者其他格式的数据,将数据自动填充到pdf文件中根据固定模板生成pdf文件的需求 文章目录 利用pdfmake生成pdf文件1.下载安装pdfmake第三方包2.封装生成pdf文件的共用配置3.生成pdf文件的文件模板内容4.调用方法生成pdf 利用pdfmake生成pdf文件 1.下载安装pdfmake第三方包 npm i pdfma

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]