在threadsafe对象[duplicate]上同步的需要是什么

Question

我在网上搜索一个生产者和消费者的问题，我得到了这个链接。程序员在这里使用了sharedqueue的向量。

我想为什么我需要一个同步块，因为Vector已经是线程安全的了。它必须自己处理线程。

但当我试图移除同步块时。它给我一个IllegalMonitorStateException。下面是Product方法的代码段

private void produce(int i) throws InterruptedException {

    //wait if queue is full
    while (sharedQueue.size() == SIZE) {
      //  synchronized (sharedQueue) {
            System.out.println("Queue is full " + Thread.currentThread().getName()
                                + " is waiting , size: " + sharedQueue.size());

            sharedQueue.wait();
      //  }
    }

    //producing element and notify consumers
   // synchronized (sharedQueue) {
        sharedQueue.add(i);
        sharedQueue.notifyAll();
   // }
}

我的问题是为什么我们需要同步或锁定一个已经是线程安全的对象？

Answer 1

如果没有同步,则可以使用以下内容：

Producer Thread              Consumer Thread                  
                             if (sharedQueue.isEmpty) {
sharedQueue.add(i);
sharedQueue.notifyAll();
                                  sharedQueue.wait()
                             }

因此，即使队列中有数据，使用者线程也可能永远等待，因为在它测试数据和开始等待有关添加数据的通知之间添加了东西。

当然也有解决方法，比如wait上的超时，但这些方法都有轮询开销、轮询间隔引起的延迟、难看的代码等等。当您可以仅仅使用同步时，没有理由诉诸这些东西。

那么为什么queue类是线程安全的还不够呢？好吧，线程安全类不是魔术！线程安全仅仅意味着，对该类实例的单个方法调用是线程安全的。例如，如果两个线程同时对同一个实例执行add操作，它不会破坏任何内容，也不会用另一个操作擦除一个操作，或类似的操作。

但是如果您有多个线程执行多个操作，那么它们可以交错，这就是多线程和先发制人的多任务处理的全部意义！交错操作会发生什么，这取决于操作。例如，许多执行add操作的线程会按照未指定的顺序添加内容，但这可能是可以的。但当您不希望操作以“随机”顺序发生时，就需要使用同步。

如上面示例所示，在这种情况下，即使在队列中有数据，“随机”顺序也会导致消费者无限期地等待。事实上，如果您有序列“做修改，通知服务员”，而服务员做“看看是否有什么事情要做，否则等待”，您就会遇到同样的问题，并且必须在修改-通知和检查-等待周围使用同步。

你会得到错误，因为Java要求你在通知的时候有锁，因为上面解释过，没有锁是没有意义的，它总是一个错误，一个bug。这不是Java特有的，这是这类机制的基础，它们总是需要锁，在维基百科文章部分阅读更多内容。