背景

异步是 js 一个非常重要的特性，但很多时候，我们不仅仅想让一系列任务并行执行，还想要控制同时执行的并发数，尤其是在针对操作有限资源的异步任务，比如文件句柄，网络端口等等。

看一个例子。

function sleep(ms) {return new Promise(resolve => setTimeout(resolve, ms));
}

// simulate an async work that takes 1s to finish
async function execute(id) {console.log(`start work ${id}`);
  await sleep(1000);
  console.log(`work ${id} done`);
}

Promise.all([1, 2, 3, 4, 5, 6, 7, 8, 9].map(execute));

输出结果：

"start work 1"
"start work 2"
"start work 3"
"start work 4"
"start work 5"
"start work 6"
"start work 7"
"start work 8"
"start work 9"
"work 1 done"
"work 2 done"
"work 3 done"
"work 4 done"
"work 5 done"
"work 6 done"
"work 7 done"
"work 8 done"
"work 9 done"

可以看到，所有的 work 都同时开始执行了。

现在，如果我们想让这些 work 每次只执行 2 个，2 个完成之后再继续后面的 2 个，即并发数为 2 应该怎么做呢？

解决方案

控制 Promise 的生成是关键

我们知道，Promise.all并不会触发 Promise 的执行，真正触发执行的是创建 Promise 本身，换句话说，Promise在生成的一瞬间就已经开始执行了！因此，如果要控制 Promise 的并发，我们就要控制 Promise 的生成。

通过 Iterator 控制并发数

常见的解决方案是通过一个函数接收 并发任务数组 ， 并发函数 ， 并发数 3 个参数，根据并发数，监控Promise 的完成状态，批量创建新的 Promise，从而达到控制Promise 生成的目的。

现在，我们来尝试另外一个思路，通过 Iterator 来控制并发数。

同时遍历同一个 Iterator 会发生什么？

让我们先来看一个简化的例子。

// Array.values returns an Array Iterator
const iterator = [1, 2, 3].values();

for (const x of iterator) {console.log(`loop x: ${x}`);

  for (const y of iterator) {console.log(`loop y: ${y}`);
  }
}

输出结果：

"loop x: 1"
"loop y: 2"
"loop y: 3"

注意到没有？y 循环接着 x 循环继续，并且 2 个循环都在所有元素遍历完之后结束了！这正是我们要利用的特性。
对 Iterator 不熟悉的同学可以参考 MDN 文章：https://developer.mozilla.org…

用 Iterator 改造 work 的例子

让我们用 Iterator 的这个特性来改造最开始的 work 例子。

// generate workers according to concurrency number
// each worker takes the same iterator
const limit = concurrency => iterator => {const workers = new Array(concurrency);
  return workers.fill(iterator);
};

// run tasks in an iterator one by one
const run = func => async iterator => {for (const item of iterator) {await func(item);
  }
};

// wrap limit and run together
function asyncTasks(array, func, concurrency = 1) {return limit(concurrency)(array.values()).map(run(func));
}

Promise.all(asyncTasks(tasks, execute, 2));

输出结果：

"start work 1"
"start work 2"
"work 1 done"
"start work 3"
"work 2 done"
"start work 4"
"work 3 done"
"start work 5"
"work 4 done"
"start work 6"
"work 5 done"
"start work 7"
"work 6 done"
"start work 8"
"work 7 done"
"start work 9"
"work 8 done"
"work 9 done"

结果和我们预想的一样，每次只同时执行两个异步任务直到所有任务都执行完毕。

不过，这个方案也不是完美无缺。主要问题在于，如果某个 worker 在执行过程中出错了，其余的 worker 并不会因此停止工作。也就是说，上面的例子中，如果 worker 1 出现异常停止了，worker 2 会独自执行剩下所有任务，直到全部完毕。因此，如果想要时刻保持 2 个并发，最简单的方法是给每个 execute 方法添加catch。

尽管不够完美，将 Iterator 作为控制 Promise 创建，也不失为一种简单有效的控制异步并发数的简单方法。

当然，实际项目中，还是尽量避免重复造轮子，p-limit，async-pool 甚至 bluebird 都是简单易用的解决方案。