[TOC]
参数存在的问题
上一章节我们说到下面的合约代码会出现问题:
int test(char *string){
func(string);
func("string");
}
在编译完成后对两个参数的处理是不同的:
(module
(type $FUNCSIG$i (func (result i32)))
(type $FUNCSIG$ii (func (param i32) (result i32)))
(import "env" "func" (func $func (param i32) (result i32)))
(table 0 anyfunc)
(memory $0 1)
(data (i32.const 16) "string\00")
(export "memory" (memory $0))
(export "test" (func $test))
(func $test (; 1 ;) (param $0 i32) (result i32)
(drop
(call $func
(get_local $0)
)
)
(drop
(call $func
(i32.const 16)
)
)
(get_local $0)
)
)
一种是通过外部传入指针,然后转换,一种是通过从虚拟机内部memory的偏移获取到参数,两者处理逻辑不同,这就会导致func在执行时出错,因此需要一种统一的方式来处理参数,或许还是需要借鉴ONT的方式了。 因为两个参数存在不同的地方,外部传入参数是存在local中的,内部参数是存在memory中的,没法通过一个相同的方法获取到参数变量,因此需要一种统一的方法。
ONT处理方式
ONT的处理方式是全面改写虚拟机内存,然后将外部参数和内部参数统一从memory中获取:
从图中可以看到,右边的ONT代码中VM的memory被修改成了自己的memory,而原生wagon memory则是一个byte序列,ONT memory结构如下:
type VMmemory struct {
Memory []byte
AllocedMemIdex int
PointedMemIndex int
ParamIndex int //args analyze pointer
MemPoints map[uint64]*TypeLength
}
如果是字节序列,则会将字节序列拷贝到memory中:
func (vm *VMmemory) copyMemAndGetIdx(b []byte, p_type PType) (int, error) {
idx, err := vm.MallocPointer(len(b), p_type)
if err != nil {
return 0, err
}
copy(vm.Memory[idx:idx+len(b)], b)
return idx, nil
}
从而实现内外部参数统一。
一种新的方式?
是否存在一种新方式,可以最大化保留原本wagon特性,并且实现内外部参数统一呢?