الشيفرات المحدودة ودوال Redis

local stock = tonumber(redis.call('GET', KEYS[1]))
local need = tonumber(ARGV[1])
if not stock or not need or stock < 0 or need <= 0
   or stock ~= math.floor(stock) or need ~= math.floor(need)
   or stock > 1000000 or need > 1000000 then
  return redis.error_reply('INVALID_STOCK_INPUT')
end
if stock < need then return false end
return redis.call('DECRBY', KEYS[1], need)

مع9 و3 يتوقع6 دون شيفرة حية أو مفتاح أو إعداد، وتحتاج المفاتيح والمنح مراجعة.

def reserve_model(stock, need):
    if type(stock) is not int or type(need) is not int:
        raise ValueError('INVALID_STOCK_INPUT')
    if not (0 <= stock <= 1000000 and 0 < need <= 1000000):
        raise ValueError('INVALID_STOCK_INPUT')
    return None if stock < need else stock - need

assert reserve_model(9, 3) == 6
assert reserve_model(2, 3) is None

يفحص الحساب فقط وتبقى Lua وسلوك Redis والمتانة غير منفذة.