程序和執行緒如何理解？Node.js中的程序和執行緒是怎樣的？

一、程序和執行緒

1.1、專業性文字定義

• 程序（Process），程序是計算機中的程式關於某資料集合上的一次執行活動，是系統進行資源分配和排程的基本單位，是作業系統結構的基礎，程序是執行緒的容器。
• 執行緒（Thread），執行緒是作業系統能夠進行運算排程的最小單位，被包含在程序之中，是程序中的實際運作單位。

1.2、通俗理解

以上描述比較硬，看完可能也沒看懂，還不利於理解記憶。那麼我們舉個簡單的例子：

假設你是某個快遞站點的一名小哥，起初這個站點負責的區域住戶不多，收取件都是你一個人。給張三家送完件，再去李四家取件，事情得一件件做，這叫單執行緒，所有的工作都得按順序執行。

後來這個區域住戶多了，站點給這個區域分配了多個小哥，還有個小組長，你們可以為更多的住戶服務了，這叫多執行緒，小組長是主執行緒，每個小哥都是一個執行緒。

快遞站點使用的小推車等工具，是站點提供的，小哥們都可以使用，並不僅供某一個人，這叫多執行緒資源共用。

站點小推車目前只有一個，大家都需要使用，這叫衝突。解決的方法有很多，排隊等待或者等其他小哥用完後的通知，這叫執行緒同步。

總公司有很多站點，各個站點的運營模式幾乎一模一樣，這叫多程序。總公司叫主程序，各個站點叫子程序。
總公司和站點之間，以及各個站點互相之間，小推車都是相互獨立的，不能混用，這叫程序間不共用資源。各站點間可以通過電話等方式聯絡，這叫管道。各站點間還有其他協同手段，便於完成更大的計算任務，這叫程序間同步。

還可以看看阮一峰的 程序與執行緒的一個簡單解釋。

二、Node.js 中的程序和執行緒

是單執行緒服務，事件驅動和非阻塞 I/O 模型的語言特性，使得 Node.js 高效和輕量。優勢在於免去了頻繁切換執行緒和資源衝突；擅長 I/O 密集型操作（底層模組 libuv 通過多執行緒呼叫作業系統提供的非同步 I/O 能力進行多工的執行），但是對於伺服器端的 Node.js，可能每秒有上百個請求需要處理，當面對 CPU 密集型請求時，因為是單執行緒模式，難免會造成阻塞。

2.1、Node.js 阻塞

我們利用 Koa 簡單地搭建一個 Web 服務，用斐波那契數列方法來模擬一下 Node.js 處理 CPU 密集型的計算任務：

斐波那契數列，也稱黃金分割數列，這個數列從第三項開始，每一項都等於前兩項只和：0、1、1、2、3、5、8、13、21、......

// app.js
const Koa = require('koa')
const router = require('koa-router')()
const app = new Koa()

// 用來測試是否被阻塞
router.get('/test', (ctx) => {
    ctx.body = {
        pid: process.pid,
        msg: 'Hello World'
    }
})
router.get('/fibo', (ctx) => {
    const { num = 38 } = ctx.query
    const start = Date.now()
    // 斐波那契數列
    const fibo = (n) => {
        return n > 1 ? fibo(n - 1) + fibo(n - 2) : 1
    }
    fibo(num)

    ctx.body = {
        pid: process.pid,
        duration: Date.now() - start
    }
})

app.use(router.routes())
app.listen(9000, () => {
    console.log('Server is running on 9000')
})

執行 node app.js 啟動服務，用 Postman 傳送請求，可以看到，計算 38 次耗費了 617ms，換而言之，因為執行了一個 CPU 密集型的計算任務，所以 Node.js 主執行緒被阻塞了六百多毫秒。如果同時處理更多的請求，或者計算任務更復雜，那麼在這些請求之後的所有請求都會被延遲執行。

我們再新建一個 axios.js 用來模擬傳送多次請求，此時將 app.js 中的 fibo 計算次數改為 43，用來模擬更復雜的計算任務：

// axios.js
const axios = require('axios')

