< 返回版块

gensmusic 发表于 2022-10-17 18:08

谷歌宣布推出 Rust 开发的 KataOS 操作系统

谷歌本周宣布发布 KataOS,它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑,不但几乎完全是由 Rust 实现的,而且是建立在 seL4 微内核的基础之上,seL4 在数学上被证明是安全的,具有保证保密性、完整性和可用性。

消息来源: https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

2022秋冬季开源操作系统训练营开始报名了

大家好!2022秋冬季开源操作系统训练营开始招生

报名时间段 2022.10.16 ~ 2022.10.30,训练时间段 2022.11.1~2023.2.1

如希望参加本次训练营,请在报名登记处 填写相关信息,并加入相关微信群. 后续获得邀请后,将开始参与本次训练营活动。

img

Kanal: 比标准库快 80 倍的 channel 实现

Kanal 是一个目前 Rust 最快的 channel 实现,比标准库快 80 多倍. 目前版本是 0.1.0-pre1, 作者正在完善和构建中.

img

github地址

过程宏代码分享

作者在写 warp 时,为了让处理 anyhow::Result 能够简单和美观, 自己编写了一个过程宏, 在此分享该过程宏的编写过程, 通过此宏, 可以让代码精简到如下类似代码.

#[eat_err(error)]
pub async fn new_run(data: RequestData) -> Result<StatusCode> {
    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小白

社区学习交流平台订阅:

评论区

写评论
NaokiLH 2022-10-18 09:09

最后一个没有链接吗

1 共 1 条评论, 1 页