cd examples/lease-fencing && ./run.sh
  initdb -D /tmp/batch3-pg/b3-26 -U postgres -A trust -E UTF8 --locale=C.UTF-8 -c dynamic_shared_memory_type=mmap（仅首次）
  ../common/pg.sh start b3-26 55426
  LAB_PGPORT=55426 LAB_DB=lease26 LAB_PG_SH=../common/pg.sh LAB_PG_NAME=b3-26 LAB_BUILD=/tmp/batch3-build/ch26 ../common/lab.sh . lab.lease.LeaseLab
  （F4/F5 用例内部启动两个子 JVM lab.lease.Holder，并对持有者 A 执行 kill -STOP <pid> / kill -CONT <pid>）
  （F8 用例内部调用 ../common/pg.sh restart-immediate b3-26 55426）
  ../common/pg.sh stop b3-26
exit=0
