4

我使用 java 大约一个月了，并且通常仍然是编程的业余爱好者，所以如果我有错误，请随时纠正我。也许我会提供一些多余的细节，但我现在很困惑，我无法决定什么是重要的。

所以，我一直在开发多线程客户端-服务器应用程序。所有线程都使用同一个对象，其中存储了某些配置值和共享记录器；此对象在服务器线程中初始化，然后作为参数传递给客户端线程类构造函数。首先假设该对象的字段仅在服务器启动时更改一次，因此无需担心并发访问，但是现在需要在修改配置文件时从配置文件中重新读取某些配置值，而不必重新启动服务器。

经过一些研究后想到的第一个想法是创建一个同步方法，当请求类中的某些值时将调用该方法，如果自上次访问以来我们的配置文件发生更改，它将重新读取这些值，否则立即返回，例如这个：

<This code is inside "config" class, instance of which is shared between threads>
private static long lastModified;
private static File configFile;

public class ChangingVariableSet
    {
    <changing variables go here>
    }

private synchronized void ReReadConfig
    {
    long tempLastMod = configFile.lastModified();
    if(lastModified == tempLastMod)
        return;
    <reread values here>
    lastModified = tempLastMod;
    }

public ChangingVariableSet GetValues()
    {
    ReReadConfig();
    <return necessary values>
    }

（上面的代码没有经过测试，我只是想大致了解一下）。

但是我只是不喜欢每次请求值时都阻塞的想法，因为这看起来很昂贵，而且我的应用程序将来可能会变得非常高负载，并且有很多线程。所以我有一个“好”的想法——在锁定之前检查文件是否被修改，然后再次在锁定的方法中，尽可能避免锁定：

 public ChangingVariableSet GetValues()
    {
    if(lastModified == configFile.lastModified())
        ReReadConfig();
    <return necessary values>
    }

十分钟后，我了解到它被称为双重检查锁定，再过十分钟后，我的世界在阅读了这篇文章后两次崩溃：第一次是我了解到它可能由于内部 CPU 缓存而无法工作，第二次是我读到关于 long 的操作/float 类型不是原子的。或者它毕竟会工作，因为不涉及对象创建？而且，由于 long 上的操作是非原子的，将“lastModified”声明为 volatile 真的就足够了吗？如果可能的话，我希望能正确解释它为什么会/不会起作用。先感谢您。

PS：我知道类似的问题已经回答了几次，也许最好停止吹毛求疵并同步整个“getValue”方法而不是“ReReadConfig”，但我正在努力学习更多关于线程安全编程和在我自己的代码中查看陷阱，以避免将来出现类似的情况。我也为任何可能的语法和拼写错误道歉，我不太懂英语。

编辑：首先，我修正了最后一个“if”子句中的错字。第二 - 警告，上面的代码不是线程安全的，不要使用它！在方法

 public ChangingVariableSet GetValues()
    {
    if(lastModified == configFile.lastModified())
        ReReadConfig();
    <return necessary values>
    }

如果文件在 if-check 和返回值之间的时间跨度内更新，线程 B 可以在线程 A 开始返回值之前启动 ReReadConfig，从而导致对必要数据的危险部分更改。似乎在不过度阻塞的情况下做我需要的正确方法是使用 ReentrantReadWriteLock，但是，我仍然想使用双重检查来避免过度（并且昂贵，文件被假定为大型 XML）配置重新读取：

<...>
private static final ReentrantReadWriteLock readWriteLock = new ReentrantReadWriteLock();
private static final Lock read  = readWriteLock.readLock();
private static final Lock write = readWriteLock.writeLock();

private void ReReadConfig
    {
    write.lock();
    long tempLastMod = configFile.lastModified();
    if(lastModified == tempLastMod)
        return;
    <reread values here>
    lastModified = tempLastMod;
    write.release();
    }

 public ChangingVariableSet GetValues()
    {
    if(lastModified == configFile.lastModified())
        ReReadConfig();
    read.lock();
    <get necessary values>
    read.release();
    <return necessary values>
    }

现在它至少看起来是线程安全的，但是在检查时取决于易失性“lastModified”变量的问题仍然存在：我在某处读到易失性变量不能保证非原子操作的任何内容，以及“长”类型读取/写入是非原子的。

4

2 回答 2

5

您想使用ReadWriteLock。只要没有作者，这不会阻止读者。

于 2012-05-04T18:19:48.217 回答
1

如果您可以以这样一种方式组织代码，即所有配置数据都在一个不可变对象中，并且对该对象有一个共享的 volatile 引用，那么这将是线程安全的。这种用例其实就是volatile语义修改的目的。

public static volatile Config config;

void rereadConfig() {
  if (modified)
    config = new Config(...);
}
于 2012-05-04T20:44:15.297 回答