奇怪的死锁（？）

Question

我在使用两个线程的 Java 应用程序中遇到了非常奇怪的死锁。两个线程都读取数据并将数据写入共享哈希图。为了避免同步问题，我同步了读取和写入哈希图数据的函数：

private synchronized boolean identifiedLinksHasKey(String linkKey){
        return Parser.identifiedLinks.containsKey(linkKey);
}


private synchronized void putToIdentifiedLinks(String key, TreeSet<String> aset){     
        Parser.identifiedLinks.put(key,aset);
}

但是，程序在某个时刻挂起（当我使用单线程运行它时不会发生这种情况）。为了调试我的应用程序，我在它挂起后使用了jstack，这给了我以下线程转储：

“线程2”优先级=6 tid=0x0000000006b09800 nid=0x78fc 可运行[0x00000000083ef000]
java.lang.Thread.State：可运行 在 java.util.HashMap.put（来源未知） 在 bgp.parser.Entry.putToIdentifiedLinks(Entry.java:297) - 锁定<0x00000000853f2020> （bgp.parser.Entry） 在 bgp.parser.Entry.parseTxtFile(Entry.java:141) 在 bgp.parser.Entry.run(Entry.java:31)

“线程1”优先级=6 tid=0x0000000006b52800 nid=0x9390 可运行[0x00000000082ef000]
java.lang.Thread.State：可运行 在java.util.HashMap.getEntry（未知 来源） 在 java.util.HashMap.containsKey（未知 来源） 在 bgp.parser.Entry.identifiedLinksHasKey(Entry.java:281) - 锁定<0x00000000853f00e0> （bgp.parser.Entry） 在 bgp.parser.Entry.parseTxtFile(Entry.java:134) 在 bgp.parser.Entry.run(Entry.java:31)

这表明两个线程同时访问两个同步函数，这与同步的含义相矛盾。即使我使用对象锁也会发生同样的情况。尽管线程的状态不是 BLOCKED 而是 RUNNABLE，但它们的行为是阻塞的，可能是因为它们同时访问相同的哈希图。

如果有人能向我解释为什么会发生这种奇怪的情况，我将非常感激。

Answer 1

比较这两个：

bgp.parser.Entry.putToIdentifiedLinks(Entry.java:297) - locked <0x00000000853f2020>

bgp.parser.Entry.identifiedLinksHasKey(Entry.java:281) - locked <0x00000000853f00e0>

它们持有不同的锁。
synchronized 关键字锁定对象实例。 （即，如果创建两个对象 Object a=new Object(); Object b=new Object();，则锁定 a 中的对象不影响b）

Answer 2

“synchronized”关键字在对象级别锁定。也就是说：在一个对象内不能同时运行两个同步方法。

是否有可能从两个单独的线程调用两个不同的对象？

编辑：
重新访问堆栈跟踪，我越来越确信情况确实如此。更改代码如下。

private boolean identifiedLinksHasKey(String linkKey){
       synchronized(Parser) {
            return Parser.identifiedLinks.containsKey(linkKey);
        }
}

private void putToIdentifiedLinks(String key, TreeSet<String> aset){     
    synchronized(Parser) {    
        Parser.identifiedLinks.put(key,aset);
    }
}

我自己没有尝试过这段代码，并且我不能 100% 确定是否可以使用类（解析器）而不是对象来锁定。如果这不起作用，只需选择可从两个线程/实例访问的任何（单个）对象。

Answer 3

我怀疑 identifiedLinksHasKey() 和 putToIdentifiedLinks() 方法是由 bgp.parser.Entry 类的两个不同实例执行的，在这种情况下，synchronized 将不起作用。

Answer 4

如果Parser是单例类或者Entry类的静态成员，那么方法的同步将不起作用，因为它只保护Entry对象的成员变量。静态成员将不受该方案的保护。最好的选择是，可能使 Parser 类的identifiedLinks 成员成为ConcurrentHashMap。

Answer 5

是否您已将文件作为具有保证唯一标识的对象？如果您依赖它，比如说，您希望代表文件的对象在内存中保证是全局唯一的。它将一直有效，直到唯一性被侵犯为止。

唯一性的破坏可能来自操作系统 API。对于 Windows 来说众所周知（但来自 Unix 的人们很少能很好地理解），创建的文件的文件句柄与刚刚通过 findFirst/findnext 找到并打开的文件的文件句柄不同。

将操作系统中的文件 API 视为与非常远程系统的通信 API，不保证因果关系。如果您创建文件，并不意味着您可以立即找到它，如果您删除文件，则可能意味着您以后仍然可能找到它。 ETC。