java - Java 是否对单线程应用程序强制执行 as-if-serial

Question

我正在单个线程上运行一些 JUnit 测试，但它们以不确定的方式失败。有人告诉我，优化 JVM(Oracle Hotspot 64 位 17.1-b03)为了提高速度而乱序执行指令。我很难相信 java 规范会允许这样做，但我找不到具体的引用。

维基百科指出，单个线程必须强制执行线程内串行，因此我不必担心执行顺序与我编写的不同。 http://en.wikipedia.org/wiki/Java_Memory_Model#The_memory_model

示例代码:

@Test
public void testPersistence() throws Exception
{
    // Setup
    final long preTestTimeStamp = System.currentTimeMillis();

    // Test
    persistenceMethod();

    // Validate
    final long postTestTimeStamp = System.currentTimeMillis();
    final long updateTimeStamp = -- load the timestamp from the database -- ;
    assertTrue("Updated time should be after the pretest time", updateTimeStamp >= preTestTimeStamp);
    assertTrue("Updated time should be before the posttest time", updateTimeStamp <= postTestTimeStamp);
}

void persistenceMethod()
{
    ...
    final long updateTime = System.currentTimeMillis();
    ...
    -- persist updateTime to the database --
    ...
}

当运行此测试代码时，它具有完全不确定的行为，有时它通过，有时在第一个断言上失败，有时在第二个断言上失败。这些值始终彼此在一两毫秒之内，因此持久性并不是完全失败。添加 Thread.sleep(2);每个语句之间的间隔确实会减少测试失败的次数，但并不能完全消除失败。

这是否可能是 JVM 的错误，或者更有可能是数据库 (MsSql) 对存储的数据进行了某种舍入？

Answer 1

JVM 无序执行语句的可能性非常小，我认为您几乎可以忽略它。如果 JVM 有这样的 bug，除了你的这个程序之外，它还会出现在很多地方。

确实，currentTimeMillis 不能保证实际上精确到毫秒。但是时钟向后运行的可能性几乎与 JVM 无序执行语句的可能性一样小。

我编写了很多很多程序来测试我感兴趣的函数执行需要多长时间，方法是在函数开始之前获取 currentTimeMillis，执行该函数，在完成时获取 currentTimeMillis，然后减去以找到耗时。我从来没有遇到过这样的程序给我带来消极的时光。

我想到的一些可能性:

1. 将时间戳保存到数据库或将其读回的代码中存在错误。您没有显示该代码，因此我们无法知道那里是否存在错误。

2. 四舍五入。我手边没有 MySQL 实例，所以我不确定时间戳的精度是多少。如果它不像毫秒那么精确，那么这很容易解释你的问题。例如，假设它只精确到秒。您得到前置时间=01:00:00.1，更新时间=01:00:00.2，发布时间=01:00:00.4。但更新时间保存为 01:00:00，因为这是精度的限制，因此当您读回更新时间时，更新时间 < 重新时间。同样假设时间为 01:00:00.4、01:00:00.6、01:00:00.7。更新时间四舍五入为 01:00:01。所以更新时间 > 发布时间。

3. 时区。默认时区是连接的一个属性。如果当您写入时间时，您设置为东部时间，但当您读回时，您设置的是太平洋时间，那么时间的顺序将不是您所期望的。

除了查看关系之外，为什么不打印所有三个时间戳的值？我将它们打印为整数和公历日期。哦，我会在保存之前打印更新时间，并在读回后再次打印。也许有些事情会变得显而易见。

例如，如果您发现读回的更新时间始终以一个或多个零结尾，即使保存的时间有非零数字，则表明您的时间被截断或舍入。如果读回的时间与写入的时间相差 1 小时的整数倍，则可能是时区问题。如果发布时间小于提前时间，则表明系统时钟存在严重问题，或者更可能的是，程序错误导致时间困惑。等等