Fix TLSF state corruption (AssemblyScript#1060)

nearprotocol · Jan 19, 2020 · cd22a47 · cd22a47
1 parent 74e0178
commit cd22a47
Show file tree

Hide file tree

Showing 50 changed files with 132 additions and 244 deletions.
diff --git a/std/assembly/rt/tlsf.ts b/std/assembly/rt/tlsf.ts
@@ -552,14 +552,10 @@ export function reallocateBlock(root: Root, block: Block, size: usize): Block {
   }
 
   // otherwise move the block
-  var newBlock = allocateBlock(root, size);
+  var newBlock = allocateBlock(root, size); // may invalidate cached blockInfo
   newBlock.rtId = block.rtId;
   memory.copy(changetype<usize>(newBlock) + BLOCK_OVERHEAD, changetype<usize>(block) + BLOCK_OVERHEAD, size);
-  if (changetype<usize>(block) >= __heap_base) {
-    block.mmInfo = blockInfo | FREE;
-    insertBlock(root, block);
-    if (isDefined(ASC_RTRACE)) onfree(block);
-  }
+  if (changetype<usize>(block) >= __heap_base) freeBlock(root, block);
   return newBlock;
 }
 

diff --git a/tests/compiler/do.optimized.wat b/tests/compiler/do.optimized.wat
@@ -1116,7 +1116,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1824,7 +1824,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/do.untouched.wat b/tests/compiler/do.untouched.wat
@@ -1534,7 +1534,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3437,7 +3437,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/extends-baseaggregate.optimized.wat b/tests/compiler/extends-baseaggregate.optimized.wat
@@ -869,7 +869,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1670,14 +1670,9 @@
   i32.const 556
   i32.ge_u
   if
-   local.get $1
-   local.get $4
-   i32.const 1
-   i32.or
-   i32.store
    local.get $0
    local.get $1
-   call $~lib/rt/tlsf/insertBlock
+   call $~lib/rt/tlsf/freeBlock
   end
   local.get $3
  )
@@ -1693,7 +1688,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 586
+   i32.const 582
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -2005,7 +2000,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/extends-baseaggregate.untouched.wat b/tests/compiler/extends-baseaggregate.untouched.wat
@@ -1146,7 +1146,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3156,14 +3156,9 @@
   global.get $~lib/heap/__heap_base
   i32.ge_u
   if
-   local.get $1
-   local.get $4
-   i32.const 1
-   i32.or
-   i32.store
    local.get $0
    local.get $1
-   call $~lib/rt/tlsf/insertBlock
+   call $~lib/rt/tlsf/freeBlock
   end
   local.get $8
  )
@@ -3183,7 +3178,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 586
+   i32.const 582
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3565,7 +3560,7 @@
   if
    i32.const 0
    i32.const 128
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/for.optimized.wat b/tests/compiler/for.optimized.wat
@@ -1136,7 +1136,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1844,7 +1844,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/for.untouched.wat b/tests/compiler/for.untouched.wat
@@ -1568,7 +1568,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3471,7 +3471,7 @@
   if
    i32.const 0
    i32.const 64
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/managed-cast.optimized.wat b/tests/compiler/managed-cast.optimized.wat
@@ -867,7 +867,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1588,7 +1588,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/managed-cast.untouched.wat b/tests/compiler/managed-cast.untouched.wat
@@ -1144,7 +1144,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3065,7 +3065,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/global-init.untouched.wat b/tests/compiler/rc/global-init.untouched.wat
@@ -668,7 +668,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3039,7 +3039,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/local-init.optimized.wat b/tests/compiler/rc/local-init.optimized.wat
@@ -486,7 +486,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1517,7 +1517,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/local-init.untouched.wat b/tests/compiler/rc/local-init.untouched.wat
@@ -606,7 +606,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -2977,7 +2977,7 @@
   if
    i32.const 0
    i32.const 96
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/logical-and-mismatch.optimized.wat b/tests/compiler/rc/logical-and-mismatch.optimized.wat
@@ -866,7 +866,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1576,7 +1576,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/logical-and-mismatch.untouched.wat b/tests/compiler/rc/logical-and-mismatch.untouched.wat
@@ -1143,7 +1143,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3050,7 +3050,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/logical-or-mismatch.optimized.wat b/tests/compiler/rc/logical-or-mismatch.optimized.wat
@@ -866,7 +866,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1576,7 +1576,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/logical-or-mismatch.untouched.wat b/tests/compiler/rc/logical-or-mismatch.untouched.wat
@@ -1143,7 +1143,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3050,7 +3050,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/optimize.optimized.wat b/tests/compiler/rc/optimize.optimized.wat
@@ -957,7 +957,7 @@
   if
    i32.const 0
    i32.const 80
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1614,7 +1614,7 @@
   if
    i32.const 0
    i32.const 80
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/optimize.untouched.wat b/tests/compiler/rc/optimize.untouched.wat
@@ -1238,7 +1238,7 @@
   if
    i32.const 0
    i32.const 80
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -3088,7 +3088,7 @@
   if
    i32.const 0
    i32.const 80
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable

diff --git a/tests/compiler/rc/rereturn.optimized.wat b/tests/compiler/rc/rereturn.optimized.wat
@@ -866,7 +866,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 569
+   i32.const 565
    i32.const 2
    call $~lib/builtins/abort
    unreachable
@@ -1564,7 +1564,7 @@
   if
    i32.const 0
    i32.const 32
-   i32.const 593
+   i32.const 589
    i32.const 2
    call $~lib/builtins/abort
    unreachable