Java 线程重入的理解

线程安全函数的概念比较直观，众所周知，同一进程的不同线程会共享同一主内存，若要保证线程安全，则必须通过加锁的方式。一旦有一个线程访问某个对象的 synchronized 修饰的方法或代码区域时，该线程则获取这个对象的锁，其他线程不能再调用该对象被 synchronized 影响的任何方法。

 

    如果这个线程自己调用该对象的其他 synchronized 方法，Java 是如何判定的？这就涉及到了 Java 中锁的重要特性：可重入性。

 

    可重入是在单线程操作系统背景下，重入的函数或者子程序，按照后进先出的线性顺序依次执行完毕。

 

    维基百科对可重入这个概念是这么说的：若一个程序或子程序可以“在任意时刻被中断然后操作系统调度执行另外一段代码，这段代码又调用了该子程序不会出错”，则称其为可重入（reentrant或re-entrant）的。即当该子程序正在运行时，执行线程可以再次进入并执行它，仍然获得符合设计时预期的结果。与多线程并发执行的线程安全不同，可重入强调对单个线程执行时重新进入同一个子程序仍然是安全的。

 

    若一个函数是可重入的，则该函数应当满足下述条件：

 

        a.不能含有静态（全局）非常量数据；

        b.不能返回静态（全局）非常量数据的地址；

        c.只能处理由调用者提供的数据；

        d.不能依赖于单实例模式资源的锁；

        e.调用(call)的函数也必需是可重入的。

    

    从设计上讲，当一个线程请求一个由其他线程持有的对象锁时，该线程会阻塞。当线程请求自己持有的对象锁时，如果该线程是重入锁，请求就会成功，否则阻塞。synchronized 拥有强制原子性的内部锁机制，是一个可重入锁。因此，在一个线程使用 synchronized 方法时调用该对象另一个 synchronized 方法，即一个线程得到一个对象锁后再次请求该对象锁，是永远可以拿到锁的。

 

    在 Java 内部，同一个线程调用自己类中其他 synchronized 方法/块时不会阻碍该线程的执行，同一个线程对同一个对象锁是可重入的，同一个线程可以获取同一把锁多次，也就是可以多次重入。原因是 Java 中线程获得对象锁的操作是以线程为单位的，而不是以调用为单位的。

    

    这里有点讲偏了，这是可重入锁的设计。

 

    另外强调一点，线程安全和可重入特性也没有绝对的必然联系，只是大概率可重入的函数是线程安全的。