具体的重构手段可参考《代码大全2》或《重构:改善既有代码的设计》,本文不再班门弄斧,而侧重重构时一些粗浅的“方法论”,旨在提高重构效率。
作者未采用重量级的重构工具,仅用到source insight的”smart rename”功能。也未使用cunit等单元测试工具,而是通过在线调测和自动化测试保证代码的正确性。
一 背景
mdu系列产品从他处接手,omci模块相关人员含作者在内不过三五人。除新增功能的开发外,大量时间花费在处理遗留故障上。但该模块代码庞杂且可读性差,导致大家仅了解其“大概轮廓”,难以放心地使用和维护。
此外,忙碌容易使人迷失方向。主要的时间精力花费在故障处理上时,自然无暇考虑整改代码,从而陷入四处救火、疲于奔命的尴尬境地。
二 目标
重构的主要目的在于改善既有代码的设计,而不是修改缺陷、新增功能等。
重构可以是修改变量名、重新安排目录这样简单的物理重构,也可以是抽取子函数、精简冗余设计这样稍许复杂的逻辑重构。但均不改变现有代码的功能。
重构可以将意大利面条式的杂乱代码整理为千层饼式的整洁代码。整洁的代码更加健壮,因其便于建立完善的测试防护网。同时,新手老人均可放心地修改。
期望重构之后,代码逻辑一目了然,扩展和修改非常方便,出现故障时能迅速定位和修复。前人摔跤过的地方后人不再栽倒,前人思考出的成果后人可直接借用。总之,高度人性化,极大解放人力和脑力。
最初的想法是,通过重构部分流程和代码(代码先行),建立测试防护体系,生成阶段报告,展现代码质量(实例加数据)和故障收敛曲线。借助这样的报告,可望获得领导层的支持和宣贯,也有利于绩效考核。
三 实践
具体实践时,作者并未进行纯粹的“重构”,还兼做缺陷修改,并增加自动化测试等辅助功能。原则上,对既有代码注重重构,对新增代码注重复用。
3.1 代码研读
omci模块代码庞杂,分支众多,上手困难(据称半年勉强入门,一年才能熟练)。若不能有效掌握现有代码,后续难免被迫付出时间健康而又得不到项目认同(事实上,模块内发现的遗留故障源源不断)。反之,若能全面掌握现有代码,后续才可能通过反向工程、系统/代码恢复和重构等手段,将模块改造得更易开发和维护,最终解放编码者自己。
为提高代码研读效率,可采用分工阅读和代码注释的方法。
“分工阅读”是指将模块分为若干块子功能(如协议解析、告警、统计、二层、语音等),组内每人负责一块或几块,不定期地交流和轮值。
“代码注释”是指在学习代码过程中,随手注释代码(大至流程、函数,小至代码行),功能、意图、技巧、缺陷、疑问等均可(凡经过思考的地方都是可加注释之处)。其中“疑问”既可咨询兄弟产品同一模块的同事再转换为功能或意图,也可由其他注释者解答。
这样做的好处是:避免重复钻研;经验积累;可供量化。
代码可取产品最新版本,建立服务器公共代码目录(svn管理更好)。注释时不要覆盖其他人的注释即可。
建议注释统一格式,便于识别和检索,形如”//>”。以下示出一个代码注释实例:
case omci_me_attribute_2: // operational state if (attr.attr.ucoperationstate != 0 && attr.attr.ucadminstate != 1) //xywang0618> bug: should be ucoperationstate! { return omci_func_return_out_of_range; } break;
3.2 可读性
首先,规范变量、函数等命名。具体方法不再赘述。
其次,注释到位,尤其是全局变量和通用函数。举例如下:
/******************************************************************************* 函数名称: bytearray2strseq* 功能说明: 掩码字节数组字符串化 该数组元素为掩码字节,将其所有值为1的比特位置转换为指定格式的字符串* 输入参数: pucbytearray: 掩码字节数组 ucbytenum : 掩码字节数组待转换的有效字节数目 ucbaseval : 掩码字符串起始字节对应的数值* 输出参数: pstrseq :掩码字符串,以','、'-'间隔 形如0xd7(0b'11010111) ---> 0-1,3,5-7* 返 回 值: pstr :pstrseq的指针备份,可用于strlen等链式表达式* 用法示例: int8u aucbytearray[8] = {0xd7, 0x8f, 0xf5, 0x73}; char szseq[64] = {0}; bytearray2strseq(aucbytearray, 4, 0, szseq); ----> 0-1,3,5-8,12-19,21,23,25-27,30-31 memset(szseq, 0, sizeof(szseq)); bytearray2strseq(aucbytearray, 4, 1, szseq); ----> 1-2,4,6-9,13-20,22,24,26-28,31-32* 注意事项: 因本函数内含strcat,故调用前应按需初始化pstrseq******************************************************************************/char *bytearray2strseq(int8u *pucbytearray, int8u ucbytenum, int8u ucbaseval, char *pstrseq);
最后,整改晦涩难懂的代码。主要有两种手段:
1) 改写方法
以pon光路检测为例,底层接口提供的光功率单位为0.1uw,omci协议test消息上报的光功率单位为0.002dbuw,而ani-g功率属性单位则为0.002dbmw。
原有代码转换如下(为突出重点有所改编):
int16s wrxpower = getrxpowerindot1uw(); //接收光功率if(wrxpower < 1){ wrxpower = 1;}/*0.1uw to 0.002dbm*/dblval = 10 * log10(wrxpower) - 40;dblval = dblval * 500;wrxpower = (int16u)dblval;wrxpower = (int)wrxpower*100;/*opt pwr 0.00002db x * 0.00002*/wrxpower = wrxpower + (30 * 500) * 100;if(wrxpower omci_header.ucmsgtype) || (omcimetype_get == vpin->omci_header.ucmsgtype)){ wmask = w(response.omcimsg.auccontent[0],response.omcimsg.auccontent[1]); ussupportmask = (1 omci_header.wmeid, vpin->omci_header.ucmsgtype, wmask, ussupportmask); }}
对ussupportmask赋值及判断的语句(第6~7行),用于校验掩码是否越界。为更具可读性,将其封装为如下函数:
/******************************************************************************* 函数名称: omciismaskoutoflimit* 功能说明: 判断实体属性掩码是否越界(比特1数目超过属性数目)* 输入参数: int16u wmemask :实体掩码* int8u ucattrnum :属性数目* 输出参数: na* 返 回 值: bool******************************************************************************/bool omciismaskoutoflimit(int16u wmemask, int8u ucattrnum){ //wmemask :mmmm mmmm mmm0 m000 //winvertmask :0000 0000 000i iiii int8u winvertmask = (1 << (omci_attr_max_num-ucattrnum)) - 1; return (0 != (wmemask & winvertmask));}
封装后的函数名恰当地起到“自描述”的作用。
3.3 在线调测工程
该产品作为嵌入式终端,需要在linux系统中编译打包版本,然后将其下载到目标单板上运行。这种交叉编译方式对于单个模块的调试而言,效率无疑比较低下。
为提高调测效率,在linux服务器搭建在线调测工程。即提取omci模块代码,稍作改造后直接在服务器上编译和运行。这样就可避免每次修改代码都要重启单板升级大版本,调测效率极高。
为使模块可独立运行,需要编写模拟接口以屏蔽底层调用,并裁减暂不必要的特性(如线程和通信)等。
3.4 模拟数据库
omci模块使用某内存数据库来管理需要持久化的实体信息,但该数据库代码内调用了大量平台相关的接口,不利于实现模块的在线调测。因此,作者研读源代码后编写了一个模拟数据库。该库仿照模块使用的几个原库接口及行为,模拟接口内部校验均增加错误信息打印,以便于排障。
此外,在数据库接口原语的基础上二次封装统一接口,一举消除模块内数据库操作代码的凌乱和重复。
3.5 自动化测试
没有测试保护网的重构,无异于没有血源的外科手术。
首先,公共接口和函数均提供有相应的测试函数,兼做示例和用例。如:
//start of bytearray2strseqtest//void bytearray2strseqtest(void){ //bytearray2strseq函数算法不甚优美和严谨,应多加测试验证,如有可能尽量优化。 int8u uctestindex = 1; int8u pucbytearray[] = {0xd7, 0x8f, 0xf5, 0x73, 0xb7, 0xf0, 0x00, 0xe8, 0x2c, 0x3b}; char pstrseq[50] = {0}; //time consumed(x86_gcc3.2.3_glibc2.2.5): 72us memset(pstrseq, 0, sizeof(pstrseq)); bytearray2strseq(pucbytearray, 4, 1, pstrseq); printf([%s] result: %s, pstrseq = %s!, __function__, uctestindex++, strcmp(pstrseq, 1-2,4,6-9,13-20,22,24,26-28,31-32) ? error : ok, pstrseq); //time consumed(x86_gcc3.2.3_glibc2.2.5): 7us memset(pstrseq, 0, sizeof(pstrseq)); bytearray2strseq(pucbytearray, 4, 0, pstrseq); printf([%s] result: %s, pstrseq = %s!!!, __function__, uctestindex++, strcmp(pstrseq, 0-1,3,5-8,12-19,21,23,25-27,30-31) ? error : ok, pstrseq); //time consumed(x86_gcc3.2.3_glibc2.2.5): 4us memset(pstrseq, 0, sizeof(pstrseq)); bytearray2strseq(&pucbytearray[4], 2, 1, pstrseq); printf([%s] result: %s, pstrseq = %s!, __function__, uctestindex++, strcmp(pstrseq, 1,3-4,6-12) ? error : ok, pstrseq); //time consumed(x86_gcc3.2.3_glibc2.2.5): 4us memset(pstrseq, 0, sizeof(pstrseq)); bytearray2strseq(&pucbytearray[6], 2, 1, pstrseq); printf([%s] result: %s, pstrseq = %s!, __function__, uctestindex++, strcmp(pstrseq, 9-11,13) ? error : ok, pstrseq); //time consumed(x86_gcc3.2.3_glibc2.2.5): 5us memset(pstrseq, 0, sizeof(pstrseq)); bytearray2strseq(&pucbytearray[8], 2, 1, pstrseq); printf([%s] result: %s, pstrseq = %s!, __function__, uctestindex++, strcmp(pstrseq, 3,5-6,11-13,15-16) ? error : ok, pstrseq);}//end of bytearray2strseqtest//
此外,模块内还增加自动化测试功能(testsuite),可用来验证批量或单个实体的配置和查询操作。批量测试结果统计如下(省略各实体的具体测试结果):
在上述测试结果中,failed testcase(s)最为关键,表示失败的用例数目。此外,uncompared testcase(s)表示未做比较的条目数,如获取时间等易变属性的实体,无法预置恰当的期望结果,因此未做比较。测试过程中的打印信息可保存为日志文件,然后在打印日志中搜索failure关键字,即可获知哪些配置失败。
当大量修改当前代码时,借助上述自动化测试功能,可迅速获知修改结果的影响。在开发新功能时,可先设计好测试用例和期望结果,然后按照“测试驱动开发”的模式来编码,提高编码效率和正确率。
3.6 直捣核心
传统的重构步骤是先容易后困难,先外围后核心。而作者反其道而行之,首先重构核心公共的代码。这样做的好处是:
1) 便于梳理头文件包含关系
在线调测工程中最初只保留最为公共的代码文件(如日志功能),重构并调测通过后再逐步添加其他单一功能的目标代码。该过程中会按需拆分和/或组合文件,减少头文件的嵌套和交叉引用。
2) 避免重复工作甚至返工
公共代码重构后并封装后,对较外围的应用代码重构时会更容易消除冗余。若先重构好外围代码,很可能发现某些逻辑可以统一到公共代码内,从而导致大面积返工;而若先着手重构公共代码,则通过研读外围代码对其的使用方式,很容易及早甄别这些冗余性。
3) 迭代验证
在重构后的公共代码基础上逐步叠加外围代码时,也在反复测试公共代码的正确性和易用性。
4) 增强信心
先核心后外围、逐步叠加验证的过程可控,可增强大规模重构时的信心,缓解压力。反之,若先重构好外围代码,等触及核心时牵一发而动全身,压力极大。
四 效果
在某产品代码基础上,进行omci模块db/log/实体存取/消息处理/性能统计等重构。经过三个多月的重构后,模块代码复杂度大幅下降(某核心源文件平均复杂度降为原先1/4),代码显著精简(据不完全统计已精简万余行),同时更具可读性。新增代码的过程中,编写大量工具类宏和函数,并增加omci自动化测试、内存检测等实用功能。
通过linecount和source monitor度量某功能代码重构效果,如下表所示:
此外,重构过程中积累的通用框架、代码及经验,可进一步应用到新的项目中。
这四个问题或将严重削弱物联网市场的潜力和未来
VisCPM:迈向多语言多模态大模型时代
企业对于物联网安全意识是否有所加强?又该如何应对呢?
使用车载安全气囊充气机爆管的优势
哪一个stream的内置方法不属于中间操作
代码重构的经验总结
离线语音识别与在线语音识别有什么不一样?
高频环行器的应用
蔚来汽车自研大圆柱电池,量产节点或从2025年开始
看好梁孟松却不看好中芯国际,梁孟松能否带领公司走向辉煌
换体DMA高速数据采集电路原理及其CPLD实现
如何破解AI超微光摄像机高速公路补光灯光污染难题
IBM V7000存储数据恢复案例
富士康:美国首家工厂将生产平板屏幕,并不是iPhone
由Java改为 Kotlin过程中遇到的坑
瑞萨面向电机控制应用推出性能卓越的RA8 MCU
华为新专利后置圆形摄像模组位置改变
Raspberry Pi、Orange Pi……什么是开发板?开发板有什么用?
真正的下一代无线网络 5G应该怎样?
台企积极推动两岸学术交流,IC设计领域首批高校互换学子近日成