欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
cgroup(control groups) 是由 Google 工程师提出,后被整合进Linux内核的一种可以限制、纪录、隔离进程组(process groups)所使用的物理资源(如CPU、内存、I/O等)的机制。