plctlab / plct-weekly Goto Github PK

View Code? Open in Web Editor NEW

549.0 49.0 102.0 3.88 MB

软件所PLCT实验室在开源领域的不定期简报

License: Creative Commons Attribution Share Alike 4.0 International

HTML 99.95% Makefile 0.05%

plct-weekly's Introduction

PLCT开源进展（月刊）

我们在招聘！实习生，应届生，社会人，外星人，统统都招！

您可以通过本仓库进行订阅，每个月都会更新PLCT实验室在开源领域的情报和分析，敬请期待 🎉

变更记录：

从2021年3月1日开始，「PLCT开源基础软件进展（半月刊）」升级为 「PLCT开源进展（月刊）」。
从2020年5月1日开始，PLCT Weekly 升级为 「PLCT开源基础软件进展（半月刊）」。
自2020年3月起转入知乎专栏更新，不再通过HelloGCC公众号同步推送。

plct-weekly's People

Contributors

Stargazers

Watchers

Forkers

godsaysno joy2myself shining1984 alapha23 qjivy unicornx liweiwei90 punkyc zhanghb97 thomasyonug felixonmars taoliq luyahan luxufan wangyidong3 asked637 celesius yqszxx xingmingjie wenwensong114 mengls666 joshua-401 geasscore chunyuliao kayla-lixinyi 13nash xinlong-wu monkeyking wintering521 chenjy9581 ksyx dinglizhang org-mars yinxx pdfxy liaoshihua wxjstz matrixkoo yuandj alextsao1999 hanliutong openjdk-riscv okitasan luke957 zenithalhourlyrate ieast xijing21 lvxiaoqian555 pz9115 lazyparser nickcao huxuan0307 alexfanqi yourharbour ksco mollybuild sequencer bekcpear lokenetwork aya-prover forked-by-mio wgf8088 realfyang fan1913068672 zifeihan mingcongbai littlejianch zzzping infiwang raymenliu yunwei37 ilikethese milkve yummy0929 jiewu-plct xmzzz baibeta shiptux tekkamanninja z572 yt1969143065 shawn-xc 0xhellord mylearningmaterials archfeh kevinmx yuzibo xen0n zhudedong jingwiw imkiwa yunxiangluo2023 sihuan sakura286 jchzhou zhangxiang-plct fifcc akluowk brucelevis yunxiangluo

plct-weekly's Issues

如何获取关于qemu/spike的书

hi，
我前端时间在spike里添加了用户自定义指令的支持，但目前spike不能满足我们的仿真需求，需要用到qemu，但我们对qemu了解不多，请问如何能够获取你们的相关书籍呢？

Go的debug工具Delve

https://github.com/go-delve/delve
要检查go程序的coredump，不能用gdb，而是要用这个工具。不知道它对RV的支持如何？

更新：
service/debugger/debugger.go:32:2: found packages native (dump_linux.go) and your_linux_architecture_is_not_supported_by_delve (support_sentinel_linux.go) in /home/.../delve/pkg/proc/native

PLCT 许愿池计划 2024 （请将对 RISC-V 开源软件生态的预期/许愿写在这里）

一年一度的许愿池计划开启。

简历投递邮件标题注明手机号的要求可否取消？

虽然邮件在传输过程中基本是加密的，直接显示在标题上还是让我有点顾虑。何况也可以写在简历附件里。

是否可以添加 The Aya Theorem Prover 到月报模板中？

即在 YYYY-MM-DD.md 中任意处添加以下内容

+## The Aya Theorem Prover

起因：Aya 小组将从 8 月起（即 2022-09-01.md）使用自动化工具实现月报自动生成并向本仓库提交 PR。为了精准地（指不伤害其他小组的内容）向模板文件中添加内容，我们需要一个显著的 marker 进行文本替换（例如 sed）。

TRSR005全职是否可以完全远程工作，目前不在北京等城市，且不想换城市

