[PDF][PDF] 基于锁耦合遍历算法的文件系统终止性验证
邹沫， 谢昊彤， 魏卓然， 陈海波 - 软件学报, 2022 - jos.org.cn
并发文件系统由于复杂的实现, 容易产生死锁, 无限循环等终止性漏洞, 已有的文件系统证明工作
都忽视了终止性的证明. 证明了一个并发文件系统AtomFS 的终止性, 保证了每个文件系统接口 …
都忽视了终止性的证明. 证明了一个并发文件系统AtomFS 的终止性, 保证了每个文件系统接口 …
[PDF][PDF] 基于锁耦合遍历算法的文件系统终止性验证
邹沫， 谢昊彤， 魏卓然， 陈海波 - jos.org.cn
并发文件系统由于复杂的实现, 容易产生死锁, 无限循环等终止性漏洞, 已有的文件系统证明工作
都忽视了终止性的证明. 证明了一个并发文件系统AtomFS 的终止性, 保证了每个文件系统接口 …
都忽视了终止性的证明. 证明了一个并发文件系统AtomFS 的终止性, 保证了每个文件系统接口 …
[引用][C] 基于锁耦合遍历算法的文件系统终止性验证
邹沫， 谢昊彤， 魏卓然， 陈海波 - 软件学报, 2022 - jos.org.cn
基于锁耦合遍历算法的文件系统终止性验证 微信服务号 微信订阅号 主页 期刊介绍 编委会 服务
介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2022年第33卷第8期 …
介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2022年第33卷第8期 …
[引用][C] 基于锁耦合遍历算法的文件系统终止性验证
邹沫， 谢昊彤， 魏卓然， 陈海波 - 软件学报, 2022 - jos.org.cn
基于锁耦合遍历算法的文件系统终止性验证 微信服务号 微信订阅号 主页 期刊介绍 编委会 服务
介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2022年第33卷第8期 …
介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2022年第33卷第8期 …