代码块上的同步

Question

我理解代码块的同步意味着特定代码一次只能由一个线程访问，即使许多线程正在等待访问该代码。

当我们在 run 方法中编写线程类时，我们通过给定对象来启动同步块。 例如

 class MyThread extends Thread{
   String sa;
   public MyThread(String s){
       sa=s;
   } 
   public void run(){
     synchronized(sa){
         if(sa.equals("notdone"){
             //do some thing on object
         }
     }
   }    
 }

，这里我们给同步块一个对象，这需要什么。我们如何为该特定代码块提供同步

Answer 1

我建议

• 扩展 Runnable 而不是 Thread。
• 不要锁定外部的 Runnable。相反，您应该调用一个可能使用内部锁的方法。
• 字符串作为锁并不是一个好的选择。这意味着“hi”和“hi”将共享锁，但 new String(“hi”) 不会。
• 如果您在线程的生命周期内锁定所有其他线程，为什么要使用多个线程？

Answer 2

同步块的参数对象是块锁定的对象。
因此，所有具有相同对象的同步块排除彼此（以及该同一对象的所有同步方法）的同时执行。

因此，如果您有这个示例

class ExampleA extends Thread() {

    public ExampleA(Object l) {
       this.x = l;
    }

    private Object x;

    public void run() {
        synchronized(x) {     // <-- synchronized-block A
            // do something
        }
    }
}
class ExampleB extends Thread() {

    public ExampleB(Object l) {
       this.x = l;
    }

    private Object x;

    public void run() {
        synchronized(x) {     // <-- synchronized-block B
            // do something else
        }
    }
}

Object o1 = new Object();
Object o2 = new Object();

Thread eA1 = new ExampleA(o1);
Thread eA2 = new ExampleA(o2);
Thread eB1 = new ExampleB(o1);
Thread eB2 = new ExampleB(o2);

eA1.start(); eA2.start(); eB1.start(); eB2.start();

，现在我们有两个同步块（A 和 B，位于类 ExampleA 和 ExampleB 中），并且有两个锁对象（o1 和 o2）。

如果我们现在看一下同时执行，我们可以看到：

• A1 可以与 A2 和 B2 并行执行，但不能与 B1 并行执行。
• A2可以与A1和B1并行执行，但不能与B2并行执行。
• B1可以与A2和B2并行执行，但不能与A1并行执行。
• B2可以与A1和B1并行执行，但不能与A2并行执行。

因此，同步仅取决于参数对象，而不取决于同步块的选择。

---

在您的示例中，您使用的是：

 synchronized(sa){
     if(sa.equals("notdone"){
         //do some thing on object
     }
 }

这看起来像您在比较和工作时试图避免有人将您的实例变量 sa 更改为另一个字符串 - 但它并不能避免这种情况。

同步不适用于变量，它适用于对象 - 并且有问题的对象通常应该是包含变量的某个对象（您的当前 MyThread 对象）例，可通过 this 访问），或仅用于同步且不会更改的特殊对象。

正如 Peter Lawrey 所说，String 对象通常是同步锁的糟糕选择，因为所有相等的 String 文字都是同一个对象（即会排除彼此的同步块），而相等的非文字字符串（例如在运行时创建）则不是同步锁的最佳选择。相同的对象，因此不会排除其他此类对象或文字的同步块，这通常会导致微妙的错误。

Answer 3

在此对象上同步的所有线程都将等待，直到当前线程完成其工作。例如，如果您对希望同步的集合进行读/写操作，这非常有用。所以你可以在set和get方法中编写同步块。在这种情况下，如果一个线程正在读取信息，则并非所有其他想要读取或写入的线程都会等待。

Answer 4

那么问题是块同步的对象的功能是什么？

对象的所有实例都有所谓的监视器。在正常执行中，该监视器是无主的。

希望进入同步块的线程必须占有对象监视器。然而，一次只有一个线程可以拥有监视器。因此，如果监视器当前未被拥有，则线程将占有该监视器并执行同步代码块。线程离开同步块时释放监视器。

如果监视器当前被拥有，则需要进入同步块的线程必须等待监视器被释放，以便它可以获得所有权并进入同步块。可以有多个线程在等待，如果是这样，则只有一个线程将被授予监视器的所有权。剩下的就回去等待。