前言

在并发编程当中我们最常见的需求就是启动一个线程执行一个函数去完成我们的需求,而在这种需求当中,我们常常需要函数有返回值。比如我们需要同一个非常大的数组当中数据的和,让每一个线程求某一个区间内部的和,最终将这些和加起来,那么每个线程都需要返回对应区间的和。而在Java当中给我们提供了这种机制,去实现这一个效果——FutureTask

FutureTask

在自己写FutureTask之前我们首先写一个例子来回顾一下FutureTask的编程步骤:

  • 写一个类实现Callable接口。
@FunctionalInterface
public interface Callable<V> {
/**
* Computes a result, or throws an exception if unable to do so.
*
* @return computed result
* @throws Exception if unable to compute a result
*/
V call() throws Exception;
}

实现接口就实现call即可,可以看到这个函数是有返回值的,而FutureTask返回给我们的值就是这个函数的返回值。

  • new一个FutureTask对象,并且new一个第一步写的类,new FutureTask<>(callable实现类)
  • 最后将刚刚得到的FutureTask对象传入Thread类当中,然后启动线程即可new Thread(futureTask).start();
  • 然后我们可以调用FutureTaskget方法得到返回的结果futureTask.get();

假如有一个数组data,长度为100000,现在有10个线程,第i个线程求数组[i * 10000, (i + 1) * 10000)所有数据的和,然后将这十个线程的结果加起来。

import java.lang.reflect.Array;
import java.util.Arrays;
import java.util.Random;
import java.util.concurrent.Callable;
import java.util.concurrent.ExecutionException;
import java.util.concurrent.FutureTask; public class FutureTaskDemo { public static void main(String[] args) throws ExecutionException, InterruptedException {
int[] data = new int[100000];
Random random = new Random();
for (int i = 0; i < 100000; i++) {
data[i] = random.nextInt(10000);
}
@SuppressWarnings("unchecked")
FutureTask<Integer>[] tasks = (FutureTask<Integer>[]) Array.newInstance(FutureTask.class, 10);
// 设置10个 futuretask 任务计算数组当中数据的和
for (int i = 0; i < 10; i++) {
int idx = i;
tasks[i] = new FutureTask<>(() -> {
int sum = 0;
for (int k = idx * 10000; k < (idx + 1) * 10000; k++) {
sum += data[k];
}
return sum;
});
}
// 开启线程执行 futureTask 任务
for (FutureTask<Integer> futureTask : tasks) {
new Thread(futureTask).start();
}
int threadSum = 0;
for (FutureTask<Integer> futureTask : tasks) {
threadSum += futureTask.get();
}
int sum = Arrays.stream(data).sum();
System.out.println(sum == threadSum); // 结果始终为 true
}
}

可能你会对FutureTask的使用方式感觉困惑,或者不是很清楚,现在我们来仔细捋一下思路。

  1. 首先启动一个线程要么是继承自Thread类,然后重写Thread类的run方法,要么是给Thread类传递一个实现了Runnable的类对象,当然可以用匿名内部类实现。
  2. 既然我们的FutureTask对象可以传递给Thread类,说明FutureTask肯定是实现了Runnable接口,我们现在来看一下FutureTask的继承体系。

​ 可以发现的是FutureTask确实实现了Runnable接口,同时还实现了Future接口,这个Future接口主要提供了后面我们使用FutureTask的一系列函数比如get

  1. 看到这里你应该能够大致想到在FutureTask中的run方法会调用Callable当中实现的call方法,然后将结果保存下来,当调用get方法的时候再将这个结果返回。

自己实现FutureTask

工具准备

经过上文的分析你可能已经大致了解了FutureTask的大致执行过程了,但是需要注意的是,如果你执行FutureTaskget方法是可能阻塞的,因为可能Callablecall方法还没有执行完成。因此在get方法当中就需要有阻塞线程的代码,但是当call方法执行完成之后需要将这些线程都唤醒。

