java - 同步方法似乎被中断

Question

我正在编写一个具有多个线程的小程序。我遇到了一些奇怪的问题，我已经将它们追溯到下面的类中。这是完整的代码，没有任何片段。

public class BoundingBox {
    private volatile int top;
    private volatile int left;
    private volatile int bottom;
    private volatile int right;

    public static final int IGNORE  = 0;
    public static final int TOP     = -2;
    public static final int LEFT    = -1;
    public static final int BOTTOM  = 2;
    public static final int RIGHT   = 1;

    BoundingBox(int left, int top, int width, int height) {
        this.top = top;
        this.left = left;
        this.right = left + width;
        this.bottom = top + height;
    }

    public synchronized int top()       { return top;           }
    public synchronized int left()      { return left;          }
    public synchronized int bottom()    { return bottom;        }
    public synchronized int right()     { return right;         }

    public synchronized int width()     { return right - left;  }
    public synchronized int height()    { return bottom - top;  }

    public synchronized void translate(Vector2D vector) {
        left += vector.getX();
        right += vector.getX();
        top += vector.getY();
        bottom += vector.getY();
    }

    public synchronized void alignTo(Point2D point, int hAlign, int vAlign) {
        if ((hAlign != IGNORE && hAlign != LEFT && hAlign != RIGHT)
            || (vAlign != IGNORE && vAlign != TOP && vAlign != BOTTOM))
            throw new IllegalArgumentException();

        /// START DEBUG CODE ///
        if (right - left != width())
            System.out.println("X");
        if (bottom - top != height())
            System.out.println("Y");
        /// END DEBUG CODE ///

        int width = width();
        int height = height();

        if (hAlign != IGNORE) {
            left = point.getX();
            if (hAlign == RIGHT)
                left -= width;
            right = left + width;
        }

        if (vAlign != IGNORE) {
            top = point.getY();
            if (vAlign == BOTTOM)
                top -= height;
            bottom = top + height;
        }
    }
}

X 和 Y 有时会打印。正如您所看到的，width() 被定义为 right - left，但仍然会发生这两个不相等的情况(与 height()< 相同)/)。这四个字段是私有(private)的，并且方法是同步的，所以没有任何东西可以中断 alignTo，对吗？尽管如此，在我看来，有些事情确实发生了。

这段代码有什么问题？

Answer 1

将 top、left、bottom、right 声明为 volatile 不足以使它们按照您需要的方式保持同步。问题是，这些变量是在不同线程上使用translate 方法修改的，因此在执行alignTo 期间也会发生变化。您需要在alignTo期间锁定这些变量，或者将它们缓存到局部变量。