是否有任何语言/扩展允许程序员在特定代码段中定义程序的一般运行时行为？
一些垃圾收集语言允许您在运行时修改GC的行为。就像在lua中一样，collectgarbage函数可以让你这样做。因此，例如，当您希望确保在资源的关键部分（之后再次启动GC）的垃圾收集中不使用CPU资源时，可以停止GC。
我正在寻找一种指定程序预期行为的通用方法，而无需指定特定的GC调整。我甚至对纸上的规范方法感兴趣（即程序员会编写代码的东西，但不会实际实现该行为的程序语法）。关键在于，这可以用于指定不应被中断的代码的关键部分（延迟相关活动）或某些代码路径的其他预期属性（输出和输入之间的最大时间或两个输出，平均运行时间，等等）。
例如，这种语法可能会描述latencyDependentStuff应该花费的最长时间是5毫秒：
requireMaxTime(5) {
latencyDependentStuff();
}
以前有人见过这样的事吗？