本人有一些汇编和C的基础，英文能力过关，对操作系统及硬件有很大兴趣，想从事这个工作

Aya team logs since 60 days ago

Remains to be copied to 2022-12 report.

Misc

Tagged 2 new alpha releases
Wrote the first tutorial: https://www.aya-prover.org/guide/haskeller-tutorial.html
- Assumed Haskell knowledge for simplicity
The binary distribution now ships the standard library candidate
We have some very basic synthetic homotopy theory results and theorems about natural numbers!

The Aya Theorem Prover

Watch Aya Prover

v0.25 Fix some issues, define Susp of S¹ to S² PR-747 opened by ice1000
v0.25 Issue 596 PR-745 opened by HoshinoTented
v0.25 Improve many things PR-744 opened by ice1000
v0.25 Really do support eta-expand paths PR-739 opened by ice1000
v0.25 Small fixes. PR-740 opened by wsx-ucb
v0.25 Implement coercion from path to pi PR-738 opened by ice1000
v0.25 Install also the stdlib PR-736 opened by ice1000
v0.25 basic support for unary pretty print PR-735 opened by tsao-chi
v0.25 Remove ulift PR-734 opened by ice1000
v0.25 Clear Garbage Code of PatTycker PR-732 opened by HoshinoTented
v0.24 Use the meaningful test data PR-666 opened by HoshinoTented
v0.25 Improve library with pushing PR-724 opened by ice1000
v0.25 Push telescope PR-723 opened by ice1000
v0.25 cli: remove a duplicate checkDeserialization() call PR-720 opened by tsao-chi
v0.25 No Erase PR-667 opened by tsao-chi
v0.25 Add *-comm, *-assoc in library candidate PR-722 opened by ice1000
v0.24 Release 0.24 PR-718 opened by ice1000
v0.24 Fix Highlighter PR-716 opened by HoshinoTented
v0.24 Desugar do-notation with correct source pos PR-717 opened by imkiva
v0.24 Fix SourcePos of Let PR-715 opened by HoshinoTented
v0.24 Leafover of Let Expr PR-712 opened by HoshinoTented
v0.24 Overhaul loadFile in REPL PR-714 opened by imkiva
v0.24 bnf: make LetBind a named element PR-713 opened by imkiva
v0.24 Let Expression PR-699 opened by HoshinoTented
v0.24 Slightly less code in parser PR-711 opened by ice1000
Depreacte StmtOps and ExprTraversal PR-709 opened by imkiva
v0.24 Unify literate highlighter and LSP highlighter PR-708 opened by imkiva
v0.24 Interesting parser improvements PR-707 opened by ice1000
v0.24 Fix a bug: HIT partial forgot to zonk PR-705 opened by ice1000
v0.24 Highlighter with Linker PR-698 opened by HoshinoTented
v0.24 New group library config and polish some messages PR-702 opened by imkiva
v0.23 Luna's branch that tries to fix bug PR-602 opened by ice1000
v0.24 REPL: decouple and fix PR-701 opened by imkiva
v0.24 Cherry pick from 'no more duplicated vars' PR-703 opened by ice1000
v0.24 Kiva fixing something today PR-700 opened by imkiva
v0.24 Rename java to jaya PR-697 opened by ice1000
Add license scan report and status PR-696 opened by fossabot
v0.24 Try using meta rules PR-695 opened by ice1000
v0.24 change: Change comment syntax (BREAKING CHANGE) PR-678 opened by wsx-ucb
v0.24 Fix my opinions PR-693 opened by imkiva
v0.24 Minor improvements PR-692 opened by ice1000
v0.24 Report mising operand for unary sections PR-688 opened by imkiva
v0.24 Parse private decl PR-689 opened by imkiva
v0.24 Better did you mean messages PR-675 opened by imkiva
v0.24 Improve readme, disallow | from beginning of identifiers PR-682 opened by ice1000
v0.24 Natural number properties, naming convention, etc. PR-681 opened by ice1000
v0.24 graal: generate part of the config PR-673 opened by ice1000
v0.24 LSP: Search library root in dependencies PR-674 opened by imkiva
v0.24 Update library, define S², T³ PR-671 opened by ice1000
v0.24 Higher inductive types PR-669 opened by ice1000
v0.24 KALA: upgrade to 0.56.0 PR-668 opened by Glavo
v0.24 Revert some changes PR-664 opened by ice1000
v0.24 Fix some code PR-655 opened by ice1000
v0.24 More ShuYu PR-661 opened by HoshinoTented
v0.24 Fix some bugs PR-660 opened by ice1000
v0.24 Do Unifying Owner Telescope PR-658 opened by HoshinoTented
v0.24 Fix tycking induction-recursion definitions PR-659 opened by imkiva
v0.24 Enhance #646 PR-656 opened by HoshinoTented
v0.23 Release v0.23 PR-654 opened by ice1000
v0.23 Add some cli options PR-653 opened by ice1000
v0.23 Fix some LSP bugs PR-652 opened by imkiva
v0.23 More Colorful Cli PR-646 opened by HoshinoTented
v0.23 NXJASbhjasbxjhsbxhjasbxhjasbxjas PR-650 opened by ice1000
v0.23 Sigma transport PR-649 opened by ice1000
v0.23 Allow connected ↑ PR-648 opened by ice1000
v0.23 Overhaul literal infrastructure PR-641 opened by imkiva
v0.23 Define coeSigma4 and coeSigma5, upgrade guest with a smol optimization PR-647 opened by ice1000
v0.23 Trivial PR-644 opened by ice1000
v0.23 sort: use single record instead of interface PR-640 opened by tsao-chi
v0.23 Delete PatElem PR-643 opened by ice1000
v0.23 Pattern -> Arg<Pattern> PR-642 opened by ice1000
v0.23 Constant check for coeFill, coeInv and coeInvFill PR-635 opened by imkiva
sort: use single record instead of interface PR-639 opened by tsao-chi
v0.23 Allowing Implicit Argument in List Ctor PR-634 opened by HoshinoTented
v0.23 Disallow using coe as function PR-633 opened by imkiva
v0.23 Issue #598, Part 1. PR-599 opened by HoshinoTented
v0.23 Massive rename planned long time ago PR-632 opened by ice1000
v0.23 Implement Prop pattern matching tyck PR-629 opened by tsao-chi
v0.23 Pat.Meta in Pat.Meta PR-630 opened by HoshinoTented
v0.23 Don't normalize too early PR-628 opened by HoshinoTented
v0.23 Doc: Add some docs for the refactor. PR-627 opened by wsx-ucb
v0.23 Match expression PR-545 opened by wsx-ucb
v0.23 Fix #625 PR-626 opened by ice1000
v0.23 Codifier: a new tool for writing helper functions internally PR-624 opened by ice1000
v0.23 No more useless subst PR-623 opened by HoshinoTented
v0.23 Purge raiseError PR-622 opened by imkiva
v0.23 Issue 620 PR-621 opened by HoshinoTented
v0.23 Random changes, fix simple lsp bug PR-619 opened by ice1000
v0.23 Issue 609 PR-610 opened by HoshinoTented
v0.23 Computation rule of coe for binary sigma type PR-616 opened by lunalunaa
v0.23 Cherry pick from @HoshinoTented's branch PR-617 opened by ice1000
v0.23 Upgrade (again, sorry!) PR-615 opened by ice1000
v0.23 @wsx-ucb's code cherry pick PR-614 opened by ice1000
v0.23 Major tom PR-612 opened by ice1000
v0.23 Many build improvements PR-611 opened by HoshinoTented
v0.23 Prop and Erased PR-584 opened by tsao-chi
v0.23 Fix: Issue 597 PR-603 opened by HoshinoTented
fix regression of #437 in #579 PR-608 opened by imkiva
v0.22 Do not stop literal classification that early PR-579 opened by imkiva
v0.23 Overhaul the Sub system of unification PR-606 opened by ice1000
v0.23 respect renamed operator in serialized bind PR-605 opened by imkiva
v0.23 transport and hcomp PR-539 opened by lunalunaa

