Skip to content

Commit bd88b89

Browse files
committed
Regenerate observations for VM linear-memory budget refund
Mechanical regeneration (UPDATE_OBSERVATIONS=1) reflecting the reduced net memory now that transient VM linear memory is refunded at teardown. No hand edits.
1 parent a944ea3 commit bd88b89

323 files changed

Lines changed: 31104 additions & 31104 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

soroban-env-host/observations/test__bytes__instantiate_oversized_bytes_from_linear_memory.json

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -3,51 +3,51 @@
33
" 1 call bytes_new_from_slice(232)": "cpu:14332",
44
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15353, mem:328, objs:-/1@775718f8",
55
" 3 call upload_wasm(Bytes(obj#1))": "",
6-
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1091715, mem:422181, objs:-/2@c82d56f1, store:-/1@a5ab2514, foot:1@707659f3",
7-
" 5 call bytes_new_from_slice(32)": "cpu:1092157, mem:422261, objs:-/3@76ddd3f2",
8-
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1093128, mem:422389, objs:-/4@615eac3f",
6+
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1091715, mem:356629, objs:-/2@c82d56f1, store:-/1@a5ab2514, foot:1@707659f3",
7+
" 5 call bytes_new_from_slice(32)": "cpu:1092157, mem:356709, objs:-/3@76ddd3f2",
8+
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1093128, mem:356837, objs:-/4@615eac3f",
99
" 7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
10-
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1095761, mem:422693, objs:-/5@b712d992, auth:1@3d7f4219/-",
10+
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1095761, mem:357141, objs:-/5@b712d992, auth:1@3d7f4219/-",
1111
" 9 ret obj_cmp -> Ok(0)": "cpu:1096051",
1212
" 10 call get_ledger_network_id()": "cpu:1096103, auth:1@3d7f4219/1@88d2f5a1",
13-
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1097134, mem:422821, objs:-/6@7cfbf78",
14-
" 12 call symbol_new_from_slice(13)": "cpu:1333116, mem:593685, store:-/2@4c20435f, foot:2@d01e2651",
15-
" 13 ret symbol_new_from_slice -> Ok(Symbol(obj#13))": "cpu:1334126, mem:593794, objs:-/7@905e6798",
16-
" 14 push VM:c8d527ea:sym#13()": "cpu:1554599, mem:762384, objs:-/8@b2049ee5, vm:65536@6644521a/2@2f94d90d, stk:1@74ef53ff, auth:2@5789fabc/1@5065fd36",
17-
" 15 call symbol_len(Symbol(obj#13))": "cpu:1557065, mem:762414",
13+
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1097134, mem:357269, objs:-/6@7cfbf78",
14+
" 12 call symbol_new_from_slice(13)": "cpu:1333116, mem:462581, store:-/2@4c20435f, foot:2@d01e2651",
15+
" 13 ret symbol_new_from_slice -> Ok(Symbol(obj#13))": "cpu:1334126, mem:462690, objs:-/7@905e6798",
16+
" 14 push VM:c8d527ea:sym#13()": "cpu:1554599, mem:631280, objs:-/8@b2049ee5, vm:65536@6644521a/2@2f94d90d, stk:1@74ef53ff, auth:2@5789fabc/1@5065fd36",
17+
" 15 call symbol_len(Symbol(obj#13))": "cpu:1557065, mem:631310",
1818
" 16 ret symbol_len -> Ok(U32(13))": "cpu:1557185",
1919
" 17 call symbol_copy_to_slice(Symbol(obj#13), U32(0), 13)": "",
2020
" 18 ret symbol_copy_to_slice -> Ok(())": "cpu:1557288",
2121
" 19 pop VM:c8d527ea:sym#13 -> Ok(Void)": "",
22-
" 20 ret create_contract -> Ok(Address(obj#17))": "cpu:1557790, mem:762494, objs:-/9@13a94bcf, vm:-/-, stk:-, auth:-/-",
23-
" 21 call call(Address(obj#17), Symbol(test), Vec(obj#19))": "cpu:1558753, mem:762590, objs:-/10@b51a0164",
24-
" 22 push VM:c8d527ea:test()": "cpu:1780033, mem:931188, objs:-/11@5d565045, vm:65536@6644521a/2@2f94d90d, stk:1@d308c6ef, auth:1@b1b428e/-",
25-
" 23 call bytes_new_from_linear_memory(U32(0), U32(100))": "cpu:1782499, mem:931218, vm:-/-",
26-
" 24 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#23))": "cpu:1784020, mem:931414, objs:-/12@b3d509a3",
27-
" 25 pop VM:c8d527ea:test -> Ok(Bytes(obj#23))": "cpu:1784515, mem:931438, objs:1@b5962073/12@b3d509a3, vm:65536@6644521a/2@2f94d90d, stk:1@238f5437",
28-
" 26 ret call -> Ok(Bytes(obj#23))": "cpu:1784575, objs:-/12@b3d509a3, vm:-/-, stk:-, auth:-/-",
22+
" 20 ret create_contract -> Ok(Address(obj#17))": "cpu:1557790, mem:565838, objs:-/9@13a94bcf, vm:-/-, stk:-, auth:-/-",
23+
" 21 call call(Address(obj#17), Symbol(test), Vec(obj#19))": "cpu:1558753, mem:565934, objs:-/10@b51a0164",
24+
" 22 push VM:c8d527ea:test()": "cpu:1780033, mem:734532, objs:-/11@5d565045, vm:65536@6644521a/2@2f94d90d, stk:1@d308c6ef, auth:1@b1b428e/-",
25+
" 23 call bytes_new_from_linear_memory(U32(0), U32(100))": "cpu:1782499, mem:734562, vm:-/-",
26+
" 24 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#23))": "cpu:1784020, mem:734758, objs:-/12@b3d509a3",
27+
" 25 pop VM:c8d527ea:test -> Ok(Bytes(obj#23))": "cpu:1784515, mem:734782, objs:1@b5962073/12@b3d509a3, vm:65536@6644521a/2@2f94d90d, stk:1@238f5437",
28+
" 26 ret call -> Ok(Bytes(obj#23))": "cpu:1784575, mem:669230, objs:-/12@b3d509a3, vm:-/-, stk:-, auth:-/-",
2929
" 27 call bytes_len(Bytes(obj#23))": "",
3030
" 28 ret bytes_len -> Ok(U32(100))": "cpu:1784695",
3131
" 29 call bytes_new_from_slice(16000142)": "cpu:47, mem:0",
3232
" 30 ret bytes_new_from_slice -> Ok(Bytes(obj#25))": "cpu:4001044, mem:16000238, objs:-/13@5298f01c",
3333
" 31 call upload_wasm(Bytes(obj#25))": "",
34-
" 32 ret upload_wasm -> Ok(Bytes(obj#27))": "cpu:12394882178, mem:1426280408, objs:-/14@b94da12, store:-/3@ee9545c6, foot:3@61e9ffcd",
35-
" 33 call bytes_new_from_slice(32)": "cpu:12394882620, mem:1426280488, objs:-/15@c4676a97",
36-
" 34 ret bytes_new_from_slice -> Ok(Bytes(obj#31))": "cpu:12394883591, mem:1426280616, objs:-/16@d4beb14a",
34+
" 32 ret upload_wasm -> Ok(Bytes(obj#27))": "cpu:12394882178, mem:1410224072, objs:-/14@b94da12, store:-/3@ee9545c6, foot:3@61e9ffcd",
35+
" 33 call bytes_new_from_slice(32)": "cpu:12394882620, mem:1410224152, objs:-/15@c4676a97",
36+
" 34 ret bytes_new_from_slice -> Ok(Bytes(obj#31))": "cpu:12394883591, mem:1410224280, objs:-/16@d4beb14a",
3737
" 35 call create_contract(Address(obj#29), Bytes(obj#27), Bytes(obj#31))": "",
38-
" 36 call obj_cmp(Address(obj#33), Address(obj#29))": "cpu:12394886224, mem:1426280920, objs:-/17@23a6c558, auth:1@e8d7fbbe/-",
38+
" 36 call obj_cmp(Address(obj#33), Address(obj#29))": "cpu:12394886224, mem:1410224584, objs:-/17@23a6c558, auth:1@e8d7fbbe/-",
3939
" 37 ret obj_cmp -> Ok(0)": "cpu:12394886514",
4040
" 38 call get_ledger_network_id()": "cpu:12394886566, auth:1@e8d7fbbe/1@64765bd9",
41-
" 39 ret get_ledger_network_id -> Ok(Bytes(obj#35))": "cpu:12394887597, mem:1426281048, objs:-/18@195866af",
42-
" 40 call symbol_new_from_slice(13)": "cpu:12406374434, mem:1506317680, store:-/4@92ab8f56, foot:4@a3beec87",
43-
" 41 ret symbol_new_from_slice -> Ok(Symbol(obj#37))": "cpu:12406375444, mem:1506317789, objs:-/19@68e7ac99",
44-
" 42 push VM:70c72492:sym#37()": "cpu:12417845343, mem:1586351911, objs:-/20@ec471296, vm:16056320@6ae17543/2@2f94d90d, stk:1@f0b4ddc5, auth:2@dd4fe51/1@f3038224",
45-
" 43 call symbol_len(Symbol(obj#37))": "cpu:12417847809, mem:1586351941",
41+
" 39 ret get_ledger_network_id -> Ok(Bytes(obj#35))": "cpu:12394887597, mem:1410224712, objs:-/18@195866af",
42+
" 40 call symbol_new_from_slice(13)": "cpu:12406374434, mem:1474205008, store:-/4@92ab8f56, foot:4@a3beec87",
43+
" 41 ret symbol_new_from_slice -> Ok(Symbol(obj#37))": "cpu:12406375444, mem:1474205117, objs:-/19@68e7ac99",
44+
" 42 push VM:70c72492:sym#37()": "cpu:12417845343, mem:1554239239, objs:-/20@ec471296, vm:16056320@6ae17543/2@2f94d90d, stk:1@f0b4ddc5, auth:2@dd4fe51/1@f3038224",
45+
" 43 call symbol_len(Symbol(obj#37))": "cpu:12417847809, mem:1554239269",
4646
" 44 ret symbol_len -> Ok(U32(13))": "cpu:12417847929",
4747
" 45 call symbol_copy_to_slice(Symbol(obj#37), U32(0), 13)": "",
4848
" 46 ret symbol_copy_to_slice -> Ok(())": "cpu:12417848032",
4949
" 47 pop VM:70c72492:sym#37 -> Ok(Void)": "",
50-
" 48 ret create_contract -> Ok(Address(obj#41))": "cpu:12417848534, mem:1586352021, objs:-/21@fee364b2, vm:-/-, stk:-, auth:-/-",
50+
" 48 ret create_contract -> Ok(Address(obj#41))": "cpu:12417848534, mem:1538183013, objs:-/21@fee364b2, vm:-/-, stk:-, auth:-/-",
5151
" 49 call call(Address(obj#41), Symbol(test), Vec(obj#43))": "cpu:963, mem:96, objs:-/22@b9f52a82",
5252
" 50 ret call -> Err(Error(Budget, ExceededLimit))": "cpu:7652061, mem:48152973",
5353
" 51 end": "cpu:7652061, mem:48152973, prngs:-/9b4a753, objs:-/22@b9f52a82, vm:-/-, evt:-, store:-/4@92ab8f56, foot:4@a3beec87, stk:-, auth:-/-"

