这个模型必须很简单，不然计算上的复杂度会导致无法应用。这个模型必须尽量减少启发式算法，不然最后就变成炼丹。同时要定义目标，追求是最优还是次优。
我最近在参与一个VLIW及其编译器的设计，对特定应用追求的是最优解。pipeline, crossbar, pipeline register, memory latency 这些都必须考虑进去。传统的编译器模型解决这些问题很困难。后来参考了这篇论文，感觉挺有价值。至少，这个模型可计算。https://dl.acm.org/doi/10.1145/3332373


当然这个模型比你要求的还差很多，但是我觉得这个方向是可以参考的。
【 在 MaLing 的大作中提到: 】
: 一段代码分别用汇编，C、python语言完成，除了运行时间，仅仅使用通用的CPI方式并不能准确的说出谁更优秀，但是如果我 ...
--
FROM 85.76.68.*

我不是反对你用功耗作为目标 我的意思是你要给你的目标建立一个目标函数 这样才有具体优化的对象
我提的那篇论文的模型很简单 可以直接列出线性方程组 同时这个模型又可以覆盖所有的后端优化问题
你提出的问题需要更宽的覆盖面 所以你得提炼出计算上更简单的一个模型 这个模型的变量要足够多 用以覆盖现实中所有的问题 但目标变量要足够少 方便优化 这个模型是否可解是以后的问题 但至少要提供一个术语的集合 使得你的问题可以定量的描述


【 在 MaLing 的大作中提到: 】
: 想过冗余代码样子是产生很多无用的操作，如果用指令的图描述应该是闭环而没有产生信息的过程，但是最终还是落在增加翻转的次数和 ...
--
FROM 85.76.68.*