Java并发性和多线程介绍

java并发性和多线程介绍：

• 单个程序内运行多个线程，多任务并发运行

多线程优点：

• 高效运行，多组件并行。读->操作->写；
• 程序设计的简单性，遇到多问题，多开线程就好；
• 快速响应，异步式设计；

多线程代价：

• 实现负载，虽然开线程没什么难度，但是修改共享模块的时候，会有争用的可能性；
• 上下文切换所带来的开销。CPU进行上下文切换代价蛮大，运行线程更换需要上下文切换，为了效率，尽量避免；
• 资源消耗，虽然线程不占用资源，但是管理需要资源，自身实例化也需要相应的堆栈内存；

创建线程:

• 创建线程子类:
  1、继承java Thread类

    public class MyThread extends Thread{
        public void run(){
            System.out.println("MyThread running");
        }
    }

  调用的话直接：

    MyThread myThread = new MyThread();
    myThread.start();

  也可以直接创建匿名子类：

    Thread thread = new Thread(){
        public void run(){
            System.out.println("Thread running");
        }
    };
    thread.start();

  2、实现Runnable接口

    public class MyRunnable implements Runnable{
        public void run(){
            System.out.println("MyThread running");
        }
    }

  调用：

    Thread thread = new Thread(new MyRunnable);
    thread.start();

  实现Runnable的匿名接口：

    Runnable myRunnable = new Runnable(){
        public void run(){
            System.out.println("Runnable running");
        }
    };
    Thread thread = new Thread(myRunnable);
    thread.start();

  这些东西在Thread的api文档中都可以找到，更详细的可以去查API。

• 实现方式的优劣
  就两种都存在且存在到现在来看，应该是属于各有优势的。就JVM优化方式来看，实现Runnable接口的线程更加出色一点（线程池的管理机制）。当然具体的需要考虑实现语境。

竞态条件和临界区

• 竞态条件：当两个线程竞争同一资源时，如果对资源的访问顺序敏感，就称存在竞态条件
• 临界区：导致竞态条件发生的代码区称作临界区
• 通常在临界区中使用同步阻塞就可以避免发生竞态条件

线程安全与共享资源

• 线程安全：允许被多个线程同时执行的代码称作线程安全的代码。线程安全的代码不包含竞态条件。

• 局部变量：一般意义上的局部变量是线程安全的，即使有对象引用。只要没有方法将当前线程操作对象传输给其它线程，代码都可认为是线程安全的。

  NotThreadSafe sharedInstance = new NotThreadSafe();
  new Thread(new MyThred(sharedInstance)).start();
  new Thread(new MyThred(sharedInstance)).start();
  
  class MyThread implements Runnable{
    NotThreadSafe instance = null;
    public MyThread(NotThreadSafe instance){
        this.instance = instance;
    }
    public void run(){
        //对instance进行修改操作;
    }
  }

  这里的sharedInstance相对于两个线程实例来说就非局部变量，另外线程的运行也进行了修改操作。所以这里会造成竞态条件。有个修改方案就是：

  new Thread(new MyThread(new NotThreadSafe())).start();
  new Thread(new MyThread(new NotThreadSafe())).start();

  这里给每个线程实例化了一个NotThreadSafe类（现在其实算是ThreadSafe类了），线程运行的操作也是针对自有的instance进行操作，自然就不会有竞态条件问题了。

• 线程控制逃逸原则

  如果一个资源的创建，使用，销毁都在同一个线程内完成，且永远不会脱离该线程的控制，则该资源的使用就是线程安全的

  资源可以是对象，数组，文件，数据库连接，套接字等等。

线程安全及不可变性

• 可以通过创建不可变性的共享对象来保证对象在线程间共享时不会被修改，从而实现线程安全；

  public class ImmutableValue{
    private int value = 0;
  
    public ImmutableValue(int value){
        this.value = value;
    }
  
    public int getValue(){
        return this.value;
    }
  
    public ImmutableValue add(int valueToAdd){
        return new ImmutableValue(this.value + valueToAdd);
    }
  }

  ImmutableValue成员变量value赋值没有set方法，这意味着一旦类实例化后，value不可变。而add方法是以加法操作的结果作为一个新的ImmutableValue类实例返回，而不是对他自己的value变量进行操作。

• 引用不是线程安全的！即使一个类是线程安全的，但是用这个类的类则不一定：

  public void Calculator{
   private ImmutableValue currentValue = null;
  
   public ImmutableValue getValue(){
       return currentValue;
   }
  
   public void setValue(ImmutableValue newValue){
       this.currentValue = newValue;
   }
  
   public void add(int newValue){
       this.currentValue = this.currentValue.add(newValue);
   }
  }

  即使Calculator使用了一个不可变的量ImmutableValue，但是它自身存在set方法，本身可变所以不是线程安全的。 当然修改方案则是将setValue()&add()方法设置为同步方法就好。

Java同步块

• Java同步块关键字：synchronized

• 实例方法

  public synchronized void add(int value){
    this.count += value;
  }

• 静态方法

  public static synchronized void add(int value){
    count += value;
  }

• 实例方法中的同步块

  public class MyClass {
  
   public synchronized void log1(String msg1, String msg2){
      log.writeln(msg1);
      log.writeln(msg2);
   }
  
   public void log2(String msg1, String msg2){
      synchronized(this){
         log.writeln(msg1);
         log.writeln(msg2);
      }
   }
  }

• 静态方法中的同步块

  public class MyClass {
    public static synchronized void log1(String msg1, String msg2){
       log.writeln(msg1);
       log.writeln(msg2);
    }
  
    public static void log2(String msg1, String msg2){
       synchronized(MyClass.class){
          log.writeln(msg1);
          log.writeln(msg2);
       }
    }
  }

  同步块部分代码执行时，多线程调动会造成阻塞。以此避免竞态条件。

线程通信

• 共享对象通信
• 忙等待
• wait(), notify() & notifyAll()
• 丢失的信号
• 假唤醒
• 多线程等待相同信号
• 常量字符串或全局对象不要调用wait()
  前两个是用户定义的一种锁机制，增加一个布尔型锁变量，有线程使用就加锁，用完解锁。
  第三个是系统自带的锁机制，然后接下来的几项都是对系统自带的改良。
  此处不详加叙述，多次练习后自有体会。

死锁

• 死锁概念：两个线程针对两个资源，线程A锁住资源A，申请B；线程B锁住资源B，申请A。这就会产生死锁，和操作系统死锁产生类似。都是资源争用。

• 多线程死锁：多个线程争用的后果

• 数据库死锁：

  Transaction 1, request 1, locks record 1 for update
  Transaction 2, request 1, locks record 2 for update
  Transaction 1, request 2, tries to lock record 2 for update.
  Transaction 2, request 2, tries to lock record 1 for update.

避免死锁

• 加锁顺序：对资源排序，按照规定顺序进行加锁。可以很有效的避免死锁，但是需要预知所有可能会用到的锁，但总有时候是无法预知的。（这句话没理解）

• 加锁时限：对资源加锁定时间，然后超时自动释放资源。synchronized关键字没有设置超时时间。可以使用java5以后 concurrency包中的工具，自己写一个计时器也不是什么难事。

• 死锁检测：通过map或者group的数据结构将其记下。

死锁检测到后，有两个方案，一个是释放所有锁，回退，随机等待然后重试（类似于CSMA/CD协议）；另一个是给线程配置优先级，如果优先级低的先释放资源。直到死锁解除。

