NodeJS中含while(true)的async函数阻塞SocketIO的原因与非阻塞实现

• async语法不会让函数自动脱离主线程执行：async本质只是将函数返回值包装为Promise，只有执行过程中遇到await并主动让出执行权时，才会把控制权交还给Node.js事件循环。如果async函数内部全是同步代码，和普通同步函数没有任何区别
• 你编写的iterateValues是纯同步while(true)死循环，全程没有任何让出执行权的逻辑，哪怕套了async关键字，只要进入函数就会一直占满V8主线程，事件循环根本没机会处理SocketIO的网络连接、消息收发，自然会完全失去响应
• 哪怕后续在循环里补充空数组判断，没有让出逻辑的空转判断依然会100%占满CPU，阻塞所有异步事件处理

要让无限循环正常运行且不打断SocketIO的事件处理，必须遵守两个核心规则：

• 禁止无让出的纯同步死循环
• 禁止依赖微任务做循环调度让出：直接await已完成的Promise、process.nextTick这类调度属于高优先级微任务，会在当前宏任务执行周期内被全部清空，无限循环下依然会堵死事件循环，根本不会进入网络I/O处理阶段。必须选择宏任务级别的调度方式，把后续循环逻辑放到下一个事件循环周期执行

const SocketIo = require('socket.io')

const Server = new SocketIo.Server()
const arrayOfValues = ['some', 'values', 'here']
// 标记循环启动状态，避免多客户端连接时重复启动多个无限循环
let iteratorStarted = false

Server.on('connection', async Socket=>{
    // 仅启动一次遍历循环，避免重复调度占用过多事件循环资源
    if(!iteratorStarted) {
        iteratorStarted = true
        iterateValues()
    }
    Socket.emit('welcome', 'hi')
})

async function iterateValues(){
    while(true){
        // 每轮循环仅处理现有数组元素，不做超出必要范围的同步计算
        if( arrayOfValues[0] ) {
            arrayOfValues.splice(0, 1)
        }
        // 宏任务级别让出执行权：将后续循环逻辑放到下一个事件循环滴答执行
        await new Promise(resolve => setImmediate(resolve))
    }
}

• 改造后的循环每轮仅执行1次数组判断/删除操作，处理完立刻通过setImmediate把执行权交还给事件循环，SocketIO的网络请求可以正常被调度处理，不会被阻塞
• 增加启动标记的原因：如果每来一个客户端连接就启动一个独立的无限循环，哪怕每个循环都能正常让出主线程，多实例并发下依然会占用大量调度资源，拖慢服务端整体响应速度
• 业务优化提示：如果逻辑上是“数组存入新值时就移除/处理”，完全不需要常驻无限循环盯梢数组，可以在数组push新元素的触发位置直接执行对应处理逻辑，资源开销远低于常驻循环

内容的提问来源于stack exchange，提问作者user8555937