Watch Aya Intellij Plugin

Update grammar PR-29 opened by imkiva
Update to aya 0.23 PR-28 opened by imkiva
IJ debugger PR-20 opened by imkiva
Update grammar PR-26 opened by HoshinoTented
Reorganize classes PR-24 opened by imkiva
Update grammar to aya 0.22 PR-21 opened by imkiva

PLCT 2023 许愿池计划（继续把愿望评论在这里）

欢迎把愿望写在issue回复中，或者直接发PR到：
https://github.com/plctlab/PLCT-Weekly/blob/master/Open-Wishlist-2023.md

简单的Gin示范代码无法在Milkv-duo 256的Buildroot镜像上运行

系统信息

[root@milkv-duo]~# cat /etc/os-release 
NAME=Buildroot
VERSION=20231230-2325
ID=buildroot
VERSION_ID=2021.05
PRETTY_NAME="Buildroot 2021.05"

golang代码如下（也尝试了Golang的HTTP Server，Socket等等简单案例代码，都是和下面报错的信息一样，runtime: epollcreate failed with 38），只有不使用网络的Helloworld，打印等等案例可以正常执行。

package main

import "github.com/gin-gonic/gin"

func main() {
	r := gin.Default()
	r.GET("/ping", func(c *gin.Context) {
		c.JSON(200, gin.H{
			"message": "pong",
		})
	})
	r.Run() // 监听并在 0.0.0.0:8080 上启动服务
}

