JVM：是否可以操纵框架堆栈？

Question

假设我需要在同一线程中执行N个任务。 这些任务有时可能需要外部存储中的某些值。 我事先不知道哪个任务可能需要这样的值以及什么时候。 一次性读取M个值要快于向外部存储的M个查询中相同的M个值。

请注意， 我不能期望任务本身的合作，可以将它们视为java.lang.Runnable对象 。

现在，如我所见，理想的程序看起来像

1. 循环执行所有任务。 如果一项任务要求一个外部值，请记住这一点， 暂停该任务并切换到下一个任务。
2. 一次获取所有在上一步中请求的值。
3. 删除所有已完成的任务（暂停的任务不算作已完成）。
4. 如果仍有任务，请转到步骤1，但不要执行任务，而是从挂起状态继续执行。

据我所知，“挂起”和“恢复”某件事的唯一方法是从JVM堆栈中删除其相关框架，将它们存储在某个地方，然后将它们推回到堆栈中，然后让JVM继续。

是否有任何标准的方法（不涉及低于JVM字节码的黑客入侵）来做到这一点？

或者您是否可以建议实现此目的的另一种可能方式（除了启动N个线程或使任务以某种方式进行协作之外）？

Answer 1

可能使用类似quasar的东西通过代理进行堆栈切片。 任务之间的某种程度的协作是有帮助的，但是可以使用AOP从外部插入悬挂点。

（IMO最好明确说明正在发生的事情（使用例如Future和ForkJoinPool 。）如果某些普通代码在一个线程上运行了一段时间，然后“神奇地”挂起并跳转到另一个线程，则调试起来会很混乱借助现代语言和库，明确说明异步边界的开销应该不会太大。如果您的任务是使用通用类型编写的，那么很容易传递诸如scalaz Future类的东西，但是那样做就不会了。不能满足您的要求）。

Answer 2

如前所述， Quasar使用字节码转换完全做到了这一点（通常在M个线程上调度N个光纤，但您可以将M设置为1）。 它甚至为每个任务（也称为“光纤”）提供了自己的堆栈跟踪，因此您可以转储它并获得完整的堆栈跟踪，而不会受到共享线程的任何其他任务的干扰。

Answer 3

好吧你可以试试看

你需要

1. 一种保存任务当前状态的机制，因为当任务返回时，其框架将从调用堆栈中弹出。 根据返回值或类似的值，您可以确定天气是否完成，因为您需要从离开的位置重新执行它，因此您需要保存状态信息。

2. 为每个任务创建一个请求数据结构。 每当任务要请求某项请求时，它都会将其记录在其中，数据结构应支持任务可能提出的所有可能请求。

3. 将这些DS存储在地图中。 在循环的最后，您可以查询此DS，以确定每个任务所需的资源类型。

4. 将资源放入DS中。 从任务返回时的状态开始。

5. 任务查询DS获取资源。

6. 如果任务要使用外部资源，则应使用此DS。

您将需要设计一种在请求资源时要特别考虑的方法，因为当您再次重新执行任务时，您需要自己调用此方法，以便任务可以从其离开的地方开始执行。

* DS->数据结构

希望能帮助到你。