diff --git a/2023/2023-04-01.md b/2023/2023-04-01.md index f3d34f73..cb34823e 100644 --- a/2023/2023-04-01.md +++ b/2023/2023-04-01.md @@ -488,6 +488,39 @@ https://github.com/buddy-compiler/buddy-benchmark ## Aya Theorem Prover +## eunomia-bpf + +- eunomia-bpf 框架: + - 修复了 CI 自动发布的一系列问题 [#167](https://github.com/eunomia-bpf/eunomia-bpf/pull/167) [#168](https://github.com/eunomia-bpf/eunomia-bpf/pull/168) [#151](https://github.com/eunomia-bpf/eunomia-bpf/pull/151) [#171](https://github.com/eunomia-bpf/eunomia-bpf/pull/151) + - 把文档网站移入了主仓库,并且添加了一系列 linter [#161](https://github.com/eunomia-bpf/eunomia-bpf/pull/161) [#163](https://github.com/eunomia-bpf/eunomia-bpf/pull/163) [#165](https://github.com/eunomia-bpf/eunomia-bpf/pull/161) [#177](https://github.com/eunomia-bpf/eunomia-bpf/pull/161) + - 合并了关于 btfhub 的一系列 PR [#155](https://github.com/eunomia-bpf/eunomia-bpf/pull/155) [#156](https://github.com/eunomia-bpf/eunomia-bpf/pull/156) [#159](https://github.com/eunomia-bpf/eunomia-bpf/pull/159) + - 合并了关于 RISC-V 和 MIPS 的移植 [#152](https://github.com/eunomia-bpf/eunomia-bpf/pull/152) + - 修复了一些 warning [#182](https://github.com/eunomia-bpf/eunomia-bpf/pull/182) [#185](https://github.com/eunomia-bpf/eunomia-bpf/pull/185) + - 添加了 API endpoint [#169](https://github.com/eunomia-bpf/eunomia-bpf/pull/169) +- wasm-bpf 工具链: + - 修复了多线程 polling 的错误 [#93](https://github.com/eunomia-bpf/wasm-bpf/issues/93) + - 允许添加自定义 host 函数 [#88](https://github.com/eunomia-bpf/wasm-bpf/issues/88) + - 添加了对 stdio 的重定向支持 [#74](https://github.com/eunomia-bpf/wasm-bpf/issues/74) + - 添加了一大堆单元测试 [#79](https://github.com/eunomia-bpf/wasm-bpf/pull/79) [#68](https://github.com/eunomia-bpf/wasm-bpf/pull/68) + - 添加了暂停、继续的支持 [#84](https://github.com/eunomia-bpf/wasm-bpf/pull/84) + - 添加了一系列 CI、nix 等等的支持,并且发布到 crates [#96](https://github.com/eunomia-bpf/wasm-bpf/pull/96) [#95](https://github.com/eunomia-bpf/wasm-bpf/pull/96) + - 添加和修改了 Rust 和 Go 的 SDK [#98](https://github.com/eunomia-bpf/wasm-bpf/pull/98) +- GPTtrace + - 使用 llama index 和 ChatGPT API 重构了 GPTtrace 的内容 [#5](https://github.com/eunomia-bpf/GPTtrace/pull/5) +- 使用 ChatGPT 的 eBPF 交互式问答知识库:https://github.com/eunomia-bpf/ebpf-knowledge-base +- 为 OS 大赛添加了一系列赛题: + - https://github.com/oscomp/proj201-ebpf-optimize + - https://github.com/oscomp/proj202-Serverless-WASM-AIGC + - https://github.com/oscomp/proj203-ebpf-virt-gpu + - https://github.com/oscomp/proj204-eBPF-AIGC + - https://github.com/oscomp/proj205-eBPF-K8S +- 添加和完善了一系列 eBPF 开发 template,用于快速启动 eBPF 的开发: + - https://github.com/eunomia-bpf/libbpf-rs-starter-template + - https://github.com/eunomia-bpf/cilium-ebpf-starter-template + - https://github.com/eunomia-bpf/libbpf-starter-template + - https://github.com/eunomia-bpf/eunomia-template +- 继续完善了一下 tutorial [link](https://github.com/eunomia-bpf/bpf-developer-tutorial) + ## RISCV平台测试测评工作 ## 测试开发相关工作