使用的交叉编译命令（相同命令编译的Helloworld程序可以在milkv上运行）
GOARCH=riscv64 go build -o ping ping.go

使用ld库检查可执行程序ping的依赖情况，提示无依赖需求
[root@milkv-duo]~# /lib64/ld-musl-riscv64v0p7_xthead.so.1 --list ping
/lib64/ld-musl-riscv64v0p7_xthead.so.1: ping: Not a valid dynamic program

以下是ping程序的运行报错信息

[root@milkv-duo]~# ./ping
runtime: epollcreate failed with 38
fatal error: runtime: netpollinit failed

goroutine 1 [running, locked to thread]:
runtime.throw({0x41857b?, 0xa9cb8?})
        /mnt/MyNAS/walker/.bin/go/src/runtime/panic.go:1047 +0x44 fp=0x3fa429f5e8 sp=0x3fa429f5c0 pc=0x4347c
runtime.netpollinit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/netpoll_epoll.go:28 +0x1b4 fp=0x3fa429f658 sp=0x3fa429f5e8 pc=0x3f4a4
runtime.netpollGenericInit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/netpoll.go:197 +0x64 fp=0x3fa429f668 sp=0x3fa429f658 pc=0x3e9bc
internal/poll.runtime_pollServerInit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/netpoll.go:189 +0x20 fp=0x3fa429f670 sp=0x3fa429f668 pc=0x6d940
sync.(*Once).doSlow(0xf7f84?, 0xf7eb4?)
        /mnt/MyNAS/walker/.bin/go/src/sync/once.go:74 +0xf4 fp=0x3fa429f6c0 sp=0x3fa429f670 pc=0x7b9b4
sync.(*Once).Do(...)
        /mnt/MyNAS/walker/.bin/go/src/sync/once.go:65
internal/poll.(*pollDesc).init(0x3fa40faaf8, 0x3fa40faae0?)
        /mnt/MyNAS/walker/.bin/go/src/internal/poll/fd_poll_runtime.go:39 +0x64 fp=0x3fa429f6d8 sp=0x3fa429f6c0 pc=0xf2094
