CleanJ : Thunkの構造

Object[3]
|------|------------|-----------------|
| code | descriptor | pointer-to-data |
|------|------------|-----------------|

descriptorもThunk側に持たせることにしておく。

• • • -

関連するCleanJ命令としては、次の２つを用意。

create_data register descriptor a_size b_size
set_data descriptor

set_dataは、O1にthunk、O2にdataを用意して、thunkにdataを関連づける操作。