在本篇文章当中使用锁ReentrantLock和条件变量Condition进行线程的阻塞和唤醒,在我们自己动手实现FutureTask之前,我们先熟悉一下上面两种工具的使用方法。

  • ReentrantLock主要有两个方法:

    • lock对临界区代码块进行加锁。
    • unlock对临界区代码进行解锁。
  • Condition主要有三个方法:
    • await阻塞调用这个方法的线程,等待其他线程唤醒。
    • signal唤醒一个被await方法阻塞的线程。
    • signalAll唤醒所有被await方法阻塞的线程。
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.ReentrantLock; public class LockDemo { private ReentrantLock lock;
private Condition condition; LockDemo() {
lock = new ReentrantLock();
condition = lock.newCondition();
} public void blocking() {
lock.lock();
try {
System.out.println(Thread.currentThread() + " 准备等待被其他线程唤醒");
condition.await();
} catch (InterruptedException e) {
e.printStackTrace();
}finally {
lock.unlock();
}
} public void inform() throws InterruptedException {
// 先休眠两秒 等他其他线程先阻塞
TimeUnit.SECONDS.sleep(2);
lock.lock();
try {
System.out.println(Thread.currentThread() + " 准备唤醒其他线程");
condition.signal(); // 唤醒一个被 await 方法阻塞的线程
// condition.signalAll(); // 唤醒所有被 await 方法阻塞的线程
}finally {
lock.unlock();
}
} public static void main(String[] args) {
LockDemo lockDemo = new LockDemo();
Thread thread = new Thread(() -> {
lockDemo.blocking(); // 执行阻塞线程的代码
}, "Blocking-Thread");
Thread thread1 = new Thread(() -> {
try {
lockDemo.inform(); // 执行唤醒线程的代码
} catch (InterruptedException e) {
e.printStackTrace();
}
}, "Inform-Thread");
thread.start();
thread1.start();
}
}

上面的代码的输出:

Thread[Blocking-Thread,5,main] 准备等待被其他线程唤醒
Thread[Inform-Thread,5,main] 准备唤醒其他线程

FutureTask设计与实现

在前文当中我们已经谈到了FutureTask的实现原理,主要有以下几点:

  • 构造函数需要传入一个实现了Callable接口的类对象,这个将会在FutureTaskrun方法执行,然后得到函数的返回值,并且将返回值存储起来。
  • 当线程调用get方法的时候,如果这个时候Callable当中的call已经执行完成,直接返回call函数返回的结果就行,如果call函数还没有执行完成,那么就需要将调用get方法的线程挂起,这里我们可以使用condition.await()将线程挂起。
  • call函数执行完成之后,需要将之前被get方法挂起的线程唤醒继续执行,这里使用condition.signalAll()将所有挂起的线程唤醒。
  • 因为是我们自己实现FutureTask,功能不会那么齐全,只需要能够满足我们的主要需求即可,主要是帮助大家了解FutureTask原理。

实现代码如下(分析都在注释当中):

