FutureTask原理解析-java多线程(实现并行计算)

本文涉及的产品
全局流量管理 GTM,标准版 1个月
云解析 DNS,旗舰版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: FutureTask原理解析-java多线程(实现并行计算)
需求: 我们要计算1+…+10和20+…+30相加的结果,当然可以用a=1+…+10,b=20+…+30,之后resutl=a+b。 但实际上第一个任务A和第二个任务B互不影响, 我们可以使用多线程的方法,将任务A和任务B并行执行,最后将两个任务的执行结果相加。那这样怎么用java实现呢?

1.实现的多种方法

第一种方法

首先分析一下需求,实际上A、B任务没有任何关联,所以我们可以直接使用多线程的方式,只不过由于线程什么时候运行结束,我们并不知道,所以这里先简单采取sleep,但是大家需要知道,这样是不对的,因为这个时间并非固定的。

public class Test {
    public static void main(String[] args) {
         Task task = new Task(1, 10);
         task.start();
         Task task1 = new Task(11, 20);
         task1.start();
         
         try {
             Thread.sleep(1000);
         } catch (InterruptedException e) {
             // TODO Auto-generated catch block
             e.printStackTrace();
         }
         System.out.println(task.result + task1.result);
    }
    public static class Task extends Thread {
         int start;
         int end;
         int result = 0;
         public Task(int start, int end) {
             this.start = start;
             this.end = end;
         }
         public void run() {
             int i = start;
             result = 0;
             while (i <= end) {
                 result += i;
                 i++;
             }
         }
    }
}

第二种方法

既然第一种实现方法里面,有弊端的地方就是sleep,因为我们不知道两个线程啥时候结束,大家记得多线程知识章节,我们讲到过CountDownLatch吗?CountDownLatch是AQS的一种共享锁的具体实现,可以让当前线程阻塞,等待N个线程运行完成之后,才可继续运行。

import java.util.concurrent.CountDownLatch;
public class Test {
    static int result = 0;
    static CountDownLatch countDownLatch = new CountDownLatch(10);
    public static void main(String[] args) {
         for (int i = 0; i < 10; i++) {
             Task task = new Task(i * 10 + 1, (i + 1) * 10);
             task.start();
         }
         try {
             countDownLatch.await();
         } catch (InterruptedException e) {
             // TODO Auto-generated catch block
             e.printStackTrace();
         }
         System.out.println(result);
    }
    public static class Task extends Thread {
         int start;
         int end;
         public Task(int start, int end) {
             this.start = start;
             this.end = end;
         }
         public void run() {
             int i = start;
             while (i <= end) {
                 result += i;
                 i++;
             }
             countDownLatch.countDown();
         }
    }
}

第三种方法

其实上面说到底,是因为Runnable没有返回值导致的,如果线程本身有阻塞的功能,也就是说在运行完成之前,get是阻塞的,那么就可以达到目的了。
Java其实已经给我们提供了这样的API,就是FutureTask,可以看一下FutureTask的类继承和实现关系。

public class FutureTask<V> implements RunnableFuture<V> {
}
public interface RunnableFuture<V> extends Runnable, Future<V> {
}

从这里看出FutureTask实际上就是一个Runnable而已,只不过它的绝妙点在于,get是阻塞式的,也就是未运行完成之前,get会阻塞。稍后总结环节,我们再来看FutureTask如何做到这点的?我们先来看实际使用。

import java.util.concurrent.Callable;
import java.util.concurrent.FutureTask;
public class Test {
    public static void main(String[] args) throws Exception {
         System.out.println(Thread.currentThread().getName());
         int result = 0;
         for (int i = 0; i < 10; i++) {
             FutureTask<Integer> futureTask = new FutureTask<Integer>(
                      new Callabled(i * 10 + 1, (i + 1) * 10));
             new Thread(futureTask).start();
             result += futureTask.get();
         }
         System.out.println(result);
    }
    public static class Callabled implements Callable<Integer> {
         int start;
         int end;
         public Callabled(int start, int end) {
             this.start = start;
             this.end = end;
         }
         @Override
         public Integer call() throws Exception {
             System.out.println(Thread.currentThread().getName());
             int result = 0;
             while (start <= end) {
                 result += start;
                 start++;
             }
             return result;
         }
    }
}

