Sean's Blog

Lua 杂谈

5分钟阅读

如何理解: Lua 的协程可以是抢占式的，也可以是协作式的，取决于实现

理解 Lua 协程的抢占式和协作式特性需要从几个方面来解释：

  1. 协程的基本概念：

协程是一种程序组件，可以被挂起和恢复执行。在 Lua 中，协程提供了一种方式来实现协作式多任务处理。

  1. 协作式 vs 抢占式：
  • 协作式：任务自愿释放控制权。
  • 抢占式：系统可以在任何时候中断任务，将控制权转移给其他任务。
  1. Lua 标准实现中的协程：

在 Lua 的标准实现中，协程是协作式的。这意味着：

  • 协程通过显式的 yield 调用来暂停自己。
  • 必须通过 resume 来恢复协程的执行。
  • 协程不会自动切换，需要程序员管理切换。

例如：

local co = coroutine.create(function()
    for i = 1, 3 do
        print("协程", i)
        coroutine.yield()
    end
end)
 
for i = 1, 3 do
    print("主程序", i)
    coroutine.resume(co)
end
  1. 抢占式协程的可能性：

虽然 Lua 的标准实现是协作式的，但理论上可以在特定环境下实现抢占式协程：

  • 在某些嵌入式系统或特定运行时环境中。
  • 通过修改 Lua 虚拟机。
  • 使用外部调度器来管理协程。
  1. 抢占式协程的实现示例：

假设有一个修改过的 Lua 运行时，它每执行 N 条指令就自动切换协程：

-- 这只是概念示例，不是实际可运行的代码
function task1()
    while true do
        print("Task 1 执行中")
        -- 不需要显式 yield，系统会自动切换
    end
end
 
function task2()
    while true do
        print("Task 2 执行中")
        -- 同样不需要显式 yield
    end
end
 
schedule(task1)
schedule(task2)
run_scheduler()  -- 启动调度器
  1. 实现依赖性：

协程的行为很大程度上取决于 Lua 的具体实现和运行环境：

  • 标准 Lua：协作式
  • 修改后的 Lua 实现：可能是抢占式
  • 在特定平台（如游戏引擎）中嵌入的 Lua：可能有特殊的协程行为
  1. 优势和权衡：
  • 协作式：更可预测，但需要谨慎设计以避免长时间占用。
  • 抢占式：可以防止单个任务独占资源，但可能引入复杂的同步问题。
  1. 实际应用：

在大多数 Lua 应用中，你会遇到协作式协程。抢占式协程在 Lua 中相对罕见，通常只在特殊的环境或定制的实现中才会遇到。

理解这一概念对于在不同环境中使用 Lua 协程很重要，尤其是在考虑性能、响应性和并发控制时。您对协程的某个具体方面还有疑问吗？或者您想看一个更具体的协程使用例子？

如下，为什么要使用 next 函数来判断 table 是否为空，而不是检查列表的长度？

function City_Conscription_Window:OnSure()  
    --if #self.ConscriptionSystem.SelectedPersons > 0 then  
    --检查是否有选择的武将，而不是检查列表的长度。这样可以更准确地判断是否有选择的武将。  
    if next(self.ConscriptionSystem.SelectedPersons) ~= nil then  
        self.ConscriptionSystem:DoConscription()  
    else  
        MessageSystem:Do(self.ConscriptionSystem.ValidPersons[1], string.format("您没有选择执行任务的武将，无法进行征兵", self.ConscriptionSystem.ValidPersons[1].name))  
    end  
end
  • 更准确：next 函数可以检查表中是否有任何元素，而不仅仅是连续的数字索引。
  • 适用性更广：如果 SelectedPersons 是一个关联数组（即使用非数字键），# 操作符可能无法正确反映表中元素的存在。
  • 性能：对于大型表，next 通常比计算表的长度更快，因为它只需要检查是否存在至少一个元素。

目录

Graph View