【信息科学与工程学】【产品体系】第二十六篇 存储系统及存储服务器中所有学科知识02

直接编译运行的 HiGHS C++ MIP 实现，对应 SilentZNS Zone Allocator 的 ILP 模型。HiGHS 官方 C++ 接口推荐用HighsModel承载模型、HighsLp::integrality_向量标记整数变量、Highs::passModel()传入、Highs::run()求解，再从HighsInfo和Solution中提取目标值与变量值。一、最简可运行版本：Stripe 模式 Zone 分配数学模型（对应论文公式）：变量：cn​∈{0,1},n=0..N−1目标：min∑n​wn​⋅cn​（wn​ 为存储元素 n 的磨损）约束①（可用性固定）：若 an​∈{1,2}，则 cn​=0约束②（Zone 大小）：∑n​cn​=Z#include "highs.h" #include vector #include iostream #include chrono #include cmath #include cassert struct ZoneAllocatorMIP { Highs highs; ZoneAllocatorMIP() { // === HiGHS MI