search

go版本wasm解析器分析

[TOC]

hashtag
解析部分

第一步是打开我们传入的文件：

f, err := os.Open(flag.Arg(0))

然后调用下面函数来解析文件：

m, err := wasm.ReadModule(f, importer)

参数importer是用来解决传入的wasm文件导入函数问题的。 ReadModule函数负责将文件进行解析：

func ReadModule(r io.Reader, resolvePath ResolveFunc) (*Module, error) {
    magic, err := readU32(reader)


    if err != nil {



        return nil, err



    }



    if magic != Magic {



        return nil, ErrInvalidMagic



    }



    if m.Version, err = readU32(reader); err != nil {



        return nil, err



    }



    for {



        done, err := m.readSection(reader)



        if err != nil {



            return nil, err



        } else if done {



            break



        }



    }
    m.LinearMemoryIndexSpace = make([][]byte, 1)


    if m.Table != nil {



        m.TableIndexSpace = make([][]uint32, int(len(m.Table.Entries)))



    }



    if m.Import != nil && resolvePath != nil {



        err := m.resolveImports(resolvePath)



        if err != nil {



            return nil, err



        }



    }

首先判断魔数和版本号，这个是固定的：

然后解析各个分区：

关于文件格式分区可参考链接： https://rsms.me/wasm-introarrow-up-right 解析完成后有两个变量需要格外处理，一个是表格，一个是引用，可以参考链接： https://developer.mozilla.org/zh-CN/docs/WebAssembly/Understanding_the_text_formatarrow-up-right 表格是一个存储函数引用的替代，解决动态操作的问题，而引用则是使用其他wasm的export部分，也可以是虚拟机内部实现的部分。 m.resolveImports调用的就是main函数中的importer方法，它从当前文件中重新打开相应的wasm文件并使用。 我们可以做个测试。参见下面的引用导入测试。 这样我们就可以在检测到env时手动解决导入问题，从而实现区块链的API。

hashtag
执行部分

执行过程则是根据export出来的部分进行顺序执行：

具体执行过程则是线性堆栈的入栈和出栈操作，我们需要关心的是如何实现自己的API。本体是通过实现了一个自己的memory包来对堆栈进行处理的。

那么函数是怎么一步一步被调用的呢，首先是上面的解析过程，解析时会得到一个module的Type，Code和Data几个部分，然后会调用populateFunctions将函数添加到FunctionIndexSpace列表中：

然后调用NewVM生成虚拟机对象，同时生成函数列表：

goFunction带了一个call的方法，在执行函数时就是调用这个call方法，对虚拟机堆栈进行一些处理。

hashtag
引用导入测试

首先编写一个wasm文件，并引用其他的方法：

它的wat文件为：

编写一个add函数，并编译成env.wasm，然后编写main并编译成main.wasm：

它的wat文件为：

可以看到，这里import了env的add方法，wasm使用两级命名空间，这里表示要从env模块导入add方法，因此需要在env.wasm中实现add方法，下面执行调用：

上一页Wagon实现一个log函数下一页解析wasm二进制文件

最后更新于