From 9201096042d3e409c3a5e795418027266d4008fc Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 2 Apr 2013 14:12:54 +0200 Subject: [PATCH 1/1] model-checker : update tesh --- examples/msg/mc/bugged1.tesh | 100 +---------- examples/msg/mc/bugged1_liveness.tesh | 81 ++++----- examples/msg/mc/chord/chord_neverjoin.tesh | 53 +++--- teshsuite/xbt/mmalloc_64.tesh | 200 ++++++++++----------- 4 files changed, 171 insertions(+), 263 deletions(-) diff --git a/examples/msg/mc/bugged1.tesh b/examples/msg/mc/bugged1.tesh index 36cd2f029b..dbdc4eb1ea 100644 --- a/examples/msg/mc/bugged1.tesh +++ b/examples/msg/mc/bugged1.tesh @@ -9,100 +9,6 @@ $ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)% > [ 0.000000] (1:server@HostA) OK > [ 0.000000] (4:client@HostD) Sent! > [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! -> [ 0.000000] (1:server@HostA) OK -> [ 0.000000] (4:client@HostD) Sent! -> [ 0.000000] (2:client@HostB) Sent! -> [ 0.000000] (3:client@HostC) Sent! > [ 0.000000] (2:client@HostB) Sent! > [ 0.000000] (1:server@HostA) ************************** > [ 0.000000] (1:server@HostA) *** PROPERTY NOT VALID *** @@ -118,6 +24,6 @@ $ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)% > [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=(verbose only)) > [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) > [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server]) -> [ 0.000000] (1:server@HostA) Expanded states = 86 -> [ 0.000000] (1:server@HostA) Visited states = 370 -> [ 0.000000] (1:server@HostA) Executed transitions = 340 +> [ 0.000000] (1:server@HostA) Expanded states = 17 +> [ 0.000000] (1:server@HostA) Visited states = 32 +> [ 0.000000] (1:server@HostA) Executed transitions = 30 diff --git a/examples/msg/mc/bugged1_liveness.tesh b/examples/msg/mc/bugged1_liveness.tesh index b4a5725b71..6954ef6956 100644 --- a/examples/msg/mc/bugged1_liveness.tesh +++ b/examples/msg/mc/bugged1_liveness.tesh @@ -2,43 +2,44 @@ ! expect signal SIGABRT ! timeout 200 -$ ${bindir:=.}/bugged1_liveness --cfg=model-check:1 --cfg=contexts/factory:ucontext -> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check' to '1' -> [0.000000] [mc_global/INFO] Check the liveness property promela_bugged1_liveness -> [Fafard:client:(2) 0.000000] [bugged1_liveness/INFO] Ask the request -> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] Ask the request -> [Fafard:client:(2) 0.000000] [bugged1_liveness/INFO] Propositions changed : r=1, cs=0 -> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS idle. Grant immediatly -> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] 2 got the answer. Sleep a bit and release it -> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS release. resource now idle -> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] Ask the request -> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS idle. Grant immediatly -> [0.000000] [mc_liveness/INFO] Next pair (depth = 22, 1 interleave) already reached (equal to state 11) ! -> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* -> [0.000000] [mc_liveness/INFO] | ACCEPTANCE CYCLE | -> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* -> [0.000000] [mc_liveness/INFO] Counter-example that violates formula : -> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)client] iSend (src=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(2)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)client] Wait (comm=(verbose only) [(2)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(2)client] iRecv (dst=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(3)client] iRecv (dst=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(1)coordinator -> (3)client]) -> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(1)coordinator -> (3)client]) -> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) -> [0.000000] [mc_global/INFO] [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded pairs = 23 -> [0.000000] [mc_global/INFO] Visited pairs = 21 -> [0.000000] [mc_global/INFO] Executed transitions = 21 +$ ${bindir:=.}/bugged1_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext +> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1' +> [ 0.000000] (0:@) Check the liveness property promela_bugged1_liveness +> [ 0.000000] (2:client@Fafard) Ask the request +> [ 0.000000] (3:client@Boivin) Ask the request +> [ 0.000000] (2:client@Fafard) Propositions changed : r=1, cs=0 +> [ 0.000000] (1:coordinator@Tremblay) CS idle. Grant immediatly +> [ 0.000000] (3:client@Boivin) 2 got the answer. Sleep a bit and release it +> [ 0.000000] (1:coordinator@Tremblay) CS release. resource now idle +> [ 0.000000] (3:client@Boivin) Ask the request +> [ 0.000000] (1:coordinator@Tremblay) CS idle. Grant immediatly +> [ 0.000000] (0:@) Next pair (depth = 22, 1 interleave) already reached (equal to state 11) ! +> [ 0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* +> [ 0.000000] (0:@) | ACCEPTANCE CYCLE | +> [ 0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* +> [ 0.000000] (0:@) Counter-example that violates formula : +> [ 0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(2)client] iSend (src=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(2)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(2)client] Wait (comm=(verbose only) [(2)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(2)client] iRecv (dst=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(3)client] iRecv (dst=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(1)coordinator -> (3)client]) +> [ 0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(1)coordinator -> (3)client]) +> [ 0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator]) +> [ 0.000000] (0:@) [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) Expanded pairs = 23 +> [ 0.000000] (0:@) Visited pairs = 21 +> [ 0.000000] (0:@) Executed transitions = 21 + diff --git a/examples/msg/mc/chord/chord_neverjoin.tesh b/examples/msg/mc/chord/chord_neverjoin.tesh index fbff4eb005..ffc6a67193 100644 --- a/examples/msg/mc/chord/chord_neverjoin.tesh +++ b/examples/msg/mc/chord/chord_neverjoin.tesh @@ -2,29 +2,30 @@ ! expect signal SIGABRT ! timeout 200 -$ ${bindir:=.}/chord_liveness --cfg=model-check:1 --cfg=contexts/factory:ucontext -> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check' to '1' -> [0.000000] [mc_global/INFO] Check the liveness property promela_chord_liveness -> [Jean_Yves:node:(1) 0.000000] [chord_liveness/INFO] Joining the ring with id 14, knowing node 1 -> [Boivin:node:(2) 0.000000] [chord_liveness/INFO] Joining the ring with id 8, knowing node 1 -> [Jacquelin:node:(3) 0.000000] [chord_liveness/INFO] A transfer has occured -> [Jacquelin:node:(3) 0.000000] [chord_liveness/INFO] The task was successfully received by node 1 -> [Jean_Yves:node:(1) 0.000000] [chord_liveness/INFO] Node 14 joined the ring -> [0.000000] [mc_liveness/INFO] Next pair (depth = 11, 2 interleave) already reached (equal to state 11) ! -> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* -> [0.000000] [mc_liveness/INFO] | ACCEPTANCE CYCLE | -> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* -> [0.000000] [mc_liveness/INFO] Counter-example that violates formula : -> [0.000000] [mc_global/INFO] [(1)node] iSend (src=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)node] iSend (src=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)node] Wait (comm=(verbose only) [(1)node -> (3)node]) -> [0.000000] [mc_global/INFO] [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)node] Test TRUE (comm=(verbose only) [(1)node -> (3)node]) -> [0.000000] [mc_global/INFO] [(3)node] iSend (src=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)node] Wait (comm=(verbose only) [(3)node -> (1)node]) -> [0.000000] [mc_global/INFO] [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)node] Test FALSE (comm=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded pairs = 14 -> [0.000000] [mc_global/INFO] Visited pairs = 10 -> [0.000000] [mc_global/INFO] Executed transitions = 10 +$ ${bindir:=.}/chord_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext +> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1' +> [ 0.000000] (0:@) Check the liveness property promela_chord_liveness +> [ 0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1 +> [ 0.000000] (2:node@Boivin) Joining the ring with id 8, knowing node 1 +> [ 0.000000] (3:node@Jacquelin) A transfer has occured +> [ 0.000000] (3:node@Jacquelin) The task was successfully received by node 1 +> [ 0.000000] (1:node@Jean_Yves) Node 14 joined the ring +> [ 0.000000] (0:@) Next pair (depth = 11, 2 interleave) already reached (equal to state 11) ! +> [ 0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* +> [ 0.000000] (0:@) | ACCEPTANCE CYCLE | +> [ 0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* +> [ 0.000000] (0:@) Counter-example that violates formula : +> [ 0.000000] (0:@) [(1)node] iSend (src=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(2)node] iSend (src=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)node] Wait (comm=(verbose only) [(1)node -> (3)node]) +> [ 0.000000] (0:@) [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(3)node] Test TRUE (comm=(verbose only) [(1)node -> (3)node]) +> [ 0.000000] (0:@) [(3)node] iSend (src=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)node] Wait (comm=(verbose only) [(3)node -> (1)node]) +> [ 0.000000] (0:@) [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:@) [(1)node] Test FALSE (comm=(verbose only)) +> [ 0.000000] (0:@) Expanded pairs = 14 +> [ 0.000000] (0:@) Visited pairs = 10 +> [ 0.000000] (0:@) Executed transitions = 10 + diff --git a/teshsuite/xbt/mmalloc_64.tesh b/teshsuite/xbt/mmalloc_64.tesh index 95dcd53b48..77be11814c 100644 --- a/teshsuite/xbt/mmalloc_64.tesh +++ b/teshsuite/xbt/mmalloc_64.tesh @@ -1,106 +1,106 @@ $ ./xbt/mmalloc_test --log=root.fmt:%m%n > Allocating a new heap > HeapA allocated -> 100 bytes allocated with offset 51000 -> 200 bytes allocated with offset 51100 -> 300 bytes allocated with offset 52000 -> 400 bytes allocated with offset 52200 -> 500 bytes allocated with offset 52400 -> 600 bytes allocated with offset 53000 -> 700 bytes allocated with offset 53400 -> 800 bytes allocated with offset 53800 -> 900 bytes allocated with offset 53c00 -> 1000 bytes allocated with offset 54000 -> 1100 bytes allocated with offset 55000 -> 1200 bytes allocated with offset 55800 -> 1300 bytes allocated with offset 56000 -> 1400 bytes allocated with offset 56800 -> 1500 bytes allocated with offset 57000 -> 1600 bytes allocated with offset 57800 -> 1700 bytes allocated with offset 58000 -> 1800 bytes allocated with offset 58800 -> 1900 bytes allocated with offset 59000 -> 2000 bytes allocated with offset 59800 -> 2100 bytes allocated with offset 5a000 -> 2200 bytes allocated with offset 5b000 -> 2300 bytes allocated with offset 5c000 -> 2400 bytes allocated with offset 5d000 -> 2500 bytes allocated with offset 5e000 -> 2600 bytes allocated with offset 5f000 -> 2700 bytes allocated with offset 60000 -> 2800 bytes allocated with offset 61000 -> 2900 bytes allocated with offset 62000 -> 3000 bytes allocated with offset 63000 -> 3100 bytes allocated with offset 64000 -> 3200 bytes allocated with offset 65000 -> 3300 bytes allocated with offset 66000 -> 3400 bytes allocated with offset 67000 -> 3500 bytes allocated with offset 68000 -> 3600 bytes allocated with offset 69000 -> 3700 bytes allocated with offset 6a000 -> 3800 bytes allocated with offset 6b000 -> 3900 bytes allocated with offset 6c000 -> 4000 bytes allocated with offset 6d000 -> 4100 bytes allocated with offset 6e000 -> 4200 bytes allocated with offset 70000 -> 4300 bytes allocated with offset 72000 -> 4400 bytes allocated with offset 74000 -> 4500 bytes allocated with offset 76000 -> 4600 bytes allocated with offset 78000 -> 4700 bytes allocated with offset 7a000 -> 4800 bytes allocated with offset 7c000 -> 4900 bytes allocated with offset 7e000 -> 5000 bytes allocated with offset 80000 -> 100 bytes allocated with offset 51200 -> 200 bytes allocated with offset 51300 -> 300 bytes allocated with offset 52600 -> 400 bytes allocated with offset 52800 -> 500 bytes allocated with offset 52a00 -> 600 bytes allocated with offset 54400 -> 700 bytes allocated with offset 54800 -> 800 bytes allocated with offset 54c00 -> 900 bytes allocated with offset 82000 -> 1000 bytes allocated with offset 82400 -> 1100 bytes allocated with offset 83000 -> 1200 bytes allocated with offset 83800 -> 1300 bytes allocated with offset 84000 -> 1400 bytes allocated with offset 84800 -> 1500 bytes allocated with offset 85000 -> 1600 bytes allocated with offset 85800 -> 1700 bytes allocated with offset 86000 -> 1800 bytes allocated with offset 86800 -> 1900 bytes allocated with offset 87000 -> 2000 bytes allocated with offset 87800 -> 2100 bytes allocated with offset 88000 -> 2200 bytes allocated with offset 89000 -> 2300 bytes allocated with offset 8a000 -> 2400 bytes allocated with offset 8b000 -> 2500 bytes allocated with offset 8c000 -> 2600 bytes allocated with offset 8d000 -> 2700 bytes allocated with offset 8e000 -> 2800 bytes allocated with offset 8f000 -> 2900 bytes allocated with offset 90000 -> 3000 bytes allocated with offset 91000 -> 3100 bytes allocated with offset 92000 -> 3200 bytes allocated with offset 93000 -> 3300 bytes allocated with offset 94000 -> 3400 bytes allocated with offset 95000 -> 3500 bytes allocated with offset 96000 -> 3600 bytes allocated with offset 97000 -> 3700 bytes allocated with offset 98000 -> 3800 bytes allocated with offset 99000 -> 3900 bytes allocated with offset 9a000 -> 4000 bytes allocated with offset 9b000 -> 4100 bytes allocated with offset 9c000 -> 4200 bytes allocated with offset 9e000 -> 4300 bytes allocated with offset a0000 -> 4400 bytes allocated with offset a2000 -> 4500 bytes allocated with offset a4000 -> 4600 bytes allocated with offset a6000 -> 4700 bytes allocated with offset a8000 -> 4800 bytes allocated with offset aa000 -> 4900 bytes allocated with offset ac000 -> 5000 bytes allocated with offset ae000 +> 100 bytes allocated with offset 59000 +> 200 bytes allocated with offset 59100 +> 300 bytes allocated with offset 5a000 +> 400 bytes allocated with offset 5a200 +> 500 bytes allocated with offset 5a400 +> 600 bytes allocated with offset 5b000 +> 700 bytes allocated with offset 5b400 +> 800 bytes allocated with offset 5b800 +> 900 bytes allocated with offset 5bc00 +> 1000 bytes allocated with offset 5c000 +> 1100 bytes allocated with offset 5d000 +> 1200 bytes allocated with offset 5d800 +> 1300 bytes allocated with offset 5e000 +> 1400 bytes allocated with offset 5e800 +> 1500 bytes allocated with offset 5f000 +> 1600 bytes allocated with offset 5f800 +> 1700 bytes allocated with offset 60000 +> 1800 bytes allocated with offset 60800 +> 1900 bytes allocated with offset 61000 +> 2000 bytes allocated with offset 61800 +> 2100 bytes allocated with offset 62000 +> 2200 bytes allocated with offset 63000 +> 2300 bytes allocated with offset 64000 +> 2400 bytes allocated with offset 65000 +> 2500 bytes allocated with offset 66000 +> 2600 bytes allocated with offset 67000 +> 2700 bytes allocated with offset 68000 +> 2800 bytes allocated with offset 69000 +> 2900 bytes allocated with offset 6a000 +> 3000 bytes allocated with offset 6b000 +> 3100 bytes allocated with offset 6c000 +> 3200 bytes allocated with offset 6d000 +> 3300 bytes allocated with offset 6e000 +> 3400 bytes allocated with offset 6f000 +> 3500 bytes allocated with offset 70000 +> 3600 bytes allocated with offset 71000 +> 3700 bytes allocated with offset 72000 +> 3800 bytes allocated with offset 73000 +> 3900 bytes allocated with offset 74000 +> 4000 bytes allocated with offset 75000 +> 4100 bytes allocated with offset 76000 +> 4200 bytes allocated with offset 78000 +> 4300 bytes allocated with offset 7a000 +> 4400 bytes allocated with offset 7c000 +> 4500 bytes allocated with offset 7e000 +> 4600 bytes allocated with offset 80000 +> 4700 bytes allocated with offset 82000 +> 4800 bytes allocated with offset 84000 +> 4900 bytes allocated with offset 86000 +> 5000 bytes allocated with offset 88000 +> 100 bytes allocated with offset 59200 +> 200 bytes allocated with offset 59300 +> 300 bytes allocated with offset 5a600 +> 400 bytes allocated with offset 5a800 +> 500 bytes allocated with offset 5aa00 +> 600 bytes allocated with offset 5c400 +> 700 bytes allocated with offset 5c800 +> 800 bytes allocated with offset 5cc00 +> 900 bytes allocated with offset 8a000 +> 1000 bytes allocated with offset 8a400 +> 1100 bytes allocated with offset 8b000 +> 1200 bytes allocated with offset 8b800 +> 1300 bytes allocated with offset 8c000 +> 1400 bytes allocated with offset 8c800 +> 1500 bytes allocated with offset 8d000 +> 1600 bytes allocated with offset 8d800 +> 1700 bytes allocated with offset 8e000 +> 1800 bytes allocated with offset 8e800 +> 1900 bytes allocated with offset 8f000 +> 2000 bytes allocated with offset 8f800 +> 2100 bytes allocated with offset 90000 +> 2200 bytes allocated with offset 91000 +> 2300 bytes allocated with offset 92000 +> 2400 bytes allocated with offset 93000 +> 2500 bytes allocated with offset 94000 +> 2600 bytes allocated with offset 95000 +> 2700 bytes allocated with offset 96000 +> 2800 bytes allocated with offset 97000 +> 2900 bytes allocated with offset 98000 +> 3000 bytes allocated with offset 99000 +> 3100 bytes allocated with offset 9a000 +> 3200 bytes allocated with offset 9b000 +> 3300 bytes allocated with offset 9c000 +> 3400 bytes allocated with offset 9d000 +> 3500 bytes allocated with offset 9e000 +> 3600 bytes allocated with offset 9f000 +> 3700 bytes allocated with offset a0000 +> 3800 bytes allocated with offset a1000 +> 3900 bytes allocated with offset a2000 +> 4000 bytes allocated with offset a3000 +> 4100 bytes allocated with offset a4000 +> 4200 bytes allocated with offset a6000 +> 4300 bytes allocated with offset a8000 +> 4400 bytes allocated with offset aa000 +> 4500 bytes allocated with offset ac000 +> 4600 bytes allocated with offset ae000 +> 4700 bytes allocated with offset b0000 +> 4800 bytes allocated with offset b2000 +> 4900 bytes allocated with offset b4000 +> 5000 bytes allocated with offset b6000 > All blocks were correctly allocated. Free every second block > Memset every second block to zero (yeah, they are not currently allocated :) > Re-allocate every second block -- 2.20.1