{"header":{"message":"Add ETS memory backend","description":null,"timestamp":"2026-10-05T06:31:37.930853Z","authors":[{}]},"hash":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC","Add ETS memory backend"],["AA",null],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"],["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","embedding memory instructions"],["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","Move abstract forms to erlang"],["EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC","Fix multiargument call order bug"],["PINWPKYAJ7RGQLYOPCAQOL3WD3JWC7KBPFPHWIVIJDZTD26IB4CQC","version 0.2.1"]],"deps":["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC","PINWPKYAJ7RGQLYOPCAQOL3WD3JWC7KBPFPHWIVIJDZTD26IB4CQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"memory_ets_test.exs","metadata":0},"path":"wa_embedder_ex/test/memory_ets_test.exs","context":[{"change":2,"pos":16}],"contents":[{"Add":{"text":"defmodule WaEmbedder.Memory.ETSTest do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:83"}},{"Add":{"text":" @moduledoc \"\"\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:100"}},{"Add":{"text":" Correctness tests for the page-backed backend.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:149"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:150"}},{"Add":{"text":" The bulk of the value here is the differential test: the same randomized","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:225"}},{"Add":{"text":" operation sequence runs against both backends and every observable read must","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:304"}},{"Add":{"text":" agree. Divergence between the two is far more likely to surface this way than","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:384"}},{"Add":{"text":" by writing a parallel suite of hand-written cases.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:437"}},{"Add":{"text":" \"\"\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:443"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:444"}},{"Add":{"text":" use ExUnit.Case, async: true","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:475"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:476"}},{"Add":{"text":" alias WaEmbedder.Memory.Binary","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:509"}},{"Add":{"text":" alias WaEmbedder.Memory.ETS","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:539"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:540"}},{"Add":{"text":" @page 65_536","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:555"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:556"}},{"Add":{"text":" describe \"conformance\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:584"}},{"Add":{"text":" # Run the same case against both backends, so neither can drift.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:653"}},{"Add":{"text":" for backend <- [Binary, ETS] do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:689"}},{"Add":{"text":" test \"#{inspect(backend)}: integer store/load round-trips\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:757"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:792"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:828"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:829"}},{"Add":{"text":" assert backend.load(backend.store(ref, 0, 4, 0xDEADBEEF, :integer), 0, 4, :unsigned) ==","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:925"}},{"Add":{"text":" 0xDEADBEEF","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:953"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:963"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:964"}},{"Add":{"text":" test \"#{inspect(backend)}: signed and float decode correctly\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1035"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1070"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1106"}},{"Add":{"text":" assert backend.load(backend.store(ref, 0, 4, -1, :integer), 0, 4, :signed) == -1","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1195"}},{"Add":{"text":" assert backend.load(backend.store(ref, 8, 8, 1.5, :float), 8, 8, :float) == 1.5","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1283"}},{"Add":{"text":" assert backend.load(backend.store(ref, 16, 4, 0.5, :float), 16, 4, :float) == 0.5","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1373"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1383"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1384"}},{"Add":{"text":" test \"#{inspect(backend)}: little-endian byte order\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1446"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1481"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1517"}},{"Add":{"text":" ref = backend.store(ref, 0, 4, 0x01020304, :integer)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1578"}},{"Add":{"text":" assert <<4, 3, 2, 1>> = backend.read(ref, 0, 4)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1634"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1644"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1645"}},{"Add":{"text":" test \"#{inspect(backend)}: a store spanning a page boundary round-trips\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1727"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1762"}},{"Add":{"text":" ref = backend.new(2, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1798"}},{"Add":{"text":" # 4 bytes at @page-2 crosses into the next page.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1855"}},{"Add":{"text":" ref = backend.store(ref, @page - 2, 4, 0xCAFEBABE, :integer)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1924"}},{"Add":{"text":" assert backend.load(ref, @page - 2, 4, :unsigned) == 0xCAFEBABE","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:1996"}},{"Add":{"text":" assert backend.load(ref, @page, 2, :unsigned) == 0xCAFE","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2060"}},{"Add":{"text":" assert backend.read(ref, @page - 2, 4) == <<0xBE, 0xBA, 0xFE, 0xCA>>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2137"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2147"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2148"}},{"Add":{"text":" test \"#{inspect(backend)}: an 8-byte store starting inside a page works\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2230"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2265"}},{"Add":{"text":" ref = backend.new(2, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2301"}},{"Add":{"text":" ref = backend.store(ref, @page - 4, 8, 0x0102030405060708, :integer)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2378"}},{"Add":{"text":" assert backend.load(ref, @page - 4, 8, :unsigned) == 0x0102030405060708","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2458"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2468"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2469"}},{"Add":{"text":" test \"#{inspect(backend)}: adjacent regions are unaffected by a store\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2549"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2584"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2620"}},{"Add":{"text":" ref = backend.store(ref, 100, 4, 0xAABBCCDD, :integer)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2683"}},{"Add":{"text":" assert backend.load(ref, 96, 4, :unsigned) == 0","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2739"}},{"Add":{"text":" assert backend.load(ref, 104, 4, :unsigned) == 0","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2796"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2806"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2807"}},{"Add":{"text":" test \"#{inspect(backend)}: copy moves bytes and overlapping copies read first\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2895"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2930"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:2966"}},{"Add":{"text":" ref = backend.write_data(ref, 0, <<1, 2, 3, 4>>)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3023"}},{"Add":{"text":" ref = backend.copy(ref, 10, 0, 4)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3065"}},{"Add":{"text":" assert backend.read(ref, 10, 4) == <<1, 2, 3, 4>>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3123"}},{"Add":{"text":" # dst > src with overlap: must read before writing.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3183"}},{"Add":{"text":" ref = backend.copy(ref, 3, 0, 4)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3224"}},{"Add":{"text":" assert backend.read(ref, 3, 4) == <<1, 2, 3, 4>>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3281"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3291"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3292"}},{"Add":{"text":" test \"#{inspect(backend)}: fill and init\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3343"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3378"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3414"}},{"Add":{"text":" assert backend.read(backend.fill(ref, 100, 7, 5), 100, 5) == <<7, 7, 7, 7, 7>>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3501"}},{"Add":{"text":" assert backend.read(backend.init(ref, 200, <<9, 8, 7, 6, 5>>, 3), 200, 3) == <<9, 8, 7>>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3598"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3608"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3609"}},{"Add":{"text":" test \"#{inspect(backend)}: grow respects max and refuses beyond it\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3686"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3721"}},{"Add":{"text":" ref = backend.new(1, 2)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3753"}},{"Add":{"text":" assert {1, grown} = backend.grow(ref, 1)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3802"}},{"Add":{"text":" assert backend.size(grown) == 2","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3842"}},{"Add":{"text":" assert {-1, _} = backend.grow(ref, 2)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3888"}},{"Add":{"text":" assert backend.size(grown) == 2","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3928"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3938"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:3939"}},{"Add":{"text":" test \"#{inspect(backend)}: out-of-bounds access traps\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4003"}},{"Add":{"text":" backend = unquote(backend)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4038"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4074"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4075"}},{"Add":{"text":" for fun <- [","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4096"}},{"Add":{"text":" fn -> backend.load(ref, @page, 4, :unsigned) end,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4160"}},{"Add":{"text":" fn -> backend.load(ref, -1, 4, :unsigned) end,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4221"}},{"Add":{"text":" fn -> backend.store(ref, @page - 1, 4, 1, :integer) end,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4292"}},{"Add":{"text":" fn -> backend.read(ref, @page - 1, 2) end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4348"}},{"Add":{"text":" ] do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4365"}},{"Add":{"text":" assert_raise ErlangError, ~r/memory_oob/, fun","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4421"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4433"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4443"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4444"}},{"Add":{"text":" test \"#{inspect(backend)}: behaviour validation passes\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4509"}},{"Add":{"text":" assert WaEmbedder.Memory.validate_backend!(unquote(backend)) == :ok","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4585"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4595"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4603"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4609"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4610"}},{"Add":{"text":" describe \"differential against the binary backend\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4666"}},{"Add":{"text":" # A shared operation list applied to both backends: any divergence in","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4740"}},{"Add":{"text":" # observable memory shows up as a mismatch. Seeds are fixed so a failure","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4817"}},{"Add":{"text":" # reproduces exactly.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4843"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4844"}},{"Add":{"text":" defp ops(pages, count, seed) do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4880"}},{"Add":{"text":" :rand.seed(:exsss, seed)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4911"}},{"Add":{"text":" limit = pages * @page - 8","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4943"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4944"}},{"Add":{"text":" for _ <- 1..count do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:4971"}},{"Add":{"text":" {:rand.uniform(limit) - 1, Enum.random([1, 2, 4, 8]), :rand.uniform(0xFFFFFFFF)}","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5060"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5070"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5078"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5079"}},{"Add":{"text":" defp apply_all(_backend, ref, []), do: ref","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5126"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5127"}},{"Add":{"text":" defp apply_all(backend, ref, [{addr, width, value} | rest]) do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5194"}},{"Add":{"text":" apply_all(backend, backend.store(ref, addr, width, value, :integer), rest)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5275"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5283"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5284"}},{"Add":{"text":" test \"identical write sequences produce byte-identical memory\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5354"}},{"Add":{"text":" pages = 4","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5370"}},{"Add":{"text":" ops = ops(pages, 2_000, {1, 2, 3})","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5411"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5412"}},{"Add":{"text":" binary = apply_all(Binary, Binary.new(pages, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5476"}},{"Add":{"text":" ets = apply_all(ETS, ETS.new(pages, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5531"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5532"}},{"Add":{"text":" for page <- 0..(pages - 1) do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5568"}},{"Add":{"text":" start = page * @page","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5597"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5598"}},{"Add":{"text":" assert Binary.read(binary, start, @page) == ETS.read(ets, start, @page),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5679"}},{"Add":{"text":" \"page #{page} diverged\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5718"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5728"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5736"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5737"}},{"Add":{"text":" test \"loads at random addresses agree\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5783"}},{"Add":{"text":" pages = 2","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5799"}},{"Add":{"text":" limit = pages * @page - 8","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5831"}},{"Add":{"text":" ops = ops(pages, 500, {4, 5, 6})","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5870"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5871"}},{"Add":{"text":" binary = apply_all(Binary, Binary.new(pages, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5935"}},{"Add":{"text":" ets = apply_all(ETS, ETS.new(pages, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5990"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:5991"}},{"Add":{"text":" :rand.seed(:exsss, {7, 8, 9})","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6027"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6028"}},{"Add":{"text":" for _ <- 1..500 do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6053"}},{"Add":{"text":" addr = :rand.uniform(limit) - 1","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6093"}},{"Add":{"text":" width = Enum.random([1, 2, 4, 8])","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6135"}},{"Add":{"text":" decode = Enum.random([:unsigned, :signed])","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6186"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6187"}},{"Add":{"text":" assert Binary.load(binary, addr, width, decode) == ETS.load(ets, addr, width, decode),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6282"}},{"Add":{"text":" \"load at #{addr} width #{width} #{decode} diverged\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6349"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6359"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6367"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6368"}},{"Add":{"text":" test \"writes that straddle a page boundary agree\" do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6425"}},{"Add":{"text":" ops =","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6437"}},{"Add":{"text":" for offset <- [@page - 8, @page - 4, @page - 2, @page - 1, @page, 2 * @page - 8] do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6529"}},{"Add":{"text":" {offset, 8, 0x0102030405060708}","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6571"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6583"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6584"}},{"Add":{"text":" binary = apply_all(Binary, Binary.new(2, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6644"}},{"Add":{"text":" ets = apply_all(ETS, ETS.new(2, :none), ops)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6695"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6696"}},{"Add":{"text":" assert Binary.read(binary, 0, 2 * @page) == ETS.read(ets, 0, 2 * @page)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6774"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6782"}},{"Add":{"text":" end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6788"}},{"Add":{"text":"end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6792"}}]}},{"FileAdd":{"meta":{"basename":"ets.ex","metadata":0},"path":"wa_embedder_ex/lib/wa_embedder/memory/ets.ex","context":[{"change":3,"pos":23643}],"contents":[{"Add":{"text":"defmodule WaEmbedder.Memory.ETS do","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6860"}},{"Add":{"text":" @moduledoc \"\"\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6877"}},{"Add":{"text":" Page-backed linear-memory backend, a thin shim over the Erlang","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6942"}},{"Add":{"text":" `:wa_embedder_memory_ets` implementation.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6986"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:6987"}},{"Add":{"text":" Each 64 KiB page is its own ETS entry, so a store costs O(page) rather than","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7065"}},{"Add":{"text":" O(total memory). Measured against `WaEmbedder.Memory.Binary` on Apple","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7137"}},{"Add":{"text":" silicon/OTP 27, 4-byte stores:","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7170"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7171"}},{"Add":{"text":" | Memory | Binary | ETS |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7214"}},{"Add":{"text":" |------------|------------|------------|","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7257"}},{"Add":{"text":" | 256 KiB | 4.4 us | 1.6 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7300"}},{"Add":{"text":" | 1 MiB | 14.1 us | 1.6 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7343"}},{"Add":{"text":" | 4 MiB | 73.0 us | 1.5 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7386"}},{"Add":{"text":" | 16 MiB | 253.0 us | 1.8 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7429"}},{"Add":{"text":" | 64 MiB | 1070.2 us | 2.0 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7472"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7473"}},{"Add":{"text":" The cost is flat in memory size rather than linear, which is what makes it","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7550"}},{"Add":{"text":" usable for a garbage-collected runtime such as QuickJS.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7608"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7609"}},{"Add":{"text":" Use it as the `:memory` compile option:","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7651"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7652"}},{"Add":{"text":" :wa_embedder.compile(path, memory: WaEmbedder.Memory.ETS)","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7716"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7717"}},{"Add":{"text":" The reference is the opaque `%{table: ref, pages: n, max: max}` map produced","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7796"}},{"Add":{"text":" by the Erlang backend; out-of-bounds access traps via","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7852"}},{"Add":{"text":" `:erlang.error({:wasm_trap, :memory_oob, %{addr: addr, width: width}})`.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7927"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7928"}},{"Add":{"text":" ## Reference semantics","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7953"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:7954"}},{"Add":{"text":" The behaviour requires every callback to return a `ref()`, and generated code","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8034"}},{"Add":{"text":" threads that return value through. Unlike `WaEmbedder.Memory.Binary`, which","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8112"}},{"Add":{"text":" returns a fresh immutable map, this backend mutates one ETS table, so the ref","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8192"}},{"Add":{"text":" returned by `new/2` and the one returned by `store/5` address the same table.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8272"}},{"Add":{"text":" Callers must still use the returned ref — discarding it happens to work here","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8353"}},{"Add":{"text":" but is not part of the contract.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8388"}},{"Add":{"text":" \"\"\"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8394"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8395"}},{"Add":{"text":" # The behaviour callbacks live in the Erlang `:wa_embedder_memory` module","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8471"}},{"Add":{"text":" # (`-callback` decls); validate_backend!/1 checks them via function_exported?,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8552"}},{"Add":{"text":" # so no `@behaviour` attribute is needed here.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8601"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8602"}},{"Add":{"text":" defdelegate new(min_pages, max_pages), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8671"}},{"Add":{"text":" defdelegate load(ref, addr, width, decode), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8745"}},{"Add":{"text":" defdelegate store(ref, addr, width, value, value_type), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8831"}},{"Add":{"text":" defdelegate size(ref), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8884"}},{"Add":{"text":" defdelegate grow(ref, delta), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:8944"}},{"Add":{"text":" defdelegate write_data(ref, offset, payload), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9020"}},{"Add":{"text":" defdelegate read(ref, offset, n), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9084"}},{"Add":{"text":" defdelegate copy(ref, dst, src, n), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9150"}},{"Add":{"text":" defdelegate fill(ref, dst, value, n), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9218"}},{"Add":{"text":" defdelegate init(ref, dst, payload, n), to: :wa_embedder_memory_ets","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9288"}},{"Add":{"text":"end","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9292"}}]}},{"FileAdd":{"meta":{"basename":"wa_embedder_memory_ets.erl","metadata":0},"path":"src/wa_embedder_memory_ets.erl","context":[{"change":4,"pos":15}],"contents":[{"Add":{"text":"%% Linear-memory backend storing each 64 KiB page as its own ETS entry.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9417"}},{"Add":{"text":"%%","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9420"}},{"Add":{"text":"%% Why this exists: `wa_embedder_memory_binary' rebuilds the ENTIRE linear","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9495"}},{"Add":{"text":"%% memory on every store, so a single i32.store costs O(total memory). Measured","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9575"}},{"Add":{"text":"%% on Apple silicon/OTP 27, 4-byte stores:","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9618"}},{"Add":{"text":"%%","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9621"}},{"Add":{"text":"%% 1 MiB -> 17.1 us 16 MiB -> 289.7 us","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9673"}},{"Add":{"text":"%% 4 MiB -> 77.8 us 256 MiB -> 5121.0 us","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9725"}},{"Add":{"text":"%%","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9728"}},{"Add":{"text":"%% Every WASM program is a machine that constantly touches linear memory, so that","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9810"}},{"Add":{"text":"%% cost is not a constant factor - it dominates. Splitting the memory into pages","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9891"}},{"Add":{"text":"%% bounds a store to O(PAGE_SIZE) instead of O(total): a 64x improvement at","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9967"}},{"Add":{"text":"%% 1 MiB, 256x at 16 MiB.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9993"}},{"Add":{"text":"%%","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:9996"}},{"Add":{"text":"%% Pure OTP; no Elixir dependency. Refs are per-process (generated code reads","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10074"}},{"Add":{"text":"%% them from the calling process's dictionary), and the table is owned by the","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10152"}},{"Add":{"text":"%% process that called `new/2' - the only process that can reach it.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10221"}},{"Add":{"text":"-module(wa_embedder_memory_ets).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10254"}},{"Add":{"text":"-behaviour(wa_embedder_memory).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10286"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10287"}},{"Add":{"text":"-export([new/2, load/4, store/5, size/1, grow/2, write_data/3, read/3, copy/4, fill/4, init/4]).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10384"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10385"}},{"Add":{"text":"-define(PAGE_SIZE, 65536).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10412"}},{"Add":{"text":"-define(PAGE_BITS, (?PAGE_SIZE * 8)).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10450"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10451"}},{"Add":{"text":"%% One shared zero page. Every initial page references it; the first write to a","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10531"}},{"Add":{"text":"%% page replaces only that entry, leaving the others untouched.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10595"}},{"Add":{"text":"-define(EMPTY_PAGE, <<0:?PAGE_BITS>>).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10634"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10635"}},{"Add":{"text":"new(MinPages, MaxPages) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10662"}},{"Add":{"text":" Table = ets:new(?MODULE, [set, public]),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10707"}},{"Add":{"text":" true = insert_pages(Table, 0, MinPages),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10752"}},{"Add":{"text":" #{table => Table, pages => MinPages, max => MaxPages}.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10811"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10812"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10882"}},{"Add":{"text":"%% Read","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10890"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10960"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10961"}},{"Add":{"text":"load(Ref, Addr, Width, Decode) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:10995"}},{"Add":{"text":" ok = check_bounds(Ref, Addr, Width),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11036"}},{"Add":{"text":" Bits = Width * 8,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11058"}},{"Add":{"text":" Bytes = read_bytes(Ref, Addr, Width),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11100"}},{"Add":{"text":" case Decode of","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11119"}},{"Add":{"text":" unsigned ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11139"}},{"Add":{"text":" <> = Bytes,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11191"}},{"Add":{"text":" Value;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11210"}},{"Add":{"text":" signed ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11228"}},{"Add":{"text":" <> = Bytes,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11278"}},{"Add":{"text":" Value;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11297"}},{"Add":{"text":" float ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11314"}},{"Add":{"text":" <> = Bytes,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11363"}},{"Add":{"text":" Value","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11381"}},{"Add":{"text":" end.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11390"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11391"}},{"Add":{"text":"size(#{pages := Pages}) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11418"}},{"Add":{"text":" Pages.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11429"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11430"}},{"Add":{"text":"read(Ref, Offset, N) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11454"}},{"Add":{"text":" ok = check_bounds(Ref, Offset, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11493"}},{"Add":{"text":" read_bytes(Ref, Offset, N).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11525"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11526"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11596"}},{"Add":{"text":"%% Write","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11605"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11675"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11676"}},{"Add":{"text":"store(Ref, Addr, Width, Value, ValueType) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11721"}},{"Add":{"text":" ok = check_bounds(Ref, Addr, Width),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11762"}},{"Add":{"text":" Bits = Width * 8,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11784"}},{"Add":{"text":" Bytes =","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11796"}},{"Add":{"text":" case ValueType of","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11822"}},{"Add":{"text":" integer -> <>;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11877"}},{"Add":{"text":" float -> <>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11926"}},{"Add":{"text":" end,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11939"}},{"Add":{"text":" replace(Ref, Addr, Width, Bytes).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11977"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11978"}},{"Add":{"text":"write_data(Ref, Offset, Payload) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12014"}},{"Add":{"text":" N = byte_size(Payload),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12042"}},{"Add":{"text":" ok = check_bounds(Ref, Offset, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12081"}},{"Add":{"text":" replace(Ref, Offset, N, Payload).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12119"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12120"}},{"Add":{"text":"init(Ref, Dst, Payload, N) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12150"}},{"Add":{"text":" true = N =< byte_size(Payload) orelse trap(Dst, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12206"}},{"Add":{"text":" ok = check_bounds(Ref, Dst, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12242"}},{"Add":{"text":" <> = Payload,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12286"}},{"Add":{"text":" replace(Ref, Dst, N, Slice).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12319"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12320"}},{"Add":{"text":"fill(Ref, Dst, Value, N) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12348"}},{"Add":{"text":" ok = check_bounds(Ref, Dst, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12384"}},{"Add":{"text":" fill_range(Ref, Dst, N, <>).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12424"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12425"}},{"Add":{"text":"%% Read before writing: source and destination may overlap, and read-then-write","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12505"}},{"Add":{"text":"%% stays well defined where a forward memcpy would not be.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12564"}},{"Add":{"text":"copy(Ref, Dst, Src, N) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12590"}},{"Add":{"text":" ok = check_bounds(Ref, Dst, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12626"}},{"Add":{"text":" ok = check_bounds(Ref, Src, N),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12662"}},{"Add":{"text":" replace(Ref, Dst, N, read_bytes(Ref, Src, N)).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12713"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12714"}},{"Add":{"text":"grow(#{table := Table, pages := Pages, max := Max} = Ref, Delta) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12782"}},{"Add":{"text":" case Max =/= none andalso Pages + Delta > Max of","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12835"}},{"Add":{"text":" true ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12851"}},{"Add":{"text":" {-1, Ref};","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12874"}},{"Add":{"text":" false ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12891"}},{"Add":{"text":" true = insert_pages(Table, Pages, Pages + Delta),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:12953"}},{"Add":{"text":" {Pages, Ref#{pages := Pages + Delta}}","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13003"}},{"Add":{"text":" end.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13012"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13013"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13083"}},{"Add":{"text":"%% Page-level helpers","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13105"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13175"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13176"}},{"Add":{"text":"insert_pages(_Table, From, To) when From >= To ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13226"}},{"Add":{"text":" true;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13236"}},{"Add":{"text":"insert_pages(Table, From, To) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13269"}},{"Add":{"text":" ets:insert(Table, [{Index, ?EMPTY_PAGE} || Index <- lists:seq(From, To - 1)]).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13352"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13353"}},{"Add":{"text":"%% How many bytes a write at `Addr` consumes before crossing into the next page.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13434"}},{"Add":{"text":"chunk_len(Addr, Width) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13460"}},{"Add":{"text":" erlang:min(Width, ?PAGE_SIZE - (Addr rem ?PAGE_SIZE)).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13519"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13520"}},{"Add":{"text":"page(#{table := Table}, Addr) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13553"}},{"Add":{"text":" ets:lookup_element(Table, Addr div ?PAGE_SIZE, 2).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13608"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13609"}},{"Add":{"text":"%% Replace `Width` bytes at `Addr` with `Bytes`, following page boundaries.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13685"}},{"Add":{"text":"replace(Ref, _Addr, 0, _Bytes) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13719"}},{"Add":{"text":" Ref;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13728"}},{"Add":{"text":"replace(Ref, Addr, Width, Bytes) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13764"}},{"Add":{"text":" Len = chunk_len(Addr, Width),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13798"}},{"Add":{"text":" <> = Bytes,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13845"}},{"Add":{"text":" put_page(Ref, Addr, Chunk),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13877"}},{"Add":{"text":" replace(Ref, Addr + Len, Width - Len, Rest).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13926"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13927"}},{"Add":{"text":"put_page(#{table := Table}, Addr, Chunk) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13971"}},{"Add":{"text":" Len = byte_size(Chunk),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:13999"}},{"Add":{"text":" Offset = Addr rem ?PAGE_SIZE,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14033"}},{"Add":{"text":" <> =","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14095"}},{"Add":{"text":" ets:lookup_element(Table, Addr div ?PAGE_SIZE, 2),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14154"}},{"Add":{"text":" Updated = <>,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14215"}},{"Add":{"text":" true = ets:update_element(Table, Addr div ?PAGE_SIZE, {2, Updated}).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14288"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14289"}},{"Add":{"text":"read_bytes(Ref, Addr, Width) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14321"}},{"Add":{"text":" %% The data lives at `Addr rem PAGE_SIZE' inside its page, not at the start","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14401"}},{"Add":{"text":" %% of the page - skipping the offset here reads the wrong bytes entirely.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14479"}},{"Add":{"text":" Offset = Addr rem ?PAGE_SIZE,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14513"}},{"Add":{"text":" Page = page(Ref, Addr),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14541"}},{"Add":{"text":" case chunk_len(Addr, Width) of","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14576"}},{"Add":{"text":" Width ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14593"}},{"Add":{"text":" <<_:Offset/binary, Bytes:Width/binary, _/binary>> = Page,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14663"}},{"Add":{"text":" Bytes;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14682"}},{"Add":{"text":" Len ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14697"}},{"Add":{"text":" <<_:Offset/binary, Head:Len/binary, _/binary>> = Page,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14764"}},{"Add":{"text":" <>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14843"}},{"Add":{"text":" end.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14852"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14853"}},{"Add":{"text":"fill_range(Ref, _Addr, 0, _Filler) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14891"}},{"Add":{"text":" Ref;","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14900"}},{"Add":{"text":"fill_range(Ref, Addr, Width, Filler) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14940"}},{"Add":{"text":" Len = chunk_len(Addr, Width),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:14974"}},{"Add":{"text":" put_page(Ref, Addr, binary:copy(Filler, Len)),","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15025"}},{"Add":{"text":" fill_range(Ref, Addr + Len, Width - Len, Filler).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15079"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15080"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15150"}},{"Add":{"text":"%% Bounds","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15160"}},{"Add":{"text":"%% ------------------------------------------------------------------","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15230"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15231"}},{"Add":{"text":"check_bounds(_Ref, Addr, Width) when Addr < 0 ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15280"}},{"Add":{"text":" trap(Addr, Width);","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15303"}},{"Add":{"text":"check_bounds(#{pages := Pages}, Addr, Width) when Addr + Width > Pages * ?PAGE_SIZE ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15390"}},{"Add":{"text":" trap(Addr, Width);","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15413"}},{"Add":{"text":"check_bounds(_Ref, _Addr, _Width) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15450"}},{"Add":{"text":" ok.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15458"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15459"}},{"Add":{"text":"trap(Addr, Width) ->","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15480"}},{"Add":{"text":" erlang:error({wasm_trap, memory_oob, #{addr => Addr, width => Width}}).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15556"}}]}},{"Edit":{"inode":{"change":5,"pos":6239},"path":"CHANGELOG.md","line":12,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":6655}],"down_context":[{"change":6,"pos":650}],"flag":"BLOCK","start":15558,"end":15720,"inode":{"change":5,"pos":6239}}},"contents":[{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15558"}},{"Add":{"text":"### Added","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15568"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15569"}},{"Add":{"text":"- `:wa_embedder_memory_ets` (Erlang) / `WaEmbedder.Memory.ETS` (Elixir): a","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15644"}},{"Add":{"text":" linear-memory backend that stores each 64 KiB page as its own ETS entry.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15719"}}]}},{"Edit":{"inode":{"change":5,"pos":6239},"path":"CHANGELOG.md","line":18,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":651}],"down_context":[{"change":6,"pos":651}],"flag":"BLOCK","start":15721,"end":16610,"inode":{"change":5,"pos":6239}}},"contents":[{"Add":{"text":" The default `:wa_embedder_memory_binary` backend rebuilds the *entire* linear","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15800"}},{"Add":{"text":" memory on every store, so one `i32.store` costs O(total memory). Measured on","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15879"}},{"Add":{"text":" Apple silicon/OTP 27, 4-byte stores:","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15918"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15919"}},{"Add":{"text":" | Memory | `memory_binary` | `memory_ets` |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15965"}},{"Add":{"text":" |---|---|---|","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:15981"}},{"Add":{"text":" | 256 KiB | 4.4 us | 1.6 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16013"}},{"Add":{"text":" | 1 MiB | 14.1 us | 1.6 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16044"}},{"Add":{"text":" | 4 MiB | 73.0 us | 1.5 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16075"}},{"Add":{"text":" | 16 MiB | 253.0 us | 1.8 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16108"}},{"Add":{"text":" | 64 MiB | 1070.2 us | 2.0 us |","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16142"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16143"}},{"Add":{"text":" The ETS backend's cost is flat in memory size rather than linear, which is what","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16225"}},{"Add":{"text":" makes it usable for a garbage-collected runtime such as QuickJS. It is opt-in","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16305"}},{"Add":{"text":" for now, via `memory: WaEmbedder.Memory.ETS` in the compile options; the","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16380"}},{"Add":{"text":" default is unchanged. Promote it to the default once it has been carried by a","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16460"}},{"Add":{"text":" real wasm module end to end.","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16491"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16492"}},{"Add":{"text":" Pass it explicitly:","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16514"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16515"}},{"Add":{"text":" ```erlang","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16527"}},{"Add":{"text":" wa_embedder:compile(\"module.wasm\", #{memory => wa_embedder_memory_ets}).","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16602"}},{"Add":{"text":" ```","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16608"}},{"Add":{"text":"","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:16609"}}]}}],"owner":"couchemar","repo":"wa_embedder","login":null}

…

Dependencies

Change contents

Review