ocadaruma

(**********************************************)
(* Initial predicate and next-state relation. *)
(* Alternatively, you can comment out these   *)
(* and use SPECIFICATION.                     *)
(**********************************************)
SPECIFICATION Spec

(**********************************************)
(* Specify the values of declared constants.  *)
(**********************************************)

ocadaruma

import java.io.IOException;
import java.io.UncheckedIOException;
import java.nio.ByteBuffer;
import java.nio.MappedByteBuffer;
import java.nio.channels.FileChannel;
import java.nio.channels.FileChannel.MapMode;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.nio.file.StandardOpenOption;
import java.util.Random;

ocadaruma

// Place this file under jmh-benchmarks/src/main/java/org/apache/kafka/jmh/controller

package org.apache.kafka.jmh.controller;

import java.io.IOException;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.concurrent.TimeUnit;

ocadaruma

1. Set breakpoint on Init line
2. Start debugging in MC mode (i.e. not simulation mode)
3. "Continue" twice
4. After stopped, select 2nd stackframe
5. => Gets stuck during retrieving trace variable!!