Method verify

ZezeJava/ZezeJavaTest/src/Infinite/Tasks.java:204–250

()

		}

		@Override
		void verify() throws Exception {
			super.verify();

			// verify 时，所有任务都执行完毕，不需要考虑并发。
			var name = Table1Long2Add1.class.getName();
			var app = Simulate.getInstance().randApp().app; // 任何一个app都能查到相同的结果。
			var success = getSuccessCounter(name).sum();
			var sum = 0L;
			for (var it = getKeyCounters(name).keyIterator(); it.hasNext(); ) {
				for (int tryCount = 10; ; ) {
					try {
						var key = it.next();
						var v1 = app.demo_Module1.getTable1().selectDirty(key);
						if (v1 == null)
							Simulate.logger.warn("app.demo_Module1.getTable1().selectDirty({}) = null", key);
						else {
							var v = v1.getLong2();
							sum += v;
							if (debugTradeSum)
								Simulate.logger.info("--- key:{} value:{}", key, v);
						}
						break;
					} catch (GoBackZeze e) {
						if (--tryCount <= 0)
							throw e;
						try {
							//noinspection BusyWait
							Thread.sleep(200);
						} catch (InterruptedException ex) {
							throw new RuntimeException(ex);
						}
					}
				}
			}
			if (success != sum) {
				var a = new OutLong();
				app.demo_Module1.getTable1().walk((k, v) -> {
					a.value += v.getLong2();
					return true;
				});
				Simulate.logger.error("Table1Long2Add1 verify failed: {} != {} (walk:{}, commitCount:{})",
						success, sum, a.value, commitCount.sum());
			}
			Assert.assertEquals(success, sum);
			Simulate.logger.debug("{}.verify OK!", name);
		}
	}

	static class Table1List9AddOrRemove extends Task {