internal/poll.(*FD).Init(0x3fa40faae0, {0x402670?, 0x80000?}, 0x9c?)
        /mnt/MyNAS/walker/.bin/go/src/internal/poll/fd_unix.go:63 +0xa0 fp=0x3fa429f6f0 sp=0x3fa429f6d8 pc=0xf29e8
os.newFile(0x3, {0x3fa43b0810, 0xa}, 0x1)
        /mnt/MyNAS/walker/.bin/go/src/os/file_unix.go:190 +0x1bc fp=0x3fa429f728 sp=0x3fa429f6f0 pc=0xf7fe4
os.openFileNolog({0x3fa43b0810, 0xa}, 0x0, 0x0)
        /mnt/MyNAS/walker/.bin/go/src/os/file_unix.go:250 +0x19c fp=0x3fa429f768 sp=0x3fa429f728 pc=0xf81fc
os.OpenFile({0x3fa43b0810, 0xa}, 0x0, 0x0?)
        /mnt/MyNAS/walker/.bin/go/src/os/file.go:326 +0x64 fp=0x3fa429f798 sp=0x3fa429f768 pc=0xf7704
os.Open(...)
        /mnt/MyNAS/walker/.bin/go/src/os/file.go:306
google.golang.org/protobuf/internal/detrand.binaryHash()
        /mnt/MyNAS/walker/go/pkg/mod/google.golang.org/[email protected]/internal/detrand/rand.go:46 +0x48 fp=0x3fa429f858 sp=0x3fa429f798 pc=0x310690
google.golang.org/protobuf/internal/detrand.init()
        /mnt/MyNAS/walker/go/pkg/mod/google.golang.org/[email protected]/internal/detrand/rand.go:38 +0x20 fp=0x3fa429f860 sp=0x3fa429f858 pc=0x310910
runtime.doInit(0x704120)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6506 +0x12c fp=0x3fa429f990 sp=0x3fa429f860 pc=0x535bc
runtime.doInit(0x704160)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6483 +0x78 fp=0x3fa429fac0 sp=0x3fa429f990 pc=0x53508
runtime.doInit(0x707de0)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6483 +0x78 fp=0x3fa429fbf0 sp=0x3fa429fac0 pc=0x53508
runtime.doInit(0x708dc0)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6483 +0x78 fp=0x3fa429fd20 sp=0x3fa429fbf0 pc=0x53508
runtime.doInit(0x70b100)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6483 +0x78 fp=0x3fa429fe50 sp=0x3fa429fd20 pc=0x53508
runtime.doInit(0x701fe0)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:6483 +0x78 fp=0x3fa429ff80 sp=0x3fa429fe50 pc=0x53508
runtime.main()
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:233 +0x1d0 fp=0x3fa429ffd8 sp=0x3fa429ff80 pc=0x45ab0
runtime.goexit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/asm_riscv64.s:512 +0x4 fp=0x3fa429ffd8 sp=0x3fa429ffd8 pc=0x7281c

