今天我们来研究一道字节跳动的前端面试题,即JavaScript如何实现并发控制。
题目是这样的:要求用JS实现一个带并发限制的异步调度器Scheduler,保证同时运行的任务最多有两个。
它给出的初始代码如下,要求我们实现addTask方法,使之输出结果满足要求。
js
class Scheduler {
// ...todo
}
const scheduler = new Scheduler(2);
const addTask = (time, name) => {
scheduler.add(time, name);
};
addTask(1000,"1"); // 1000ms后输出1
addTask(500,"2"); // 500ms后输出2
addTask(600,"3"); // 1100ms后输出3
addTask(400,"4"); // 1400ms后输出4
scheduler.start();
我们先来分析一下这段代码可以得到如下信息:
scheduler是一个构造器,它提供一个构造器入参,限制任务同时并发的数量,它有一个start方法,调用start后,任务会开始执行。它还有一个add方法,往scheduler中添加任务。addTask函数有两个参数time和name,分别表示任务执行的时间和任务名字。
我们再来依次分析下输出结果:
1000ms后输出1:这个很好理解,因为第一个任务的执行时间就是1000ms;500ms后输出2:这个也好理解,因为第二个任务的执行时间就是500ms;1100ms后输出3:这里第三个任务是在1100ms后输出的,是因为任务同时执行的并发数量为2个,所以必须这第三个任务必须等待前两个任务其中一个完成后,才能开始执行,这里是等待了第二个任务执行了500ms,再加上自己本身的执行时间600ms,所以1100ms后才输出3。1400ms后输出4:第三个任务开始执行后,这时候会等待任务一和任务三哪个先完成,很现任这时候任务一只剩500ms就执行完了,而任务三却需要600ms执行完,所以任务四会在任务一执行完成后才开始执行,所以任务四需要任务一的1000ms + 本身的400ms总共1400ms后输出4。
这个并发控制就像是你去银行办业务,银行只有2个柜台,所以最多只能有两个人同时办业务,第三个人需要等待前两个人的其中一个办完业务后,才能开始办业务,第四个人的话依次类推。
明白了题目的要求之后,我们这里开始实现:
解题思路一:等任务完成后递归执行下一个任务,并且用变量runningCount控制并发数
先来实现下Scheduler的constructor:
js
class Scheduler {
constructor(limit) {
this.tasks = [] // 任务队列
this.limit = limit // 最大并发数
this.runningCount = 0 // 当前正在运行的任务个数
}
}
我们先来实现下添加任务的add方法:
js
class Scheduler {
// ...
add(delay, name) {
const promiseCreator = () => {
return new Promise((resolve, reject) => {
setTimeout(() => {
console.log(name)
resolve()
}, delay)
})
}
this.tasks.push(promiseCreator)
}
// ...
}
我这里声明了一个promiseCreator函数,它用来在执行的时间后执行任务,并且返回一个promise。
我们还需要一个执行任务的run方法:
js
class Scheduler {
// ...
run() {
// tasks空校验 + 限制并发数
if (!this.tasks.length || this.runningCount >= this.limit) {
return
}
// 当前正在执行的任务数+1
this.runningCount++
// 从 tasks 头部取出一个任务并执行
this.tasks.shift()().finally(() => {
// 当前任务已经执行完了,所以 runningCount 需要-1
this.runningCount--
// 执行下一个任务
this.run()
})
}
// ...
}
最后我们需要实现start方法,先取limit个任务并调用run方法开始执行。
js
class Scheduler {
// ...
start() {
for(let i = 0; i < this.limit; i++) {
this.run()
}
}
// ...
}
完整代码如下:
js
class Scheduler {
constructor(limit) {
this.tasks = [] // 任务队列
this.limit = limit // 最大并发数
this.runningCount = 0 // 当前正在运行的任务个数
}
add(delay, name) {
const promiseCreator = () => {
return new Promise((resolve, reject) => {
setTimeout(() => {
console.log(name)
resolve()
}, delay)
})
}
this.tasks.push(promiseCreator)
}
run() {
// tasks空校验 + 限制并发数
if (!this.tasks.length || this.runningCount >= this.limit) {
return
}
// 当前正在执行的任务数+1
this.runningCount++
// 从 tasks 头部取出一个任务并执行
this.tasks.shift()().finally(() => {
// 当前任务已经执行完了,所以 runningCount 需要-1
this.runningCount--
// 递归执行下一个任务
this.run()
})
}
start() {
for(let i = 0; i < this.limit; i++) {
this.run()
}
}
}
核心思路就是:比如并发数为2个,
- 先在
start方法中,调用run方法开始执行前两个任务; - 然后在每一个任务执行完后,继续调用
run方法递归执行下一个任务。
你可能会有疑问,在我这里runningCount似乎并没取到作用,似乎去掉也能正常得到想要的结果。
但假如start方法被一次性主动调用多次,没有runningCount限制,输出结果就会异常了,有兴趣的小伙伴可以试下。
解题思路二:利用Promise链 + Promise.race
同样的先来实现下Scheduler的constructor:
js
class Scheduler {
constructor(limit) {
this.tasks = []
this.limit = limit
}
}
我们先来实现下添加任务的add方法,这里只是把任务执行时间delay和任务名称name存到一个对象中:
js
class Scheduler {
// ...
add(delay, name) {
this.tasks.push({ delay, name })
}
// ...
}
再来实现下start方法:
js
class Scheduler {
// ...
start() {
start() {
// 创建一个只有 limit 个并发量的 任务池
const pool = this.tasks.slice(0, this.limit).map(({ delay, name }, index) => {
return new Promise((resolve) => {
setTimeout(() => {
console.log(name)
// 这里把当前任务在任务池中的索引传递出去,后续会用到
resolve(index)
}, delay)
})
})
let p = Promise.race(pool)
for(let i = this.limit; i < this.tasks.length; i++) {
// 通过for循环形成一条promise链
p = p.then((index) => {
// 利用Promise.race拿到任务池中最快完成的任务,在then回调用通过之前存的这个任务在任务池中的索引,用新的任务将它替换
pool[index] = new Promise((resolve) => {
const { delay, name } = this.tasks[i]
setTimeout(() => {
console.log(name)
resolve(index)
}, delay)
})
// 再利用Promise.race拿到任务池中最快完成的任务
return Promise.race(pool)
})
}
return p
}
}
// ...
}
完整代码如下:
js
class Scheduler {
constructor(limit) {
this.tasks = []
this.limit = limit
}
start() {
// 创建一个只有 limit 个并发量的 任务池
const pool = this.tasks.slice(0, this.limit).map(({ delay, name }, index) => {
return new Promise((resolve) => {
setTimeout(() => {
console.log(name)
// 这里把当前任务在任务池中的索引传递出去,后续会用到
resolve(index)
}, delay)
})
})
let p = Promise.race(pool)
for(let i = this.limit; i < this.tasks.length; i++) {
// 通过for循环形成一条promise链
p = p.then((index) => {
// 利用Promise.race拿到任务池中最快完成的任务,在then回调用通过之前存的这个任务在任务池中的索引,用新的任务将它替换
pool[index] = new Promise((resolve) => {
const { delay, name } = this.tasks[i]
setTimeout(() => {
console.log(name)
resolve(index)
}, delay)
})
// 再利用Promise.race拿到任务池中最快完成的任务
return Promise.race(pool)
})
}
return p
}
add(delay, name) {
this.tasks.push({ delay, name })
}
}
其核心思路如下:
- 先创建一个任务池pool,pool的长度就是并发数量
- 在将任务推入到
pool中时,通过闭包,将每个任务在pool中的索引保存下来, - 通过
for循环形成一条promsie链,promise链的长度就是剩下需要执行的任务的个数, - 通过
Promise.race拿到任务池中最快完成的任务,在其then回调用通过之前存的这个任务在任务池中的索引,用新的任务将它替换。
小结
上面介绍了一道字节的面试真题,即如何通过JavaScript实现并发控制,并提供了两种解决方案,第一种方案比较常规一些,相信大家很容易能想到,而第二种实现方式,就需要看到并发控制第一时间就想到使用Promise.race了,再配上promise链,直接秀面试官一脸,哈哈!
除了这两种大家还有其它更巧妙的解题思路么?欢迎大家留言评论!