Paul Pan Paul
0 Followers · 0 Following
  • Joined on 2023-01-05
Repositories
5
 Projects Packages Code Public Activity Starred Repositories
1
Paul synced commits to dev at Paul/tiny_os from mirror 2024-05-19 20:00:53 +08:00
7d5875cb0c feat: objects: adapt to new vspace
36b061d9a1 feat: refactor vspace
Compare 2 commits »
Paul synced commits to dev at Paul/tiny_os from mirror 2024-05-19 03:40:54 +08:00
a4861445fe feat: refactor vspace
a56c481970 feat: split lib/vspace:
Compare 2 commits »
Paul synced commits to dev at Paul/tiny_os from mirror 2024-05-08 06:21:02 +08:00
55147ad9ff chore: Makefile: add asm dump
248a985bab fix: use sscratch to judge trap source
a2dce7ad48 chore: update vscode debug script
71faad766d feat: add rr support
Compare 4 commits »
Paul opened issue Paul/tiny_os#1 2024-05-06 23:30:32 +08:00
IDEAs
Paul synced commits to dev at Paul/tiny_os from mirror 2024-05-06 05:21:03 +08:00
0ee2b996e4 feat: add TableCap
8f312909c0 chore: update GitHub Action
c710cdcd15 chore: FrameCap: fix typo and rename func
f0891ff87d feat: table: add TABLE_SIZE
e46ca5a288 chore: simplify SysResult
Compare 12 commits »
Paul synced commits to dev at Paul/tiny_os from mirror 2024-05-05 04:51:04 +08:00
d2155ed7cf feat: utils: linked_list: do not require clone trait
1ce03e09cc feat: drop xtask, use makefile
750a48f281 fix: utils: add missing warn.rs
2bb9e9b651 chore: utils: make clippy happy
0c3ece6fdc feat: switch to new linked_list
Compare 6 commits »
Paul synced commits to dev at Paul/tiny_os from mirror 2024-04-29 01:55:23 +08:00
93df10c5a2 chore: make clippy happy
95dc7144c6 feat: add tests for untyped
5ea8a56611 fix: untyped retype: check null
18240fec26 feat: add tests for cnode address resolving
067a7996b4 feat: add vscode debug
Compare 6 commits »
Paul pushed to develop at woj/woj-server 2024-04-29 00:17:24 +08:00
e57c51bfa7 chore: update api version [skip ci]
3413b136b1 feat: update api
6cbb1ab4a9 feat: always use sso for user
Compare 3 commits »
Paul pushed to master at woj/woj-ui-2 2024-04-29 00:16:22 +08:00
6eb3ccfdd0 feat: sync with latest api
Paul pushed to develop at woj/woj-server 2024-04-28 14:40:02 +08:00
aaac7f57a0 fix: problem config is not properly parsed
Paul commented on issue woj/woj-server#9 2024-04-28 01:24:51 +08:00
使用 cgroups 统计资源
  • 配置 cgroups 时考虑限制 swap 使用 （或者不允许使用 swap ?）
Paul commented on issue woj/woj-server#9 2024-04-28 01:23:56 +08:00
使用 cgroups 统计资源

0f026aa18074a2467464060c658b14cc05d334a2 引入了 SoftMemoryLimit 用于处理 Go 等喜欢预留大量内存的语言

Paul commented on issue woj/woj-server#9 2024-04-28 01:22:59 +08:00
使用 cgroups 统计资源

目前使用 wait4 统计内存、时间开销，但如果子进程涉及多线程，统计结果将不可靠：

I don't have a reference for this, but you can easily verify it…

Paul pushed to develop at woj/woj-server 2024-04-28 01:17:35 +08:00
1dfe296820 feat: allow to configure runner concurrency
Paul pushed to develop at woj/woj-server 2024-04-28 01:04:06 +08:00
98578709f8 feat: disallow robots
Paul pushed to develop at woj/woj-server 2024-04-28 00:41:23 +08:00
1e8d9f8c8a chore: update book's config.json
Paul pushed to develop at woj/woj-server 2024-04-28 00:36:50 +08:00
0f026aa180 feat: support golang
Paul pushed to master at woj/woj-ui-2 2024-04-28 00:31:43 +08:00
7785d7a875 fix: NProcLimit is not fully deleted
Paul pushed to master at woj/woj-ui-2 2024-04-28 00:29:30 +08:00
6f82b6b071 chore: fix GitHub Actions
Paul pushed to master at woj/woj-ui-2 2024-04-28 00:28:08 +08:00
da11e88453 chore: fix GitHub Actions