Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

Qtum量子链 x86虚拟机 编码格式

温室小书生室d
112 0 0
暴露给接口和智能合约代码的编码格式如下
! p# }) R) j4 W2 _/ D运行时长度编码格式
" X$ ^4 T! e3 u6 v, m3 \# i8 f(Runtime Length Encoding Format)
  x& l# ]8 k5 w0 j& E- n' J: {9 j7 |0 U* o7 n/ A( J2 y& g
在区块链上,x86 所有的合约数据都使用运行时长度编码(Runtime Length Encoding,RLE)来表示 0 字节。而非零数据不被编码。当在字节流中遇到 0 时,它被编码成一个长度。该长度表示跟随它的零字节数。RLE 的长度为 0 是明确禁止的,其结果是生成无法包含在区块或内存池里的无效交易。2 I6 j2 g$ H8 p( r
$ |( f/ j* ^1 r
RLE 有效载荷的前缀是一个 32 bit 整数。其中 24 bit 是解码大小字段。如果解码大小与解码的有效载荷不完全匹配,则交易无效。其余 8 bit 保留为版本号,以便实现其他压缩格式。
- q6 v  L8 W5 Z
' [6 [3 E1 i! H注意,有效负载的大小可以在不分配额外内存的情况下进行验证。
2 e$ z( ]; Z! p2 O0 l9 t2 }7 w4 n( X: D% H6 G" P0 {6 B
相关代码注释:* Z" p; @1 ]9 l
//格式:解码的有效载荷长度(uint32_t)| 有效载荷8 B  o4 j) o& f8 [5 l
//压缩只压缩 0 字节数据
5 A" u. E& L3 B+ O//当在字节流中遇到 0x00 时,它用运行时长度编码
" I% E+ l- O) M' f* Y% P! @//编码示例:
% T( G* D: b; l: G// 0x00 00 00 00 - > 0x00 04- m! d: q/ q( Q' {: K
// 0x00 - > 0x00 01
! J( y& ^. Q8 {" B0 J// 0x00 00 - > 0x00 02& f5 h# \) y5 _
// 0x00(重复500次) - > 0x00 0xFF 0x00 0xF5
, T  Q- n* m0 Q$ a) l, s  |" ^4 c//作为编码过程的一部分,有效载荷的前 32 bit 是前缀7 x1 b1 ~9 |3 `1 h% u
RLE 编码将使用在其他任何格式之上。
1 q3 Q, C7 y3 }8 c5 G- _" |- l8 A' g+ N. R! q0 G! n+ q. s6 K
编码和解码的代码已包含在 x86Lib 中,不过在其他编程语言中实现都应该是很简单的。
2 i$ k* M# d% L5 \由于目前长度字段没有提供任何好处,以后可能会移除掉。我们的初衷是使用内存分配配置文件而不是要多次手动来分配内存。但不管怎样,现在解码后的数据存储在 Qtum 的备份数据库中,可以实现一次性解码。! z9 E3 B' a- }+ X
% f1 E1 Y# F# r; ?' |  a
智能合约字节码格式3 c( `7 B" Z! ^" [: b8 |5 s+ z
(Smart contract bytecode format)
+ q; D/ n, ?$ L  }9 A$ v3 g在编码和存储合约的方式上,x86 VM 和 EVM 不一样。EVM 中是直接给出了操作码数组,然后执行这些操作码。它们决定了这些操作码和数据的哪一部分可以作为智能合约字节码实际存储在永久存储器中。
/ o; u; o4 k" i6 n8 A# J* h* u- V
* q/ {' X* e3 C7 c( y1 H! o1 r但在Qtum 的 x86 VM 中更为简单,也更容易理解。这是一种自定义二进制格式,分为选项(options,即智能合约配置信息等),初始化数据(initialized data)和代码(code)三个部分。整个二进制文件直接存储在永久存储器中。这可以避免在 EVM 合约里写合约保护程序的情况。尽管这在 EVM 中不太复杂,但是在 x86 中开发还这样写,就有点奇怪了。因为你可能要写两个完全独立的程序来防止地址内存错误等等。6 [9 A% T8 D4 ]
; H; l! h  ]( ^; y( V
x86Lib 测试平台提供了将 ELF 程序转换为这种自定义二进制格式的工具。由于 ELF 包含大量潜在的复杂性,我们不打算直接使用 ELF。不过大多数 ELF 程序解析起来也是相当简单的。所以我们没有实现类似“你不能在ELF中使用这些功能”来处理特殊情况,而是使用更简单的自定义格式,并提供转换工具。基于此,我们还可以提供对扁平二进制格式,PE和其他二进制格式的支持。
' ?0 b) B2 v' [$ `
% b- [$ u+ T" l  L. Q5 I自定义格式是一个扁平字节数组 + 一个前缀,前缀 map 保存了每个部分的长度:- V/ y1 g; |: X2 u
//可用的数据字段只是一个扁平的数据字段,因此我们需要自定义格式来存储; M$ H) P( L- E5 v& E" W' u
//代码,数据和选项
2 r. p, {. l% X; E7 H' }) L1 E//因此,它把 4 个 uint32 整数作为前缀。/ P2 P- b8 L! D9 j' Y5 y; z, X: ]8 g
//第一个是选项的大小,第二个是代码的大小,第三个是数据的大小
4 m0 u: U) i2 }. P6 q( P5 o//第四个未使用(暂时),但保留用于填充和对齐& L' ]& U5 B7 A1 K
struct ContractMapInfo {- a% Y; G! E; [8 L! |; }3 B$ \  _
   //这个结构是达成共识的关键 CONSENSUS-CRITICAL& \. ]( ~% y: U1 W5 |* @
   //不要添加或删除字段,也不要重新排序!( p& M9 U1 ]. V5 B" ?3 I
   uint32_t optionsSize;9 }5 n1 t+ L2 d
   uint32_t codeSize;- p5 ]3 n; w9 ~3 D3 R" W6 c; P7 N
   uint32_t dataSize;
/ d' U' `  J" E+ W- g& Y, ^5 h0 u, L   uint32_t reserved;
! ~5 e) N0 o3 l} __attribute__((__packed__));/ U$ b8 d  n7 r: h; v
在这个前缀 map 后,就只剩下一个扁平的字节数组了。, Y* c2 S/ _2 ]5 N: X7 T# z
+ _0 _* q" E) z% c- R4 V
具体过程:# z* Z. r. c" r" |5 f
LOCATION = 0,这是 ContractMapInfo 之后的第一个字节
& @. `8 c1 F6 Y) U9 W将选项数据复制到从 LOCATION 到 LOCATION + optionsSize 的缓冲区中。通过 optionsSize 移动 LOCATION 指针0 a& ]9 E! [; b$ W5 P
将代码数据复制到从 LOCATION 到 LOCATION + codeSize 的缓冲区中。 通过 codeSize 移动 LOCATION 指针
3 v' k& i3 s8 F- z+ G以此类推......
9 l  R! Y8 }: @% g. J3 G) S% ^' W. Q. P0 T
对每部分的说明:
! P, S$ |; N3 ]( u. ~. q0 [) I$ B选项。由于当前未使用选项,optionsSize 必须为 0.之后它可能会包含依赖关系图,可信任的合约选项以及其他专用配置数据。除非选项明确指明,否则数据不会直接暴露给合约代码/ D9 z( `. g6 h
代码是只读可执行代码。它目前最大为 1Mb,将被加载到合约的内存空间 0x1000 处。合约修改这部分内存的内容是不允许的。执行这部分以外的代码可能要额外的 gas,因为这可能使 JIT 和其他优化更加困难。现在这部分固定大小为1Mb,codeSize 之外的任何数据都设置为0。
( Z* X- C+ b: l! b9 A2 K. _- U数据分初始化数据和读写数据。它也有1Mb的限制,将被加载到合约的内存空间 0x100000 处。在一些文档中,这部分存储也称为“临时存储器”。现在这部分空间固定大小为1Mb,dataSize 以外的任何数据都设置为0. 同时, ELF 文件的“.BSS”部分(未初始化的内存)放在内存区域的结尾部分,但由于没有与之关联的数据,所以没有必要向 VM 提供有关 .BSS 的任何信息。ELF文件转换器会检查数据大小+ bss 大小是否不超过1Mb。" i  |# g# _- j2 A' F
' U8 i7 k5 {6 {3 N8 |1 {  Q
智能合约交易调用格式
% ?1 l& u; @6 c$ Y(Smart contract transaction-call format)0 g$ K8 N' Q$ W* E  f
合约有一个调用堆栈,可以用来发送参数调用合约以及调用合约返回数据。但是,就验证目的而言,一个交易中有大量数据实体是非常重要的。因此,智能合约交易调用格式中实际上只有1个数据字段(与目前 EVM 相同)。不过,提供ABI是为了简化智能合约的解析任务。当然也可以忽略这个ABI,只使用一个要传递的字节数组来代替。1 q. p' Q. Y7 U# @4 f4 X" t

- j* f/ |$ s  k% S8 R具体过程:
1 B: Y1 F1 O* S7 i$ G. U4 HLOCATION = 0,数据的第一个字节2 w: I" x- v9 o/ Q" t7 a. g0 A3 n. l
从 LOCATION 读取 32 位整数,记作 SIZE
3 I% P- o. v) ]: d& r# S) lLOCATION 增加 2(整数)
# E5 I* X& Q, o$ k9 K分配大小为 SIZE 的缓冲区,然后将内存从 LOCATION 复制到 LOCATION + SIZE
% z% W* }1 b: i' {3 Q3 \( `LOCATION 按 SIZE 递增
0 |/ P8 v) y# C, H: H9 i重复,直到没有数据0 L% r( R( C* ?* {
系统调用接口2 M. b# y; |6 i8 i5 s* ^
Qtum 的系统调用方式和 Linux 非常相似。它根本不使用堆栈,只使用寄存器。如果需要传比寄存器更多的参数,那么一个寄存器需要在某种结构中指向这些存有参数的内存区域。目前中断码 0x40 用于 Qtum 所有的系统调用。
! A0 B8 U2 p9 L; q& v/ [& v' G) }  |0 `% n  h5 H4 ~
调用寄存器:) A, b0 N! y, V7 J6 n
EAX - 系统调用码:
4 _* n  X; O; {( P1 s4 lEBX, ECX, EDX, ESI, EDI, EBP - 参数 1-67 ~3 a" t1 W$ l5 A% r" f, m
ESP, EFLAGS - 未使用
4 K; }' [+ M. R" G5 T2 ~系统调用返回寄存器:
+ j' ~" z5 c' U, b5 L2 b0 l* qEAX - 返回值(0表示成功,不包括返回长度的操作)$ \6 D4 i2 ~! k) ~: q
EBX,ECX,EDX,ESI,EBP,ESP,EFLAGS - 未修改
3 r# L( G+ b' d* J4 g$ u, y5 x: g6 V' k$ j0 Z
libqtum 封装了一个函数简化 C ABI 接口:
& W7 B) `% U6 f* [.global __qtum_syscall
7 c) _: ^0 h, c+ V3 B  L* f// long syscall(long number, long p1, long p2, long p3, long p4, long p5, long p6)
$ W9 A8 {" ]& ^2 X__qtum_syscall:. m' k. i/ o7 j  x0 b; B  s
push %ebp: n; Y# h# k7 Z( G0 N4 D
mov %esp,%ebp
- E1 l1 R! ~+ B+ s+ B6 u push %edi
; T3 m8 K# h$ M9 g push %esi! q5 Z. \6 ~! B' ?& S
push %ebx
" ]2 `* L% O& i mov 8+0*4(%ebp),%eax2 X. O* x; P- o
mov 8+1*4(%ebp),%ebx
7 {/ R5 S4 d3 p mov 8+2*4(%ebp),%ecx; @+ ~: T  o0 E9 l
mov 8+3*4(%ebp),%edx9 x( z0 I5 q8 x
mov 8+4*4(%ebp),%esi
3 q, U8 E3 P& G! K mov 8+5*4(%ebp),%edi
5 A& @+ H+ ~9 y$ M8 p mov 8+6*4(%ebp),%ebp
! ?( m% x) w( j. `+ B; x. L int $0x40# R) L' z5 x" z- r
pop %ebx" ^8 Y) |" \8 v; `' E: t
pop %esi: J, d- F5 j' K7 n- k
pop %edi' ^9 U' |2 B. L/ f, O8 H5 P0 |
pop %ebp
' |% j6 V# R& U9 A ret
% x0 i- o- X4 ]$ @4 C6 j  K* A( b- V& n, r
不过,因为 libqtum 为每个系统调用都封装了易用的函数,大多数人永远不用对系统调用执行任何操作。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

温室小书生室d 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    13