Okada Haruki ocadaruma

Changes:

Setup ddi on CentOS7 GenericCloud 2009

Apply this patch: https://github.com/lima-vm/lima/pull/759/files
- Applied branch: https://github.com/ocadaruma/lima/tree/port-datadisk
Specify data field in lima.yaml
limactl start
Create partition
- sudo fdisk /dev/vdb
mkfs
- sudo mkfs -t xfs /dev/vdb1
Add label

Some tweaks are needed though, Sonic Pi is already ready to build and run natively on Apple Silicon.

This document describes the steps how to build.

I checked on the following environment.

	INIT Init
	NEXT Next

	CONSTANTS
	NULL = NULL
	Partitions = {1,2,3}
	MaxPendingRecords = 2

	INVARIANTS
	NoRecordsAddedMoreThanMaxPendingRecords

	[package]
	name = "sighandler-study"
	version = "0.1.0"
	edition = "2021"

	# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

	[dependencies]
	signal-hook = "0.3.14"
	libc = "0.2.126"

	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 {

	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 {

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

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

	# 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)