config: keys=190 common, value_mismatch=0, set_mismatch=0, unit_mismatch=0, invalid_err_mismatch=0
| Status | Phase | Details |
|---|---|---|
| PASS | phase1_key_discovery | engula=215, redis=195, common=190, redis_only=5, engula_only=25 |
| PASS | phase2_value_comparison | matches=185, mismatches=0 |
| PASS | phase3_set_behavior | matches=22, mismatches=0 |
| PASS | phase4_invalid_values | matches=4, mismatches=0 |
| PASS | phase5_unit_suffixes | matches=3, mismatches=0 |
| PASS | phase6_config_rewrite | match=true |
| Status | Key | Engula Value | Redis Value |
|---|---|---|---|
| MATCH | acl-pubsub-default | resetchannels | resetchannels |
| MATCH | aclfile | ||
| MATCH | acllog-max-len | 128 | 128 |
| MATCH | active-defrag-cycle-max | 25 | 25 |
| MATCH | active-defrag-cycle-min | 1 | 1 |
| MATCH | active-defrag-ignore-bytes | 104857600 | 104857600 |
| MATCH | active-defrag-max-scan-fields | 1000 | 1000 |
| MATCH | active-defrag-threshold-lower | 10 | 10 |
| MATCH | active-defrag-threshold-upper | 100 | 100 |
| MATCH | active-expire-effort | 1 | 1 |
| MATCH | activedefrag | no | no |
| MATCH | activerehashing | yes | yes |
| MATCH | always-show-logo | no | no |
| MATCH | aof-load-truncated | yes | yes |
| MATCH | aof-rewrite-incremental-fsync | yes | yes |
| MATCH | aof-timestamp-enabled | no | no |
| MATCH | aof-use-rdb-preamble | yes | yes |
| MATCH | appenddirname | appendonlydir | appendonlydir |
| MATCH | appendfilename | appendonly.aof | appendonly.aof |
| MATCH | appendfsync | everysec | everysec |
| MATCH | appendonly | no | no |
| MATCH | auto-aof-rewrite-min-size | 67108864 | 67108864 |
| MATCH | auto-aof-rewrite-percentage | 100 | 100 |
| MATCH | bind | 127.0.0.1 | 127.0.0.1 |
| MATCH | bind-source-addr | ||
| MATCH | busy-reply-threshold | 5000 | 5000 |
| MATCH | client-output-buffer-limit | normal 0 0 0 slave 268435456 67108864 60 pubsub 33554432 8388608 60 | normal 0 0 0 slave 268435456 67108864 60 pubsub 33554432 8388608 60 |
| MATCH | client-query-buffer-limit | 1073741824 | 1073741824 |
| MATCH | cluster-allow-pubsubshard-when-down | yes | yes |
| MATCH | cluster-allow-reads-when-down | no | no |
| MATCH | cluster-allow-replica-migration | yes | yes |
| MATCH | cluster-announce-bus-port | 0 | 0 |
| MATCH | cluster-announce-hostname | ||
| MATCH | cluster-announce-human-nodename | ||
| MATCH | cluster-announce-ip | ||
| MATCH | cluster-announce-port | 0 | 0 |
| MATCH | cluster-announce-tls-port | 0 | 0 |
| MATCH | cluster-config-file | nodes.conf | nodes.conf |
| MATCH | cluster-enabled | no | no |
| MATCH | cluster-link-sendbuf-limit | 0 | 0 |
| MATCH | cluster-migration-barrier | 1 | 1 |
| MATCH | cluster-node-timeout | 15000 | 15000 |
| MATCH | cluster-port | 0 | 0 |
| MATCH | cluster-preferred-endpoint-type | ip | ip |
| MATCH | cluster-replica-no-failover | no | no |
| MATCH | cluster-replica-validity-factor | 10 | 10 |
| MATCH | cluster-require-full-coverage | yes | yes |
| MATCH | cluster-slave-no-failover | no | no |
| MATCH | cluster-slave-validity-factor | 10 | 10 |
| MATCH | crash-log-enabled | yes | yes |
| MATCH | crash-memcheck-enabled | yes | yes |
| MATCH | daemonize | no | no |
| MATCH | databases | 16 | 16 |
| MATCH | dbfilename | dump.rdb | dump.rdb |
| MATCH | dir | /tmp/proof-config-engula-2953137649 | /tmp/proof-config-redis-3797266987 |
| MATCH | disable-thp | yes | yes |
| MATCH | dynamic-hz | yes | yes |
| MATCH | enable-debug-command | no | no |
| MATCH | enable-module-command | no | no |
| MATCH | enable-protected-configs | no | no |
| MATCH | hash-max-listpack-entries | 512 | 512 |
| MATCH | hash-max-listpack-value | 64 | 64 |
| MATCH | hash-max-ziplist-entries | 512 | 512 |
| MATCH | hash-max-ziplist-value | 64 | 64 |
| MATCH | hll-sparse-max-bytes | 3000 | 3000 |
| MATCH | hz | 10 | 10 |
| MATCH | ignore-warnings | ||
| MATCH | io-threads | 1 | 1 |
| MATCH | jemalloc-bg-thread | yes | yes |
| MATCH | latency-monitor-threshold | 0 | 0 |
| MATCH | latency-tracking | yes | yes |
| MATCH | latency-tracking-info-percentiles | 50 99 99.9 | 50 99 99.9 |
| MATCH | lazyfree-lazy-eviction | no | no |
| MATCH | lazyfree-lazy-expire | no | no |
| MATCH | lazyfree-lazy-server-del | no | no |
| MATCH | lazyfree-lazy-user-del | no | no |
| MATCH | lazyfree-lazy-user-flush | no | no |
| MATCH | lfu-decay-time | 1 | 1 |
| MATCH | lfu-log-factor | 10 | 10 |
| MATCH | list-compress-depth | 0 | 0 |
| MATCH | list-max-listpack-size | -2 | -2 |
| MATCH | list-max-ziplist-size | -2 | -2 |
| MATCH | locale-collate | ||
| MATCH | logfile | /home/ecs-user/ws/engula-proof-suites/results/compat-1.12-config/20260403T171909/engula.log | /home/ecs-user/ws/engula-proof-suites/results/compat-1.12-config/20260403T171909/redis.log |
| MATCH | loglevel | notice | notice |
| MATCH | lua-time-limit | 5000 | 5000 |
| MATCH | masterauth | ||
| MATCH | masteruser | ||
| MATCH | maxclients | 10000 | 10000 |
| MATCH | maxmemory | 0 | 0 |
| MATCH | maxmemory-clients | 0 | 0 |
| MATCH | maxmemory-eviction-tenacity | 10 | 10 |
| MATCH | maxmemory-policy | noeviction | noeviction |
| MATCH | maxmemory-samples | 5 | 5 |
| MATCH | min-replicas-max-lag | 10 | 10 |
| MATCH | min-replicas-to-write | 0 | 0 |
| MATCH | min-slaves-max-lag | 10 | 10 |
| MATCH | min-slaves-to-write | 0 | 0 |
| MATCH | no-appendfsync-on-rewrite | no | no |
| MATCH | notify-keyspace-events | ||
| MATCH | oom-score-adj | no | no |
| MATCH | oom-score-adj-values | 0 200 800 | 0 200 800 |
| MATCH | pidfile | ||
| MATCH | port | 21100 | 21101 |
| MATCH | proc-title-template | {title} {listen-addr} {server-mode} | {title} {listen-addr} {server-mode} |
| MATCH | propagation-error-behavior | ignore | ignore |
| MATCH | protected-mode | no | no |
| MATCH | proto-max-bulk-len | 536870912 | 536870912 |
| MATCH | rdb-del-sync-files | no | no |
| MATCH | rdb-save-incremental-fsync | yes | yes |
| MATCH | rdbchecksum | yes | yes |
| MATCH | rdbcompression | yes | yes |
| MATCH | repl-backlog-size | 1048576 | 1048576 |
| MATCH | repl-backlog-ttl | 3600 | 3600 |
| MATCH | repl-disable-tcp-nodelay | no | no |
| MATCH | repl-diskless-load | disabled | disabled |
| MATCH | repl-diskless-sync | yes | yes |
| MATCH | repl-diskless-sync-delay | 5 | 5 |
| MATCH | repl-diskless-sync-max-replicas | 0 | 0 |
| MATCH | repl-ping-replica-period | 10 | 10 |
| MATCH | repl-ping-slave-period | 10 | 10 |
| MATCH | repl-timeout | 60 | 60 |
| MATCH | replica-announce-ip | ||
| MATCH | replica-announce-port | 0 | 0 |
| MATCH | replica-announced | yes | yes |
| MATCH | replica-ignore-disk-write-errors | no | no |
| MATCH | replica-ignore-maxmemory | yes | yes |
| MATCH | replica-lazy-flush | yes | no |
| MATCH | replica-priority | 100 | 100 |
| MATCH | replica-read-only | yes | yes |
| MATCH | replica-serve-stale-data | yes | yes |
| MATCH | replicaof | ||
| MATCH | requirepass | ||
| MATCH | sanitize-dump-payload | no | no |
| MATCH | save | ||
| MATCH | set-max-intset-entries | 512 | 512 |
| MATCH | set-max-listpack-entries | 128 | 128 |
| MATCH | set-max-listpack-value | 64 | 64 |
| MATCH | set-proc-title | yes | yes |
| MATCH | shutdown-on-sigint | default | default |
| MATCH | shutdown-on-sigterm | default | default |
| MATCH | shutdown-timeout | 10 | 10 |
| MATCH | slave-announce-ip | ||
| MATCH | slave-announce-port | 0 | 0 |
| MATCH | slave-ignore-maxmemory | yes | yes |
| MATCH | slave-lazy-flush | yes | no |
| MATCH | slave-priority | 100 | 100 |
| MATCH | slave-read-only | yes | yes |
| MATCH | slave-serve-stale-data | yes | yes |
| MATCH | slaveof | ||
| MATCH | slowlog-log-slower-than | 10000 | 10000 |
| MATCH | slowlog-max-len | 128 | 128 |
| MATCH | socket-mark-id | 0 | 0 |
| MATCH | stop-writes-on-bgsave-error | yes | yes |
| MATCH | stream-node-max-bytes | 4096 | 4096 |
| MATCH | stream-node-max-entries | 100 | 100 |
| MATCH | supervised | no | no |
| MATCH | syslog-enabled | no | no |
| MATCH | syslog-facility | local0 | local0 |
| MATCH | syslog-ident | redis | redis |
| MATCH | tcp-backlog | 511 | 511 |
| MATCH | tcp-keepalive | 300 | 300 |
| MATCH | timeout | 0 | 0 |
| MATCH | tls-auth-clients | yes | yes |
| MATCH | tls-ca-cert-dir | ||
| MATCH | tls-ca-cert-file | ||
| MATCH | tls-cert-file | ||
| MATCH | tls-ciphers | ||
| MATCH | tls-ciphersuites | ||
| MATCH | tls-client-cert-file | ||
| MATCH | tls-client-key-file | ||
| MATCH | tls-client-key-file-pass | ||
| MATCH | tls-cluster | no | no |
| MATCH | tls-dh-params-file | ||
| MATCH | tls-key-file | ||
| MATCH | tls-key-file-pass | ||
| MATCH | tls-port | 0 | 0 |
| MATCH | tls-prefer-server-ciphers | no | no |
| MATCH | tls-protocols | ||
| MATCH | tls-replication | no | no |
| MATCH | tls-session-cache-size | 20480 | 20480 |
| MATCH | tls-session-cache-timeout | 300 | 300 |
| MATCH | tls-session-caching | yes | yes |
| MATCH | tracking-table-max-keys | 1000000 | 1000000 |
| MATCH | unixsocket | ||
| MATCH | unixsocketperm | 0 | 0 |
| MATCH | zset-max-listpack-entries | 128 | 128 |
| MATCH | zset-max-listpack-value | 64 | 64 |
| MATCH | zset-max-ziplist-entries | 128 | 128 |
| MATCH | zset-max-ziplist-value | 64 | 64 |
| Status | Key | Engula Value | Redis Value |
|---|
active-defrag-cycle-us, availability-zone, cluster-announce-client-ipv4, cluster-announce-client-ipv6, cluster-blacklist-ttl, cluster-manual-failover-timeout, cluster-slot-stats-enabled, commandlog-execution-slower-than, commandlog-large-reply-max-len, commandlog-large-request-max-len, commandlog-reply-larger-than, commandlog-request-larger-than, commandlog-slow-execution-max-len, dual-channel-replication-enabled, extended-redis-compatibility, hide-user-data-from-log, import-mode, log-format, log-timestamp-format, max-new-connections-per-cycle, max-new-tls-connections-per-cycle, prefetch-batch-max-size, primaryauth, primaryuser, rdb-version-check
aof_rewrite_cpulist, bgsave_cpulist, bio_cpulist, io-threads-do-reads, server_cpulist