本研究提出了Abacus，一种基于成本的语义操作系统优化器，旨在克服现有优化方案的局限性。Abacus通过最小验证示例和先前性能信念来估计操作符性能，优化系统质量提高18.7%-39.2%，成本降低最多23.6倍，延迟降低4.2倍，展现出显著潜力。