运行结果为:

main
Thread-0
Thread-1
Thread-2
Thread-3
Thread-4
Thread-5
Thread-6
Thread-7
Thread-8
Thread-9
5050

2.FutureTask原理

2.1 异同对比

首先通过上面的需求实践,大家其实已经知道了我们平常经常用的Runnable与FutureTask的区别了。

  • 相同点:Runnable和FutureTask都是并发线程执行任务;
  • 不同点:

    1)FutureTask在线程运行完成之前(可以是结果返回、也可以是中断),是会一直阻塞当前线程的,只要您调用了它的get方法;

    2)Runnable实现接口,只是一个run方法, 并不会阻塞当前线程,而且您也不能获取线程的运行结果;

2.2 状态定义

FutureTask既然要做到运行完成之前,一旦调用get就会阻塞当前线程,那么必然内部肯定维护了状态。我们看一下状态定义源码

rivate static final int NEW = 0;

private static final int COMPLETING = 1;

private static final int NORMAL = 2;

private static final int EXCEPTIONAL = 3;

private static final int CANCELLED = 4;

private static final int INTERRUPTING = 5;

private static final int INTERRUPTED = 6;

《Java并发编程的艺术》一本书中,根据FutureTask.run()方法的执行的时机,把FutureTask的运行状态分为三个阶段

  • 未启动:FutureTask.run()方法还没有被执行之前,FutureTask处于未启动状态
  • 已启动:FutureTask.run()方法执行之后,处于已启动状态。
  • 已完成:FutureTask.run()方法执行结束,或者调用FutureTask.cancel(…)方法取消任务,或者在执行任务期间抛出异常,这些情况都称之为FutureTask的已完成状态。

FutureTask的类继承和实现关系。

public class FutureTask<V> implements RunnableFuture<V> {
}
public interface RunnableFuture<V> extends Runnable, Future<V> {
}

从这里看出FutureTask实际上就是一个Runnable而已,我们继续看一下它的构造函数

    //Callable是什么?有Callable源码可知,实际上就是一个同步返回的接口定义而已,这里为什么传一个Callable进来呢?稍后我们再来解答
    public FutureTask(Callable<V> callable) {
        if (callable == null)
            throw new NullPointerException();
        this.callable = callable;
        this.state = NEW;       // ensure visibility of callable
    }

   //我们可以直接把runnable传入,希望得到的运行结果传入
    public FutureTask(Runnable runnable, V result) {
        //此处源码会将我们传入的runnable和result,组合为callable接口实现
        this.callable = Executors.callable(runnable, result);
        this.state = NEW;       // ensure visibility of callable
    }

//可以看到Callable只是一个同步返回的功能接口定义而已
public interface Callable<V> {
    V call() throws Exception;
}

2.3 run方法

我们接下来看一下,FutureTask的run方法

 public void run() {
         //如果state不是新建,也就是已启动或者已完成,则return
        if (state != NEW ||
            !UNSAFE.compareAndSwapObject(this, runnerOffset,
                                         null, Thread.currentThread()))
            return;
        try {
            Callable<V> c = callable;
            //callable我们传入的具体实现操作
            if (c != null && state == NEW) {
                V result;
                boolean ran;
                try {
                    //调用callable的call方法, 也就是调用我们外部定义的具体实现操作,获取结果
                    result = c.call();
                    ran = true;
                } catch (Throwable ex) {
                    result = null;
                    ran = false;
                    setException(ex);
                }
                if (ran)
                    //如果运行完成,则设置结果
                    set(result);
            }
        } finally {
            // runner must be non-null until state is settled to
            // prevent concurrent calls to run()
            runner = null;
            // state must be re-read after nulling runner to prevent
            // leaked interrupts
            int s = state;
            if (s >= INTERRUPTING)
                handlePossibleCancellationInterrupt(s);
        }
    }

这里也许大家有点迷糊了,callable到底是个啥?实际上,细心的小伙伴已经发行了,callable不就是我们外部定义的具体线程执行操作吗?

//使用
FutureTask<Integer> futureTask = new FutureTask<Integer>(
                      new Callabled(start, end));

