发布于 3 天前
摘要
阿木博主一句话概括:深入探讨Scheme语言中的并发数据结构(无锁算法)的正确性证明 阿木博主为你简单介绍: 本文旨在探讨在Scheme语言中实现并发数据结构的无锁算法,并对其正确性进行证明。通过分析无锁算法的设计