public class org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest extends org.apache.zookeeper.ZKTestCase implements org.apache.zookeeper.Watcher
{
private static final org.slf4j.Logger LOG;
private static java.lang.String HOSTPORT;
private static final int CONNECTION_TIMEOUT;
private static final int N_TRANSACTIONS;
private static final int SNAP_COUNT;
public void <init>()
{
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
return;
}
public void runTest(boolean, boolean) throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v;
byte[] v;
byte v;
java.lang.Long v;
boolean v, v, v, v, v, v, v;
java.io.PrintWriter v;
org.apache.zookeeper.ZooKeeper v;
java.util.List v;
java.lang.Throwable v, v;
org.apache.zookeeper.server.ZKDatabase v, v;
java.lang.String[] v;
long v, v;
org.apache.zookeeper.server.ServerCnxnFactory v;
java.util.ArrayList v;
org.apache.zookeeper.server.persistence.FileTxnSnapLog v;
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
int v, v, v, v;
java.lang.String v, v, v, v, v, v;
org.slf4j.Logger v;
java.util.Iterator v;
java.io.IOException v;
java.io.File v, v;
org.apache.zookeeper.server.ZooKeeperServer v, v, v;
java.lang.Object v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
v := @parameter: boolean;
v := @parameter: boolean;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
staticinvoke <org.apache.zookeeper.test.ClientBase: void setupTestEnv()>();
v = new org.apache.zookeeper.server.ZooKeeperServer;
specialinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void <init>(java.io.File,java.io.File,int)>(v, v, 3000);
staticinvoke <org.apache.zookeeper.server.SyncRequestProcessor: void setSnapCount(int)>(100);
v = <org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: java.lang.String HOSTPORT>;
v = virtualinvoke v.<java.lang.String: java.lang.String[] split(java.lang.String)>(":");
v = v[1];
v = staticinvoke <java.lang.Integer: int parseInt(java.lang.String)>(v);
v = (int) -1;
v = staticinvoke <org.apache.zookeeper.server.ServerCnxnFactory: org.apache.zookeeper.server.ServerCnxnFactory createFactory(int,int)>(v, v);
virtualinvoke v.<org.apache.zookeeper.server.ServerCnxnFactory: void startup(org.apache.zookeeper.server.ZooKeeperServer)>(v);
v = <org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: java.lang.String HOSTPORT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerUp(java.lang.String,long)>(v, 3000L);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "waiting for server being up ");
v = new org.apache.zookeeper.ZooKeeper;
v = <org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: java.lang.String HOSTPORT>;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, 3000, v);
label:
v = 0;
label:
if v >= 150 goto label;
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[])>("/node-\u0001");
v = newarray (byte)[0];
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
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);
v = v + 1;
goto label;
label:
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
goto label;
label:
v := @caughtexception;
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
throw v;
label:
virtualinvoke v.<org.apache.zookeeper.server.ServerCnxnFactory: void shutdown()>();
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void shutdown()>();
v = <org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: java.lang.String HOSTPORT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerDown(java.lang.String,long)>(v, 3000L);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "waiting for server to shutdown");
v = new org.apache.zookeeper.server.ZooKeeperServer;
specialinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void <init>(java.io.File,java.io.File,int)>(v, v, 3000);
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void startdata()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: org.apache.zookeeper.server.ZKDatabase getZKDatabase()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: long getDataTreeLastProcessedZxid()>();
v = <org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("After clean restart, zxid = {}", v);
v = v cmp 0L;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "zxid > 0");
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void shutdown()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: org.apache.zookeeper.server.persistence.FileTxnSnapLog getTxnLogFactory()>();
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: java.util.List findNRecentSnapshots(int)>(10);
v = interfaceinvoke v.<java.util.List: int size()>();
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "We have a snapshot to corrupt");
v = interfaceinvoke v.<java.util.List: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
if v == 0 goto label;
v = new java.io.PrintWriter;
specialinvoke v.<java.io.PrintWriter: void <init>(java.io.File)>(v);
virtualinvoke v.<java.io.PrintWriter: void close()>();
goto label;
label:
virtualinvoke v.<java.io.File: boolean delete()>();
goto label;
label:
if v == 0 goto label;
staticinvoke <java.lang.System: java.lang.String setProperty(java.lang.String,java.lang.String)>("zookeeper.snapshot.trust.empty", "true");
label:
v = new org.apache.zookeeper.server.ZooKeeperServer;
specialinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void <init>(java.io.File,java.io.File,int)>(v, v, 3000);
label:
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void startdata()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: org.apache.zookeeper.server.ZKDatabase getZKDatabase()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: long getDataTreeLastProcessedZxid()>();
if v != 0 goto label;
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>("Should have gotten exception for corrupted database");
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(long,long,java.lang.String)>(v, v, "zxid mismatch after restoring database");
label:
if v == 0 goto label;
staticinvoke <java.lang.System: java.lang.String clearProperty(java.lang.String)>("zookeeper.snapshot.trust.empty");
goto label;
label:
v := @caughtexception;
if v == 0 goto label;
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>("Should not get exception for empty database");
label:
if v == 0 goto label;
staticinvoke <java.lang.System: java.lang.String clearProperty(java.lang.String)>("zookeeper.snapshot.trust.empty");
goto label;
label:
v := @caughtexception;
if v == 0 goto label;
staticinvoke <java.lang.System: java.lang.String clearProperty(java.lang.String)>("zookeeper.snapshot.trust.empty");
label:
throw v;
label:
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void shutdown()>();
return;
catch java.lang.Throwable from label to label with label;
catch java.io.IOException from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
}
public void testRestoreWithEmptySnapFiles() throws java.lang.Exception
{
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
virtualinvoke v.<org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: void runTest(boolean,boolean)>(1, 0);
return;
}
public void testRestoreWithNoSnapFiles() throws java.lang.Exception
{
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
virtualinvoke v.<org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: void runTest(boolean,boolean)>(0, 0);
return;
}
public void testRestoreWithTrustedEmptySnapFiles() throws java.lang.Exception
{
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
virtualinvoke v.<org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: void runTest(boolean,boolean)>(0, 1);
return;
}
public void testRestoreWithTrustedEmptySnapFilesWhenFollowing() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v;
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
byte[] v;
org.apache.zookeeper.data.Stat v;
org.apache.zookeeper.test.QuorumUtil$PeerStruct v, v;
java.nio.file.Path v;
boolean v, v, v;
org.apache.zookeeper.ZooKeeper v, v;
java.util.List v, v, v;
java.lang.Throwable v, v, v;
java.util.ArrayList v;
org.apache.zookeeper.server.persistence.FileTxnSnapLog v, v;
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
int v, v, v, v, v, v, v, v, v, v;
java.lang.String v, v, v, v;
java.util.Iterator v;
java.lang.Object v;
org.apache.zookeeper.test.QuorumUtil v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
v = new org.apache.zookeeper.test.QuorumUtil;
specialinvoke v.<org.apache.zookeeper.test.QuorumUtil: void <init>(int)>(1);
label:
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void startAll()>();
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: java.lang.String getConnectionStringForServer(int)>(1);
v = new org.apache.zookeeper.ZooKeeper;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, 3000, v);
label:
v = 0;
label:
if v >= 150 goto label;
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[])>("/node-\u0001");
v = newarray (byte)[0];
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
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);
v = v + 1;
goto label;
label:
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
goto label;
label:
v := @caughtexception;
throw v;
label:
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: int getLeaderServer()>();
v = 1;
label:
v = v.<org.apache.zookeeper.test.QuorumUtil: int ALL>;
if v > v goto label;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void shutdown(int)>(v);
if v == v goto label;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: org.apache.zookeeper.server.quorum.QuorumPeer peer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.persistence.FileTxnSnapLog getTxnFactory()>();
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: java.util.List findNRecentSnapshots(int)>(10);
v = interfaceinvoke v.<java.util.List: int size()>();
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "We have a snapshot to corrupt");
v = interfaceinvoke v.<java.util.List: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
staticinvoke <java.nio.file.Files: void delete(java.nio.file.Path)>(v);
goto label;
label:
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: java.util.List findNRecentSnapshots(int)>(10);
v = interfaceinvoke v.<java.util.List: int size()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(int,int)>(v, 0);
label:
v = v + 1;
goto label;
label:
staticinvoke <java.lang.System: java.lang.String setProperty(java.lang.String,java.lang.String)>("zookeeper.snapshot.trust.empty", "true");
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void start(int)>(v);
v = 1;
label:
v = v.<org.apache.zookeeper.test.QuorumUtil: int ALL>;
if v > v goto label;
if v == v goto label;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void restart(int)>(v);
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: org.apache.zookeeper.server.quorum.QuorumPeer peer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.persistence.FileTxnSnapLog getTxnFactory()>();
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: java.util.List findNRecentSnapshots(int)>(10);
v = interfaceinvoke v.<java.util.List: int size()>();
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
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[])>("A snapshot should have been created on follower \u0001");
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, v);
label:
v = v + 1;
goto label;
label:
v = new org.apache.zookeeper.ZooKeeper;
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, 3000, v);
label:
v = 0;
label:
if v >= 150 goto label;
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[])>("/node-\u0001");
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>(v, 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotNull(java.lang.Object)>(v);
v = v + 1;
goto label;
label:
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
goto label;
label:
v := @caughtexception;
throw v;
label:
staticinvoke <java.lang.System: java.lang.String clearProperty(java.lang.String)>("zookeeper.snapshot.trust.empty");
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void tearDown()>();
goto label;
label:
v := @caughtexception;
staticinvoke <java.lang.System: java.lang.String clearProperty(java.lang.String)>("zookeeper.snapshot.trust.empty");
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void tearDown()>();
throw v;
label:
return;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
}
public void process(org.apache.zookeeper.WatchedEvent)
{
org.apache.zookeeper.WatchedEvent v;
org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest v;
v := @this: org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest;
v := @parameter: org.apache.zookeeper.WatchedEvent;
return;
}
static void <clinit>()
{
int v;
java.lang.String v;
org.slf4j.Logger v;
v = staticinvoke <org.slf4j.LoggerFactory: org.slf4j.Logger getLogger(java.lang.Class)>(class "Lorg/apache/zookeeper/test/RestoreCommittedLogTest;");
<org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: org.slf4j.Logger LOG> = v;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
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");
<org.apache.zookeeper.test.EmptiedSnapshotRecoveryTest: java.lang.String HOSTPORT> = v;
return;
}
}