2022 年 9月 15 日随笔档案 - papering

2022年9月15日

摘要：小结： 1、 eBPF是一个能够在内核运行沙箱程序的技术，提供了一种在内核事件和用户程序事件发生时安全注入代码的机制，使得非内核开发人员也可以对内核进行控制。随着内核的发展，eBPF 逐步从最初的数据包过滤扩展到了网络、内核、安全、跟踪等，而且它的功能特性还在快速发展中，早期的 BPF 被称为经典阅读全文

posted @ 2022-09-15 22:43 papering 阅读(429) 评论(0) 推荐(0) 编辑

最大并发流（活动 HTTP 请求）数

摘要： RFC 7540 - Hypertext Transfer Protocol Version 2 (HTTP/2) https://httpwg.org/specs/rfc7540.html#rfc.section.5.1.2 5.1.2. Stream Concurrency A peer can 阅读全文

posted @ 2022-09-15 14:42 papering 阅读(525) 评论(0) 推荐(0) 编辑

断点调试 Debugging Go Applications using Delve

摘要： Debugging Go Programs using Delve - golangbot.com https://golangbot.com/debugging-go-delve/ Golang Debugging With Delve [Step by Step] | Golang Cafe h 阅读全文

posted @ 2022-09-15 11:22 papering 阅读(21) 评论(0) 推荐(0) 编辑

model checker

摘要： https://jyywiki.cn/OS/2022/slides/4.slides#/3/1 Model Checker Model checking is a method for formally verifying finite-state systems——只要能为系统建立模型，就能用 p 阅读全文

posted @ 2022-09-15 07:46 papering 阅读(229) 评论(0) 推荐(0) 编辑