内容简介:代码审查关注什么:性能
在本系列代码审查文章的第三篇,我们准备讨论在代码审查中性能方面需要关注哪些事情。
和所有的架构/设计一样,一个系统非功能性的性能需求也应该优先考虑。不管你是在开发必须在几个毫微秒内响应的低等待时间交易系统、还是在创建一个需要尽快响应用户的购物网站,或者是在开发一款管理 “待办事项”的移动应用,你都应该有“太慢了”的概念。
我们一起来看看审查者在代码审查在中应该关注的影响性能的事情。
首先
这个功能有硬性的性能需求吗?
被审查的代码属于有公开的 SLA领域吗?或者说需求描述中有单独的性能方面的需求?
如果最初的需求是来自 bug 描述“登录界面加载太慢”,开发者应该已经很清楚多长的加载时间是合适的,否则审查者或作者怎么相信速度有明显的提高?
如果是这样,有测试证明达到这些标准了吗?
任何性能关键系统都应该有自动化性能测试,保证达到公开的 SLAs (“所有的订购请求都应该在10ms内响应”)标准。如果过没有,你只有依靠用户来投诉达不到你的 SLAs 标准。这不仅仅是糟糕的用户体验,还会导致不可避免的罚款和费用。在上一篇文章中已经详细讨论了审查测试。
bug 修复/新功能添加的代码会对已有的性能测试带来负面影响吗?
如果你们定期运行性测试(或者如果你们有一套性能测试程序可以按需运行),确保新的代码在性能标准方面没有降低系统性能。这可能是一个自动化的过程,但是在 CI 环境中运行性能测试远不如运行单元测试常见,所以在审查过程中将这一点提出来是很有必要的。
如果本次代码评审没有硬性的性能要求
那么花数小时时间极其痛苦的优化代码最终就节约了几个 CPU 周期就完全没有必要。但是代码审查者也需要确保代码不要掉进一些完全可以避免的性能问题中。检查列表的其他部分,看看是否可以轻易的阻止未来的性能问题。
调用外部服务/应用开销很高
使用你自己应用以外任何需要网络的系统都会比一个糟糕的 equals()
方法消耗的时间要 多的多 。考虑:
调用数据库
最糟糕的可能是像 ORM 这种隐藏在抽象后面的调用。但是在代码审查中你应该能够发现普通的性能问题根源,像在循环中单独调用数据库--例如,加载一个 ID 列表,然后根据 ID 为每一项单独查询数据库。
例如,第19行也许看起来没什么问题,但是它处在一个 for
循环中--你不知道这段代码会调用多少次数据库。
不必要的网络访问
像数据库一样,远程服务常常也是因为多个远程调用而过度使用,其实一次调用可能就足够了,或者批量访问或者缓存处理也许就能阻止昂贵的网络调用。再次说明,和数据库一样,有时一些封装后的方法隐藏了其背后实际是调用一个远程 API。
移动应用/穿戴式应用过多的调用后端服务
这其实和“不必要的网络服务”是一样的,但是在移动设备上,调用后端接口不仅仅是性能问题,还会消耗设备的电量。
高效的使用资源
就和怎么使用网络资源一样,审查者要检查对其他资源的使用,确认是否可能存在性能问题。
代码在访问共享资源时使用锁了吗?这会导致性能低下或者死锁吗?
锁就是性能杀手,并且在多线程环境中很难找到原因。考虑这样的模式:只有一个线程写/修改值,其他线程只能读取,或者使用 lock free 算法。
代码中存在内存泄漏的可能吗?
在 Java 中,导致内存泄漏的常见原因有:可变的静态属性,使用 ThreadLocal 和使用 ClassLoader
。
内存的应用消耗有可能无限增长吗?
这一点和内存泄漏不同--内存泄漏是未使用的对象无法被回收。但是任何语言,即使是没有使用垃圾回收机制的语言,都会创建出无限增长的数据结构。作为审查者,如果发现新的值持续被添加到一个 list 或者 map,问一问这个 list 或者 map 有没有清空或者调整大小,什么时候清空或者调整。
在上面的代码中,我们看到所有来自 Twitter 的消息都被添加到一个 map 中。如果我们仔细检查这个类,就会发现 allTwitterUsres
这个 map 从来就没有删减过, TwitterUsers
这个 list 也是一样。这个 map 会迅速变得很庞大,这取决于我们关注了多少用户以及添加 tweets 的频度。
代码关闭连接/流了吗?
写代码时很容易忘记关闭连接或者文件流/网络流。当你在审查其他人的代码时,不管它以什么语言实现,如果有使用文件、网络连接或者数据库连接,请确保它已经正确的关闭。
原作者很容易忽略这个问题,就如上面的这段代码,编译不会有任何问题。作为审查者,你应该发现在函数退出之前,connection,statement和 Result set 都需要关闭。在 Java 7中,由于可以使用 try-with-resources 使得这一点更容易管理。下面的截图展示了作者使用 try-with-resource 修改代码后的结果。
资源池正确的配置了吗?
一个环境可选的配置项依赖于很多因素,所以并不是审查者立刻能够知道。例如数据库连接池的大小是否配置正确。但是有些要点是你一眼就能发现的,例如池子是否太小(如大小为1)或者太大(数百万线程)。很好的调节这些值需要一个尽可能真实的测试环境。但是在代码审查中可以辨别的常见问题是池子(例如线程池、连接池)太大。逻辑上说当然是越大越好,但是每一个对象都要占用资源,并且管理数千个项目的开销要远远高于从它们当中获取的好处。如果有疑问,默认值通常是不错的选择。代码配置如果和默认值不一致,应该有测试或者结论说明设定的值更合理。
审查者很容易发现的警告信号
有一些代码会引入潜在的性能问题。这取决于所使用的代码和库。
反射
在 Java 中使用反射要比不使用反射慢。如果你正审查的代码中使用了反射,问一下是否真的需要。
上面的截屏展示了审查者在 Upsource 中点击一个方法查看它来自哪里,你会看到这个方法返回了 java.lang.reflect
包里的某个类型,这应该是一个警告信号。
超时
当你在审查代码时,你也许不知道一个操作合理的超时是多少,但是你应该考虑“当超时在倒计时时,对系统的其他方面会议什么影响?”。作为审查者你应该考虑最坏情况-在5分钟的超时时间内系统会阻塞掉吗?如果这个时间设置的是1秒最坏会发生什么情况?如果代码的作者不能为说明为什么选定超时的长度,作为审查者你也不知道选定的超时长度的优缺点,这个时候需要邀请知道这个超时影响的人来讨论。不要等待用户来投诉性能方面的问题。
并行
代码使用了多个线程来完成一个简单任务?使用多线程是添加了时间和复杂性而不是提高性能?在最新的 Java 中,这可能比直接创建一个线程更隐蔽:代码中使用了 Java 8最新的并发 stream 但是并没有享受到并发的好处?例如:使用并发 stream 处理少量的数据,或者使用 stream 处理一个很简单的任务,有可能比使用串行 stream 处理更慢。
在上面的例子中,新增加的 parallel
调用好像没有给我吗带来任何好处--这里 stream 作用于一条 Tweet, 也就是最多140个字符的字符串。将并发应用到这么短的字符上可能不会带来任何性能的提高,相反将字符串分割到各个并发线程所付出的代价要比并发带来的好处要高。
正确性
这些事情不一定会影响系统的性能,但是由于好多线程环境强相关,所以它们和性能这个主题相关。
代码中为多线程选择了正确的数据结构?
在上面的代码中,在第12行使用了一个 ArrayList
来存储所有的 sessions。但是这段代码会被多个线程调用,尤其是 onOpen
方法,所以 sessions 应该使用一个线程安全的数据结构。在这个例子中,我们有很多选择:可以使用 Vector
,也可以使用 Collections.synchronizedList()
来创建一个线程安全的 List
,但是最好的选择可能是 CopyOnWriteArrayList
, 因为这个 list 被修改的频率要远远低于被读取的频率。
代码是否容易产生竞争条件?
在多线程环境中,非常容易写出导致竞争条件的代码。例如:
尽管递增的代码只有一行(第16行),很有可能会出现另外一个线程在当前线程读取并存储新的 value 之间加1。作为审查者,需要注意是 get
和 set
组合不是原子性的的情况。
正确的使用锁了吗?
这一条和竞争条件相关,作为审查者,你应该确认不允许多线程以可能冲突的方式修改值。这样的代码可能需要使用 synchronization、locks 或者 atomic variables 来控制对代码块的更改。
为代码添加的性能测试是否有用?
因为很容易写出很差的测试代码。或者测试用例中使用的数据和真实数据完全不一样,这可能会给出误导我们的结果。
缓存
使用缓存是阻止过多的外部请求的一种方式,同时它自身也会带来问题。如果你审查的代码中使用了缓存,你应该关注一些常见问题,比如:缓存项目的有效处理不正确。
代码级别的优化
如果你是代码审查者,同时又是开发者,接下来的这一节也许有你喜欢建议的优化方法。作为一个团队,你需要知道性能对你有多么重要,以及这些类别的优化对你的代码是否有用。
对大多数不是构建低延时应用的团队,这些优化可能划入提前优化(Premature Optimization)类别。
- 代码中是否使用了不必要的同步/锁?如果代码总是在单线程上运行,锁就是不必要的开销。
- 代码中是否使用了不必要的线程安全数据结构?例如:
Vector
是否可以用ArrayList
来替换? - 代码中是否使用常用操作性能很差的数据结构?例如:使用了单向链表,但是需要经常在其中搜索一个单项?
- 代码使用懒加载是否会更好?
- 是否将
if
语句或者其他可以短路的逻辑判断放在最前面? - 是否使用了很多字符串格式化?可以更高效的完成吗?
- log语句是否使用了字符串格式化?有提供给
if
语句根据 log 级别判断是否输出?
上面的代码只输出级别为 FINEST 的信息。但是开销昂贵的字符串格式化每次都会执行,不管消息是否输出。
像上面的代码这样修改可以提高性能,只有需要输出的消息才格式化。
在 Java 8 中,不使用 if
这样的模板代码也可以获得这些性能。由于使用了 lambda 表达式,字符串格式化操作只有在 log 输出时才会执行。这应该是 Java 8 中最好的方法。
在考虑性能问题时要担心的问题非常多。。。
正如在我的第一篇文章中列出的关注列表一样,本文重点介绍了你的团队 可能 在代码审查中一直检查的一些领域。这取决于你的项目对性能的要求。
尽管本文是针对所有的开发者,很多例子是特别针对 Java/JVM。我还是想用 Java 代码审查者几条简单的建议来结束本文,这样可以让 JVM 来优化你的代码而不是你自己亲自来优化:
- 方法和类尽量小
- 逻辑尽量简单--没有很深的
if
判断或者循环
你的代码对人类的可读性越高,JIT 编译器就越有机会足够理解你的代码并优化。这在代码审查中是很容易发现的--如果代码看起来整洁可读,也就有很大可能良好运行。
结论
在考虑性能问题时,需要记住:有的问题在代码审查阶段界需要解决(例如:不必要的数据库访问),有的问题暂时提交评论就可以(如代码级别的优化),因为这些事情可能不会给你的系统带来足够的价值。
本文译自:What to look for in a Code Review: Performance
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
猜你喜欢:- 利用Azure内容审查器审查违规内容(上) 荐
- 审查代码有风险吗?
- 持续集成:代码审查篇
- [译] 代码审查之最佳实践
- 代码审查:从 ArrayList 说线程安全
- 代码审查 (Code Review) 的本质
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
深度探索C++对象模型
斯坦利•B.李普曼 (Stanley B. Lippman) / 侯捷 / 电子工业出版社 / 2012-1 / 69.00元
作者Lippman参与设计了全世界第一套C++编译程序cfront,这本书就是一位伟大的C++编译程序设计者向你阐述他如何处理各种explicit(明确出现于C++程序代码中)和implicit(隐藏于程序代码背后)的C++语意。 本书专注于C++面向对象程序设计的底层机制,包括结构式语意、临时性对象的生成、封装、继承,以及虚拟——虚拟函数和虚拟继承。这本书让你知道:一旦你能够了解底层实现模......一起来看看 《深度探索C++对象模型》 这本书的介绍吧!
JSON 在线解析
在线 JSON 格式化工具
html转js在线工具
html转js在线工具