import java.util.concurrent.Callable;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.ReentrantLock; // 这里需要实现 Runnable 接口,因为需要将这个对象放入 Thread 类当中
// 而 Thread 要求传入的对象实现了 Runnable 接口
public class MyFutureTask<V> implements Runnable { private final Callable<V> callable;
private Object returnVal; // 这个表示我们最终的返回值
private final ReentrantLock lock;
private final Condition condition; public MyFutureTask(Callable<V> callable) {
// 将传入的 callable 对象存储起来 方便在后面的 run 方法当中调用
this.callable = callable;
lock = new ReentrantLock();
condition = lock.newCondition();
} @SuppressWarnings("unchecked")
public V get(long timeout, TimeUnit unit) {
if (returnVal != null) // 如果符合条件 说明 call 函数已经执行完成 返回值已经不为 null 了
return (V) returnVal; // 直接将结果返回即可 这样不用竞争锁资源 提高程序执行效率
lock.lock();
try {
// 这里需要进行二次判断 (双重检查)
// 因为如果一个线程在第一次判断 returnVal 为空
// 然后这个时候它可能因为获取锁而被挂起
// 而在被挂起的这段时间,call 可能已经执行完成
// 如果这个时候不进行判断直接执行 await方法
// 那后面这个线程将无法被唤醒
if (returnVal == null)
condition.await(timeout, unit);
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
return (V) returnVal;
} @SuppressWarnings("unchecked")
public V get() {
if (returnVal != null)
return (V) returnVal;
lock.lock();
try {
// 同样的需要进行双重检查
if (returnVal == null)
condition.await();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
return (V) returnVal;
} @Override
public void run() {
if (returnVal != null)
return;
try {
// 在 Runnable 的 run 方法当中
// 执行 Callable 方法的 call 得到返回结果
returnVal = callable.call();
} catch (Exception e) {
e.printStackTrace();
}
lock.lock();
try {
// 因为已经得到了结果
// 因此需要将所有被 await 方法阻塞的线程唤醒
// 让他们从 get 方法返回
condition.signalAll();
}finally {
lock.unlock();
}
}
// 下面是测试代码
public static void main(String[] args) {
MyFutureTask<Integer> ft = new MyFutureTask<>(() -> {
TimeUnit.SECONDS.sleep(2);
return 101;
});
Thread thread = new Thread(ft);
thread.start();
System.out.println(ft.get(100, TimeUnit.MILLISECONDS)); // 输出为 null
System.out.println(ft.get()); // 输出为 101
}
}

我们现在用我们自己写的MyFutureTask去实现在前文当中数组求和的例子:

public static void main(String[] args) throws ExecutionException, InterruptedException {
int[] data = new int[100000];
Random random = new Random();
for (int i = 0; i < 100000; i++) {
data[i] = random.nextInt(10000);
}
@SuppressWarnings("unchecked")
MyFutureTask<Integer>[] tasks = (MyFutureTask<Integer>[]) Array.newInstance(MyFutureTask.class, 10);
for (int i = 0; i < 10; i++) {
int idx = i;
tasks[i] = new MyFutureTask<>(() -> {
int sum = 0;
for (int k = idx * 10000; k < (idx + 1) * 10000; k++) {
sum += data[k];
}
return sum;
});
}
for (MyFutureTask<Integer> MyFutureTask : tasks) {
new Thread(MyFutureTask).start();
}
int threadSum = 0;
for (MyFutureTask<Integer> MyFutureTask : tasks) {
threadSum += MyFutureTask.get();
}
int sum = Arrays.stream(data).sum();
System.out.println(sum == threadSum); // 输出结果为 true
}

总结

在本篇文章当中主要给大家介绍了FutureTask的内部原理,并且我们自己通过使用ReentrantLockCondition实现了我们自己的FutureTask,本篇文章的主要内容如下:

  • FutureTask的内部原理:

    • FutureTask首先会继承Runnable接口,这样就可以将FutureTask的对象直接放入Thread类当中,作为构造函数的参数。
    • 我们在使用FutureTask的时候需要传入一个Callable实现类的对象,在函数call当中实现我们需要执行的函数,执行完成之后,将call函数的返回值保存下来,当有线程调用get方法时候将保存的返回值返回。
  • 我们使用条件变量进行对线程的阻塞和唤醒。
    • 当有线程调用get方法时,如果call已经执行完成,那么可以直接将结果返回,否则需要使用条件变量将线程挂起。
    • call函数执行完成的时候,需要使用条件变量将所有阻塞在get方法的线程唤醒。
  • 双重检查:
    • 我们在get方法当中首先判断returnVal是否为空,如果不为空直接将结果返回,这就可以不用去竞争锁资源了,可以提高程序执行的效率。
    • 但是我们在使用锁保护的临界区还需要进行判断,判断returnVal是否为空,因为如果一个线程在第一次判断 returnVal 为空,然后这个时候它可能因为获取锁而被挂起, 而在被挂起的这段时间,call 可能已经执行完成,如果这个时候不进行判断直接执行 await方法,那后面这个线程将无法被唤醒,因为在call函数执行完成之后调用了condition.signalAll(),如果线程在这之后执行await方法,那么将来再没有线程去将这些线程唤醒。

更多精彩内容合集可访问项目:https://github.com/Chang-LeHung/CSCore

关注公众号:一无是处的研究僧,了解更多计算机(Java、Python、计算机系统基础、算法与数据结构)知识。

60行从零开始自己动手写FutureTask是什么体验?的更多相关文章

  1. 60行自己动手写LockSupport是什么体验?

    60行自己动手写LockSupport是什么体验? 前言 在JDK当中给我们提供的各种并发工具当中,比如ReentrantLock等等工具的内部实现,经常会使用到一个工具,这个工具就是LockSupp ...

  2. 60行代码:Javascript 写的俄罗斯方块游戏

    哈哈这个实在是有点意思 备受打击当初用java各种类写的都要几百行啦 先看效果图: 游戏结束图: javascript实现源码: [javascript] view plaincopyprint? & ...

  3. 60行以内写mvc

    标题党.几天前看到一个30行写mvc的文章,东施效颦,也动手写了个60行的,功能上略微扩充一些,记录下来,后面有时间可以继续优化. mvc其实是一个观察者模式.view来监听model,所以当mode ...

  4. 死磕 java线程系列之自己动手写一个线程池(续)

    (手机横屏看源码更方便) 问题 (1)自己动手写的线程池如何支持带返回值的任务呢? (2)如果任务执行的过程中抛出异常了该怎么处理呢? 简介 上一章我们自己动手写了一个线程池,但是它是不支持带返回值的 ...

  5. 教你看懂网上流传的60行JavaScript代码俄罗斯方块游戏

    早就听说网上有人仅仅用60行JavaScript代码写出了一个俄罗斯方块游戏,最近看了看,今天在这篇文章里面我把我做的分析整理一下(主要是以注释的形式). 我用C写一个功能基本齐全的俄罗斯方块的话,大 ...

  6. 【转】自己动手写SC语言编译器

    自序 编译原理与技术的一整套理论在整个计算机科学领域占有相当重要的地位,学习它对程序设计人员有很大的帮助.我们考究历史会发现那些人人称颂的程序设 计大师都是编译领域的高手,像写出BASIC语言的BIL ...

  7. 自己动手写 ASP.NET MVC 分页 part1

    学习编程也有一年半载了,从来没有自己动手写过东西,都是利用搜索软件找代码,最近偶发感慨,难道真的继续做码农??? 突发奇想是不是该自己动手写点东西,可是算法.逻辑思维都太弱了,只能copy网上的代码, ...

  8. 自己动手写把”锁”---LockSupport介绍

    本篇是<自己动手写把"锁">系列技术铺垫的最后一个知识点.本篇主要讲解LockSupport工具类,它用来实现线程的挂起和唤醒. LockSupport是Java6引入 ...

  9. 自己动手写把”锁”---LockSupport深入浅出

    本篇是<自己动手写把"锁">系列技术铺垫的最后一个知识点.本篇主要讲解LockSupport工具类,它用来实现线程的挂起和唤醒. LockSupport是Java6引入 ...

随机推荐

  1. 使用 gitbook 制作自己的 html 文档

    使用 gitbook 制作自己的 html 文档 步骤如下 npm install gitbook-cli -g // 全局安装 gitbook-cli <span style="te ...

  2. 每天一个 HTTP 状态码 前言

    前前言 在重新开始写博文(其实大多也就最多算是日常笔记小结)之际,就想着从短小精悍的文章入手,就想到了 HTTP 状态码.另外,记得很久之前,看过一个<每天一个 Linux 命令>系列文章 ...

  3. 万字+28张图带你探秘小而美的规则引擎框架LiteFlow

    大家好,今天给大家介绍一款轻量.快速.稳定可编排的组件式规则引擎框架LiteFlow. 一.LiteFlow的介绍 LiteFlow官方网站和代码仓库地址 官方网站:https://yomahub.c ...

  4. Hadoop常见shell命令

    Hadoop中常见的shell命令 1.如何将Linux本地的数据上传到HDFS中? hadoop fs -put 本地的文件 HDFS中的目录hdfs dfs -put 本地的文件 HDFS中的目录 ...

  5. 深度学习与CV教程(10) | 轻量化CNN架构 (SqueezeNet,ShuffleNet,MobileNet等)

    作者:韩信子@ShowMeAI 教程地址:http://www.showmeai.tech/tutorials/37 本文地址:http://www.showmeai.tech/article-det ...

  6. React简单教程-2-ts和组件参数

    前言 在上一章:React 简单教程-1-组件 我们知道了 React 的组件是什么,长什么样,用 js 和 HTML 小小体验了一下组件.在这一章,我们将使用 typescript(简称 ts) 来 ...

  7. 谷歌浏览器Chrome官方下载地址

    经常看到朋友的电脑上安装是魔改的谷歌浏览器.这里将谷歌浏览器官方的下载地址放在这里.有需要的朋友可以自己去下载. 下载地址 Chrome最新稳定在线安装版:https://www.google.cn/ ...

  8. 基于SqlSugar的开发框架循序渐进介绍(9)-- 结合Winform控件实现字段的权限控制

    字段的权限控制,一般就是控制对应角色人员对某个业务对象的一些敏感字段的可访问性:包括可见.可编辑性等处理.本篇随笔结合基于SqlSugar的开发框架进行的字段控制管理介绍. 在设计字段权限的时候,我们 ...

  9. Vscode标题栏出现【不受支持】提示的完美解决方案

    安装Fix VSCode Checksums code --install-extension lehni.vscode-fix-checksums 打开命令面板,快捷键 Ctrl + Shift + ...

  10. 使用.NetCore自带的后台作业,出入队简单模拟生产者消费者处理请求响应的数据

    环境:Core:3.1的项目 说明:由于该方案为个人测试项目,重启时队列中的部分数据很可能会丢失, 对数据有要求的该方案不适用,不能照搬需要持久化处理, 另外发布到Linux Docker中通常不会自 ...