public static class Callabled implements Callable<Integer> {
         int start;
         int end;
         public Callabled(int start, int end) {
             this.start = start;
             this.end = end;
         }
         @Override
         public Integer call() throws Exception {
             System.out.println(Thread.currentThread().getName());
             int result = 0;
             while (start <= end) {
                 result += start;
                 start++;
             }
             return result;
         }
    }

从上面源码可以看到,FutureTask的run会将callable的运行结果保存下来,那么关键来了,get是如何阻塞的?

2.4 get方法

大家可以先想一下,如果自己实现,该如何做?

我的头脑风暴过程是这样的:

1)上面已经有了这个线程运行的几种状态的定义,那么在callable的call结果返回之前 or 中断异常抛出之前,那么状态就是COMPLETING之前的状态。那我自己get的时候,判断当前FutureTask的内部状态,如果<=COMPLETING,那么直接线程等待?

2)这里关键问题来了,线程如何等待?目前我自己想的话,是写一个死循环,每次sleep固定的时间,例如10ms,然后判断状态是否是完成了,如果没有,则继续sleep 10ms,每隔10ms线程重新进入就绪状态,排队获取cpu时间片,直到完成。

我们接下来看一下关键FutureTask的get方法如何实现的。

  public V get() throws InterruptedException, ExecutionException {
        int s = state;
          //如果状态小于等于COMPLETING,则进入awaitDone
        if (s <= COMPLETING)
            s = awaitDone(false, 0L);
        return report(s);
    }

 private int awaitDone(boolean timed, long nanos)
         //timeed上面传入为false,nanos为0
        throws InterruptedException {
        final long deadline = timed ? System.nanoTime() + nanos : 0L;
        WaitNode q = null;
        boolean queued = false;
        for (;;) {
            //...省略若干
            else
                //代码会走到这里
                LockSupport.park(this);
        }
    }

LockSupport.park(this);这里我们看到它的wait实现调用了这个方法,这个是干嘛的?和sleep的区别是?我们来通过一张图回顾一下线程的几种状态。
在这里插入图片描述

这里篇幅所限,就不详细展开了,各位有兴趣的小伙伴,可以自行搜索,或者看一下文章末尾的一篇文章链接。

LockSupport.park()休眠线程,LockSupport.unpark()唤醒线程,两个方法配合使用。也可以通过LockSupport.parkNanos()指定休眠时间后,自动唤醒。LockSupport.park()不会释放monitor锁。LockSupport.park()可以响应中断。

LockSupport.park()会是线程进入WAITING状态,而LockSupport.parkNanos(long nanos) 会进入TIMED_WAITING状态。

我们看一下,LockSupport.unpark()唤醒线程是在哪里做的?

      //run中运行结果获取之后,会调用set方法
    protected void set(V v) {
        if (UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING)) {
            outcome = v;
            UNSAFE.putOrderedInt(this, stateOffset, NORMAL); // final state
            finishCompletion();
        }
    }
    //取消方法
    public boolean cancel(boolean mayInterruptIfRunning) {
       //...
        try {    // in case call to interrupt throws exception
           //...
        } finally {
            finishCompletion();
        }
        return true;
    }
    private void finishCompletion() {
        // assert state > COMPLETING;
        //...省略若干
                        LockSupport.unpark(t);
                  //...
    }

大家发现没有,LockSupport很像wait+sleep达到的效果,因为它不会释放锁,同时又必须成对去唤醒才可以。

课后作业

提一个需求,大家不要参考任何代码的前提下,自己实现一下,多线程下载一个文件,可以指定开启多少个线程,简单一点,对于客户来说,调用的接口就是输入两个参数,一个下载文件的url,一个是多少个线程。还有就是需要可以注册下载进度回调监听。

Java中的线程休眠大法系列(三)LockSupport.park()

对于Java线程中断的理解,哪种情况下会响应中断?哪种情况下不响应中断?