goroutine 2 [force gc (idle)]:
runtime.gopark(0x0?, 0x0?, 0x0?, 0x0?, 0x0?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:381 +0x110 fp=0x3fa403afb0 sp=0x3fa403af98 pc=0x45f68
runtime.goparkunlock(...)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:387
runtime.forcegchelper()
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:305 +0xc8 fp=0x3fa403afd8 sp=0x3fa403afb0 pc=0x45da0runtime.goexit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/asm_riscv64.s:512 +0x4 fp=0x3fa403afd8 sp=0x3fa403afd8 pc=0x7281c
created by runtime.init.5
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:293 +0x28

goroutine 3 [GC sweep wait]:
runtime.gopark(0x0?, 0x0?, 0x0?, 0x0?, 0x0?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:381 +0x110 fp=0x3fa403b788 sp=0x3fa403b770 pc=0x45f68
runtime.goparkunlock(...)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:387
runtime.bgsweep(0x0?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgcsweep.go:278 +0xa8 fp=0x3fa403b7c8 sp=0x3fa403b788 pc=0x32228
runtime.gcenable.func1()
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgc.go:178 +0x2c fp=0x3fa403b7d8 sp=0x3fa403b7c8 pc=0x26f44
runtime.goexit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/asm_riscv64.s:512 +0x4 fp=0x3fa403b7d8 sp=0x3fa403b7d8 pc=0x7281c
created by runtime.gcenable
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgc.go:178 +0x70

goroutine 4 [GC scavenge wait]:
runtime.gopark(0x3fa4050000?, 0x4a23b8?, 0x0?, 0x0?, 0x0?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:381 +0x110 fp=0x3fa403bf80 sp=0x3fa403bf68 pc=0x45f68
runtime.goparkunlock(...)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:387
runtime.(*scavengerState).park(0x757d40)
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgcscavenge.go:400 +0x68 fp=0x3fa403bfa8 sp=0x3fa403bf80 pc=0x30100
runtime.bgscavenge(0x0?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgcscavenge.go:628 +0x50 fp=0x3fa403bfc8 sp=0x3fa403bfa8 pc=0x30658
runtime.gcenable.func2()
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgc.go:179 +0x2c fp=0x3fa403bfd8 sp=0x3fa403bfc8 pc=0x26ee4
runtime.goexit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/asm_riscv64.s:512 +0x4 fp=0x3fa403bfd8 sp=0x3fa403bfd8 pc=0x7281c
created by runtime.gcenable
        /mnt/MyNAS/walker/.bin/go/src/runtime/mgc.go:179 +0xb0

goroutine 5 [finalizer wait]:
runtime.gopark(0x3fa403a590?, 0x11?, 0xd0?, 0x4d?, 0x3eb760?)
        /mnt/MyNAS/walker/.bin/go/src/runtime/proc.go:381 +0x110 fp=0x3fa403a5a8 sp=0x3fa403a590 pc=0x45f68
runtime.runfinq()
        /mnt/MyNAS/walker/.bin/go/src/runtime/mfinal.go:193 +0x100 fp=0x3fa403a7d8 sp=0x3fa403a5a8 pc=0x26050
runtime.goexit()
        /mnt/MyNAS/walker/.bin/go/src/runtime/asm_riscv64.s:512 +0x4 fp=0x3fa403a7d8 sp=0x3fa403a7d8 pc=0x7281c
created by runtime.createfing
        /mnt/MyNAS/walker/.bin/go/src/runtime/mfinal.go:163 +0x64

首先，我对代码速度的理解是：用不同的编译器，例如clang、gcc，编译同一个Benchmark，例如Coremark，然后在同样的测试环境中（例如Spike、QEMU）比较Benchmark的得分。
我用Coremark分别测试了Clang9.0.0和GCC9.2.0在不同优化选项的情况下，在Spike上面的跑分情况，设定CPI=1（不考虑Cache miss），时钟频率为48MHz，单核，得到的Coremark跑分如下：

	Clang9.0.0-O2	Clang9.0.0-O3	Clang9.0.0-Os	Gcc9.2.0-O2	Gcc9.2.0-O3	Gcc9.2.0-Os
RV32 CodeSpeed	2.752	2.758	2.58	3.201	3.256	2.645
RV64 CodeSpeed	2.571	2.584	2.427	3.197	3.246	2.683

从上表可以看到，Clang除了Os优化选项和GCC比较接近外，其他选项基本上只有GCC性能的80%左右。

BTW，还有一些问题：

我不清楚这样的评测是否具有意义，毕竟没有考虑数据冲突、结构冲突、Cache miss、多发射、多核等这些情况，关于具体的测试步骤和测试环境可能还需要特别强调？
关于Benchmark的选择，Coremark是否具有代表性？或许可以选择一些更好的测试程序？例如：https://github.com/embench/embench-iot