第一章：Go语言的底层能力与跨平台特性
Go 语言从设计之初就将“可移植性”与“系统级控制力”视为一体两面。其运行时（runtime）不依赖外部虚拟机，而是通过静态链接将 Go 运行时、垃圾收集器、调度器和用户代码打包为单一二进制文件——这意味着无需目标机器安装 Go 环境或特定运行时库即可直接执行。
编译时的跨平台支持
Go 提供开箱即用的交叉编译能力。只需设置 GOOS 和 GOARCH 环境变量，即可在 Linux 上构建 Windows 可执行文件：
# 在 macOS 上构建 Linux 版本的二进制
GOOS=linux GOARCH=amd64 go build -o hello-linux main.go
# 在 Linux 上构建 Windows 版本（需启用 CGO=false 避免 C 依赖）
CGO_ENABLED=0 GOOS=windows GOARCH=386 go build -o hello-win.exe main.go该机制依托于 Go 自研的汇编器与链接器，完全绕过系统原生工具链（如 GCC），显著降低平台耦合度。
底层内存与调度模型
Go 的 goroutine 并非操作系统线程，而是由 runtime 在 M（machine，OS 线程）、P（processor，逻辑处理器）、G（goroutine）三层模型中调度。每个 G 仅占用约 2KB 栈空间（初始大小），可轻松创建百万级并发单元。这种轻量级抽象建立在对内存布局的精细控制之上：例如，unsafe 包允许直接操作指针偏移，而 reflect 包在编译期保留类型元数据，使序列化与 RPC 框架无需代码生成即可高效工作。
常见目标平台支持矩阵
| GOOS | GOARCH | 典型用途 | 是否默认启用 CGO |
|---|---|---|---|
| linux | amd64/arm64 | 服务器、容器环境 | 是 |
| darwin | amd64/arm64 | macOS 桌面应用 | 是 |
| windows | 386/amd64 | 桌面软件分发 | 否（推荐禁用） |
| js | wasm | 浏览器端高性能模块 | 不适用 |
这种统一的构建范式，配合 go env -w GO111MODULE=on 等标准化配置，使团队可在任意开发机上产出全平台一致的制品。
第二章：云原生基础设施开发实战
2.1 基于Go构建高并发API网关：理论模型与eBPF集成实践
传统API网关在百万级连接下易受内核协议栈瓶颈制约。本方案采用用户态TCP卸载（基于io_uring+gnet）叠加eBPF流量预筛机制，实现请求路径零拷贝分流。
核心架构分层
- L4层加速：eBPF
TC程序在ingress钩子拦截SYN包，依据服务标签快速决策是否透传至Go网关 - L7层智能路由：Go runtime直连
AF_XDPsocket，绕过sk_buff分配开销 - 动态策略同步：通过
bpf_map共享服务发现元数据，避免用户态轮询
eBPF策略映射示例
// bpf_prog.c：基于服务名哈希的快速转发判定
SEC("classifier")
int ingress_filter(struct __sk_buff *skb) {
void *data = (void *)(long)skb->data;
struct iphdr *iph = data;
if (iph->protocol != IPPROTO_TCP) return TC_ACT_OK;
u32 svc_hash = bpf_get_prandom_u32() & 0xFF; // 简化示意
u8 *target_cpu = bpf_map_lookup_elem(&svc_to_cpu_map, &svc_hash);
if (target_cpu) bpf_redirect_map(&xdp_cpus_map, *target_cpu, 0);
return TC_ACT_OK;
}逻辑说明：该eBPF程序在TC层级运行，通过无锁
bpf_map_lookup_elem查表获取目标CPU ID；xdp_cpus_map为BPF_MAP_TYPE_DEVMAP类型，直接将报文重定向至指定CPU的XDP队列，规避内核网络栈处理延迟。参数svc_hash模拟服务标识映射，实际部署中由Go控制面通过libbpf-go动态更新svc_to_cpu_map。
| 组件 | 延迟贡献 | 可观测性支持 |
|---|---|---|
| eBPF过滤器 | bpf_trace_printk + perf_event_array |
|
| Go事件循环 | ~1.2μs | runtime/trace + pprof |
| XDP转发 | ~300ns | xdp_stats map计数器 |
graph TD
A[客户端] -->|SYN包| B[eBPF TC Classifier]
B -->|匹配服务标签| C[XDP CPU队列]
B -->|未命中| D[内核协议栈]
C --> E[Go网关Worker Pool]
E --> F[业务微服务]2.2 使用Operator SDK开发Kubernetes自定义控制器：CRD设计与状态同步机制
CRD设计核心原则
- 声明式优先：
spec描述期望状态，status反映实际状态，二者严格分离 - 版本兼容性：通过
schema显式约束字段类型与可选性，避免升级中断
数据同步机制
Controller 通过 Informer 缓存集群对象，采用事件驱动的 Reconcile 循环实现最终一致性：
func (r *DatabaseReconciler) Reconcile(ctx context.Context, req ctrl.Request) (ctrl.Result, error) {
var db myv1.Database
if err := r.Get(ctx, req.NamespacedName, &db); err != nil {
return ctrl.Result{}, client.IgnoreNotFound(err)
}
// 根据 db.Spec.Size 创建/扩缩 StatefulSet
return ctrl.Result{RequeueAfter: 30 * time.Second}, nil
}逻辑分析：
r.Get从本地缓存读取最新Database对象；RequeueAfter触发周期性状态比对，避免轮询开销。client.IgnoreNotFound忽略资源删除事件，交由 Finalizer 处理。
CRD 状态字段映射表
| 字段路径 | 类型 | 用途 |
|---|---|---|
status.phase |
string | Pending/Running/Failed |
status.observedGeneration |
int64 | 关联 spec 更新版本，防 stale update |
graph TD
A[Watch Database Event] --> B{Is Spec Changed?}
B -->|Yes| C[Run Reconcile]
B -->|No| D[Skip]
C --> E[Update status via Patch]2.3 编写轻量级Service Mesh数据平面代理：Envoy xDS协议解析与Go实现
Envoy 通过 xDS（x Discovery Service）协议动态获取配置，核心包括 CDS（Cluster）、EDS（Endpoint）、LDS（Listener）、RDS（Route）。其本质是 gRPC 流式双向通信，客户端（代理）发起 StreamEndpoints 请求，服务端按需推送增量更新。
数据同步机制
xDS 要求强一致性与最终一致性平衡：
- 使用
nonce防重放与乱序 version_info触发幂等应用resource_names指定按需订阅资源
Go 实现关键逻辑
以下为简化版 LDS 流客户端初始化片段：
// 创建 xDS gRPC 客户端连接
conn, _ := grpc.Dial("xds-server:18000", grpc.WithTransportCredentials(insecure.NewCredentials()))
client := discovery.NewAggregatedDiscoveryServiceClient(conn)
// 发起监听器发现流
stream, _ := client.StreamAggregatedResources(context.Background())
stream.Send(&discovery.DiscoveryRequest{
TypeUrl: "type.googleapis.com/envoy.config.listener.v3.Listener",
ResourceNames: []string{"ingress_listener"},
VersionInfo: "",
Nonce: "1",
})
TypeUrl标识资源类型；ResourceNames指定监听目标；Nonce用于响应匹配；空VersionInfo表示首次请求。流建立后，代理持续接收DiscoveryResponse并热重载 Listener。
| 字段 | 类型 | 说明 |
|---|---|---|
type_url |
string | Protobuf 全限定名，决定反序列化类型 |
resources |
Any[] | 序列化后的资源列表（如 Listener 结构） |
version_info |
string | 当前已确认版本，用于 ACK 确认 |
graph TD
A[Envoy Proxy] -->|StreamRequest| B[xDS Server]
B -->|StreamResponse| A
A -->|ACK/NAK| B2.4 构建可观测性采集器：OpenTelemetry SDK深度定制与零拷贝指标序列化
零拷贝序列化核心动机
传统 protobuf.Marshal() 触发多次内存分配与数据复制，高吞吐场景下 GC 压力陡增。OpenTelemetry Go SDK 默认使用 []byte 缓冲区，但未暴露底层 proto.Buffer 实例，需通过 sdk/metric/controller/basic 的 Exporter 接口注入自定义序列化逻辑。
自定义 Exporter 中的零拷贝实践
// 使用预分配 proto.Buffer 复用内存，避免每次 Marshal 分配新切片
type ZeroCopyExporter struct {
buf *proto.Buffer // 预分配、复用的缓冲区
}
func (e *ZeroCopyExporter) Export(ctx context.Context, rm *metricdata.ResourceMetrics) error {
e.buf.Reset() // 复位而非新建
if _, err := e.buf.Marshal(&rm); err != nil {
return err
}
// 直接提交 e.buf.Bytes() —— 无额外 copy
return sendToCollector(e.buf.Bytes())
}e.buf.Reset() 清空内部 []byte 而不释放底层数组；Marshal() 复用已有容量，避免扩容 realloc；Bytes() 返回当前有效数据视图，实现真正零拷贝传输。
性能对比（10k metrics/sec）
| 序列化方式 | 分配次数/秒 | 平均延迟（μs） | GC 暂停时间（ms/s） |
|---|---|---|---|
| 默认 protobuf | 24,800 | 182 | 12.6 |
proto.Buffer 复用 |
3,100 | 47 | 1.9 |
graph TD
A[ResourceMetrics] --> B{Export()}
B --> C[Reset proto.Buffer]
C --> D[Marshal into pre-allocated bytes]
D --> E[sendToCollector Bytes()]2.5 容器运行时扩展开发：runc兼容层封装与OCI规范动态钩子注入
为实现运行时行为可插拔，需在标准 runc 调用链中注入自定义逻辑，同时严格遵循 OCI Runtime Spec v1.1。
runc 兼容层核心封装结构
type HookedRunc struct {
binary string // 实际 runc 二进制路径（如 "/usr/bin/runc"）
hooks map[string][]oci.Hook // 按生命周期阶段（prestart、poststop等）组织
}该结构将原生 runc 命令抽象为可组合组件，binary 确保向下兼容；hooks 字段支持按 OCI 钩子类型动态注册，避免修改上游二进制。
动态钩子注入流程
graph TD
A[OCI Bundle 解析] --> B{hook.json 是否存在？}
B -->|否| C[使用默认 runc 执行]
B -->|是| D[合并用户钩子到 spec.Hooks]
D --> E[调用底层 runc --no-pivot]支持的钩子阶段与触发时机
| 阶段 | 触发时机 | 典型用途 |
|---|---|---|
prestart |
容器进程 fork 后、exec 前 | 注入 eBPF 探针、设置 cgroup 限流 |
poststop |
容器退出后、资源释放前 | 清理临时网络命名空间、上报指标 |
第三章：区块链底层系统开发进阶
3.1 公链共识模块实现：Tendermint BFT算法Go版精要与拜占庭容错验证实践
Tendermint Core 是首个被广泛采用的、可插拔的 BFT 共识引擎，其 Go 实现严格遵循《The Byzantine Fault Tolerant State Machine Replication》协议规范。
核心状态机跃迁
// consensus/state.go 中关键状态转换
switch cs.Step {
case cstypes.RoundStepNewHeight:
cs.enterNewRound(height, 0) // 高度递进，重置轮次
case cstypes.RoundStepPropose:
cs.decideProposal(height, round) // 提议阶段：需2/3+预投票签名
}cs 为共识状态对象；height 和 round 构成唯一共识坐标；decideProposal 触发区块提议广播与验证，要求 ≥⅔诚实节点签名才进入 Prevote。
拜占庭容错边界验证
| 节点总数 n | 容忍拜占庭节点 f | 约束条件 |
|---|---|---|
| 4 | 1 | n ≥ 3f + 1 |
| 7 | 2 | 同上 |
消息传播流程
graph TD
A[Propose] --> B[Prevote]
B --> C[Precommit]
C --> D[Commit]
D --> E[NewHeight]3.2 智能合约虚拟机嵌入：WASM runtime（Wazero）集成与Gas计量精准控制
Wazero 作为零依赖、纯 Go 实现的 WebAssembly 运行时，天然契合区块链节点轻量化与安全沙箱需求。其无 JIT、仅解释执行的特性，为 Gas 精确计量提供了确定性基础。
Gas 计量钩子注入机制
Wazero 支持 RuntimeConfig.WithCustomEngine 注入自定义 Engine，可在每条 WASM 指令执行前后回调 GasMeter：
config := wazero.NewRuntimeConfigInterpreter()
config = config.WithCustomEngine(
&gasMeteringEngine{base: wazero.NewInterpreterEngine(), meter: newGasMeter()},
)逻辑分析：
gasMeteringEngine包装原生解释器，在Call()和Execute()入口处调用meter.Charge(opCode)，按指令复杂度查表扣减（如i64.add耗 1 gas，call_indirect耗 25 gas）。newGasMeter()返回线程安全、支持中断的计数器，确保超限时立即 panic 并回滚。
指令级 Gas 映射表
| 指令类型 | 示例操作 | 基础 Gas | 备注 |
|---|---|---|---|
| 算术运算 | i32.add |
1 | 常量开销 |
| 内存访问 | i32.load |
3 | 含边界检查成本 |
| 函数调用 | call |
10 | 不含目标函数开销 |
| 主机函数调用 | env.read_host |
50 | 含跨边界序列化成本 |
执行流程保障
graph TD
A[合约字节码加载] --> B{Wazero Compile}
B --> C[生成可计量模块]
C --> D[实例化时绑定GasMeter]
D --> E[每次Call前快照Gas余额]
E --> F[指令执行中实时扣减]
F --> G{Gas ≤ 0?}
G -->|是| H[Trap并终止]
G -->|否| I[继续执行]3.3 零知识证明协处理器通信：Groth16电路验证器的Go绑定与内存安全调用封装
内存安全封装设计原则
- 使用
C.CString+defer C.free()确保 C 字符串生命周期可控 - 所有
*C.uint8_t输入均经unsafe.Slice()转换为 Go slice，并显式校验长度 - 验证结果通过值传递（
bool）而非裸指针，杜绝悬垂引用
Go 绑定核心函数调用示例
// VerifyGroth16Proof 验证序列化 proof/vk/pubInput（均为小端字节流）
func VerifyGroth16Proof(
proof []byte, vk []byte, pubInput []byte,
) (bool, error) {
cProof := C.CBytes(proof)
defer C.free(cProof)
// ... 其他 CBytes 分配与释放（略）
ok := C.groth16_verify(
(*C.uint8_t)(cProof), C.size_t(len(proof)),
(*C.uint8_t)(cVK), C.size_t(len(vk)),
(*C.uint8_t)(cPubInput), C.size_t(len(pubInput)),
)
return bool(ok), nil
}逻辑分析：
C.groth16_verify是 Rust/C FFI 导出函数，接收三组原始字节流及对应长度。C.size_t参数防止越界读取；defer C.free保障堆内存确定性释放，避免 C 层长期持有 Go 内存导致 GC 异常。
安全调用流程（mermaid）
graph TD
A[Go byte slices] --> B[Copy to C heap via C.CBytes]
B --> C[Call C.groth16_verify]
C --> D[Return bool]
D --> E[Free C memory in defer]第四章：嵌入式与边缘计算场景落地
4.1 TinyGo在ARM Cortex-M系列MCU上的裸机编程：中断向量表配置与外设寄存器映射实践
TinyGo通过链接脚本与//go:section指令实现裸机级控制，绕过标准运行时，直连硬件。
中断向量表的静态布局
需在.ld链接脚本中强制定位向量表至地址0x0000_0000（Cortex-M复位向量入口），并确保前两项为初始栈顶指针与复位处理函数地址。
外设寄存器映射示例（以STM32F407的GPIOA为例）：
//go:volatile
var GPIOA = (*GPIO)(unsafe.Pointer(uintptr(0x40020000)))
type GPIO struct {
MODER uint32 // 0x00: 模式寄存器（每2位控制1引脚）
OTYPER uint32 // 0x04: 输出类型
OSPEEDR uint32 // 0x08: 输出速度
}
//go:volatile防止编译器优化对内存映射IO的读写；uintptr(0x40020000)是STM32F407 GPIOA的APB2基地址，符合RM0090手册定义。
向量表关键字段对照表
| 偏移 | 名称 | 用途 |
|---|---|---|
| 0x00 | Initial SP | 主栈初始值（MSP） |
| 0x04 | Reset Handler | 复位后首条执行指令 |
graph TD
A[复位信号] --> B[从0x0000_0000读取MSP]
B --> C[从0x0000_0004跳转Reset Handler]
C --> D[TinyGo _start → main()]4.2 实时消息总线构建：基于MQTT-SN协议栈的低功耗边缘网关Go实现与Tickless调度优化
MQTT-SN专为受限网络（如LoRa、NB-IoT）和电池供电设备设计，其精简报文结构与无连接会话机制显著降低边缘节点能耗。
Tickless调度核心思想
传统定时器轮询浪费CPU周期；Tickless通过动态计算下一次事件到期时间，使MCU进入深度睡眠直至唤醒中断触发。
Go语言实现关键抽象
type SNBroker struct {
clients sync.Map // clientID → *SNClient
timer *time.Timer
nextExpiry time.Time
}
func (b *SNBroker) scheduleNext() {
b.timer.Reset(b.nextExpiry.Sub(time.Now())) // 动态重设超时
}sync.Map支持高并发客户端注册/注销；timer.Reset()避免频繁创建销毁Timer对象，契合Tickless“单次精准唤醒”范式。
| 特性 | MQTT | MQTT-SN | 优势场景 |
|---|---|---|---|
| 协议开销 | ~2B固定头 | ~1B固定头 | NB-IoT单包≤50B限制 |
| 名称注册 | 显式Topic字符串 | 2字节Topic ID映射 | 减少无线信道占用 |
graph TD
A[传感器上报] --> B{SNBroker解析}
B --> C[查Topic ID映射表]
C --> D[转发至对应订阅者]
D --> E[更新nextExpiry]
E --> F[进入Tickless休眠]4.3 安全启动固件验证：ECDSA签名验签模块与硬件TEE（如ARM TrustZone）协同设计
安全启动依赖可信根（RoT）对固件镜像进行完整性与来源认证。ECDSA验签模块作为关键密码学组件，运行于Secure World（TrustZone Secure Monitor或Secure OS上下文），隔离于Normal World的潜在篡改。
验签流程协同架构
// ECDSA验签核心调用（在Secure EL1中执行）
int tz_ecdsa_verify(const uint8_t *sig, const uint8_t *hash,
const ecdsa_pubkey_t *pubkey) {
// 1. 输入参数经SMC调用由Monitor安全转发
// 2. 私钥永不导出；公钥预置在ROM/OTP中
// 3. 使用P-256曲线，hash为SHA256(boot_image)
return crypto_lib_verify(sig, hash, pubkey, EC_CURVE_P256);
}该函数在Secure EL1中执行，所有输入经TrustZone内存保护单元（MPU）校验，确保hash与sig来自只读Secure RAM，pubkey仅可读取自OTP熔丝区。
硬件-软件职责划分
| 组件 | 职责 | 安全保障机制 |
|---|---|---|
| TrustZone TZC-400 | 控制DRAM中Secure Boot Region访问权限 | 地址范围锁 + NS-bit门控 |
| ECDSA硬件加速器（如ARM CryptoCell-712） | 执行模幂、点乘等耗时运算 | 寄存器隔离 + 侧信道防护（恒定时间算法） |
| Secure Monitor (EL3) | 调度验签请求、验证调用者NS bit | SMC调用白名单 + 参数完整性检查 |
graph TD A[Boot ROM] –>|加载BL2到Secure SRAM| B[Secure World] B –> C[ECDSA验签模块] C –> D[TrustZone Memory Controller] D –> E[OTP公钥存储] C –> F[Secure Hash Result from SHA256] C –> G[Signature in eMMC Boot Partition]
4.4 跨架构交叉编译体系：从x86_64到RISC-V的CGO禁用构建策略与汇编内联适配
在纯静态、无运行时依赖的嵌入式场景中，CGO_ENABLED=0 是构建 RISC-V 目标二进制的必要前提：
CGO_ENABLED=0 GOOS=linux GOARCH=riscv64 go build -o app-rv64 .此命令禁用 CGO 后，Go 运行时将使用纯 Go 实现的系统调用封装（如
syscall/js或internal/syscall/unix），避免链接libc—— 而 RISC-V 生态中标准 libc（如musl-riscv64）尚未被主流 Go 工具链默认集成。
内联汇编迁移要点
x86_64 的 MOVQ 必须重写为 RISC-V 的 mv + li 组合，寄存器命名（x10 vs RAX）、调用约定（a0-a7 传参）均需重构。
关键约束对比
| 维度 | x86_64 | RISC-V64 |
|---|---|---|
| 默认调用约定 | System V AMD64 | RISC-V psABI |
| CGO 依赖 | glibc / musl | musl-riscv64（需手动配置） |
| 内联语法 | MOVQ $1, %rax |
li a0, 1 |
// RISC-V 兼容的原子加法（替代 x86 的 XADDQ）
//go:build riscv64
// +build riscv64
func atomicAdd64(ptr *uint64, delta uint64) uint64 {
return atomic.AddUint64(ptr, delta) // 底层自动映射为 lr.d/sc.d 序列
}Go 1.21+ 已为
riscv64提供完整sync/atomic汇编实现，无需手写 LR/SC 循环；但自定义内联仍需遵循riscv64的asm规范：使用GO_ARGS宏、显式声明 clobber 列表。
第五章：未来演进与生态边界突破
跨云服务网格的实时流量调度实践
某头部金融科技公司在2023年完成混合云架构升级，将Kubernetes集群部署于AWS、阿里云及自建IDC三环境中。通过Istio 1.21+eBPF数据面改造，实现毫秒级服务发现与动态权重路由。当阿里云华东1区突发网络抖动（RTT >800ms），系统自动将73%的支付链路流量切至AWS新加坡节点，并同步触发Prometheus告警与SLO降级通知。其核心配置片段如下：
apiVersion: networking.istio.io/v1beta1
kind: VirtualService
spec:
http:
- route:
- destination:
host: payment-service
subset: aws-sg
weight: 73
- destination:
host: payment-service
subset: aliyun-hz
weight: 27开源协议兼容性重构案例
Apache Flink社区在2024年Q1启动“双许可证桥接计划”，为满足欧盟DSA合规要求，将核心Runtime模块从Apache License 2.0扩展为Apache-2.0 + MPL-2.0双许可。此举使德国电信等企业客户得以在专有监控插件中安全集成Flink流处理引擎，避免GPL传染风险。关键变更涉及37个Java类的License Header批量替换与Maven构建脚本增强：
| 模块名 | 原许可证 | 新增许可证 | 合规生效日期 |
|---|---|---|---|
| flink-runtime | Apache-2.0 | MPL-2.0 | 2024-03-15 |
| flink-connectors | Apache-2.0 | MPL-2.0 | 2024-04-22 |
| flink-statebackend | Apache-2.0 | MPL-2.0 | 2024-05-11 |
硬件抽象层与AI推理协同优化
寒武纪MLU370-X8加速卡在大模型推理场景中，通过自研Cambricon-MLU SDK v2.8.0实现Kernel级内存复用。某医疗影像AI平台将ResNet-50+ViT混合模型部署后，显存占用下降41%，单卡吞吐提升至238 FPS（batch=16）。其关键优化点包括：
- 利用MLU的Tensor Core异步计算单元重叠数据预处理与模型前向传播
- 通过硬件指令集扩展（CNStream v4.2）实现DICOM图像解码零拷贝传输
- 动态电压频率调节（DVFS）策略根据GPU利用率实时调整MLU功耗档位
边缘-中心协同训练架构落地
美团无人配送车队在2024年Q2上线联邦学习2.0框架，覆盖全国217个城市的8,943台配送机器人。每台设备搭载NVIDIA Jetson Orin NX，在本地完成YOLOv8s模型微调后，仅上传梯度差分（ΔW）至中心服务器。实测表明：
- 单次本地训练耗时≤3.2秒（含数据增强与验证）
- 梯度压缩比达1:24（FP32→INT8+稀疏化）
- 中心聚合延迟稳定在187±12ms（K8s StatefulSet保障）
flowchart LR
A[边缘机器人] -->|ΔW加密上传| B(中心聚合节点)
B --> C{梯度有效性校验}
C -->|通过| D[更新全局模型]
C -->|失败| E[触发重传机制]
D --> F[模型版本灰度下发]
F --> A开源治理工具链深度集成
Linux基金会LF AI & Data项目在2024年将OPA（Open Policy Agent）嵌入CNCF Landscape矩阵，支持对Helm Chart、Terraform Module、Kustomize Overlay实施策略即代码（Policy-as-Code）管控。某银行云平台通过该方案拦截了127次违规操作，包括：
- 未启用TLS 1.3的Ingress资源创建
- AWS S3存储桶公开读权限误配置
- Kubernetes Pod未设置resource.limits.memory
其策略规则定义示例（Rego语言）：
package kubernetes.admission
deny[msg] {
input.request.kind.kind == "Pod"
not input.request.object.spec.containers[_].resources.limits.memory
msg := sprintf("Pod %s must specify memory limits", [input.request.object.metadata.name])
}