饥饿和公平

• 饥饿：一个线程因为CPU时间全部被其他线程抢走而得不到CPU运行时间，这种状态被称之为“饥饿”

• 解决饥饿的方案被称之为“公平性” – 即所有线程均能公平地获得运行机会

Java饥饿的原因

• 高优先级线程吞噬所有的低优先级的CPU时间
  这个其实不难理解，优先级高的线程总在运作中，长时占用。机器如果没有自身调节机制，低优先级线程只能饥饿。

• 线程被永久堵塞在一个等待进入同步块的状态
  同上，优先级高的长期霸占。

• 线程在等待一个本身也处于永久等待完成的对象（比如调用这个对象的wait方法）
  多个线程都处于wait()方法执行，对其调用notify()也是随机的，可能会有倒霉蛋线程永远唤不醒。

Java公平性方案

• 使用锁替代同步块
  之前有提到用synchronized关键字封装的程序块，是运行线程独占的。下面是一个Lock类的实现：

  public class Lock{
    private boolean isLocked     = false;
    private Thread lockingThread = null;
  
    public synchronized void lock() throws InterruptedException{
        while(isLocked){
            wait();
        }
        isLocked = true;
        lockingThread = Thread.currentThread();
    }
  
    public synchronized void unlock(){
        if(this.lockingThread != Thread.currentThread()){
            throw new IllegalMonitorStateException(
              "Calling thread has not locked this lock");
        }
        isLocked = false;
        lockingThread = null;
        notify();
    }
  }

  在看一个应用代码实现：

  public class Synchronizer{
    Lock lock = new Lock();
    public void doSynchronized() throws InterruptedException{
        this.lock.lock();
        //critical section, do a lot of work which takes a long time
        this.lock.unlock();
    }
  }

  这里的Lock类实现加锁是通过wait()方法，这样带来的好处，就是减少了synchronized的轮询开销。（synchronized锁住时候，等待线程会定期查看对象是否解锁。而wait/notify是异步机制，wait之后，就等notify信号。没有轮询）
  但是就公平性而言，这个跟wait/notify与synchronized差不多。

• 公平锁
  这个设计其实就是一个队列的实现，每个申请锁的线程都会扔进一个等待队列里面。当对象解锁以后，队列的第一个线程被允许获取对象锁。其他的继续在等待队列。下面给出代码实现：

  public class FairLock {
    private boolean           isLocked       = false;
    private Thread            lockingThread  = null;
    private List<QueueObject> waitingThreads =
            new ArrayList<QueueObject>();
  
    public void lock() throws InterruptedException{
        QueueObject queueObject           = new QueueObject();
        boolean     isLockedForThisThread = true;
  
        synchronized(this){
            waitingThreads.add(queueObject);
        }
        while(isLockedForThisThread){
          synchronized(this){
            isLockedForThisThread =
                isLocked || waitingThreads.get(0) != queueObject;
            if(!isLockedForThisThread){
              isLocked = true;
               waitingThreads.remove(queueObject);
               lockingThread = Thread.currentThread();
               return;
             }
          }
          try{
            queueObject.doWait();
          }catch(InterruptedException e){
            synchronized(this) { waitingThreads.remove(queueObject); }
            throw e;
          }
        }
    }
  
    public synchronized void unlock(){
        if(this.lockingThread != Thread.currentThread()){
          throw new IllegalMonitorStateException(
            "Calling thread has not locked this lock");
        }
        isLocked      = false;
        lockingThread = null;
        if(waitingThreads.size() > 0){
          waitingThreads.get(0).doNotify();
        }
  }
  }

  public class QueueObject {
    private boolean isNotified = false;
  
    public synchronized void doWait() throws InterruptedException {
        while(!isNotified){
            this.wait();
        }
        this.isNotified = false;
    }
  
    public synchronized void doNotify() {
        this.isNotified = true;
        this.notify();
    }
  
    public boolean equals(Object o) {
        return this == o;
    }
  }

  代码详解此处略去，参考备注

• 性能
  从代码角度来看，FairLock要比Lock复杂很多。执行起来自然相对较慢。如何取舍，根据需求来好了。

嵌套管程锁死

首先说一下管程：管程 (英语：Monitors，也称为监视器)是对多个工作线程实现互斥访问共享资源的对象或模块。这些共享资源一般是硬件设备或一群变量。管程实现了在一个时间点，最多只有一个线程在执行它的某个子程序。与那些通过修改数据结构实现互斥访问的并发程序设计相比，管程很大程度上简化了程序设计。
然后说嵌套管程锁死： 这货是个和死锁类似的概念，都是多个线程阻塞相互等待。不同的是死锁，都是等待其他线程释放锁。而嵌套管程锁死是线程A持有锁a，然后等待线程B发信号，而线程B需要锁a才能给线程A发信号。这就是差不多的定义。
参考代码

Slipped Conditions

Slipped Conditions就是从一个线程检查某一个特定条件期间，这个条件已经被其他线程改变，导致错误操作发生。给段代码：

 public class Lock {
    private boolean isLocked = true;

    public void lock(){
      synchronized(this){
        while(isLocked){
          try{
            this.wait();
          } catch(InterruptedException e){
            //do nothing, keep waiting
          }
        }
      }
      synchronized(this){
        isLocked = true;
      }
    }
    public synchronized void unlock(){
      isLocked = false;
      this.notify();
    }
 }

我们假设有线程A，线程B几乎同时进入lock(),线程A稍微快点儿，但也就一点点。当线程A刚检测完isLocked为flase的时候。线程B进入检测，这时候线程A已经到了isLocked = true;改之前的一瞬间，B完成检测。啊哦，线程A，线程B都认为自己拿到了锁。悲惨的故事就这么发生了。你又能怎么办呢？
有一个参考方案是把整个方法加synchronized关键字。就是检测和加锁放到一个synchronized中。

更详细的例子笔记这儿不写了，插一句：
代码质量的高下有两个东西决定：一个是悟性，就是天资；还有一个就是训练。长时间的训练或者不错的天资都能避免笨蛋代码，优秀的代码也许就是需要一点悟性了。所以普遍意义（不谈天资）上来讲代码质量却撇开代码量的积累，这有点耍流氓的味道了。

Java中的锁

自从java5以后，java.util.concurrent就附带了锁的实现，关于细节觉得看API更有效一点。有个要说的是在可能抛异常的操作中建议加上finally并调用unlock()，否则可能会造成调用该资源的其他线程一直阻塞。

Java中的读写锁

读写锁也是java5以后，concurrent包已经实现。
读写锁机制是：读读共存，读写不共存，写写不共存。
其他的操作可以参见API。
额外介绍的是锁的重入的概念，这本来是上一节可以介绍的，但是懒，下面有要用，这里说一下概念：
重入是指在已经获取一个锁的情况下，运行过程中对另一个锁的申请。synchronized关键字可以实现重入，给段参考代码：

 public class Reentrant{
    public synchronized outer(){
        inner();
    }

    public synchronized inner(){
        //do something
    }
 }

而当我们用Lock类（之前写的那个简单版本）的时候：

 public class Reentrant2{
    Lock lock = new Lock();

    public outer(){
        lock.lock();
        inner();
        lock.unlock();
    }

    public synchronized inner(){
        lock.lock();
        //do something
        lock.unlock();
    }
 }