soroban-env-host/observations/test__bytes__linear_memory_operations.json

Lines changed: 23 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -3,38 +3,38 @@
33
" 1 call bytes_new_from_slice(2087)": "cpu:14332",
44
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15815, mem:2183, objs:-/1@82043365",
55
" 3 call upload_wasm(Bytes(obj#1))": "",
6-
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:2659584, mem:1634694, objs:-/2@8dc77fa6, store:-/1@1863d82a, foot:1@a7b8a7e2",
7-
" 5 call bytes_new_from_slice(32)": "cpu:2660026, mem:1634774, objs:-/3@a780f4a1",
8-
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:2660997, mem:1634902, objs:-/4@5441559c",
6+
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:2659584, mem:520566, objs:-/2@8dc77fa6, store:-/1@1863d82a, foot:1@a7b8a7e2",
7+
" 5 call bytes_new_from_slice(32)": "cpu:2660026, mem:520646, objs:-/3@a780f4a1",
8+
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:2660997, mem:520774, objs:-/4@5441559c",
99
" 7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
10-
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:2663630, mem:1635206, objs:-/5@6cbc65d6, auth:1@69d177b3/-",
10+
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:2663630, mem:521078, objs:-/5@6cbc65d6, auth:1@69d177b3/-",
1111
" 9 ret obj_cmp -> Ok(0)": "cpu:2663920",
1212
" 10 call get_ledger_network_id()": "cpu:2663972, auth:1@69d177b3/1@c5166dd1",
13-
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:2665003, mem:1635334, objs:-/6@f5a2751f",
14-
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:3332418, mem:2895644, objs:-/7@e8892517, store:-/2@4b4ef0d0, foot:2@73444153, auth:-/1@93c0b30c",
15-
" 13 call call(Address(obj#13), Symbol(bin_word), Vec(obj#15))": "cpu:3333383, mem:2895748, objs:-/8@4c0b0eb3, auth:-/-",
16-
" 14 push VM:75130317:bin_word(U32(2864434397))": "cpu:3985598, mem:4153728, objs:-/9@181ddb96, vm:1114112@67b8985c/12@d32baa7b, stk:1@be273e0f, auth:1@b86eb558/-",
17-
" 15 call bytes_new_from_linear_memory(U32(1048572), U32(4))": "cpu:3988068, mem:4153774, vm:-/-",
18-
" 16 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#19))": "cpu:3990037, mem:4153874, objs:-/10@8f3713f0",
19-
" 17 pop VM:75130317:bin_word -> Ok(Bytes(obj#19))": "cpu:3990532, mem:4153898, objs:1@7f18fa80/10@8f3713f0, vm:1114112@a2a6f9c8/12@d32baa7b, stk:1@b4a13456",
20-
" 18 ret call -> Ok(Bytes(obj#19))": "cpu:3990592, objs:-/10@8f3713f0, vm:-/-, stk:-, auth:-/-",
21-
" 19 call obj_cmp(Bytes(obj#19), Bytes(obj#21))": "cpu:3991555, mem:4153998, objs:-/11@3023d359",
13+
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:2665003, mem:521206, objs:-/6@f5a2751f",
14+
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:3332418, mem:667388, objs:-/7@e8892517, store:-/2@4b4ef0d0, foot:2@73444153, auth:-/1@93c0b30c",
15+
" 13 call call(Address(obj#13), Symbol(bin_word), Vec(obj#15))": "cpu:3333383, mem:667492, objs:-/8@4c0b0eb3, auth:-/-",
16+
" 14 push VM:75130317:bin_word(U32(2864434397))": "cpu:3985598, mem:1925472, objs:-/9@181ddb96, vm:1114112@67b8985c/12@d32baa7b, stk:1@be273e0f, auth:1@b86eb558/-",
17+
" 15 call bytes_new_from_linear_memory(U32(1048572), U32(4))": "cpu:3988068, mem:1925518, vm:-/-",
18+
" 16 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#19))": "cpu:3990037, mem:1925618, objs:-/10@8f3713f0",
19+
" 17 pop VM:75130317:bin_word -> Ok(Bytes(obj#19))": "cpu:3990532, mem:1925642, objs:1@7f18fa80/10@8f3713f0, vm:1114112@a2a6f9c8/12@d32baa7b, stk:1@b4a13456",
20+
" 18 ret call -> Ok(Bytes(obj#19))": "cpu:3990592, mem:811514, objs:-/10@8f3713f0, vm:-/-, stk:-, auth:-/-",
21+
" 19 call obj_cmp(Bytes(obj#19), Bytes(obj#21))": "cpu:3991555, mem:811614, objs:-/11@3023d359",
2222
" 20 ret obj_cmp -> Ok(0)": "cpu:3991839",
23-
" 21 call vec_new()": "cpu:3992802, mem:4154098, objs:-/12@82e455c7",
24-
" 22 ret vec_new -> Ok(Vec(obj#25))": "cpu:3993304, mem:4154178, objs:-/13@40e25a5c",
23+
" 21 call vec_new()": "cpu:3992802, mem:811714, objs:-/12@82e455c7",
24+
" 22 ret vec_new -> Ok(Vec(obj#25))": "cpu:3993304, mem:811794, objs:-/13@40e25a5c",
2525
" 23 call vec_push_back(Vec(obj#25), Bytes(obj#23))": "",
26-
" 24 ret vec_push_back -> Ok(Vec(obj#27))": "cpu:3994509, mem:4154282, objs:-/14@b6924a77",
26+
" 24 ret vec_push_back -> Ok(Vec(obj#27))": "cpu:3994509, mem:811898, objs:-/14@b6924a77",
2727
" 25 call call(Address(obj#13), Symbol(bin_inc), Vec(obj#27))": "",
28-
" 26 push VM:75130317:bin_inc(Bytes(obj#23))": "cpu:4646724, mem:5412262, objs:-/15@c506ccd2, vm:1114112@67b8985c/12@d32baa7b, stk:1@47d8fa40, auth:1@251a9ba2/-",
29-
" 27 call bytes_len(Bytes(obj#23))": "cpu:4649629, mem:5412332, objs:1@b5962073/15@c506ccd2, vm:-/-, stk:1@1e1dc600",
28+
" 26 push VM:75130317:bin_inc(Bytes(obj#23))": "cpu:4646724, mem:2069878, objs:-/15@c506ccd2, vm:1114112@67b8985c/12@d32baa7b, stk:1@47d8fa40, auth:1@251a9ba2/-",
29+
" 27 call bytes_len(Bytes(obj#23))": "cpu:4649629, mem:2069948, objs:1@b5962073/15@c506ccd2, vm:-/-, stk:1@1e1dc600",
3030
" 28 ret bytes_len -> Ok(U32(4))": "cpu:4651052",
3131
" 29 call bytes_copy_to_linear_memory(Bytes(obj#23), U32(0), U32(1048572), U32(4))": "",
3232
" 30 ret bytes_copy_to_linear_memory -> Ok(Void)": "cpu:4651509",
3333
" 31 call bytes_new_from_linear_memory(U32(1048572), U32(4))": "",
34-
" 32 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#31))": "cpu:4653590, mem:5412432, objs:1@b5962073/16@4c245c5f",
35-
" 33 pop VM:75130317:bin_inc -> Ok(Bytes(obj#31))": "cpu:4654085, mem:5412456, objs:2@a8b6a51c/16@4c245c5f, vm:1114112@2206e62e/12@d32baa7b, stk:1@aa3c8413",
36-
" 34 ret call -> Ok(Bytes(obj#31))": "cpu:4654145, objs:-/16@4c245c5f, vm:-/-, stk:-, auth:-/-",
37-
" 35 call obj_cmp(Bytes(obj#31), Bytes(obj#33))": "cpu:4655108, mem:5412556, objs:-/17@397f6f02",
34+
" 32 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#31))": "cpu:4653590, mem:2070048, objs:1@b5962073/16@4c245c5f",
35+
" 33 pop VM:75130317:bin_inc -> Ok(Bytes(obj#31))": "cpu:4654085, mem:2070072, objs:2@a8b6a51c/16@4c245c5f, vm:1114112@2206e62e/12@d32baa7b, stk:1@aa3c8413",
36+
" 34 ret call -> Ok(Bytes(obj#31))": "cpu:4654145, mem:955944, objs:-/16@4c245c5f, vm:-/-, stk:-, auth:-/-",
37+
" 35 call obj_cmp(Bytes(obj#31), Bytes(obj#33))": "cpu:4655108, mem:956044, objs:-/17@397f6f02",
3838
" 36 ret obj_cmp -> Ok(0)": "cpu:4655392",
39-
" 37 end": "cpu:4655392, mem:5412556, prngs:-/9b4a753, objs:-/17@397f6f02, vm:-/-, evt:-, store:-/2@4b4ef0d0, foot:2@73444153, stk:-, auth:-/-"
39+
" 37 end": "cpu:4655392, mem:956044, prngs:-/9b4a753, objs:-/17@397f6f02, vm:-/-, evt:-, store:-/2@4b4ef0d0, foot:2@73444153, stk:-, auth:-/-"
4040
}

0 commit comments

Comments
 (0)