WakeLock 相关的 Mandelbug：WakeLock.acquire() 总是成功吗？

Question

问题

我已经为 Android 开发了一段时间了。我开发的程序之一大量使用 WakeLocks 。它通常是完美的（通常一次持续几天或几周，这是程序的要求），但我很少注意到这段代码中的特殊行为：

acquireWakeLock(wakeLockManager)

    // Preconditions
    assertFalse("Wake lock already acquired.", hasWakeLock());
    assertNotNull("Wake lock manager not provided.", wakeLockManager);

    // Acquire a wake lock.
    wakeLock = wakeLockManager.newPartialWakeLock(DEBUG_TAG);
    wakeLock.acquire();

    // Postconditions
    assertTrue("Wake Lock should be held!", hasWakeLock());

其中 hasWakeLock() 只是返回 的结果(wakeLock != null &&wakeLock.isHeld()) 和 wakeLockManager.newPartialWakeLock(DEBUG_TAG) 封装了标准“获取 PowerManager 然后返回唤醒”锁”代码。出于测试目的，断言语句是 JUnit 断言方法，因此我认为我们可以假设它们是正确的。

代码的问题是这样的：最终的断言 - assertTrue(hasWakeLock()) - 似乎每隔几周就会失败一次，而且几乎没有任何解释。这意味着我在这里遇到三个可能的问题：(1) 根本不会从 PowerManager 检索唤醒锁 (2) 我有一个并发问题，该问题在极少数情况下会在后置条件之前但在调用 acquire()，或者 (3) acquire() 有时会出错。

问题调查

如上所述，我正在调查/已经调查了可能发生的三个潜在问题：

假设 1：唤醒锁未返回：

这是那么我会看到一个空指针异常。不可能是这样的。

假设2：我有一个并发问题：

刚刚对涉及获取和释放wakeLock的所有地方进行的形式化验证证明强烈让我相信情况并非如此。如果我的证明有错误，那么我可能会遇到并发问题，但它确实很阴险且难以发现。

假设3：WakeLock.acquire()有问题，并且不管文档怎么说，它有时可能无法获取锁：

我不喜欢这个假设，因为对于所有 Android 用户来说，除了我之外，还有某人现在肯定已经注意到这一点，并且几乎总是开发人员的代码有问题，而不是库或操作系统代码。话又说回来，奇怪的事情发生了，这可能是一个真正的 Android 错误，尽管很少出现。如果这个假设成立，那么 acquire() 根本就没有获取唤醒锁，这可以解释我所看到的行为。

那么 StackOverflow，什么可能导致这个问题呢？你觉得哪里不对？我是否遗漏了一些明显的东西，或者这可能是 Android 唤醒锁的真正问题吗？

Answer 1

看来这确实是一个并发问题。我忽略了一个事实，即可以从单独线程中的非同步位置调用相关方法 - 在高度多线程环境中这是一个明显的问题！