前言

協同程序與線程差不多，也就是一條執行序列，擁有自己獨立的棧、局部變量和指令指針，同時又與其它協同程序共享全局變量和其它大部分東西。從概念上講，線程與協同程序的主要區別在于，一個具有多個線程的程序可以同時運行幾個線程，而協同程序卻需要彼此協作的運行。就是說，一個具有多個協同程序的程序在任意時刻只能運行一個協同程序，并且正在運行的協同程序只會在其顯式地要求掛起時，它的執行才會暫停。

協同程序基礎

Lua將所有關于協同程序的函數放置在一個名為“coroutine”的table中。函數create用于創建新的協同程序，它只有一個參數，就是一個函數。該函數的代碼就是協同程序需要執行的內容。create會返回一個thread類型的值，用以表示新的協同程序，一般create的參數是一個匿名函數，例如以下代碼：

一個協同程序可以有四種不同的狀態：掛起（suspended）、運行（running）、死亡（dead）和正常（normal）。當新創建一個協同程序時，它處于掛起狀態，言外之意就是，協同程序不會在創建它時自動執行其內容，我們可以通過函數status來檢查協同程序的狀態。

函數coroutine.resume用于啟動或再次啟動一個協同程序的執行，并將其狀態由掛起改為運行：

上面的代碼中，我調用了resume函數，將協同程序co由suspended改為running狀態，當打印了Hello World之后，協同程序co就處于死亡狀態。

到目前為止，協同程序就是一種函數調用。其實，協同程序的真正強大之處在于函數yield的使用上，該函數可以讓一個運行中的協同程序掛起，而之后可以再恢復它的運行，例如以下代碼：

當在協同程序的執行中發生任何錯誤，Lua是不會顯示錯誤消息的，而是將執行權返回給resume調用。當coroutine.resume的第一個返回值為false時，就表明協同程序在運行過程中發生了錯誤；當值為true時，則表明協同程序運行正常。

當一個協同程序A喚醒另一個協同程序B時，協同程序A就處于一個特殊狀態，既不是掛起狀態（無法繼續A的執行），也不是運行狀態（是B在運行）。所以將這時的狀態稱為“正常”狀態。

Lua的協同程序還具有一項有用的機制，就是可以通過一對resume-yield來交換數據。在第一次調用resume時，并沒有對應的yield在等待它，因此所有傳遞給resume的額外參數都視為協同程序主函數的參數。如下述代碼：

當協同程序中沒有yield時，第一次調用resume，所有傳遞給resume的額外參數都將視為協同程序主函數的參數，如以下代碼：

當協同程序中存在yield時，一切就變的復雜了，先來分析一下這個流程：

1.調用resume，將協同程序喚醒；
2.協同程序運行；
3.運行到yield語句；
4.yield掛起協同程序，第一次resume返回；（注意：此處yield返回，參數是resume的參數）
5.第二次resume，再次喚醒協同程序；（注意：此處resume的參數中，除了第一個參數，剩下的參數將作為yield的參數）
6.yield返回；
7.協同程序繼續運行；

此處從其它博客中借鑒的一部分代碼，可以說明上面的調用流程：

輸出結果如下：

resume和yield的配合強大之處在于，resume處于主程中，它將外部狀態（數據）傳入到協同程序內部；而yield則將內部的狀態（數據）返回到主程中。

生產者-消費者問題

現在我就使用Lua的協同程序來完成生產者-消費者這一經典問題。生產者生產東西，消費者消費生產者生產的東西。