同一进程的多个线程共享同一片存储空间,在带来方便的同时也出现了访问冲突问题。Java提供了一种专门机制来解决这种冲突,有效避免了同一个数据对象被多个线程同时访问。
在java应用程序中无非存在成员和方法,对于成员可以通过private关键字来保证数据对象只能被方法访问,因此无需进行特殊设计;至于方法我们使用synchronized关键字,包括synchronized方法和synchronized块。
synchronized方法
声明方法:synchronized关键字,如:public synchronized void outTicket();
原理:该方法控制对类成员变量的访问,每个类实例对应一把锁,每个synchronized方法都必须获得调用该方法的类实例的锁才能执行,否则线程阻塞,方法一旦执行,就会一直占用锁直到从该方法返回才释放。在 Java 中,不仅仅类实例对应一把锁,每一个类也对应一把锁,这样我们也可将类的静态成员函数声明为 synchronized,以控制其对类的静态成员变量的访问(貌似是单子模式的思想)。
缺陷:如果将一个大的方法声明为synchronized方法,那么效率将会大大降低。这时我们可以考虑采用synchronized块。
synchronized 块
声明方法:通过 synchronized关键字来声明synchronized 块。
synchronized(syncObject)
{
//需要加以控制的代码
}
原理:其中的代码必须获得对象 syncObject(可以是类和类实例)的锁方能执行。
方法看起来简单,但是在实际运行的时候却会出现一些意想不到的问题,我们针对实现线程的两种方法来分别说明:实例是实现卖票,创建两个线程分别售票,实现信息的同步。
用继承Thread类来实现线程时
//该类主要声明一些全局变量 public class Constant{ public static int tickets=100;//将票数设为全局变量,而且是static,这样保证整个内存只有一个tickets变量存在 public static Object obj=new Object();//声明锁,全局的 } |
class TicketSystem { public static void main(String[] args) { Sell t1=new Sell(); Sell t2=new Sell();//t1,t2是两个独立的线程 t1.start(); t2.start(); } }//类TicketSystem结束 class Sell extends Thread { public void run() { while (Constant.tickets>0) { try { Thread.sleep(10); } catch (Exception e) { e.printStackTrace(); } synchronized(Constant.obj) { System.out.println(Thread.currentThread().getName()+" sell tickets:"+Constant.tickets); Constant.tickets--; } } } } |
该synchronized中的锁必须是一个全局的,因为在主函数中我们定义了两个线程,如果锁是类Sell中的变量,那么每个线程都拥有一把锁,只是实现了线程t1和t2内部的同步,而没有实现两者之间的同步。
tickets也必须是全局的,否则各个线程分别拥有100张票,也会出现错误。
用实现Runnable接口实现线程时
class TicketSystemRun { public static void main(String[] args) { SellThread s=new SellThread();//声明一个SellThread的实例 new Thread(s).start();//声明SellThread实例的线程 new Thread(s).start(); } } class SellThread implements Runnable { int tickets=100; Object obj=new Object(); public void run() { while (tickets>0) { try { Thread.sleep(10); } catch (Exception e) { e.printStackTrace(); } synchronized(obj) { System.out.println(Thread.currentThread().getName()+" sell tickets:"+tickets); tickets--; } } } } |
该方法比较简单,我们在创建线程的时候,首先声明一个SellThread的实例,然后分别创建n个SellThread实例的线程,这样tickets和锁均可以是类SellThread的局部变量,因为自始至终我们只有一个SellThread实例。