• Home
• de.rwth.i2
• attestor-examples
• 0.3.8
• source code
• AVLTree.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.rwth.i2.attestorExamples.AVLTree Maven / Gradle / Ivy

package de.rwth.i2.attestor.examples;

import jmhBenchmarkHelper.BenchmarkHelper;
import org.openjdk.jmh.annotations.Benchmark;
import de.rwth.i2.attestor.main.Attestor;

import java.util.List;

import static java.lang.Thread.currentThread;

public class AVLTree {

    @Benchmark
    public void binary_search() {
        BenchmarkHelper.builder()
                .expectTotalStates(192)
                .expectMainProcedureStates(192)
                .expectFinalStates(6)
                .build()
                .run();
    }
    
    @Benchmark
    public void binary_search_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(192)
                .expectMainProcedureStates(192)
                .expectFinalStates(6)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void binary_search_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(192)
                .expectMainProcedureStates(192)
                .expectFinalStates(6)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void binary_search_S_final() {
        BenchmarkHelper.builder()
                .expectTotalStates(192)
                .expectMainProcedureStates(192)
                .expectFinalStates(6)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void search_and_back() {
        BenchmarkHelper.builder()
                .expectTotalStates(455)
                .expectMainProcedureStates(11)
                .expectFinalStates(1)
                .build()
                .run();
    }
    
    @Benchmark
    public void search_and_back_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(455)
                .expectMainProcedureStates(11)
                .expectFinalStates(1)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void search_and_back_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(455)
                .expectMainProcedureStates(11)
                .expectFinalStates(1)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void search_and_swap() {
        BenchmarkHelper.builder()
                .expectTotalStates(4104)
                .expectMainProcedureStates(907)
                .expectFinalStates(7)
                .build()
                .run();
    }
    
    @Benchmark
    public void search_and_swap_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(4104)
                .expectMainProcedureStates(907)
                .expectFinalStates(7)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void search_and_swap_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(4104)
                .expectMainProcedureStates(907)
                .expectFinalStates(7)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void left_rotate() {
        BenchmarkHelper.builder()
                .expectTotalStates(201)
                .expectMainProcedureStates(201)
                .expectFinalStates(12)
                .build()
                .run();
    }
    
    @Benchmark
    public void left_right_rotate() {
        BenchmarkHelper.builder()
                .expectTotalStates(1539)
                .expectMainProcedureStates(416)
                .expectFinalStates(12)
                .build()
                .run();
    }
    
    @Benchmark
    public void right_rotate() {
        BenchmarkHelper.builder()
                .build()
                .run();
    }
    
    @Benchmark
    public void right_left_rotate() {
        BenchmarkHelper.builder()
                .build()
                .run();
    }
    
    @Benchmark
    public void min_value() {
        BenchmarkHelper.builder()
                .expectTotalStates(220)
                .expectMainProcedureStates(220)
                .expectFinalStates(14)
                .build()
                .run();
    }
    
    @Benchmark
    public void min_value_S_final() {
        BenchmarkHelper.builder()
                .expectTotalStates(220)
                .expectMainProcedureStates(220)
                .expectFinalStates(14)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void min_value_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(220)
                .expectMainProcedureStates(220)
                .expectFinalStates(14)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void min_value_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(220)
                .expectMainProcedureStates(220)
                .expectFinalStates(14)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void max_value() {
        BenchmarkHelper.builder()
                .build()
                .run();
    }
    
    @Benchmark
    public void rebalance() {
        BenchmarkHelper.builder()
                .expectTotalStates(4926)
                .expectMainProcedureStates(656)
                .expectFinalStates(16)
                .build()
                .run();
    }
    
    @Benchmark
    public void rebalance_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(4926)
                .expectMainProcedureStates(656)
                .expectFinalStates(16)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void rebalance_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(4926)
                .expectMainProcedureStates(656)
                .expectFinalStates(16)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void insert() {
        BenchmarkHelper.builder()
                .expectTotalStates(6120)
                .expectMainProcedureStates(444)
                .expectFinalStates(4)
                .build()
                .run();
    }
    
    @Benchmark
    public void insert_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(10386)
                .expectMainProcedureStates(1321)
                .expectFinalStates(2)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void list_to_avl() {
        BenchmarkHelper.builder()
                .expectTotalStates(7166)
                .expectMainProcedureStates(139)
                .expectFinalStates(2)
                .build()
                .run();
    }
    
    @Benchmark
    public void list_to_avl_C() {
        BenchmarkHelper.builder()
                .expectTotalStates(7166)
                .expectMainProcedureStates(139)
                .expectFinalStates(2)
                .expectLTLResults(true)
                .build()
                .run();
    }
    
    @Benchmark
    public void list_to_avl_S() {
        BenchmarkHelper.builder()
                .expectTotalStates(7166)
                .expectMainProcedureStates(139)
                .expectFinalStates(2)
                .expectLTLResults(true)
                .build()
                .run();
    }
}