【语法】
一、隐蔽陷阱
三类资源要在五个进程间分配:随手分出去,可能出现每个进程都差一点资源、互相等待的死局——逐种分配方案试到天亮也试不完,有没有一次检查就判定安全的算法?
二、底层原理
银行家算法安全性检查:先算每个进程还需要的资源量,用当前可用资源逐个满足"需求不超过可用"的进程并回收其全部持有,回收扩大的可用量又能解锁下一个。全部进程都能走完则序列安全。
三、正确代码
基础写法(需求矩阵):
local function need(maxs, alloc)
local t = {}
for i = 1, #maxs do
t[i] = {}
for j = 1, #maxs[i] do
t[i][j] = maxs[i][j] - alloc[i][j]
end
end
return t
end
进阶写法(安全序列检查):
local function isSafe(nd, alloc, avail)
local n, done, work = #nd, {}, {}
for j = 1, #avail do work[j] = avail[j] end
local safe, moved = 0, true
while safe < n and moved do
moved = false
for i = 1, n do
if not done[i] then
local ok = true
for j = 1, #work do
if nd[i][j] > work[j] then
ok = false
end
end
if ok then
done[i] = true
safe = safe + 1
for j = 1, #alloc[i] do
work[j] = work[j] + alloc[i][j]
end
moved = true
end
end
end
end
return safe == n
end
四、引擎验证
五进程样例存在安全序列返回 true;调大某进程的需求制造死局后返回 false,与手工推演一致。
五、FAQ
问:名字为何像银行?
答:放贷同理,只放不致无法回收的额度。
问:检查通过再分配?
答:是,每次分配前先跑一遍检查。
全站技术干货持续更新:996 引擎 / Lua 实战帖,语法、参数与示例一篇讲透。进入文章地图 · 查看全部 →
【游戏】 一、业务场景 攻城战守方工事减伤 24%,攻方撞门半小时毫无进展,双方都打得憋屈。云梯器械上线:攻方消耗 300 …
【游戏】 一、业务场景 有成员误操作被按违规重罚,申诉三天才恢复,情面上过不去;也有人惯犯想靠求情免罚。铁券上线:1000 …
【语法】 一、隐蔽陷阱 三元一次方程组手算消元:步骤繁、顺序乱还容易抄错系数;程序里按列从左到右系统地消成上三角再回代,解一…
【语法】 一、隐蔽陷阱 判断两个矩形是否重叠:枚举所有角落两两比对要写八种情形,漏一种就误判;反向思考"不重叠"的条件只有四…
【游戏】 一、业务场景 帮会活动的奖励直接发物资:发多了通胀、发少了没感觉。粮票上线:活动改发票据,票据攒到面额兑换对应档物…
【语法】 一、隐蔽陷阱 多项式 2x⁴+3x³+x²+5x+7 求值时逐项算幂再乘系数:每个 x 的幂都从头乘起,一个五项式…