2022年9月15日
eBPF
摘要： 小结： 1、 eBPF是一个能够在内核运行沙箱程序的技术，提供了一种在内核事件和用户程序事件发生时安全注入代码的机制，使得非内核开发人员也可以对内核进行控制。随着内核的发展，eBPF 逐步从最初的数据包过滤扩展到了网络、内核、安全、跟踪等，而且它的功能特性还在快速发展中，早期的 BPF 被称为经典 阅读全文
posted @ 2022-09-15 22:43 papering 阅读(516) 评论(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 阅读(817) 评论(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 阅读(37) 评论(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 阅读(282) 评论(0) 推荐(0)