BlueSpec语言中ENABLE&READY=true的动作方法执行保障咨询

当动作方法满足ENABLE&READY=true时，BlueSpec本身没有默认机制保障它一定会被执行——尤其是当存在其他CAN_FIRE=true的规则或动作方法时，调度器会从所有可触发的候选中选择执行对象，没有强制要求必须选中该方法。

具体细节说明：

• BlueSpec的调度器基于优先级与公平性策略工作，但默认逻辑是优先级驱动。如果目标方法的优先级低于其他持续可触发的规则/方法，它可能一直得不到执行机会。
• 若要确保特定方法的执行优先级，必须显式添加调度约束：
  • 使用priority关键字为规则或方法指定优先级（如priority high）
  • 通过schedule语句定义调度顺序（如schedule myMethod before otherMethod），强制规定方法间的执行优先级
• 官方参考文档中虽未直接明确“是否一定会执行”，但调度规则的描述隐含了这一点：调度器仅在可触发候选中做选择，无默认的“必须执行”强制逻辑，依赖开发者通过约束控制行为。

内容的提问来源于stack exchange，提问作者Ayrat