[INFO] cloning repository https://github.com/scuptio/example-2pc [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/scuptio/example-2pc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fscuptio%2Fexample-2pc", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fscuptio%2Fexample-2pc'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 433c8662647a7aa02e530f12923ab6eb531cc298 [INFO] testing scuptio/example-2pc against beta-2026-04-21 for beta-1.96-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fscuptio%2Fexample-2pc" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/scuptio/example-2pc [INFO] finished tweaking git repo https://github.com/scuptio/example-2pc [INFO] tweaked toml for git repo https://github.com/scuptio/example-2pc written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/scuptio/example-2pc on toolchain beta-2026-04-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/scuptio/scupt-net.git` [INFO] [stderr] Updating git repository `https://github.com/scuptio/scupt-util.git` [INFO] [stderr] Updating git repository `https://github.com/scuptio/sedeve-kit.git` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 267 packages to latest compatible versions [INFO] [stderr] Adding bincode v2.0.1 (available: v3.0.0) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding rand v0.8.6 (available: v0.10.1) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 68812588a8e6ceffbbb41795cffda52ebd29009c644bdade1fbb442d88de590d [INFO] running `Command { std: "docker" "start" "-a" "68812588a8e6ceffbbb41795cffda52ebd29009c644bdade1fbb442d88de590d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "68812588a8e6ceffbbb41795cffda52ebd29009c644bdade1fbb442d88de590d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "68812588a8e6ceffbbb41795cffda52ebd29009c644bdade1fbb442d88de590d", kill_on_drop: false }` [INFO] [stdout] 68812588a8e6ceffbbb41795cffda52ebd29009c644bdade1fbb442d88de590d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dc72643adbfd53956de53cc3af98a7c6a1e3f8d46e6c5a597102eda3604501fb [INFO] running `Command { std: "docker" "start" "-a" "dc72643adbfd53956de53cc3af98a7c6a1e3f8d46e6c5a597102eda3604501fb", kill_on_drop: false }` [INFO] [stderr] Compiling once_cell v1.21.4 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling itoa v1.0.18 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Compiling hashbrown v0.17.0 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling futures-io v0.3.32 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling errno v0.3.14 [INFO] [stderr] Compiling socket2 v0.6.3 [INFO] [stderr] Compiling mio v1.2.0 [INFO] [stderr] Compiling anyhow v1.0.102 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling signal-hook-registry v1.4.8 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling axum-core v0.3.4 [INFO] [stderr] Compiling http v0.2.12 [INFO] [stderr] Compiling socket2 v0.5.10 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling axum v0.6.20 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling regex-syntax v0.8.10 [INFO] [stderr] Compiling sync_wrapper v0.1.2 [INFO] [stderr] Compiling indexmap v2.14.0 [INFO] [stderr] Compiling matchit v0.7.3 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling log v0.4.29 [INFO] [stderr] Compiling simd-adler32 v0.3.9 [INFO] [stderr] Compiling http v1.4.0 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling itertools v0.12.1 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Compiling rand_core v0.10.1 [INFO] [stderr] Compiling libsqlite3-sys v0.27.0 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling sharded-slab v0.1.7 [INFO] [stderr] Compiling flate2 v1.1.9 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling http-body v0.4.6 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling cpufeatures v0.3.0 [INFO] [stderr] Compiling humantime v2.3.0 [INFO] [stderr] Compiling typenum v1.20.0 [INFO] [stderr] Compiling nu-ansi-term v0.50.3 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling chacha20 v0.10.0 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling virtue v0.0.18 [INFO] [stderr] Compiling anstyle-parse v1.0.0 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling is-terminal v0.4.17 [INFO] [stderr] Compiling rand v0.10.1 [INFO] [stderr] Compiling fallible-iterator v0.3.0 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling unty v0.0.4 [INFO] [stderr] Compiling fallible-streaming-iterator v0.1.9 [INFO] [stderr] Compiling anstyle v1.0.14 [INFO] [stderr] Compiling colorchoice v1.0.5 [INFO] [stderr] Compiling bitflags v2.11.1 [INFO] [stderr] Compiling substring v1.4.5 [INFO] [stderr] Compiling anstream v1.0.0 [INFO] [stderr] Compiling clap_lex v1.1.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling uuid v1.23.1 [INFO] [stderr] Compiling winnow v0.7.15 [INFO] [stderr] Compiling sdd v3.0.10 [INFO] [stderr] Compiling clap_builder v4.6.0 [INFO] [stderr] Compiling bincode_derive v2.0.1 [INFO] [stderr] Compiling async_fn_traits v0.1.1 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling project-root v0.2.2 [INFO] [stderr] Compiling scc v2.4.0 [INFO] [stderr] Compiling rust-format v0.3.4 [INFO] [stderr] Compiling bincode v2.0.1 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.7 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling serde_bytes v0.11.19 [INFO] [stderr] Compiling hdrhistogram v7.5.4 [INFO] [stderr] Compiling md-5 v0.10.6 [INFO] [stderr] Compiling prost-derive v0.11.9 [INFO] [stderr] Compiling prost v0.11.9 [INFO] [stderr] Compiling prost-types v0.11.9 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling tokio-macros v2.7.0 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling futures-macro v0.3.32 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling pin-project-internal v1.1.11 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling prost-derive v0.12.6 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling async-stream-impl v0.3.6 [INFO] [stderr] Compiling async-backtrace-attributes v0.2.7 [INFO] [stderr] Compiling clap_derive v4.6.1 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling async-stream v0.3.6 [INFO] [stderr] Compiling env_logger v0.10.2 [INFO] [stderr] Compiling rand v0.8.6 [INFO] [stderr] Compiling hashlink v0.8.4 [INFO] [stderr] Compiling dashmap v5.5.3 [INFO] [stderr] Compiling tokio v1.52.1 [INFO] [stderr] Compiling num-derive v0.4.2 [INFO] [stderr] Compiling futures-util v0.3.32 [INFO] [stderr] Compiling pin-project v1.1.11 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling prost v0.12.6 [INFO] [stderr] Compiling tracing-subscriber v0.3.23 [INFO] [stderr] Compiling prost-types v0.12.6 [INFO] [stderr] Compiling clap v4.6.1 [INFO] [stderr] Compiling futures-executor v0.3.32 [INFO] [stderr] Compiling futures v0.3.32 [INFO] [stderr] Compiling async-backtrace v0.2.7 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling tokio-io-timeout v1.2.1 [INFO] [stderr] Compiling tokio-stream v0.1.18 [INFO] [stderr] Compiling h2 v0.3.27 [INFO] [stderr] Compiling tower v0.4.13 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling rusqlite v0.30.0 [INFO] [stderr] Compiling hyper v1.9.0 [INFO] [stderr] Compiling hyper v0.14.32 [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stderr] Compiling hyper-timeout v0.4.1 [INFO] [stderr] Compiling tonic v0.9.2 [INFO] [stderr] Compiling tonic v0.10.2 [INFO] [stderr] Compiling console-api v0.5.0 [INFO] [stderr] Compiling console-api v0.6.0 [INFO] [stderr] Compiling console-subscriber v0.1.10 [INFO] [stderr] Compiling console-subscriber v0.2.0 [INFO] [stderr] Compiling scupt-util v0.0.1 (https://github.com/scuptio/scupt-util.git#358e142e) [INFO] [stderr] Compiling scupt-net v0.0.1 (https://github.com/scuptio/scupt-net.git#53ccf9f5) [INFO] [stderr] Compiling sedeve-kit v0.0.1 (https://github.com/scuptio/sedeve-kit.git#4a2e2aaf) [INFO] [stderr] Compiling example-2pc v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 47s [INFO] running `Command { std: "docker" "inspect" "dc72643adbfd53956de53cc3af98a7c6a1e3f8d46e6c5a597102eda3604501fb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc72643adbfd53956de53cc3af98a7c6a1e3f8d46e6c5a597102eda3604501fb", kill_on_drop: false }` [INFO] [stdout] dc72643adbfd53956de53cc3af98a7c6a1e3f8d46e6c5a597102eda3604501fb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 18b90c4d3da971d841bc14335d1c61156b0d15abe49b1a2d35d559f2456e55e0 [INFO] running `Command { std: "docker" "start" "-a" "18b90c4d3da971d841bc14335d1c61156b0d15abe49b1a2d35d559f2456e55e0", kill_on_drop: false }` [INFO] [stderr] Compiling example-2pc v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 9.12s [INFO] running `Command { std: "docker" "inspect" "18b90c4d3da971d841bc14335d1c61156b0d15abe49b1a2d35d559f2456e55e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "18b90c4d3da971d841bc14335d1c61156b0d15abe49b1a2d35d559f2456e55e0", kill_on_drop: false }` [INFO] [stdout] 18b90c4d3da971d841bc14335d1c61156b0d15abe49b1a2d35d559f2456e55e0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 4bef108ecec489771eca198e1db503823254fd331031f04d6f9173d0a2172d7c [INFO] running `Command { std: "docker" "start" "-a" "4bef108ecec489771eca198e1db503823254fd331031f04d6f9173d0a2172d7c", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/example_2pc-5485e6862f9bbc83) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9111 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] test test_message::test::test_2pc_message ... ok [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] test test_action_message::tests::test_action_message ... ok [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] test test_2pc_dtm_json::tests::test_dtm_from_json ... ok [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAbort\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAbort(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.10.10 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMAborted"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMAborted\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAbort(10)) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.11.11 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 2 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.10.10 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMSendAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.11.11 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.12.12 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {1: RMRunning} [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.13.13 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAbort\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAbort(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.14.14 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMAborted"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMAborted\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAbort(10)) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.15.15 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] ERROR TM recv_msg:tm_abort: sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:427: send action, Message { source: 1, dest: 1, payload: DTMTesting(TMSendAbort(10)) } , begin or end: Begin, error: RecvError("channel closed"). [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] ERROR TM recv_msg:tm_abort: sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:427: send action, Message { source: 1, dest: 1, payload: DTMTesting(TMSendAbort(10)) } , begin or end: End, error: SerdeError("channel closed"). [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {1: RMRunning} [INFO] [stdout] ERROR TM recv_msg:tm_abort: sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:427: send action, Message { source: 1, dest: 1, payload: TMMsg(MTxMsg { xid: 10, msg: Abort(1) }) } , begin or end: Begin, error: SerdeError("channel closed"). [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 3 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMSendAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {} [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 4 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.10.10 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMSendAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.11.11 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.12.12 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {1: RMRunning} [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.13.13 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"TMMsg\":{\"xid\":10,\"msg\":{\"Abort\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: TMMsg(MTxMsg { xid: 10, msg: Abort(1) }) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.14.14 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"RMMsg": Object {"xid": Number(10), "msg": Object {"AbortedACK": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.15.15 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMAborted"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: TMMsg(MTxMsg { xid: 10, msg: Abort(1) }) } ,done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMAborted\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.16.16 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"RMMsg": Object {"xid": Number(10), "msg": Object {"AbortedACK": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"RMMsg\":{\"xid\":10,\"msg\":{\"AbortedACK\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: RMMsg(MTxMsg { xid: 10, msg: AbortedACK(1) }) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.17.17 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAborted": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: RMMsg(MTxMsg { xid: 10, msg: AbortedACK(1) }) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event AbortedACK(1) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:358: tm aborted_ack rm state: {1: RMRunning} [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:367: enter recv_aborted_ack_inner 10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:385: exit recv_aborted_ack_inner 10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event AbortedACK(1) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 5 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.10.10 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMSendAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.11.11 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.12.12 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {1: RMRunning} [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.13.13 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 6 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Restart": Number(1)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Restart\":1}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Restart(1)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Restart(1)) } ,done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:188: run testing 7 [INFO] [stdout] DEBUG sedeve_kit::dtm::automata: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/automata.rs:398: create driver tested node:1234 addr None, player node:1000 addr:127.0.0.1:9222 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 3 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 2 [INFO] [stdout] DEBUG example_2pc::test_2pc_dtm::tests: src/test_2pc_dtm.rs:45: run simulating 1 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.1.1 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.2.2 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Setup": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Setup\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.3.3 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Setup(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.4.4 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TxBegin": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TxBegin\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.5.5 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMInvalid"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMInvalid")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMInvalid\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMInvalid\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TxBegin(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TxBegin(10)) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.6.6 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMInvalid, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMInvalid }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.7.7 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"RMAccess": Object {"rm_id": Number(1), "xid": Number(10), "tm_id": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"RMAccess\":{\"rm_id\":1,\"xid\":10,\"tm_id\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.8.8 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMRunning"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMRunning\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(RMAccess(MTAccess { xid: 10, tm_id: 1, rm_id: 1 })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.9.9 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMRunning, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.10.10 action: ActionJson { value: SerdeJsonValue { value: Object {"Internal": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMSendAbort": Number(10)}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:313: 10 tm send abort [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.11.11 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.12.12 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMRunning"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:466: enter 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:467: tm abort rm state: {1: RMRunning} [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:476: exit 10 tm abort [INFO] [stdout] DEBUG TM recv_msg:tm_abort: example_2pc::tx_tm: src/tx_tm.rs:324: 10 tm send abort end [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:515: exit timeout xid:10 [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:202: exit nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMRunning\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.13.13 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"TMMsg": Object {"xid": Number(10), "msg": Object {"Abort": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"TMMsg\":{\"xid\":10,\"msg\":{\"Abort\":1}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMRunning, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: TMMsg(MTxMsg { xid: 10, msg: Abort(1) }) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.14.14 action: ActionJson { value: SerdeJsonValue { value: Object {"Output": Object {"source": Number(1), "dest": Number(1), "payload": Object {"RMMsg": Object {"xid": Number(10), "msg": Object {"AbortedACK": Number(1)}}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.15.15 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"Check": Object {"node_id": Number(1), "tm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("TMAborting"), "rm_id": Object {"zzz_array": Array [Number(1)]}}}]}, "rm_state": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"state": String("RMAborted"), "rm_id": Object {"zzz_array": Array []}}}]}, "tm_rm_collection": Object {"zzz_array": Array [Object {"key": Number(10), "value": Object {"zzz_array": Array [Object {"key": Number(1), "value": String("RMRunning")}]}}]}}}}}} } } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: TMMsg(MTxMsg { xid: 10, msg: Abort(1) }) } ,done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"Check\":{\"node_id\":1,\"tm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"TMAborting\",\"rm_id\":{\"zzz_array\":[1]}}}]},\"rm_state\":{\"zzz_array\":[{\"key\":10,\"value\":{\"state\":\"RMAborted\",\"rm_id\":{\"zzz_array\":[]}}}]},\"tm_rm_collection\":{\"zzz_array\":[{\"key\":10,\"value\":{\"zzz_array\":[{\"key\":1,\"value\":\"RMRunning\"}]}}]}}}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:328: DTM trace, Node:Some(1), No.16.16 action: ActionJson { value: SerdeJsonValue { value: Object {"Input": Object {"source": Number(1), "dest": Number(1), "payload": Object {"DTMTesting": Object {"TMTimeout": Number(10)}}}} } } [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_server_handler: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_server_handler.rs:357: action message: SerdeJsonString { string: "{\"source\":1,\"dest\":1,\"payload\":{\"DTMTesting\":{\"TMTimeout\":10}}}" } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(Check(MTState { node_id: 1, rm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTRMState { state: RMAborted, rm_id: MTSet { zzz_array: [] } } }] }, tm_state: MTMap { zzz_array: [KeyValue { key: 10, value: MTTMState { state: TMAborting, rm_id: MTSet { zzz_array: [1] } } }] }, tm_rm_collection: MTMap { zzz_array: [KeyValue { key: 10, value: MTMap { zzz_array: [KeyValue { key: 1, value: RMRunning }] } }] } })) } ,done [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:94: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } [INFO] [stdout] DEBUG example_2pc::tx_coord_commit: src/tx_coord_commit.rs:102: NODE receive message: Message { source: 1, dest: 1, payload: DTMTesting(TMTimeout(10)) } ,done [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:186: enter nid:1 xid:10 incoming tm event DTMTesting(TMTimeout(10)) [INFO] [stdout] DEBUG TM recv_msg: example_2pc::tx_tm: src/tx_tm.rs:494: enter timeout xid:10 [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:146: dtm player handle test done [INFO] [stdout] DEBUG sedeve_kit::dtm::dtm_player: /opt/rustwide/cargo-home/git/checkouts/sedeve-kit-7caf070878071825/4a2e2aa/src/dtm/dtm_player.rs:155: dtm player server stopped [INFO] [stdout] test test_2pc_dtm_db::tests::test_dtm_from_trace_db ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.61s [INFO] [stdout] [INFO] [stderr] Doc-tests example_2pc [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "4bef108ecec489771eca198e1db503823254fd331031f04d6f9173d0a2172d7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4bef108ecec489771eca198e1db503823254fd331031f04d6f9173d0a2172d7c", kill_on_drop: false }` [INFO] [stdout] 4bef108ecec489771eca198e1db503823254fd331031f04d6f9173d0a2172d7c