文件名称:潜在语言的残篇-Rust开发
文件大小:584KB
文件格式:ZIP
更新时间:2024-06-16 14:07:47
Rust Utilities
seaslug小巧,美观,可知,尚未存在尚未完成的图灵,已验证的终止代码已放置在定义良好的接口中,类似t seaslug小巧,美观,可知,尚未存在但尚未经过验证的终止代码,已验证的终止代码放置在与Erlang行为类似的定义明确的接口中,强类型行为,强大的推理功能可最大程度地减少类型噪声,从一开始就利用io_uring,不可变消息传递,乐观的STM构建运行时,并且通常关注现代调度研究,该运行时会跟踪整体利用率饱和度旨在最大程度地利用利用率,同时最大限度地降低饱和度
【文件预览】:
seaslug-main
----.gitignore(189B)
----src()
--------smt.rs(2KB)
--------syntax.lalrpop(1KB)
--------stack.rs(7KB)
--------bin()
--------debug_delay.rs(3KB)
--------ebr()
--------histogram.rs(8KB)
--------cache_padded.rs(2KB)
--------args.rs(2KB)
--------lazy.rs(3KB)
--------ast.rs(871B)
--------io()
--------lib.rs(2KB)
--------machine_table.rs(6KB)
----Cargo.toml(532B)
----README.md(9KB)
----cav06.pdf(576KB)
----smt_notes(4KB)
----build.rs(75B)