const start = Date.now()
const fn = (url) => {
    axios.get(`http://127.0.0.1:9000/${ url }`).then((res) => {
        console.log(res.data, `耗時: ${ Date.now() - start }ms`)
    })
}

fn('test')
fn('fibo?num=43')
fn('test')

可以看到，當請求需要執行 CPU 密集型的計算任務時，後續的請求都被阻塞等待，這類請求一多，服務基本就阻塞卡死了。對於這種不足，Node.js 一直在彌補。

2.2、master-worker

master-worker 模式是一種並行模式，核心思想是：系統有兩個及以上的程序或執行緒協同工作時，master 負責接收和分配並整合任務，worker 負責處理任務。

2.3、多執行緒

執行緒是 CPU 排程的一個基本單位，只能同時執行一個執行緒的任務，同一個執行緒也只能被一個 CPU 呼叫。如果使用的是多核 CPU，那麼將無法充分利用 CPU 的效能。

多執行緒帶給我們靈活的程式設計方式，但是需要學習更多的 Api 知識，在編寫更多程式碼的同時也存在著更多的風險，執行緒的切換和鎖也會增加系統資源的開銷。

• worker_threads 工作執行緒，給 Node.js 提供了真正的多執行緒能力。

worker_threads 是 Node.js 提供的一種多執行緒 Api。對於執行 CPU 密集型的計算任務很有用，對 I/O 密集型的操作幫助不大，因為 Node.js 內建的非同步 I/O 操作比 worker_threads 更高效。worker_threads 中的 Worker，parentPort 主要用於子執行緒和主執行緒的訊息互動。

將 app.js 稍微改動下，將 CPU 密集型的計算任務交給子執行緒計算：

// app.js
const Koa = require('koa')
const router = require('koa-router')()
const { Worker } = require('worker_threads')
const app = new Koa()

// 用來測試是否被阻塞
router.get('/test', (ctx) => {
    ctx.body = {
        pid: process.pid,
        msg: 'Hello World'
    }
})
router.get('/fibo', async (ctx) => {
    const { num = 38 } = ctx.query
    ctx.body = await asyncFibo(num)
})

const asyncFibo = (num) => {
    return new Promise((resolve, reject) => {
        // 建立 worker 執行緒並傳遞資料
        const worker = new Worker('./fibo.js', { workerData: { num } })
        // 主執行緒監聽子執行緒傳送的訊息
        worker.on('message', resolve)
        worker.on('error', reject)
        worker.on('exit', (code) => {
            if (code !== 0) reject(new Error(`Worker stopped with exit code ${code}`))
        })
    })
}

app.use(router.routes())
app.listen(9000, () => {
    console.log('Server is running on 9000')
})

新增 fibo.js 檔案，用來處理複雜計算任務：

const { workerData, parentPort } = require('worker_threads')
const { num } = workerData

const start = Date.now()
// 斐波那契數列
const fibo = (n) => {
    return n > 1 ? fibo(n - 1) + fibo(n - 2) : 1
}
fibo(num)

parentPort.postMessage({
    pid: process.pid,
    duration: Date.now() - start
})

執行上文的 axios.js，此時將 app.js 中的 fibo 計算次數改為 43，用來模擬更復雜的計算任務：

可以看到，將 CPU 密集型的計算任務交給子執行緒處理時，主執行緒不再被阻塞，只需等待子執行緒處理完成後，主執行緒接收子執行緒返回的結果即可，其他請求不再受影響。
上述程式碼是演示建立 worker 執行緒的過程和效果，實際開發中，請使用執行緒池來代替上述操作，因為頻繁建立執行緒也會有資源的開銷。

執行緒是 CPU 排程的一個基本單位，只能同時執行一個執行緒的任務，同一個執行緒也只能被一個 CPU 呼叫。

我們再回味下，本小節開頭提到的執行緒和 CPU 的描述，此時由於是新的執行緒，可以在其他 CPU 核心上執行，可以更充分的利用多核 CPU。

2.4、多程序

Node.js 為了能充分利用 CPU 的多核能力，提供了 cluster 模組，cluster 可以通過一個父程序管理多個子程序的方式來實現叢集的功能。

