同城电商系统库存变更若不同步到订单占用层会出现「后台显示有货、实际已被未支付单占满」。宜库存 物理量 - 占用量占用在下单创建支付成功转实扣超时释放。模型sku_stock: on_hand sku_hold: sum(active holds) available on_hand - sku_hold下单预占defcreate_order(lines):withstock.lock(sku_ids(lines)):forlineinlines:ifavailable(line.sku_id)line.qty:raiseOutOfStock(line.sku_id)hold_repo.insert(line.sku_id,line.qty,order_id,ttl900)returnorder_repo.insert(...)支付成功defon_paid(order_id):forhinhold_repo.by_order(order_id):stock_repo.decrement(h.sku_id,h.qty)hold_repo.release(h.id)改库存defadjust_on_hand(sku_id,delta):stock_repo.adjust(sku_id,delta)# 不回写已存在 holdavailable 自动重算验收未支付单占满时新单拒绝改 on_hand 不影响已支付单 line snapshot超时 hold 释放。光合同城边界光合同城同城电商成品含库存占用逻辑可按业务定制商务规则由客户确定。小结同城电商系统库存变更通过占用层同步到可售量订单行 snapshot 保历史一致。超时释放 holddefrelease_expired_holds():forhinhold_repo.expired(beforenow()-900):hold_repo.release(h.id)# on_hand 不变available 自动回升定时任务每分钟跑监控 expired 释放失败数。并发扣减行锁SELECT ... FOR UPDATE或 Redis 预减 异步落库切忌读 available 后无锁写 hold。与订单取消defcancel_unpaid(order_id):order_repo.cancel(order_id)hold_repo.release_by_order(order_id)压测指标单 SKU 1000 QPS 下单观察 hold 表行数与 available不应出现 available 长期为负。光合同城同城电商成品含占用逻辑可按促销规则定制商务规则由客户确定。小结同城电商系统库存变更同步到占用层配合 snapshot 与超时释放是可售量与历史单一致的双保险。秒杀与热点 SKU热点 SKU 可 Redis 预减 异步写 holdMySQL 为最终真相定时对账 Redis 与 hold 表。defflash_hold(sku_id,qty):ifnotredis_decr(sku_id,qty):raiseOutOfStock()queue.publish({sku_id:sku_id,qty:qty,order_id:...})订单行 snapshot 字段order_line{sku_id:sku.id,title:sku.title,unit_price:sku.price,qty:line.qty,stock_version:sku.version,}改库存不 retroactive 改 line。监控hold_expired_total、oversell_alert、redis_db_drift分指标告警。小结补述同城电商系统库存变更 → 占用 → snapshot 三层分工促销高峰靠预减与异步平时靠行锁即可。上线前压测清单单 SKU 500 QPS 预减 5 分钟MySQL hold 与 Redis 偏差 0.1%超时 release 任务延迟 60s。三项通过后再对外开大促入口避免「活动一开就超卖」集中暴露架构短板。促销前清过期占用同城电商系统大促前若不清过期占用会出现后台显示还有货、实际已被未支付单占满。下单预占、支付成功实扣、超时释放三层缺一层就会超卖或误拒单。改库存只动物理量不回写已存在占用可售量等于物理量减占用量自动重算。热点商品可用 Redis 预减加异步写占用数据库为最终真相定时对比 Redis 与占用表偏差。订单行写入下单时商品标题、单价、数量快照改库存不 retroactive 改历史行。压测单 SKU 高并发下单观察占用表行数与可售量不应长期为负。三项压测通过再开大促入口。秒杀场景 Redis 预减失败应快速拒绝异步 worker 写占用失败进死信队列补写。订单行带库存版本字段改库存不 retroactive 改历史行纠纷时导出订单行是最硬证据。超卖与拒单都源于占用层缺失未支付单占满库存时新单应拒绝改物理库存不影响已支付单快照。超时释放任务每分钟跑监控 expired 释放失败数。热点 SKU 可 Redis 预减加异步写占用数据库为最终真相大促后全量对账一次。订单行写入下单时标题、单价、数量快照改库存不 retroactive 改历史行纠纷时导出订单行是最硬证据商家履约也以快照为准。压测单 SKU 高并发下单观察占用表与可售量不应长期为负。Worker 写占用失败进死信队列补写Redis 预减与 MySQL 最终一致对账以数据库为准。大促后宜全量对账一次。交付宜附压测报告与死信补写流程说明。