联系之前的代码，调用inner()方法的时候会发生什么?
很有意思是吧。这差不多就是重入的概念了，解释到此结束。

重入锁死

重入的概念上一节已经有介绍，这里聊一下重入锁死：
重入锁死与死锁和嵌套管程锁死非常相似。具体体现就是在上一节写的那段代码，执行outer()方法时，内部调用inner()方法。线程会无限期的wait()下去，因为它完全不知道自己拿了自己的锁。怎么办咧？下面这段代码可以感受一下：

 public class Lock{
    boolean isLocked = false;
    Thread  lockedBy = null;
    int lockedCount = 0;

    public synchronized void lock()
        throws InterruptedException{
        Thread callingThread =
            Thread.currentThread();
        while(isLocked && lockedBy != callingThread){
            wait();
        }
        isLocked = true;
        lockedCount++;
        lockedBy = callingThread;
    }

    public synchronized void unlock(){
        if(Thread.curentThread() ==
            this.lockedBy){
            lockedCount--;

            if(lockedCount == 0){
                isLocked = false;
                notify();
            }
        }
    }
    ...
 }

避免死锁通常有两种方案:
1、编写代码时避免再次获取已经持有的锁；
2、使用可重入锁

信号量

Semaphore（信号量） 是一个线程同步结构，用于在线程间传递信号，以避免出现信号丢失,或者像锁一样用于保护一个关键区域。

下面的代码给出一个简单的信号量的实现：

 public class Semaphore {
    private boolean signal = false;

    public synchronized void take() {
        this.signal = true;
        this.notify();
    }
    public synchronized void release() throws InterruptedException{
        while(!this.signal) wait();
        this.signal = false;
    }
 }

长得很像锁是吧？我也觉得像。其实这么写的Semaphore跟锁真心没差，主要有两个方法：take()以及release()。take()的角色类似于notify()就是发信息给线程提醒它别睡了，可以干活儿了。而release()就类似于wait()了。跟闹铃差不多，接受take()发出来的消息，起床干活儿。

信号量还可以当成计数器用，代码：

 public class CountingSemaphore {
    private int signals = 0;

    public synchronized void take() {
        this.signals++;
        this.notify();
    }
    public synchronized void release() throws InterruptedException{
        while(this.signals == 0) wait();
        this.signals--;
    }
 }

然后价格bound属性就是有上限的计数器：

 public class BoundedSemaphore {
    private int signals = 0;
    private int bound   = 0;

    public BoundedSemaphore(int upperBound){
        this.bound = upperBound;
    }

    public synchronized void take() throws InterruptedException{
        while(this.signals == bound) wait();
        this.signals++;
        this.notify();
    }

    public synchronized void release() throws InterruptedException{
        while(this.signals == 0) wait();
        this.signals--;
        this.notify();
    }
 }

当bound置为1的时候，这货就是一个锁了。
有没有一种快被玩坏了的赶脚。。。恩，这就是信号量。

阻塞队列

