谷歌本周宣布发布 KataOS,它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑,不但几乎完全是由 Rust 实现的,而且是建立在 seL4 微内核的基础之上,seL4 在数学上被证明是安全的,具有保证保密性、完整性和可用性。
消息来源:https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html
大家好!2022秋冬季开源操作系统训练营开始招生
报名时间段 2022.10.16 ~ 2022.10.30,训练时间段 2022.11.1~2023.2.1
如希望参加本次训练营,请在报名登记处 填写相关信息,并加入相关微信群. 后续获得邀请后,将开始参与本次训练营活动。
https://github.com/LearningOS/rust-based-os-comp2022/issues/101
Kanal 是一个目前 Rust 最快的 channel 实现,比标准库快 80 多倍. 目前版本是 0.1.0-pre1
, 作者正在完善和构建中.
github地址: https://github.com/fereidani/kanal
作者在写 warp 时,为了让处理 anyhow::Result
能够简单和美观, 自己编写了一个过程宏, 在此分享该过程宏的编写过程, 通过此宏, 可以让代码精简到如下类似代码.
- #[eat_err(error)]
- pub async fn new_run(data: RequestData) -> Result
{ - let mut conn = connect_db().await?;
- let info = some_db_query(&mut conn, &data.field1, &data.field1).await?;
- schema::insert_something(&mut conn, &data.field3, &info).await?;
- Ok(StatusCode::OK)
- }
--
From 日报小组 BobQin,FBI小白
社区学习交流平台订阅:
Rustcc论坛: 支持rss
微信公众号:Rust语言中文社区