目录
相关文章
|
5天前
|
Java
轻松上手Java字节码编辑:IDEA插件VisualClassBytes全方位解析
本插件VisualClassBytes可修改class字节码,包括class信息、字段信息、内部类,常量池和方法等。
40 6
|
2天前
|
安全 Java 开发者
深入解读JAVA多线程:wait()、notify()、notifyAll()的奥秘
在Java多线程编程中,`wait()`、`notify()`和`notifyAll()`方法是实现线程间通信和同步的关键机制。这些方法定义在`java.lang.Object`类中,每个Java对象都可以作为线程间通信的媒介。本文将详细解析这三个方法的使用方法和最佳实践,帮助开发者更高效地进行多线程编程。 示例代码展示了如何在同步方法中使用这些方法,确保线程安全和高效的通信。
16 9
|
2天前
|
存储 算法 Java
Java Set深度解析:为何它能成为“无重复”的代名词?
Java的集合框架中,Set接口以其“无重复”特性著称。本文解析了Set的实现原理,包括HashSet和TreeSet的不同数据结构和算法,以及如何通过示例代码实现最佳实践。选择合适的Set实现类和正确实现自定义对象的hashCode()和equals()方法是关键。
12 4
|
1天前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
9 2
|
6天前
|
存储 安全 Java
Java多线程编程的艺术:从基础到实践####
本文深入探讨了Java多线程编程的核心概念、应用场景及其实现方式,旨在帮助开发者理解并掌握多线程编程的基本技能。文章首先概述了多线程的重要性和常见挑战,随后详细介绍了Java中创建和管理线程的两种主要方式:继承Thread类与实现Runnable接口。通过实例代码,本文展示了如何正确启动、运行及同步线程,以及如何处理线程间的通信与协作问题。最后,文章总结了多线程编程的最佳实践,为读者在实际项目中应用多线程技术提供了宝贵的参考。 ####
|
2天前
|
监控 安全 Java
Java中的多线程编程:从入门到实践####
本文将深入浅出地探讨Java多线程编程的核心概念、应用场景及实践技巧。不同于传统的摘要形式,本文将以一个简短的代码示例作为开篇,直接展示多线程的魅力,随后再详细解析其背后的原理与实现方式,旨在帮助读者快速理解并掌握Java多线程编程的基本技能。 ```java // 简单的多线程示例:创建两个线程,分别打印不同的消息 public class SimpleMultithreading { public static void main(String[] args) { Thread thread1 = new Thread(() -> System.out.prin
|
6天前
|
Java
JAVA多线程通信:为何wait()与notify()如此重要?
在Java多线程编程中,`wait()` 和 `notify()/notifyAll()` 方法是实现线程间通信的核心机制。它们通过基于锁的方式,使线程在条件不满足时进入休眠状态,并在条件满足时被唤醒,从而确保数据一致性和同步。相比其他通信方式,如忙等待,这些方法更高效灵活。 示例代码展示了如何在生产者-消费者模型中使用这些方法实现线程间的协调和同步。
15 3
|
4天前
|
安全 Java
Java多线程集合类
本文介绍了Java中线程安全的问题及解决方案。通过示例代码展示了使用`CopyOnWriteArrayList`、`CopyOnWriteArraySet`和`ConcurrentHashMap`来解决多线程环境下集合操作的线程安全问题。这些类通过不同的机制确保了线程安全,提高了并发性能。
|
5天前
|
Java 编译器 数据库连接
Java中的异常处理机制深度解析####
本文深入探讨了Java编程语言中异常处理机制的核心原理、类型及其最佳实践,旨在帮助开发者更好地理解和应用这一关键特性。通过实例分析,揭示了try-catch-finally结构的重要性,以及如何利用自定义异常提升代码的健壮性和可读性。文章还讨论了异常处理在大型项目中的最佳实践,为提高软件质量提供指导。 ####
|
5天前
|
Java
java小知识—进程和线程
进程 进程是程序的一次执行过程,是系统运行的基本单位,因此进程是动态的。系统运行一个程序即是一个进程从创建,运行到消亡的过程。简单来说,一个进程就是一个执行中的程序,它在计算机中一个指令接着一个指令地执行着,同时,每个进程还占有某些系统资源如CPU时间,内存空间,文件,文件,输入输出设备的使用权等等。换句话说,当程序在执行时,将会被操作系统载入内存中。 线程 线程,与进程相似,但线程是一个比进程更小的执行单位。一个进程在其执行的过程中产生多个线程。与进程不同的是同类的多个线程共享同一块内存空间和一组系统资源,所以系统在产生一个线程,或是在各个线程之间做切换工作时,负担要比
14 1

推荐镜像

更多