【Rust日报】 2020-02-14 Sealed Rust
【Rust日报】 2020-02-14 Sealed Rust
MikeLoveRust
发布于 2020-02-20 10:59:12
发布于 2020-02-20 10:59:12
文章被收录于专栏：Rust语言学习交流
为什么你写的代码糟透了？
發現昨天看的英文新聞有人翻譯成簡中了
分享一下
read more
Sealed Rust
Sealed Rust是Ferrous Systems 的努力的目標
希望從理論上驗證軟體的安全性，並以實作即規範的方式來開發。
目標是通過將Rust編程語言用於安全關鍵軟件開發，
從而改善安全關鍵領域中質量和正確性的現狀。
他們目前制定了一些計劃
- 制定Rust語言以及最小環境所需的所有關鍵庫與工具
- 制定Rust編譯器前端產生並由Rust編譯器後端或靜態/動態分析工具使用的Rust語言的IR
- 驗證Rust編譯器前端能否根據與Rust語言規範相一致的並給程式碼輸入生成正確的IR
- 驗證Rust編譯器後端從給定的IR生成正確的機器碼的能力
- 制定特定領域資格認證，例如：適用於汽車，醫療或航空電子相關的工具鑑定標準
read more
看nnethercote怎麼優化程式的
他利用Callgrind來看程式碼的執行時間
265,344,872 ( 2.97%) :rustc::ty::query::on_disk_cache::__ty_decoder_impl
236,097,015 ( 2.64%) :<rustc::ty::query::on_disk_cache::CacheEncoder<E>
213,551,888 ( 2.39%) :rustc::ty::codec::encode_with_shorthand
165,042,682 ( 1.85%) :<rustc_target::abi::VariantIdx
40,540,500 ( 0.45%) :<u32 as serialize::serialize::Encodable>::encode
24,026,292 ( 0.27%) :serialize::serialize::Encoder::emit_seq
20,160,540 ( 0.23%) :<rustc::dep_graph::serialized::SerializedDepNodeIndex
9,661,323 ( 0.11%) :serialize::serialize::Decoder::read_tuple
4,898,927 ( 0.05%) :<rustc::ty::query::on_disk_cache::CacheEncoder<E>
3,384,018 ( 0.04%) :<rustc_metadata::rmeta::encoder::EncodeContext
2,296,440 ( 0.03%) :<rustc::ty::UniverseIndex
一步一步的迭代 最後優化了11~13%
read more
這禮拜的Rust
Alex Crichton：減少對Rust的參與。
將異步/等待帶入嵌入式Rust。
Rust宣布成立ICE-breaker組。
Rust遊戲開發生態系統調查的結果。
std::future::Rusoto的未來。
在VSCode中調試Rust。
從React的角度來看Rust和GTK。
Rust Async入門。
解決Rust中的稀疏矩陣系統。
Markedit。
創建交互應用程式。
Async採訪6：Eliza Weisman。
本文参与 腾讯云自媒体同步曝光计划，分享自微信公众号。
原始发表：2020-02-15，如有侵权请联系 cloudcommunity@tencent.com 删除
评论
登录后参与评论
推荐阅读
目录
腾讯云开发者
