java holdslock_一种检测Java并发程序代码分支路径lock是否遗漏的方法

开发java程序中，程序员往往会用synchronized lock 进行临界资源保护和线程同步；android平台上，提供了一些技巧来减少锁被错误使用：使用Locked后缀作为函数名字：Locked函数被调用，需调用方(或者更上层调用方)持锁； 而此函数内部不能持有lock；通过这种编程约定的方式，可以减少死锁和程序员加lock不全的场景。

由于程序员水平和程序本身的复杂性，仍旧存在一些代码路径忘记添加synchronized lock，导致一些低概率的并发问题。为了提早发现和定位这种问题，我们可以采用lock guard的方式进行检测。主要思想是：在需要lock保护的代码位置，增加是否已经持有需要lock的判断，如果该位置没有持有需要的lock，则证明存在错误。

实现方法1：

本身java Thread已经提供了如下方法，我们可以使用；Thread.holdsLock进行判断；此方法优点是现成可用的，不需要我们开发太多的东西

简单举例：

private void updatePowerStateLocked(){

if (!mSystemReady || mDirty == 0) {

return;

}

if (!Thread.holdsLock(mLock)) {

Slog.wtf(TAG, "Power manager lock was not held when calling updatePowerStateLocked");

}

实现方法2：

在每个函数的头部，增加一个java关键字或者在所有java对象的基类里面，例如GUARDED_BY(mLock)或者lock_guarded_by(Object obj)

private void updatePowerStateLocked() GUARDED_BY(mLock) {

或者：

private void updatePowerStateLocked() {

lock_guarded_by(Object obj);

}

第一种需要修改toolchain；第二种相比简单些，以后研究一下；现在可以自己简单实现一个函数，方法1

boolean lock_guarded_by(Object obj) {

return Thread.holdsLock(mLock);

}