public class org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest extends org.apache.zookeeper.server.quorum.QuorumPeerTestBase
{
private static final org.slf4j.Logger LOG;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt;
org.apache.zookeeper.ZooKeeper[] zk;
int[] clientPorts;
int leaderId;
int followerA;
public void <init>()
{
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
specialinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase: void <init>()>();
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt> = null;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk> = null;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts> = null;
return;
}
public void setup() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v;
org.apache.zookeeper.ZooKeeper$States v;
int[] v, v, v, v, v;
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.ZooKeeper[] v, v, v;
java.lang.StringBuilder v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$1 v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v, v, v;
int v, v, v, v, v, v, v, v, v, v, v, v, v, v;
java.lang.String v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v;
org.slf4j.Logger v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v;
org.apache.zookeeper.server.quorum.Leader v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
staticinvoke <org.apache.zookeeper.server.ZooKeeperServer: void setDigestEnabled(boolean)>(1);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Start up a 3 server quorum");
v = newarray (int)[3];
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts> = v;
v = new java.lang.StringBuilder;
specialinvoke v.<java.lang.StringBuilder: void <init>()>();
v = 0;
label:
if v >= 3 goto label;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v[v] = v;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int,int,int,int)>(v, v, v, v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("server.\u0001=127.0.0.1:\u0001:\u0001:participant;127.0.0.1:\u0001");
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (java.lang.String)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("\u0001\n");
virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(v);
v = v + 1;
goto label;
label:
v = virtualinvoke v.<java.lang.StringBuilder: java.lang.String toString()>();
v = newarray (org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread)[3];
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt> = v;
v = newarray (org.apache.zookeeper.ZooKeeper)[3];
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk> = v;
v = 0;
label:
if v >= 3 goto label;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$1;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v[v];
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$1: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,int,int,java.lang.String,boolean)>(v, v, v, v, 0);
v[v] = v;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v[v] = v;
v = v + 1;
goto label;
label:
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForAll(org.apache.zookeeper.ZooKeeper[],org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("all servers started");
v = (int) -1;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId> = v;
v = (int) -1;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA> = v;
v = 0;
label:
if v >= 3 goto label;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Leader leader>;
if v == null goto label;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId> = v;
goto label;
label:
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = (int) -1;
if v != v goto label;
v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA> = v;
label:
v = v + 1;
goto label;
label:
return;
}
public void tearDown() throws java.lang.Exception
{
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
org.apache.zookeeper.ZooKeeper[] v, v;
int v, v, v, v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
staticinvoke <org.apache.zookeeper.server.ZooKeeperServer: void setDigestEnabled(boolean)>(0);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
if v == null goto label;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v + 1;
goto label;
label:
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
if v == null goto label;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
v = v + 1;
goto label;
label:
return;
}
public void testMultiOpConsistency() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
byte[] v, v, v, v;
org.apache.zookeeper.ZooKeeper$States v, v;
org.apache.zookeeper.ZooKeeper v, v, v, v, v, v;
org.apache.zookeeper.Op v, v;
java.util.List v;
org.apache.zookeeper.ZooKeeper[] v, v, v, v, v, v;
org.apache.zookeeper.Op[] v;
org.apache.zookeeper.server.ZKDatabase v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$2 v;
java.util.ArrayList v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v, v, v;
int v, v, v, v, v, v, v, v, v, v;
java.lang.String v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v, v;
org.slf4j.Logger v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v, v, v;
org.apache.zookeeper.server.ZooKeeperServer v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
org.apache.zookeeper.server.DataTree v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Create a parent node");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testMultiOpConsistency", v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Hook to catch the 2nd sub create node txn in multi-op");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZKDatabase getZkDb()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: org.apache.zookeeper.server.DataTree getDataTree()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZooKeeperServer getActiveServer()>();
v = "/testMultiOpConsistency/1";
v = "/testMultiOpConsistency/2";
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$2;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$2: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,org.apache.zookeeper.server.ZooKeeperServer)>(v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomDataTree: void addNodeCreateListener(java.lang.String,org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$NodeCreateListener)>("/testMultiOpConsistency/2", v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Issue a multi op to create 2 nodes");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = newarray (org.apache.zookeeper.Op)[2];
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
v = staticinvoke <org.apache.zookeeper.Op: org.apache.zookeeper.Op create(java.lang.String,byte[],java.util.List,org.apache.zookeeper.CreateMode)>("/testMultiOpConsistency/1", v, v, v);
v[0] = v;
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
v = staticinvoke <org.apache.zookeeper.Op: org.apache.zookeeper.Op create(java.lang.String,byte[],java.util.List,org.apache.zookeeper.CreateMode)>("/testMultiOpConsistency/2", v, v, v);
v[1] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: java.util.List multi(java.lang.Iterable)>(v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Restart the server");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTING>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Make sure the node consistent with leader");
v = new java.lang.String;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: byte[] getData(java.lang.String,org.apache.zookeeper.Watcher,org.apache.zookeeper.data.Stat)>("/testMultiOpConsistency/2", null, null);
specialinvoke v.<java.lang.String: void <init>(byte[])>(v);
v = new java.lang.String;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: byte[] getData(java.lang.String,org.apache.zookeeper.Watcher,org.apache.zookeeper.data.Stat)>("/testMultiOpConsistency/2", null, null);
specialinvoke v.<java.lang.String: void <init>(byte[])>(v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPZxidUpdatedDuringSnapSyncing() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v, v, v;
org.apache.zookeeper.ZooKeeper$States v, v;
java.lang.Integer v;
org.apache.zookeeper.ZooKeeper v, v, v, v, v;
org.apache.zookeeper.ZooKeeper[] v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v;
int v, v, v, v, v, v, v, v, v, v, v;
org.slf4j.Logger v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Enable force snapshot sync");
staticinvoke <java.lang.System: java.lang.String setProperty(java.lang.String,java.lang.String)>("zookeeper.forceSnapshotSync", "true");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedWhenDeletingNonExistNode", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode EPHEMERAL>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedWhenDeletingNonExistNode/child", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode EPHEMERAL>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedWhenDeletingNonExistNode/child1", v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("shutdown follower {}", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTING>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Set up ZKDatabase to catch the node serializing in DataTree");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void addSerializeListener(int,java.lang.String,java.lang.String)>(v, "/testPZxidUpdatedWhenDeletingNonExistNode", "/testPZxidUpdatedWhenDeletingNonExistNode/child");
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Restart follower A to trigger a SNAP sync with leader");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Check and make sure the pzxid of the parent is the same on leader and follower A");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void compareStat(java.lang.String,int,int)>("/testPZxidUpdatedWhenDeletingNonExistNode", v, v);
return;
}
public void testPZxidUpdatedWhenLoadingSnapshot() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer v;
org.apache.zookeeper.ZooKeeper$States v, v;
int[] v;
org.apache.zookeeper.ZooKeeper v, v, v, v, v, v;
org.apache.zookeeper.ZooKeeper[] v, v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v, v;
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
java.lang.String v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v;
org.slf4j.Logger v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v, v;
org.apache.zookeeper.server.ZooKeeperServer v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedDuringTakingSnapshot", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode EPHEMERAL>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedDuringTakingSnapshot/child", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode EPHEMERAL>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testPZxidUpdatedDuringTakingSnapshot/child1", v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Set up ZKDatabase to catch the node serializing in DataTree");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void addSerializeListener(int,java.lang.String,java.lang.String)>(v, "/testPZxidUpdatedDuringTakingSnapshot", "/testPZxidUpdatedDuringTakingSnapshot/child");
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Take snapshot on follower A");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZooKeeperServer getActiveServer()>();
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: java.io.File takeSnapshot(boolean)>(1);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Restarting follower A to load snapshot");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CLOSED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v[v] = v;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Check and make sure the pzxid of the parent is the same on leader and follower A");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void compareStat(java.lang.String,int,int)>("/testPZxidUpdatedDuringTakingSnapshot", v, v);
return;
}
public void testMultiOpDigestConsistentDuringSnapshot() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v;
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
org.apache.zookeeper.ZooKeeper$States v, v;
org.apache.zookeeper.ZooKeeper v, v, v, v;
java.util.concurrent.CountDownLatch v, v;
org.apache.zookeeper.ZooKeeper[] v, v, v, v;
org.apache.zookeeper.server.ZKDatabase v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$3 v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$4 v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v, v, v;
org.apache.zookeeper.server.ServerMetrics v;
int v, v, v, v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v, v;
org.slf4j.Logger v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v, v, v;
org.apache.zookeeper.server.ZooKeeperServer v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
org.apache.zookeeper.server.DataTree v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = staticinvoke <org.apache.zookeeper.server.ServerMetrics: org.apache.zookeeper.server.ServerMetrics getMetrics()>();
virtualinvoke v.<org.apache.zookeeper.server.ServerMetrics: void resetAll()>();
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Create some txns");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void createEmptyNode(org.apache.zookeeper.ZooKeeper,java.lang.String,org.apache.zookeeper.CreateMode)>(v, "/testMultiOpDigestConsistentDuringSnapshot", v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZKDatabase getZkDb()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: org.apache.zookeeper.server.DataTree getDataTree()>();
v = new java.util.concurrent.CountDownLatch;
specialinvoke v.<java.util.concurrent.CountDownLatch: void <init>(int)>(1);
v = new java.util.concurrent.CountDownLatch;
specialinvoke v.<java.util.concurrent.CountDownLatch: void <init>(int)>(1);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$3;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$3: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,org.apache.zookeeper.ZooKeeper,java.util.concurrent.CountDownLatch,java.util.concurrent.CountDownLatch)>(v, v, v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomDataTree: void setDigestSerializeListener(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$DigestSerializeListener)>(v);
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$4;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$4: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,java.util.concurrent.CountDownLatch,java.util.concurrent.CountDownLatch)>(v, v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomDataTree: void setDataListener(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$SetDataTxnListener)>(v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Trigger a snapshot");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZooKeeperServer getActiveServer()>();
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: java.io.File takeSnapshot(boolean)>(1);
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void checkNoMismatchReported()>();
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Restart the server to load the snapshot again");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTING>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Make sure there is nothing caught in the digest mismatch");
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: void checkNoMismatchReported()>();
return;
}
private void checkNoMismatchReported()
{
byte v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
java.util.Map v;
java.lang.Object v;
long v;
java.lang.String v;
boolean v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = staticinvoke <org.apache.zookeeper.metrics.MetricsUtils: java.util.Map currentServerMetrics()>();
v = interfaceinvoke v.<java.util.Map: java.lang.Object get(java.lang.Object)>("digest_mismatches_count");
v = virtualinvoke v.<java.lang.Long: long longValue()>();
v = v cmp 0L;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("The mismatch count should be zero but is: \u0001");
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean,java.lang.String)>(v, v);
return;
}
private void addSerializeListener(int, java.lang.String, java.lang.String)
{
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.quorum.QuorumPeer v;
org.apache.zookeeper.server.ZKDatabase v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$5 v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
org.apache.zookeeper.ZooKeeper[] v;
int v;
org.apache.zookeeper.server.DataTree v;
java.lang.String v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v := @parameter: int;
v := @parameter: java.lang.String;
v := @parameter: java.lang.String;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZKDatabase getZkDb()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: org.apache.zookeeper.server.DataTree getDataTree()>();
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$5;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$5: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,org.apache.zookeeper.ZooKeeper,java.lang.String)>(v, v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomDataTree: void addListener(java.lang.String,org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$NodeSerializeListener)>(v, v);
return;
}
private void compareStat(java.lang.String, int, int) throws java.lang.Exception
{
java.lang.Throwable v;
org.apache.zookeeper.ZooKeeper$States v;
org.apache.zookeeper.data.Stat v, v;
int[] v, v;
int v, v, v, v, v, v, v, v, v, v;
java.lang.String v, v, v;
org.apache.zookeeper.ZooKeeper v, v, v, v, v, v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
org.apache.zookeeper.ZooKeeper[] v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v := @parameter: java.lang.String;
v := @parameter: int;
v := @parameter: int;
v = newarray (org.apache.zookeeper.ZooKeeper)[2];
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v[0] = v;
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v[1] = v;
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForAll(org.apache.zookeeper.ZooKeeper[],org.apache.zookeeper.ZooKeeper$States)>(v, v);
label:
v = new org.apache.zookeeper.data.Stat;
specialinvoke v.<org.apache.zookeeper.data.Stat: void <init>()>();
v = v[0];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: byte[] getData(java.lang.String,org.apache.zookeeper.Watcher,org.apache.zookeeper.data.Stat)>(v, null, v);
v = new org.apache.zookeeper.data.Stat;
specialinvoke v.<org.apache.zookeeper.data.Stat: void <init>()>();
v = v[1];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: byte[] getData(java.lang.String,org.apache.zookeeper.Watcher,org.apache.zookeeper.data.Stat)>(v, null, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
label:
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
v = v + 1;
goto label;
label:
v := @caughtexception;
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
v = v + 1;
goto label;
label:
throw v;
label:
return;
catch java.lang.Throwable from label to label with label;
}
public void testGlobalSessionConsistency() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v, v, v;
org.apache.zookeeper.ZooKeeper$States v, v, v;
int[] v;
boolean v;
org.apache.zookeeper.ZooKeeper v, v, v;
java.util.concurrent.ConcurrentHashMap v, v;
java.util.Set v, v, v, v;
org.apache.zookeeper.ZooKeeper[] v, v;
org.apache.zookeeper.server.ZKDatabase v, v;
java.util.concurrent.atomic.AtomicBoolean v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$6 v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] v, v, v, v, v;
int v, v, v, v, v, v, v, v, v, v;
java.lang.String v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain v, v, v;
org.slf4j.Logger v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread v, v, v, v, v;
org.apache.zookeeper.server.ZooKeeperServer v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Hook to catch the commitSession event on followerA");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomizedQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZooKeeperServer getActiveServer()>();
v = new java.util.concurrent.atomic.AtomicBoolean;
specialinvoke v.<java.util.concurrent.atomic.AtomicBoolean: void <init>(boolean)>(1);
v = new org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$6;
specialinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$6: void <init>(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest,java.util.concurrent.atomic.AtomicBoolean,org.apache.zookeeper.server.ZooKeeperServer)>(v, v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CustomizedQPMain: void setCommitSessionListener(org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest$CommitSessionListener)>(v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Create a global session");
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int[] clientPorts>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Restart followerA to load the data from disk");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void shutdown()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTING>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: void start()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.ZooKeeper[] zk>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = <org.apache.zookeeper.ZooKeeper$States: org.apache.zookeeper.ZooKeeper$States CONNECTED>;
staticinvoke <org.apache.zookeeper.server.quorum.QuorumPeerMainTest: void waitForOne(org.apache.zookeeper.ZooKeeper,org.apache.zookeeper.ZooKeeper$States)>(v, v);
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("Make sure the global sessions are consistent with leader");
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int leaderId>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZKDatabase getZkDb()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: java.util.concurrent.ConcurrentHashMap getSessionWithTimeOuts()>();
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread[] mt>;
v = v.<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: int followerA>;
v = v[v];
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$MainThread: org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain main>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeerTestBase$TestQPMain: org.apache.zookeeper.server.quorum.QuorumPeer quorumPeer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZKDatabase getZkDb()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: java.util.concurrent.ConcurrentHashMap getSessionWithTimeOuts()>();
v = <org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG>;
v = interfaceinvoke v.<java.util.Map: java.util.Set keySet()>();
v = interfaceinvoke v.<java.util.Map: java.util.Set keySet()>();
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("sessions are {}, {}", v, v);
v = interfaceinvoke v.<java.util.Map: java.util.Set keySet()>();
v = interfaceinvoke v.<java.util.Map: java.util.Set keySet()>();
v = interfaceinvoke v.<java.util.Set: boolean containsAll(java.util.Collection)>(v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
private void createEmptyNode(org.apache.zookeeper.ZooKeeper, java.lang.String, org.apache.zookeeper.CreateMode) throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v;
org.apache.zookeeper.ZooKeeper v;
byte[] v;
org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest v;
java.lang.String v;
java.util.ArrayList v;
v := @this: org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest;
v := @parameter: org.apache.zookeeper.ZooKeeper;
v := @parameter: java.lang.String;
v := @parameter: org.apache.zookeeper.CreateMode;
v = newarray (byte)[0];
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: java.lang.String create(java.lang.String,byte[],java.util.List,org.apache.zookeeper.CreateMode)>(v, v, v, v);
return;
}
static void <clinit>()
{
org.slf4j.Logger v;
v = staticinvoke <org.slf4j.LoggerFactory: org.slf4j.Logger getLogger(java.lang.Class)>(class "Lorg/apache/zookeeper/server/quorum/FuzzySnapshotRelatedTest;");
<org.apache.zookeeper.server.quorum.FuzzySnapshotRelatedTest: org.slf4j.Logger LOG> = v;
return;
}
}