试图从空的阻塞队列中获取元素的线程将会被阻塞，直到其他的线程往空的队列插入新的元素。同样，试图往已满的阻塞队列中添加新元素的线程同样也会被阻塞，直到其他的线程使队列重新变得空闲起来，如从队列中移除一个或者多个元素，或者完全清空队列，下图展示了如何通过阻塞队列来合作： aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAAc0AAACwCAYAAABtjjW2AAAgAElEQVR4Ae19CZwVxbX3GfZtQHaGxQEGlwQ3BBkWwYsYA6ImbiiBmC8BF9xigkTFz9/zfREUlZeXuCUIxqeCcd+eYozKCIIMglvEBZ2BgQEGkX1fhvnqVHf17Xun79y6d/p23+77L+jp7upT55z6n6pzuqqr++bViERIQAAIAAEgAASAQFIEGiSlAAEQAAJAAAgAASAgEUDQREMAAkAACAABIKCJAIKmJlAgAwJAAAgAASCAoIk2AASAABAAAkBAEwEETU2gQAYEgAAQAAJAAEETbQAIAAEgAASAgCYCCJqaQIEMCAABIAAEgACCJtoAEAACQAAIAAFNBBA0NYECGRAAAkAACAABBE20ASAABIAAEAACmgggaGoCBTIgAASAABAAAgiaaANAAAgAASAABDQRaJSMbv/nr9Phys+TkeG6Rwg07n4KNT/lAo+kQQwQAAKZRAD+NZPops5bx7/WGTTZoFsfuzx1ySiRUQTaX/UsAmdGEQZzIJB5BOBfM49xOhKS+dc6g6YaYTYtHEC8IfmLwMGKFcQb2wWjTX9tAelAoL4IwL/WF0F3y+v61zqDplKJA2b+WdeoU+z9QuB9kkHTL/GQCwSAgPsIwL+6j2laHDX9q1bQlArgp6rTsgMKAQEgAASSIgD/mhSibCHQDJpsUVjVf6PBBv7bABoAAbcRgH91G9H0+On5V82gySroMUxPWZQCAkAACOQyAvCvQbG+XtDEjVB22BP9KjvsAC2AgJsIwL+6iWb6vDT9q17QlKNMTY7pq4ySSRGADZJCBAIgEDgEEDWzw2R6/hVfBMoOa0ELIAAEgAAQCAACmiNNUZMavSgcgDpDRSAABIBAdiEA/5pd9qhDG82giemDOjD08BJuXDwEG6KAgEcIwL96BHQSMXr+VS9oSpvqMUyiFS7XBwGYoD7ooSwQyE4E4F+zwy6a/lUvaGIhUHYYFa/9ZIkdoAYQcBMBGTXdZAheaSGgFzWxECgtcFEICAABIAAEchEBzZGmgAYPqnOxfaDOQAAIeIEA/KsXKLsiQzNoYvrAFbTrzURv+qDeYsAACAABDxGAf/UQ7DpE6flXvaApbarHsA6NcKm+CMAE9UUQ5YFA9iEA/5odNtH0r1pBs0YsQOF/SP4iABv4iz+kA4FMIAD/mglUU+ep61+1gqYUj5iZuhVQAggAASCggwD8qw5KWUGjHzQx0swKg0EJIAAEwogAomZQrKoXNHllF1Z3+W9T2MB/G0ADIOA2AvCvbiOaHj9N/4r3NNODF6WAABAAAkAgBxHQG2kyMJpROAcxRJWBABAAAvVDAP61fvh5WNqTkWbJjIHUsGfd2+hnN5FFN2OlhxDoiap49rdGHTR1U3XheiEBASAABDKFgPI1dfnYsPhXyw+reKLpj93EXnOkyQ+pvX5Q7bW8VGBNotuyB2nkbDu/JPR20jqP3eJTpxBcBAJAwFMEuF973be9lpcKoM66lcwojvOrgufsydSQHqXqaaenIiABrbPceGK9kSbzUg+r09hHbl9G1WvM7YNpdK7UophmfxDNXzC2c7TdpCGjPvrplT1qYJdEt5LpxdTwiqejONeIcknK6F+PssUREAACIUEA/lX4yGT+dSW9aQ5Epjxjxo1nxhsNYPYTNLdSgFhvP6vXnvSCprwLkpYVXN3YK+XieUXzS2YMooa9zE0OwRXtSvqDzP8tzX32QZNGHG8wrsvhuyon9sb0qCpr7GN4M+2vXqWKuHrF8BHX1yjV4uiieGyiub8aRCMfY8JiOne4VUAcxMqv37mdL46BABAIPgJu+gfmpVI832h+jA8Mgn9dtoRmSfXH03mDzHoNGkJTZF4pfbM+vq7pniuMEu81gyYzSFeJ+HJ2ZRJce+x6M/iYtOI8Nvhxfildfds8g2D42XROtxrxTHQw9b6t1Cxk7N6+7aKYskxjBDYb2aJ7qLet4VQ8e3MsH3F9pMU3Xmf7OdG5974kRtW30qUWe/v1+h5bTHEABIBAqBCor29Q5e2gqDy1N68F0b8Oul741aViu54iKhZtqKR/yyoV0wk9VB3rs7djl/hYP2jWR5f4skqfRPlipDZ7sQCo/CWabY7Y3i7bGI3bqvxVDwkaQffEBVRY+TrNlKO88fQu5/G2+HY5Ffz2bS9SiZT1Mb0ZR1N+T7HB7ZsNVGHSPKwCpOJf/pB5R2MKjtdbnnehiU8spQVjuxh6Kh0dacXFdPIVT+yBABAIFwLp+INEZRQy8ddVfiD9q1A+pj5VNHfaPfQ21+mqX9LErvHX0zhnXhrJh4VAXHOV7McqT+wZBDFyJOpM54wWQW2RGj3G0k8Z0U/QmHnrKwwAaR6N7G2OQC2W31GZmL6NdOtH95Uvofs4f8NrNHrYvWYZzmA+YrPdvcy+UvHvR9eL4Drrdmc9uHRssutp8o0lSPPMzjdNFigGBIBAliGQKR+RwF8E3r+KgPl/LqGrF7EZf0Hv3q78dH3NmgCvOLZ6QVPaVI9hHP/ap/ywViaxlw9ua5MQmYtnFJ3cqzyxV8lWvqLiO5XrsBdz3uuEvK4C7F9faoIdT6b0UfoVUVFXzlN06kDpofKd9oqWrzEP+7kTvWaeS2w0pYEMCAABLxDgfu2aj1BOQuxt/jG2GnYfpuhVXrb7V7sPFwGz7DqKuIZdLEqJzvSCphqFJeKSdr4ymBMDp2v2vIHmPHZc2eG3Uvnfz6fCuGwZvJa9aAXMKfMW032DiCqem0K9b19uUtv5q9FpLUYiw06X7DrTJqN34uGU5xYfJ97J83bv20ZbtlfQtl1VtH0X3j9Njhgosh2Btq0LqF3rLtQ2v4Dair0/yU0fYa9BXf7C6Zo9Lxv9KwfMy0wfPk4EzMnm8017netzbK9/Yj6aQVMwcC2a2xSLvxNSl2S+eVIrT2WYOpmnhUMi4vnlcnp70Ux6+MMxMiDSskep4YRnBKEA+LvJ1KuizEBi+B/o+mJRsKaK3llgC5gst2tXOllQvS14Xf3kxzTxNh76f0IPq8Bq183g5vA3XkfbuQN1tmUdqT5Eq8oW06o1i2mPCJQbt3xL+w/uyTY1oQ8QyAgCRd37UbMmrejHvYdRX7E1b9oqI3JimLJfcSPZ+UhfZWOqRNh9WK08lSHK2cpng38tudcWMIU/d22EaYNI51A/aOpw85Om2/l066T76O05RLMmDDeXJxsKnTvjInFHItKxReKPCJKL7qPefeSTTc6NS+L5pfiC0axpgm6O+AqQ4JcLyR4oOWDyeXzq1K5QOJPm1KJ5G3F3XhB/GedAIHAI7Nq7lXbt2SL1Xlf1tdyXVX4i96vKF9Pz4oiD6Cl9zqa+RcMpv0U7eS3n/vjtXzf8L820fPEzNLIPD4aiacrTi4yBUjQrY0eaQZPvPmx3IK6pk4inkzyVZy9jPyaK3PY+vUtn0UgLXPEKyIznxIpW8eEE1n/QtVQ+o4x6c0DkJEac5Y93pYf73EyzFpXQOxvGiAVIRIVj76dymhpD9+6oEhopyyk9DBZ6f2P11CvjROUWnyhvDo4LVzxNSz57PmY02andscJJDKUenX9EfIwEBHIFga07N1KlCKDfVCwnDqQcRHl7uWQWnXnaWIr0H+9y8EzHp+hYI5G/cJKn8uxl7Mf++teKJSW2RZtOdY/V1YkieZ4ej7wakRIx2/XmdNq1YDrlF0+g/EHjE5Eh3yMEdi+bR7tLn6bWo++g1ufdUW+pK75aQG8t/Svxs0pOBR2L6ETxTcc+PfpT61bt680fDIBA0BE4cGgffbdeBM11H4v9x7I6PF079NTLaMSACdSoYZO0qwj/mjZ0GSmo6181R5oZ0RFMfUKgfMMn9PriB+WzSlahoEMRDTv9Eure+URLozrupSwaHACBsCPQtHFz8VxziNx27dlKJSvmyyD6zvK/U+kXr9IFw26iU48fGXYYUD8bAppBUwxGEw9IbexwmFkEEk4KaItd9u9X5DQTF2jdqgNFBlwuRpa82ImTbbm5kYG/QAAImAi0btWWLoxcT5Wbv6HFH79Im34op/n/vIvWbf5SBM8b64ET/Gs9wHOxqJ5/1QyaLuoFVr4hwM9kOGhyOuX4iAiYY6lhg8bifkivsfimOAQDgSxCoFun4+mKUbfT56tL6N3l8+iDT5+Tr2KN++ld3qy0zSIsclGVFIImHGtQGwi/LvLUm9PkYgauw9kDx4ugeZasTk1GFngFFSnoDQT0EThZ9KG2bbrQ6+8/IhYNldIjz19Lv7nwgTTf94R/1UfeX0q9oCnf14FR/TWVkJ7GiJADJnfm78VHCZqK10UuOOs66tb5eBEqYU/f7QkFAo8A96Wxo26jN0oelX3sz//4NV132V+pU9tC/brBv+pjlUlKTf+qFzSlonCymbRXJnjz6yQ8wuSAyc8vfzbiBvn1k3SCbyb0A08gEAYE2uV3prE/vZX+d9Gj4nnnanr8tan02yseT3GqFv41KG1BM2iyQWFU/42amg14hSy/X8YjzIvPvlkEznYiXmKxj/92hAZhQ6BJ46Y0Ztg19Pzb94vPTG6SN6s8Vav3Sgr8a3a0Bz3/qhk0RZX0+GVH3aGFXJzAi354oc+Y4ddQvlj5hylZNAwgkDkEmjRpJlfXPvPWDHmzyjetF0WMn0lOKhX+NSlE2UKgHzQRNbPFZkn1UO9hMuGw0y+mbh37pPU8NKkgEAABIBCDQH7LtmLEeTW9uvARuVK9oH0RDTr55zE0zieIms64ZF+u3o9QqwfV2BvBx08cNNoQ3+FyOvWEEXTScWfKESaPMsPx7yO6u+Np1KOO7e4P7DWN0sfm22nSP156l6nLXR8lwDez8u2ar3/6ulq4ZKLOdpk4ro1A10595M0q90H+CILTd5z5mpX89CeQHevTLaMkPsBIMzE2gbzC74zxr5J0aNudBp96fgifYR4Vwanu9LeL+lHNyyvpjqFMF6Wv4eNkhetmXfuq4ieeFTs/L86wfKnRJvrH5eIHCxbWVo+x+NuIO2nJsz+n7rUvIydDCPTtM4TWbPicKjZ9RQuW/k3j4weqIWVIIbB1DQHNoCnuplz3Nq7VIYcY1d2x+I62ZOU8iccZJ/2UGjRoKEc/YQXo6pdX0DQZGFUNq+hZM3jM/hdf668umHseFbib7Pycufenad8LXaRYZ4r6arTsrmjAjMFkyZ+p50VPES38I02bV0z/M96v34usbw2DWb74lPNl0OS1BXV/5B3+NTssbO/NiTXSm55NXB5XsggBngrij693bt+TenU9KXbaITTTMPbVv6KRx9SrM5154WDDIl+tpw3yWiL6j2hGpwHU09pupGfXx/MT5xx4LBpBf/krJl+T1rK/kMPy1r9CvzLpZyxhmqgc47yGlt1lyhVTutYxlxHnsfWpoQ3zbrTk/2rexui5RfsRvfeIocTVL39E04aYerEuQ26itS//Ul58/3fP0jITK0umxcMmx5bHutjlMw6sg11HN3nZ+YbhuMMxXanPsf3k9Ozri/9itRQcBBuBFIKm6ITyPh17/3BI3Nj4IwaLP3lOEgzvf4kcYfK4Jnz/DPS5orXrtpEWv/ahgcGFZ1BXSeFAX/kKXdl5Ms2WlOrPh3Rr/zNo+lIb16XmSE2R8H7h3TT0ileo0pIevVhDG+kft9xN74us4X96lW4XAUz1FqaKcjbLPDKZrjADnswR51fO32jRVc6/iYb+zqgPX3//dxfGnEt+S5eY9ZhAI6S8qBR5NGQIXSWZf0drK9U1mSH/qBzWUyWV9+F/nhEjj6+zDnYdnco55enxUpLDsx/a7+diBXsj+mz1u9YPJCicY/eqpWBv9Fg/cIi1SKIzvaBp3qGG4e4v8HVIYEn+wVyenu3WqYjaiztcnk4P5xYF4LGLBlKvzvbtZ3TbQnE9cgdNH9fFrH+Unm1fUyOe/02ZTos4W9AtriqlcrHNn2zQPXbRX+hDSbeSZlz0tMwc/l+vSpryqkeNALTwPVosRqUGvkY5jo6V8+415E9+lJ5IKJ/LmWVoMN2zguW/SvdEjLxFq0XQNOX/jwqYgh/raMlnUsEjRn6kkLrLckovte9KvSNc4EMqq1B5fC6SxcOmk8pb/yo9KgP6BJpvYlS+4g4aLoot+t3zJkYO5aQOknuUvzYvpV949vwzYvx8k1PpqtdMYOJ23CCwZQcGcaZxOtULmk4lkZdVCHz+7btSn97dTxV70QlDvSWBvmQ6PSlGjFEMFL3IqyylBSV8Xkz3PHABdTNxGvQfj5gjsm+pQozIqHI9fSOLFdPo4eaPmFM/ur1qmQhef6LLuyv+kkj8+YCe/L0YFUam0eL/4F+NUdd5r5LKM88n/9Lkw9PKxWamSWOTf89Exa8fXflfcXRSDhdVvOP3cdPTFn18GUVnll+31rixoKfpF12KqTdvA8ybDTIxcp1XvO7hOC/qwX2SaFWZvFWTx/gTXAQ0FwKJCvKdEFJWIsBTs/zlH049u58kXFmYbRWt21UvfUi3GTfxll02zL+Zhv++lB67+EGKVN1Ag2KwYGRU+T50rAh86swIOsxGjOjWifxj1ZV4OkuUPFBU9Og8eoxzSmaIgH2BTS+LQlw05EVz+Nw4q52ncmLlq1yDV/SMSiponeDVVWpl/7ORykvUub78DWu/U4Uc9iZGYjluVIPEddHl5SAoFFmd2h9L+S3b0e6922hd1So6tkvf2vWCf62NSZbmYKSZpYZJRS01Ndu1U2/xvcuW4v7GeP0hnHsVZoTDdqhn13G/pEkSvO+oYj3jEE+v3Ly6rrBSdMXUq4dRzrBBPJ2iN/eWoYppxqxfyDMO2B9auim+Nn2tMuKaRacyVV4iPePoBg826zuPFi4xdRLTob/uIqZ++XzJEiOYi5G1US+Rp1iIIyV/3belZq7KM08jt9H7m5bQd3HbrYPj66/KHaW0eVlYmLxDdN6jy/ES0C/XfGChj4NgIqAZNLmbYcsODGo3tOjU7Ck5YCc1jcg4OLTJpUtpjoRIXYuj7z6ARkWYoJSmTX2NNpg8lv2/G4xykQgN5anX7l3JcHOl9NaiTYKe+W2i58YNpT4FQ+k381Ue8xJp8nga+4uLaUaET+bTbOt6nHzJh2k48TWlJ+85mXk2+dMeXynyxfXK1+jOKSq4qbKnUcR8HjvnkqF0L09Ldz+frhZ5fN7nkvmSK6l62eXzCmN5vpLEj3SYyeDbbXhEPr+kknvpKTXVvfRhWfc+BQ/TMktvs5grvOxYhOu4qAf3TaJPxYKg2ilcdY1t00GrW23rxOfoTc/KevMfJF8RSGCC77evk2r16HyCHFn5qqOHwudccqYZIB2ETp5Al3Xj0Y/tGo86azrTZTeMo2klz4ip1Jl0VsFMGwHRpBvOp65ydNqPbn1hHM259BlaNOVS6hPzCdFxdPW4zrWwlrzvu5XeHDhTlHmRlo27TozvbEnKt52LQx4Jc4pVk8/60YRZA2nOlOVEj95EfcygdmZkoNBb5HEZs2zxnc/T9K8uoztKOFA6YxKtl3iaO3Kc4Olcf4tvNw68oh5CbjzPM2ddRMUSI3d5seywpi4delGLZq1ou/iYOy/Yi/mQO5vbtGVY6x+Ietk7YR0KY6Rp3THLlsutN8u32tbcvXerzGzZso3QPhf+1cbAnnPmrOdo9Z2n2ZAwrlrIDJlMqzf+mSbaC9FAmr58Ef3B/toG04nAGZMif6CSjZMFtcEtes3k3n0MXStHfs/QhD9+HEOl5NcqI6iiSVGJ55PjHqASEThV4nrdfYE6i9LVkLgRmL8ohlZRqf2ch16Xo0pZStTraXN0Kq+LOj1tyYnyHXjnolg6Qcw6PM43DOqfm7wUz5DumzdrLeHmZ5uxKdt9Ti7pF2sZp7M8cbdq77ExNLvenE67Fkyn/P6XUqsBl8Rcw4n3COxZ8SLtXvkCtR59B7U+7w6pAC8Cumv2aGolPhR9xehbvFcKEj1FYPkfz6IJPOqc/N/ixoBX1WqkyjfoNwPvoxNeeJ9ujVs4pVEaJC4h8M8PnqD1Vd/SNRf/hXp360fwry4B6xIbJ//qxFpvepZLJgytTmyR5xUCu/cZo8wW4n2wOu5/vFIHclxDYDO9MP5yOeXqxHLi2WIknfh+N7ZIt/No7obzRJ4YH6Ifx2Lj4VnzpvlS2rZdVSJoxgmGXeIAyd5TraB5cNOXRCthVb/NeFB8/Dk+7RGfzePUXDwv4SkzpLAg0IkumfcnKuv2O3o8rkq/eX4hTTW/NhR3CadZjEDLFm2kdupxilIV/lUh4e/eyb86aVRn0Mxrbhj50MYvibegplXVRfRFdS86qeEa6tuwLKjVsPRWduEM/kUTTjJoYhghsQjPn1NpauV7NLVWhTBirAVJADKaNG4mtVQ/Fab6cdD9K1dqR00+HZO3OwBWSK6isksiyjqDZv6IG2S5mv07E5UPRP63q5rSc182paY/PkiD+x4MhM6JlGSDKrswDT/T5NRMvJ9pvK4gT/EHCACBLEPg4OH9MRqpfhx0/3qoOo+m/bMV/WXEXmrXjF9ZCm6K969ONakzaHIBZVinwkHJa3qolOjL5dT0uGFiAU1xUNROTU8xytR+xpUaZ1ADASDgBgIOM0Fh8K+PvPAhbd67guZ8fzrdfe1P3UAqq3kkDZpZrT2UsxDgp5l4pmnBgQMgkHUIhHHFwdad++iZt41PeP6rdDVded7pdPyxHbMOezcVQtB0E01feYku6XAn66tKEA4EgIANgfCFzZlPLqRDh6utOv5x7rv01H9eYZ2H8QBBMzRW5XFmsJ8nhMYUqAgQcEQgXEHzi7Iqev/j8piarl63hXjE+ZNi4yOUMRdDcoKgGRJD8iATzzRDYkxUI5QIhG0iaOaTJY52+tMzi+ms04uoSeOGjteDnomgGXQLWvpjIZAFBQ6AQFYiEJ6R5ksL/008qnRK/JxzzqvL6bpLBztdDnwegmbgTWivgPud8pOv94lPf/nzms7WHUfohx2HqcMxjan9Md43Vb/l2y3rx7Ff9fdLLmPco0tT6ndiCz/gDoxMfobJQbGuxIuDLv/JqdS+Tfiw9N4T1YU0rqWNAE/Nuj09ywHzkWc3p62TWwW/oQNusUqLj9/y01LaxUJ+1d8vuddd3jkjgdPt/umiiVNi9fALS4lHkz0L2oqg2JL6nRD96fNV5Ztp976DxM87eZHQfTeOSYl3EIgRNINgJS0d3V8ItL7KCFY/7tWFTuzVWUsLN4m+WlNFX63ZTD8Ssn8kdPA6Qb4/+PuF+9eirX0p2hy3+9NONL7e426bc38myF39knPb9MMu2iOC4tz/exmdVGT0ycdeKZUjz0k/G0j//fsLJZO1m7bTU2+ulFO4YXsFBUEzeTsJEEVmOiUHzIvFB8K9Ti+996kZNLtAfg7h75fdWS4HTSNlpi953YfcllfQoTXdOfGcpGx5FKpDl5RRFhIgaGahUdJRiceZbk//ME9OvOrvqA9L/5RIyM8t/P2yuyU3A31J9iOzP8lOhT+BRQBBM7Cmq624CnK1r9Qvh0Oncij145RaaXWvD/m5hb9fdldyuZVmqi+l1gNAnY0IIGhmo1XS0YmjmtuRzeTHI1h/RpqGG4P83MJfzZh4bXclV/Yjt/sS9+lM8EzHV6BMvRBA0KwXfNlTmMOL23fHMXfe9hMfqu23v4F8H4zObdqHdpeJvsTo+VAVf4wWcqkImqExsAiZrnsYo5sz26M+9HhVHcjPLfz9sruSK28/oycueggfOpGL2oOVgQCCZkhaAo8y3f72rBq5cldXx17CpVwM5OcW/n7ZPSrX/b7E/caPPuRlf80VWQiaYbG0jCyq27tUKYud6O4ZufNOpqdSAPJzC3+/7G7K5V0m2ruqVrJmj+tZjQCCZlabJxXl+D7W7V5p8GP/kQkfkqx2Sibk5xb+ftldyTXGhG73JW7tmeCZrBfhutsIIGi6jahP/GTIrHH3p8FUEOau7sszTRNLyM8t/FVo8druUbmi5bvcl7gpq/5kNmvsAooAgmZADeestur2zlfTzhVsfZkeVNWB/NzC3y+7K7myo8ScpN11UDB8CCBohsWmYm7J9cBmzlex+4hOXXkHmHJbkJ9b+PtldyWXG7vrfYm7jR+dyLvumjOSEDRDYmoZWFx+ZqKcCDsQfNxAoeFdg1GOO9fw96vellxh4kxMpXrfgrxrq7kkCUEzNNYWXdL1O1mzmzNrdx+X6qGuvAzk5xb+ftldyeWbT9f7Ejd5S4Be+wdVViKAoJmVZklPqUzcHbMm3NV9GWmaMEB+buGvQovXdldyjTZvPzMbInZAQCCAoBmSZsBTS26v+LOmqyRv750I5BuYG7bNHfz9snusXPenVhT/kLicnK0GgmZoTM/jTLcdq+m0BUZ45cT7hqKsyftcwt+veiu5PLfifl/i9hOV4H1rgkS3EEDQdAvJbOCTkecwomKir/tyl6x8DOTnFv5+2V3J5b6cqb6UDX4COtQLAQTNesGXPYWNe2N7r69bt917ayi/ZV6dROpum7n64UNUbSA/t/D3y+5RuZkZaar+VGenw8WsRwBBM+tNpK9gKp3yk6+O0PfbiM4d2kgEz7pl8CjTl4VAZqSG/NzCX81qeG13JZd7Qyp9qe7eg6thQwBBMywW5QCTwnDwtBMb0vTZB+nTr6ppRHEDGt6/ETWKbw02frZDXxCDfF9gt4T6hb8vclloJgRngqdlIRx4hUC8m/RKLuS4jABPLaVyd9xKjC5P7NWAvvj2KL25qJo+/OwoXfKThnSCyFPJmq4SB74sRDEVYF8D+coq3u2Vj/caf9/lCohT6Uu6FlH9SZcedNmJAIJmdtolDa1EN1feRrN0QUcSQdMg3r6zhua8cEQGzQtGNKBO7fh5p9HN+W+qvDVVqJNMORnIzy38/bK7kitDZop9qc6GbF2MSrCycBA4BHIqaH7yzUZ67JXSwBmpLoXLNxyitZv60q79HcS+ui7SWteOVOdR80T46i0AAA99SURBVKZE+w9GL32z5ijxdmb/BtSoocrn+24/OrySCfm5hb9fdjfklq0X+6Wp9SXVU+rab93egbbt6EvvreA+Gx4/xH41l1JOBM38FiIyiLTy60q5hc/AfUUn5Fql9kJ2UY88atYsTwRN5aSiyHyw8ig1NluH19NzSgt1sw/5uTU97ZfdldxyETR5cz+JqR3qKPrqYRE4l7vP3meOys/6rEbGxedE0Lzi3NMkkLv32YZUGYfWGwHlGz6h8g2fUrtjOoqtU0pC9x8i2vi9s3Po2imPCjrW0MpVxiQtpmedcUoJ8BSJlUTe5xL+ftVbye3dnah3jxSNpUG+bcf3YqS5hXp3O01s/TRKBIeEA6bys8HROj1NcyJoMjRhNei/SlfR0aOrqKhnX+rTK7WguWRlTczULOPEr5+MHFxDxacSvbOUc0QSt+B+OG2WC/k5iL9fdjfl9hIBc+QQo+m5+fe7NVuobO0qOnvAQPpJcbGbrMHLQwRyJmh6iKlPokSAUc5GU4Mt22M/bhAZSDT8jBr5nDPKK08+zUyRtaYGdZOpO3/eQ37dWGXiql/4+y1XtDb5331MVc3c5wyO3iGAoOkd1pmVxP08hchy5AjRl98ZQfP4nkRjzjpKHdsZKlpsaozrfI5XPjJrPifuyg65hr9f9VZyZcy0Tpwsk2YeYmaawGVXMQTN7LJH2toY60v1e+WqMrEIqGkNXXxuDR3f0ygXX9o4N0aavnwRyESD9YD8eOuk3VS0CyqJXuPvv9zMrNb2ZwW0trlBqIkAgqYmUIEgS+HuOL8F0c1XmqttlZeqVUlz+lZcT4F1LS5pZyi9ID+38PfL7kouN1hfGnzaPQUFPUQAQdNDsDMrKrW7457dde57DS8iOfvgRJSGkC8QyCH8/bK7kssPNKPHbvZae1R2ky94eYkAgqaXaGdQFjtV93+E2vZMM7VXQF2pqYoTvD8K+a5gmgoTv/D3X677fYlx9+PGJxV7g1YPAQRNPZwCQpWhO1nB1pcOr6oD+bmFv192V3Jlb485CUj/h5peIICg6QXKnsjgu2O3O7rBj6eq3OedHBSWywnycwt/v+yu5MoW53pfMlqybND4E2gEoj9pEehqeK18CU3Ny6O8WttomlvhtS6GPA4vMri4+tfkLZjzKydeb8pv8d5r2SwP8v2xv1+4W3Iz0peiIdlAVe9vyVQnP2PmTS1JzqRiLo1mP6VDm5wbKAQCGGnWpxmMmkNrF0ykQsmDA+kImtRzNIlMmmhk1s2dG/RDRbTg/kjddDpXRY93+5mmihoifuCVD+VRdWzhEg3jzinX8Per3kout3vX+5I0pCVB2lXnT+R+ocv9TFlBc0f3pElk9zk6HEDjNgIYabqGaIRumDNKcHuLvl6jwZQDZs9JgtqtxB0yE5vBlmOG15usDsPjg2wZIxlOTpDvqe39srslVx6w8TOxyRaFPwFGAEEzU8arNS3Cd4o8rTKVSviu8VozYD4wwsyrnyJG9+YpIDf/GTpJjvLuWxx5uZdOi12Xx3JVHSFfNgDP8fcLd0uu2ea43bn6r359PGFp5Wusx0WJHxOp6d7obG3co6bohYTicv0CgqZrLaCEHprE48ZbaEwkGdNCmvjXOcTjUrploQhE91PSIslYcudWzt6lvXGnLQTLkZb7/JPpy3JlgnzXbZsMe77uF/6+yxUK6OCTKk0UULNdu7ITQY9nrKQfYb0XCg/0Fk26dq64NY9LJVNpxANEo+asJeOJkPFI6QF+zMQ+Y63wSXwTj8AZB1zsKZ5pxuKR2tlbk6hn3iRbmVE0Z60bAdDGUvuQI4zbLzMaUUtyNg61tXGDUImEfGMhlBuYpsLDL/z9lmsEN7f7EiOvapaKFZLRRuh+EfDul88880jet3ORt76mNWJXaBUvo7kzRcQUwXWBWnBR8gaJHBp16TkGXeFEuvUWEYAfeINKRFSNWGVxYEcAI007Gqkeqzs0a2SnuQAoVTka9HJgYOnh1p2yIZi7ul8ba+CXbJbLCfK9x8Av3KVcYfBUR5F69Mzd7aSmV3vSC5euNUeaDjIemGQEVA6I5uWKsi/k0VuTelpvAvBIlOgLKqs1TDULYYfVs+FpAyJQSvfuZo2MsMEOwZcPpvOdgEiQn1v4s739sLuSy7cI7vclWSNZL1f/mKPFWxaK0WaEOa8x2I86kXoZR+a5mIL9K9G1Yip35twbKCJGm4VFJ4lrb8npWmv0aS+DY0cEMNJ0hMWFzMIi4iZJX5QZzxYq3qEX7Etl1XUXREVZsLNxc7NxFmzZl3m5RaV7K1fVEfKjCChMvNhHpXprd7tcIVmcur3FSnDz7IE3SiS7irkz5ZSrmp61ZJxURIVy+lWEyUnXGu+TR8aI55/i/IV3zOef5qh1tMPzUIsRDhA0M9YGxLOGhaJJyueeYtXstV/TSXLljxIYoTHcYuXq2cSr3RR1sr28NxYeje+WXduk0zAc11Hxtr/XGztoTrz3WjbLg3x/8PcLd0uuaPeu9SHB1OJl9icDVZf+Ru4ndjOGH8mjnpNOojny1TfnKdbIDbwAUSwUeqhEFOLnoWLhkPJR4j1zuSjIevfcJR1DxgYLgdIyqHr4nqSwaNC8Mjaa7hcP7KMp+uJyNK8+R6J71qd4wrLsTJRDSUiUgQtKJuTnFv5+2V3J5aacqb6UfjcRK+4X1NBEBwZOfmSiRTiRFtRYJ2JlUNy5DJy8kAhJFwEETV2kspxO3c26qSbzNJJxt+wmbz1ekJ+b+Ptld0NuJvoS2zHan/RaP6iyEwEEzey0i7ZWjRo2kbTV1dVir5yNdnEtQo6d/iwEMtSD/NzCX92reW13JddsdVp9IxWiRo0apkIO2ixFAEEzSw2jq1andoWS9NDhgxm4kzWCcNWW7fTxqjJdlVyjq9qyTfLaJPY1q1xjq80I8v3B3y/cN4t2bqTMzKxUV2fi3U/t5gxClxBA0HQJSL/Y5LdoJ0UfPnxIjDPd7ZRNmxj8OGjx5lfioM2bXwny/cHfL9y53bvdl7jtHj5ySDbhtq0L/GrKkOsCAgiaLoDoJ4v8Fu2l+MOHDru+WmTAybsF7xo6cBCLrP20MWR7h0CzpkdpwMl7MvKkg29sOakbXe9qBUluIoCg6SaaPvBq27qLlHqYp2fFP7dTfxk43eYKfkAgexFwvxcZdUXQzF6bp6IZgmYqaGUpLd+57t63TbzLWC0+h4VRYZaaCWrlOAIHDhojzeZN83MciWBXH0Ez2PaT2nMn5KC5d+9eatWyVQhqhCoAgXAhcESsbj98SD3TNGaHwlXD3KkNgmYIbN27ez/6fnsF7di5nVq2bBmCGqEKQCBcCGzfIVaA1xylItFXkYKNAIJmsO0ntT/1uLNp2b9foa3btlLXgm4hqBGqAATChcDOXTtkhY7rMTBcFcvB2iBohsDovbv1o+ZNW9H+g3to/4F91KxZ8xDUClUAAuFAgEeYO7YbQfO0488JR6VyuBYImiExft/ew2nFV2/S9u3bqKAA74GFxKyoRggQ4FEmB86uHY8jtdo9BNXK2SogaIbE9KeIKVojaG6nLl2w0CAkZkU1QoDA1h+2ylr8uNeZIagNqoCgGZI2wAsM1KsnO3buoDZt2oSkZqgGEAguAvv37aedO3cSfyN60Mk/D25FoLmFAIKmBUWwD7hTjhpyLT3/zgyqXLeeWvfNF+9s5gW7UtAeCAQcgXXr18kaRPqPx5eAAm5LpT6CpkIiBPsBPxpNSz57njZu+ZZ++GELdejYMQS1QhWAQDAR2LlzF/FIk2eARgyYEMxKQOtaCCBo1oIk2BmjBl9Dj792C32/eQu1OeYYatQIJg62RaF9EBHg386s2rhJqn7OwF/L6dkg1gM610YAHrU2JoHOOaGwmPr2HkaryhfTuop11Kt3IaZpA21RKB9EBDaKgHng4EG5YhbPMoNowcQ6I2gmxiawVy4YdhOVb/iE9uzZQ5XrN1L3Hl0DWxcoDgSChsAPYrXs1h+2ydHlBcNuDJr60DcJAnliGiFTH/VPIhqXM4nAuqpV9LeXbqIj1Yeoc5eO1LFTh0yKA28gAAQEArt376GKNeslFhdFpmDFbAhbBYJmCI2qqvTZ6ndp/j/vkqc9CrtT69b4mLvCBnsg4DYCB/YfoPKyCvEhgxq58IfXFyCFDwEEzfDZNKZG/yp9nN5Z/nf5XLNLQUdq1/6YmOs4AQJAoP4I7Nu7T6wh2EjV1UflmoIrx8yoP1NwyEoEEDSz0izuKvVyySz5QXfm2rbdMdSloAMWB7kLMbjlMALbtm6nqk0/SAR4IR4HTH5vGimcCCBohtOutWrFv4Ly+uIH5TPO5i2aUfdjC8TrKA1r0SEDCAABPQR4Gnbjhs20a8ceWeDM08YSFv7oYRdkKgTNIFsvRd15cdCTb0yTP1jNAbN9h2MwXZsihiAHAozA7t17acvmbXTw4CE5qhx7zjQ69fiRACcHEEDQzAEj26u4e982GTg5gHJq3KSx+HJQW/EhBCwSsuOEYyDghMA+8YWf76u20YH9B+Xltq0L6Mrzpsv3MZ3okRc+BBA0w2dTrRqt+GqBXCC0fZfx1ZJmzZqKUWcbatGqOTVs2ECLB4iAQK4gsGf3Ptq+bSft23tAVpl/v/as08fTsH5j8fwyVxqBWU8EzRwzeHx1P/j0OSpZOU9O2aprLUXgbNmyGbXKbylGonjuqXDBPncQOHKkmvbuOUAcLPfu2S9fI+Ha8wIf/vg6P7/kwImUewggaOaezWvVmD+AsOLLN2nl12+RmrZVRM2aN6UGDfKoYaMG1ERM5XLikSgvrUcCAkFHoFHjRlQtAiQv6jlyuJoOHz4iq6RGlKp+ndoWEv9mLX8Sjz/AjpS7CCBo5q7tHWu+/+Ae+d3a1etKaXVFKfE5EhDIRQT49RH+4egTCgdR29b4YfdcbANOdUbQdEIFeRYCvHBoy/YKeV5W+YmVjwMgEDYEju3Slxo3akKtxEiSR5ZIQMAJAQRNJ1SQBwSAABAAAkDAAQEsk3QABVlAAAgAASAABJwQQNB0QgV5QAAIAAEgAAQcEEDQdAAFWUAACAABIAAEnBBA0HRCBXlAAAgAASAABBwQQNB0AAVZQAAIAAEgAAScEEDQdEIFeUAACAABIAAEHBBA0HQABVlAAAgAASAABJwQQNB0QgV5QAAIAAEgAAQcEEDQdAAFWUAACAABIAAEnBBA0HRCBXlAAAgAASAABBwQQNB0AAVZQAAIAAEgAAScEEDQdEIFeUAACAABIAAEHBBA0HQABVlAAAgAASAABJwQ+P9hE5cixaafKQAAAABJRU5ErkJggg==" alt="Alt text" longdesc="data:image,local://1379928964913" />
阻塞队列在java5以后的concurrent包中已经实现，不多说。