• child_process 子程序，衍生新的 Node.js 程序並使用建立的 IPC 通訊通道呼叫指定的模組。
• cluster 叢集，可以建立共用伺服器埠的子程序，工作程序使用 child_process 的 fork 方法衍生。

cluster 底層就是 child_process，master 程序做總控，啟動 1 個 agent 程序和 n 個 worker 程序，agent 程序處理一些公共事務，比如紀錄檔等；worker 程序使用建立的 IPC（Inter-Process Communication）通訊通道和 master 程序通訊，和 master 程序共用伺服器埠。

新增 fibo-10.js，模擬傳送 10 次請求：

// fibo-10.js
const axios = require('axios')

const url = `http://127.0.0.1:9000/fibo?num=38`
const start = Date.now()

for (let i = 0; i < 10; i++) {
    axios.get(url).then((res) => {
        console.log(res.data, `耗時: ${ Date.now() - start }ms`)
    })
}

可以看到，只使用了一個程序，10 個請求慢慢阻塞，累計耗時 15 秒：

接下來，將 app.js 稍微改動下，引入 cluster 模組：

// app.js
const cluster = require('cluster')
const http = require('http')
const numCPUs = require('os').cpus().length
// const numCPUs = 10 // worker 程序的數量一般和 CPU 核心數相同
const Koa = require('koa')
const router = require('koa-router')()
const app = new Koa()

// 用來測試是否被阻塞
router.get('/test', (ctx) => {
    ctx.body = {
        pid: process.pid,
        msg: 'Hello World'
    }
})
router.get('/fibo', (ctx) => {
    const { num = 38 } = ctx.query
    const start = Date.now()
    // 斐波那契數列
    const fibo = (n) => {
        return n > 1 ? fibo(n - 1) + fibo(n - 2) : 1
    }
    fibo(num)

    ctx.body = {
        pid: process.pid,
        duration: Date.now() - start
    }
})
app.use(router.routes())

if (cluster.isMaster) {
    console.log(`Master ${process.pid} is running`)
    
    // 衍生 worker 程序
    for (let i = 0; i < numCPUs; i++) {
        cluster.fork()
    }

    cluster.on('exit', (worker, code, signal) => {
        console.log(`worker ${worker.process.pid} died`)
    })
} else {
    app.listen(9000)
    console.log(`Worker ${process.pid} started`)
}

執行 node app.js 啟動服務，可以看到，cluster 幫我們建立了 1 個 master 程序和 4 個 worker 程序：

通過 fibo-10.js 模擬傳送 10 次請求，可以看到，四個程序處理 10 個請求耗時近 9 秒：

當啟動 10 個 worker 程序時，看看效果：

僅需不到 3 秒，不過程序的數量也不是無限的。在日常開發中，worker 程序的數量一般和 CPU 核心數相同。

2.5、多程序說明

開啟多程序不全是為了處理高並行，而是為了解決 Node.js 對於多核 CPU 利用率不足的問題。
由父程序通過 fork 方法衍生出來的子程序擁有和父程序一樣的資源，但是各自獨立，互相之間資源不共用。通常根據 CPU 核心數來設定程序數量，因為系統資源是有限的。

三、總結

1、大部分通過多執行緒解決 CPU 密集型計算任務的方案都可以通過多程序方案來替代；
2、Node.js 雖然非同步，但是不代表不會阻塞，CPU 密集型任務最好不要在主執行緒處理，保證主執行緒的暢通；
3、不要一味的追求高效能和高並行，達到系統需要即可，高效、敏捷才是專案需要的，這也是 Node.js 輕量的特點。
4、Node.js 中的程序和執行緒還有很多概念在文章中提到了但沒展開細講或沒提到的，比如：Node.js 底層 I/O 的 libuv、IPC 通訊通道、多程序如何守護、程序間資源不共用如何處理定時任務、agent 程序等；
5、以上程式碼可在 https://github.com/liuxy0551/node-process-thread 檢視。

更多node相關知識，請存取：！

以上就是程序和執行緒如何理解？Node.js中的程序和執行緒是怎樣的？的詳細內容，更多請關注TW511.COM其它相關文章！