Java多线程编程——线程安全和锁Synchronized概念

一、进程与线程的概念

   进程：

 （1）在传统的操作系统中，程序并不能独立运行，作为【资源分配】和【独立运行】的基本单位都是进程。

  

   线程：

 （2）线程，有时候 被称为【轻量级进程(Lightweight Process,LWP)】,是程序执行流的最小单元。

           线程是程序中一个单一的顺序控制流程。

 

 （3）进程和线程的关系

        

二、Java实现多线实现方式

（1）继承Thread，重写run（）方法。

         线程启动的是start()方法而不是run()方法，如果用run()方法，那么他就是一个普通的方法执行了。

（2）实现Runable接口。

（3）实现Callable接口。

          结合FutureTask

三、线程安全

线程安全概念：当多个线程访问某一个类（对象或方法）时，这个类始终能表现出正确的行为，那么这个类（对象或方法）就是线程安全的。

线程安全就是多线程访问时，采用了【加锁机制】，当一个线程访问该类的某个数据时，进行保护，其他线程不能进行访问直到该线程读取完，其他线程才可以使用。不会出现数据不一致或者数据污染。

线程不安全就是不提供数据访问保护，有可能出现多个线程先后更改数据造成所得到的数据是脏数据。这里的加锁机制常见的如：synchronized

四、synchronized修饰符

     （1）synchronized：可以在任意对象及方法上加锁，而加锁的这段代码称为"互斥区"或"临界区"。

     （2）不使用synchronized实例（代码A）：

                

                  可以看到，上述的结果是不正确的，这是因为，多个线程同时操作run（）方法，对count进行修改，进而造成错误。

        （3）使用synchronized实例（代码B）：

                  

                  输出结果：

                   

                   可以看出代码A和代码B的区别就是在run（）方法上加上了synchronized修饰。

                   说明如下：

                      当多个线程访问MyThread 的run方法的时候，如果使用了synchronized修饰，那个多线程就会以排队的方式进行处理（这里排队是按照CPU分                         配的先后顺序而定的），一个线程想要执行synchronized修饰的方法里的代码，首先是尝试获得锁，如果拿到锁，执行synchronized代码体的内                       容，如果拿不到锁的话，这个线程就会不断的尝试获得这把锁，直到拿到为止，而且多个线程同时去竞争这把锁，也就是会出现锁竞争的问                           题。

五、一个对象有一把锁！多个线程多个锁！

        何为，一个对象一把锁，多个线程多个锁！首先看一下下边的实例代码（代码C）：

        

        输出结果：

        

        可以看出，有两个对象：multiThread1和multiThread2，如果多个对象使用同一把锁的话，那么上述执行的结果就应该是：thread2 tag b, num =      -100，因此，是每一个对象拥有该对象的锁的。

        关键字synchronized取得的锁都是对象锁，而不是把一段代码或方法当做锁。

       所以上述实例代码C中哪个线程先执行synchronized 关键字的方法，那个线程就持有该方法所属对象的锁，两个对象，线程获得的就是两个不同                    对象的不同的锁，他们互不影响的。

       那么，我们在正常的场景的时候，肯定是有一种情况的就是，所有的对象会对一个变量count进行操作，那么如何实现哪？很简单就是加static，我们          知道，用static修改的方法或者变量，在该类的所有对象是具有相同的引用的，这样的话，无论实例化多少对象，调用的都是一个方法，代码如下（代          码D）：

       

       输出结果：

       

       可以看出，对变量和方法都加上了static修饰，就可以实现我们所需要的场景，同时也说明了，对于非静态static修饰的方法或变量，是一个对象一把锁       的。

六、对象锁的同步和异步

   （1）同步：synchronized

             同步的概念就是共享，我们要知道"共享"这两个字，如果不是共享的资源，就没有必要进行同步，也就是没有必要进行加锁；

             同步的目的就是为了【线程安全】，其实对于线程安全，需要满足两个最基本的特性：原子性和可见性

    （2）异步：asynchronized

             异步的概念就是独立，相互之间不受任何制约，两者之间没有任何关系。

    （3）示例代码：

             

            上述代码中method（）就是异步的方法。