- Set breakpoint on Init line
- Start debugging in MC mode (i.e. not simulation mode)
- "Continue" twice
- After stopped, select 2nd stackframe
- => Gets stuck during retrieving trace variable!!
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 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; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(**********************************************) | |
(* Initial predicate and next-state relation. *) | |
(* Alternatively, you can comment out these *) | |
(* and use SPECIFICATION. *) | |
(**********************************************) | |
SPECIFICATION Spec | |
(**********************************************) | |
(* Specify the values of declared constants. *) | |
(**********************************************) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# A script to record and dump midi notes as a stringified Sonic Pi note-array | |
# which is ready to be played by `play RECORDED.tick; sleep INTERVAL`. | |
# Usage: | |
# - 1. Connect midi device and adjust `midi_key` in the config | |
# - 2. Run the script | |
# - 3. After the count_in (4 clicks by default), play a phrase you want | |
# - 4. Stop the script and check the log pane. | |
# * Note array is logged every measure. | |
# - 5. Copy & paste the logged array in another editor buffer and play it | |
# * By default, the resolution is 16th notes (tick_per_beat = 4) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(**********************************************) | |
(* Initial predicate and next-state relation. *) | |
(* Alternatively, you can comment out these *) | |
(* and use SPECIFICATION. *) | |
(**********************************************) | |
SPECIFICATION Spec | |
(**********************************************) | |
(* Specify the values of declared constants. *) | |
(**********************************************) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import java.io.IOException; | |
import java.io.UncheckedIOException; | |
import java.nio.MappedByteBuffer; | |
import java.nio.channels.FileChannel; | |
import java.nio.channels.FileChannel.MapMode; | |
import java.nio.file.Paths; | |
import java.time.LocalDateTime; | |
public class LongTTSP { | |
public static void main(String[] args) throws Exception { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import java.io.IOException; | |
import java.io.UncheckedIOException; | |
import java.nio.ByteBuffer; | |
import java.nio.channels.FileChannel; | |
import java.nio.file.Path; | |
import java.nio.file.Paths; | |
import java.nio.file.StandardOpenOption; | |
import java.util.concurrent.atomic.AtomicReference; | |
public class WallclockTest { |
NewerOlder