Question

以下方法不访问任何共享变量。它仍然不是线程安全的。我要么测试错误，要么我错过了什么。请解释一下。

方法：

public static boolean acquireFolderLock(File directoryPath) {
    final String LOCK_FILE_NAME = ".lock";
    boolean isLocked = false;
    if(directoryPath != null && directoryPath.isDirectory()) {
        File lockFile = new File(new StringBuilder(directoryPath.getAbsolutePath()).append(File.separatorChar).append(LOCK_FILE_NAME).toString());
        if(lockFile.exists()) {
            isLocked = false;
        } else {
            try {
                lockFile.createNewFile();
                isLocked = true;
            } catch(IOException ioex) {
                isLocked = false;
            }
        }
    }
    return isLocked;
}

测试的线程类

class AThread extends Thread {
String name;
public AThread(String name) {
    this.name = name;
}

@Override
public void run() {
    File f = new File("C:\\TEMP\\DIRECTORY");
    System.out.println(name + ": " + Util.acquireFolderLock(f));
}
}

启动线程的主要方法

public static void main(String[] args) throws Exception {
    for(int i = 1; i <= 100; i++) {
        (new AThread("Thread-->" + i)).start();
    }
}

Answer 1

该方法检查文件是否存在，然后创建它。这意味着当另一个线程正在执行if (lockFile.exists())时，一个线程可以完成语句false（结果：lockFile.createNewFile();）（因此，它会创建锁文件）。

第一个线程现在基于不正确的信息继续：它认为该文件不存在但已由另一个线程创建。

线程安全不只是关于共享变量，而是关于共享资源（无论是变量，数据库，文件系统，网络连接等）。

Answer 2

“静态”是包含文件系统的术语。仅仅因为没有显式共享变量并不意味着文件系统不会在线程之间共享。

访问文件系统，就像你在这里一样，与访问共享变量一样糟糕，并且需要相同的技术来实现线程安全。

Answer 3

根据File.createNewFile（）http://docs.oracle.com/javase/6/docs/api/java/io/File.html#createNewFile（）

的javadocs

注意：此方法不应用于文件锁定，因为结果协议无法可靠地工作。 FileLock 应该使用设施。

所以你应该使用java.nio.channels.FileLock，它是线程安全的。

Answer 4

你打算检查lockFile.createNewFile（）的返回值，你不需要检查lockFile.exists（）

true if the named file does not exist and was successfully created; false if the named file already exists

此外，根据您的用例，使用nio FileLock可能比使用createNewFile更不可靠。我认为nio FileLock已经破解了NFS。我不确定javadocs的含义是不可靠的，但是createNewFile的一个问题是当你崩溃时你就离开了锁。但是，根据您的使用情况，这可能是一个功能而不是错误。

为什么这个静态java方法不是线程安全的？

4 个答案: