2009-05-04 02:46:13 -04:00
|
|
|
namespace factor
|
|
|
|
{
|
|
|
|
|
2009-05-08 16:05:55 -04:00
|
|
|
static const cell image_magic = 0x0f0e0d0c;
|
|
|
|
static const cell image_version = 4;
|
2009-05-02 05:04:19 -04:00
|
|
|
|
2009-05-04 05:50:24 -04:00
|
|
|
struct image_header {
|
|
|
|
cell magic;
|
|
|
|
cell version;
|
2009-12-02 02:09:08 -05:00
|
|
|
/* base address of data heap when image was saved */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell data_relocation_base;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* size of heap */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell data_size;
|
2009-12-02 02:09:08 -05:00
|
|
|
/* base address of code heap when image was saved */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell code_relocation_base;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* size of code heap */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell code_size;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* tagged pointer to t singleton */
|
2009-10-18 21:26:21 -04:00
|
|
|
cell true_object;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* tagged pointer to bignum 0 */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell bignum_zero;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* tagged pointer to bignum 1 */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell bignum_pos_one;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* tagged pointer to bignum -1 */
|
2009-05-04 05:50:24 -04:00
|
|
|
cell bignum_neg_one;
|
2009-05-02 05:04:19 -04:00
|
|
|
/* Initial user environment */
|
2009-10-23 01:33:53 -04:00
|
|
|
cell special_objects[special_object_count];
|
2009-05-02 11:17:05 -04:00
|
|
|
};
|
2009-05-02 05:04:19 -04:00
|
|
|
|
2009-05-04 05:50:24 -04:00
|
|
|
struct vm_parameters {
|
|
|
|
const vm_char *image_path;
|
|
|
|
const vm_char *executable_path;
|
2010-03-26 22:44:43 -04:00
|
|
|
cell datastack_size, retainstack_size, callstack_size;
|
2009-10-06 03:39:12 -04:00
|
|
|
cell young_size, aging_size, tenured_size;
|
2009-05-04 05:50:24 -04:00
|
|
|
cell code_size;
|
2009-05-02 05:04:19 -04:00
|
|
|
bool fep;
|
|
|
|
bool console;
|
2009-10-16 12:39:22 -04:00
|
|
|
bool signals;
|
2009-05-04 05:50:24 -04:00
|
|
|
cell max_pic_size;
|
2009-10-16 12:39:22 -04:00
|
|
|
cell callback_size;
|
2009-05-02 11:17:05 -04:00
|
|
|
};
|
2009-05-02 05:04:19 -04:00
|
|
|
|
2009-05-04 02:46:13 -04:00
|
|
|
}
|