webassembly学习——二进制格式

一、二进制格式

WASM有两种格式，一个是文本格式（以.wat后缀结尾），供人看的；一种是供机器看的，就是今天说的二进制格式（以.wasm后缀结尾）。这里不具体谈每个部分的格式，这个在官网上有详细的说明。只是从整体的角度分析说明一下。WASM作为一种可移植的目标对象，使用二进制表示，可以用更少的空间实现快速的编解码。从而降低内存的占用，这对于Web应用是至关重要的一环。二进制的表现形式能够更加紧凑的实现相关的内容。

二、wasm的分层

WASM的二进制格式基本上分为三层：
1、第0层，基本的字节码及数据结构的二进制指令。
2、第1层，根据语法树及相关特点在第0层基础上实现的编码压缩，同时对相关数据进行整理和裁剪。
3、第2层，使用通用的压缩算法如gzip等，进行整体的数据压缩。

三、wasm的具体分析

二进制的格式比较难看，虽然较之二进制的机器码要好读一些，但仍然对大多数人都是比较难理解的。也就是说，读不读懂二进制的WebAssembly的格式，其实对大多数人来说，意义并不大。或者说不用去读懂，甚至不用去读。但所有的问题有的时候儿往往聚集到一个焦点，那就是越是不需要，往往越是遇到这方面的问题。所以，有时候儿学学一些知识，会有一点玄学上的优势。
wasm的二进制格式主要有三大块：
1、模块
其实不同语言间为这个的定义是各有特色，反正学得多了，看得多了就会发现，就是那么几下子。一般来说，到模块这个层次，应该是控制的比较高的层次了。模块其实更倾向于功能相关性，也就是说，一般一个模块的，都是相关功能的。如果一个模块内功能各有千秋，到不搭界，好吧。这也算是个设计人才。
模块内的分工就比较明显了，一般为会有头标记诸如魔数之类的，然后是各种的导入、导出、函数、代码等等段落或者说节。通常，每个段落会有ID标记（一个字节），段落长度和有效载荷。说段落是为了让初学者更容易接受，其实叫节更高大上和学术一些。
2、函数
函数其实就是指令字节码+操作码+数据。每个函数必须以操作码end结尾。其实在函数中，最主要的就是上面的三点，不过，数据又可以划分成常量、变量、参数、立即数和内存值等等。操作符又有数字、内存操作和转换等操作。你把整体把握住细节再去划分，这些东西就会分门别类不会出现什么大的问题。

3、基本类型
基本类型是所有语言或者说相关类型的标准都需要的，就如盖房子的基础，砖、瓦等等。比如常见的数字类型、指令操作码和语言类型，不是这些的可以划成其它类型等等。有了这些基础的类型，就可以通过函数来实现功能，而通过功能的划分实现模块，进而组成一个标准体系。

要想更好的了解相关的细节，比如类型种类的内容，函数的功能实现等等，可以去官方的网站去看，写得非常详尽，这里不再做抄书虫。

四、总结

二进制格式其实就是WASM的底层格式标准了，有了这个标准，只要其它所有的上层语言能搞定到这一层，那么，相对来说，就可以方便的实现向具体的机器码的转化了。这也是WASM的野望吧。懂得底层的一些知识，对学习上层应用，其实是大有裨益的，不过可惜的是，学习曲线的陡峭，让很多人望而却步。
总体上来说，因人而异吧，自己的学习之路，自己搞定。