java - 对象: no thread state can be involved,的序列化对吗？

Question

我正在认真研究将正在执行的程序的状态存储到磁盘并再次将其取回的基本原理。在我们当前的设计中，每个对象(这是一个带有函数指针列表的 C 级东西，一种低级的自制面向对象——这样做有很好的理由)将是调用以将其显式状态导出为可写和可恢复的格式。使这项工作有效的关键属性是与对象相关的所有状态确实封装在对象数据结构中。

还有其他解决方案，您可以使用 Activity 对象，其中有一个用户级线程附加到某些对象。因此，程序计数器、寄存器内容和堆栈内容突然成为程序状态的一部分。据我所知，没有什么好的方法可以在任意时间点将此类内容序列化到磁盘。线程必须将自己停在某个特殊状态，其中程序计数器等不代表任何内容，因此基本上将它们的执行状态机状态“保存”到显式对象状态。

我查看了一系列序列化库，据我所知这是一个通用属性。

核心问题是:或者事实并非如此？是否有保存/恢复解决方案可以包括线程状态，就线程在其代码中执行的位置而言？

请注意，将整个系统状态保存在虚拟机中并不算数，这并不是真正的序列化状态，而只是卡住一台机器并移动它。这是一个显而易见的解决方案，但大多数时候有点重量级。

一些问题清楚地表明我在解释我们如何做事的想法时不够清楚。我们正在开发一个模拟器系统，允许编写在其中运行的代码的非常严格的规则。特别是，我们将对象构造和对象状态完全分开。每次设置系统时都会重新创建接口(interface)函数指针，并且不是状态的一部分。状态仅由指定的特定“属性”组成，每个“属性”都有一个已定义的获取/设置函数，可在内部运行时表示和存储表示之间进行转换。对于对象之间的指针，它们都被转换为名称。所以在我们的设计中，一个对象在存储中可能会这样出来:

Object foo {
  value1: 0xff00ff00;
  value2: 0x00ffeedd;
  next_guy_in_chain: bar;
}

Object bar {
  next_guy_in_chain: null;
}

链表从未真正出现在模拟结构中，每个对象代表某种硬件单元。

问题是有些人想要这样做，但也有线程作为一种编码行为的方式。这里的“行为”实际上是模拟单元状态的突变。基本上，我们的设计表明，所有此类更改都必须在调用、完成工作并返回的原子完整操作中进行。所有状态都存储在对象中。您有一个 react 模型，或者它可以称为“运行到完成”或“事件驱动”。

另一种思考方式是让对象有 Activity 的线程在其上工作，这些线程与经典的 Unix 线程一样处于一个永恒的循环中，并且永不终止。在这种情况下，我试图查看它是否可以合理地存储到磁盘，但如果不在下面插入 VM，这似乎是不可行的。

更新，2009 年 10 月:与此相关的论文发表在 2009 年的 FDL session 上，参见 this paper关于检查点和 SystemC。

Answer 1

我认为仅序列化程序的“某些线程”是行不通的，因为您会遇到同步问题(此处描述了一些问题 http://java.sun.com/j2se/1.3/docs/guide/misc/threadPrimitiveDeprecation.html )。因此，坚持整个程序是获得一致状态的唯一可行方法。

您可能会研究正交持久性。有一些原型(prototype)实现:

http://research.sun.com/forest/COM.Sun.Labs.Forest.doc.external_www.PJava.main.html

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7429

但它们都不再被维护或获得了很大的吸引力 (afaik)。我想检查点毕竟不是最好的解决方案。在我自己的项目中http://www.siebengeisslein.org我正在尝试使用轻量级事务来分派(dispatch)事件的方法，因此不必维护线程状态(因为在事务结束时，线程调用堆栈再次为空，并且如果操作在事务中停止，一切被回滚，所以线程调用栈也很重要)。您可能可以使用任何 OODBMS 实现类似的东西。

另一种看待事物的方式是延续(http://en.wikipedia.org/wiki/Continuation，http://jauvm.blogspot.com/)。它们是一种在定义的代码位置暂停执行的方法(但它们不一定会保留线程状态)。

我希望这能给你一些起点(但没有针对此 afaik 的现成解决方案)。

编辑:阅读您的说明后:您绝对应该研究 OODBMS。在其自己的事务中调度每个事件，而不关心线程。