线程池

线程池是装线程的池子。（说了句废话，囧Orz）
主要是在一些应用上需要限制同一时刻运行的线程数目，另外开线程是有开销的哦，亲。特别是在服务器应用这种并发量吓死人的应用环境。所以就做了一个池子来装线程。奏是酱紫。
这货也是java5以后放进来的，在concurrent包中。（java5是一个革命版本）下面给个简单实现：

 public class ThreadPool {
    private BlockingQueue taskQueue = null;
    private List<PoolThread> threads = new ArrayList<PoolThread>();
    private boolean isStopped = false;
    public ThreadPool(int noOfThreads, int maxNoOfTasks) {
        taskQueue = new BlockingQueue(maxNoOfTasks);
        for (int i=0; i<noOfThreads; i++) {
          threads.add(new PoolThread(taskQueue));
        }
        for (PoolThread thread : threads) {
          thread.start();
        }
    }
    public void synchronized execute(Runnable task) {
        if(this.isStopped) throw
      new IllegalStateException("ThreadPool is stopped");
      this.taskQueue.enqueue(task);
    }
    public synchronized boolean stop() {
        this.isStopped = true;
        for (PoolThread thread : threads) {
          thread.stop();
        }
    }
}

 public class PoolThread extends Thread {
     private BlockingQueue<Runnable> taskQueue = null;
     private boolean                 isStopped = false;

     public PoolThread(BlockingQueue<Runnable> queue) {
        taskQueue = queue;
     }

     public void run() {
         while (!isStopped()) {
            try {
                Runnable runnable =taskQueue.take();
                runnable.run();
            } catch(Exception e) {
                // 写日志或者报告异常,
                // 但保持线程池运行.
            }
         }
     }

     public synchronized void toStop() {
        isStopped = true;
        this.interrupt(); // 打断池中线程的 dequeue() 调用.
     }

     public synchronized boolean isStopped() {
        return isStopped;
     }
 }

Talk is cheap, show me the code.
其实是扯淡，我懒得一行行解释了。

剖析同步器

同步器（锁，信号量，阻塞队列等）功能上都有些区别，内部设计实现却差不多（看代码应该能看出来～～～）。同步器大部分用来保护临界区代码用的。一般设计有以下特征：

• 状态：Lock是布尔型的isLocked变量；信号量是整型的signals;阻塞队列是元素列表和容量。
• 访问条件：就是看状态喽，我觉得蛮容易理解的。
• 状态变化：准备用和用完都有状态变化，怎么变看之前的记录就好了。
• 通知策略：这个是通知谁的问题，通常三种：1、等待中的随机线程；2、指定线程；3、所有线程。
• Test-and-Set方法：先测试是否有权限，有就set，没有接着test。（说的有点简单，但是道理差不多就是这样子）
• Set方法：修改状态，通知线程。没了。

EOF