キューブソートを使用する

キューブソート (cubesort) は、要素を自己平衡な多次元配列(バイナリキューブ)へ挿入し、軸に沿って読み出すことで整列する安定・適応的な分割型比較ソートである。

X・Y・Z の 3 軸が同程度の長さに保たれると構造が立方体に近いためこの名がある。各挿入では軸ごとに二分探索してバケットを決め、溢れた Z バケットだけをまとめてソートして二分する。全要素を入れ終わったら未ソートのバケットを仕上げ、軸順に連結すれば完了する。本稿の実装は説明用に簡略化し、本番実装で使われるモノバウンド二分探索やクワッドソートによるバケット整列の代わりに、通常の二分探索と挿入ソートを用いる。

  1. 容量の決定: 要素数 \(n\) の立方根に近いバケット容量をとり、3 軸が同程度の長さになるよう保つ。
  2. 挿入: キーに対し X 軸(Y 行のフロア)・Y 軸(Z バケットのフロア)を二分探索し、該当 Z バケット末尾へ追加する。フロアはバケット先頭(分割直後の最小値)で、未ソートの追加では更新しない。
  3. オーバーフロー分割: Z が容量に達したらバケット全体をソートし、半分ずつに分けて隣へ挿入する。Y 行の Z 本数が容量の約 2 倍を超えたら Y 行自体も半分に分割して X 軸へ差し込む。
  4. 仕上げ: 残った未ソートバケットをソートし、X → Y → Z の順に連結して元配列へ書き戻す。
procedure cube_sort(A)
  n = length(A)
  if n < 2 then return
  capacity = round_up_pow2(cbrt(n))   // 下限あり
  cube = X axis with one Y row holding one Z bucket [A[0]]
  for i = 1 .. n-1
    key = A[i]
    y = binary_search_floor(cube.X, key)
    z = binary_search_floor(y.Z, key)
    append key to z
    if length(z) >= capacity then
      sort(z); split z into two halves; insert right half after z
      if length(y.Z) > 2 * capacity then
        split y into two Y rows on the X axis
  for each Z bucket B in cube order
    sort(B) if needed
    append B to output
  copy output back to A

整列済みや逆順では、ほぼ常に端のバケットへ追記されて分割が起きにくく、比較はおおよそ \(O(n)\) に近づく。平均・最悪は各挿入が \(O(\log n)\) 相当のため \(O(n \log n)\)、追加メモリはキューブ本体で \(O(n)\) である。バケット内を安定ソートし末尾追加するため、全体としても安定である。

デモでは視認性のため容量を 4 に固定し、上段に未挿入列、下に X 行ごとの Z バケットを示す。

未挿入の先頭が次のキーで、枠付きの Z が現在の挿入先である。分割後は各バケットのフロア(先頭値)だけが次の二分探索に使われる。

類似アルゴリズムとの相違点

グリッドソートはバイナリキューブを 2 軸に簡略化した姉妹アルゴリズムで、キューブソートの分割挿入を理解する足場になる。本稿の 3 軸版はその上位概念に近い。

バケットソートは値域やハッシュで桶を決めるのに対し、キューブソートは比較だけでフロア列を二分探索する。分布が一様でなくても最悪 \(O(n \log n)\) を保てる。

二分木ソートも挿入構造から読み出す点は似るが、節点がポインタ木になる。キューブは配列状の軸に乗るため走査が単純で、キャッシュ局所性を取りやすい。

クワッドソートは本番キューブソートがバケット整列に用いる部品である。本稿では挿入ソートに置き換えている。

時間計算量および空間計算量を計測する

Size Average time (s) Maximum time (s) Average memory (KiB) Maximum memory (KiB)
256 0.000052 0.000293 9 9
512 0.000085 0.000218 17 18
1024 0.000122 0.000455 27 28
2048 0.000237 0.001518 53 56
4096 0.000469 0.001291 107 110
8192 0.000866 0.002444 184 188
16384 0.001760 0.007437 371 377
32768 0.003546 0.008584 738 746
65536 0.007221 0.016098 1362 1383
131072 0.012370 0.027398 2718 2755
262144 0.021700 0.057501 5429 5466
計測に使用したコードを表示する

#!/usr/bin/env swift
import Foundation

// This standalone Swift driver creates the same temporary Docker build
// context as the former shell wrapper.  The benchmark program itself remains
// embedded below so readers can copy one complete, reproducible file.
struct BenchmarkError: Error, CustomStringConvertible {
    let message: String

    var description: String { message }

    init(_ message: String) {
        self.message = message
    }
}

func runCommand(_ executable: String, _ arguments: [String]) throws {
    let process = Process()
    process.executableURL = URL(fileURLWithPath: "/usr/bin/env")
    process.arguments = [executable] + arguments
    process.standardInput = FileHandle.standardInput
    process.standardOutput = FileHandle.standardOutput
    process.standardError = FileHandle.standardError

    do {
        try process.run()
    } catch {
        throw BenchmarkError("Could not start \(executable): \(error)")
    }
    process.waitUntilExit()
    guard process.terminationStatus == 0 else {
        throw BenchmarkError(
            "Command failed (\(process.terminationStatus)): " +
            "\(executable) \(arguments.joined(separator: " "))"
        )
    }
}

do {
    // The UUID avoids collisions when two benchmark copies are run at once.
    let workdir = FileManager.default.temporaryDirectory
        .appendingPathComponent("swift-sort-benchmark-\(UUID().uuidString)")
    try FileManager.default.createDirectory(at: workdir, withIntermediateDirectories: true)
    defer { try? FileManager.default.removeItem(at: workdir) }

    // A raw Swift string is used so the nested main.swift keeps its own
    // interpolation expressions such as \(seed) until Docker compiles it.
    let dockerfile = #"""
FROM swift:6.0

WORKDIR /app

RUN cat > alloc_track.c <<'ALLOC'
#define _GNU_SOURCE
#include <dlfcn.h>
#include <malloc.h>
#include <stdatomic.h>
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>

static atomic_size_t live_bytes = 0;
static atomic_size_t peak_bytes = 0;

static void *(*real_malloc)(size_t) = NULL;
static void *(*real_calloc)(size_t, size_t) = NULL;
static void *(*real_realloc)(void *, size_t) = NULL;
static void (*real_free)(void *) = NULL;

static void init_reals(void) {
    if (real_malloc) {
        return;
    }
    real_malloc = (void *(*)(size_t))dlsym(RTLD_NEXT, "malloc");
    real_calloc = (void *(*)(size_t, size_t))dlsym(RTLD_NEXT, "calloc");
    real_realloc = (void *(*)(void *, size_t))dlsym(RTLD_NEXT, "realloc");
    real_free = (void (*)(void *))dlsym(RTLD_NEXT, "free");
}

static void record_alloc(size_t size) {
    size_t live = atomic_fetch_add(&live_bytes, size) + size;
    size_t peak = atomic_load(&peak_bytes);
    while (live > peak) {
        if (atomic_compare_exchange_weak(&peak_bytes, &peak, live)) {
            break;
        }
    }
}

void alloc_track_reset_peak(void) {
    atomic_store(&peak_bytes, atomic_load(&live_bytes));
}

size_t alloc_track_live(void) { return atomic_load(&live_bytes); }
size_t alloc_track_peak(void) { return atomic_load(&peak_bytes); }

void *malloc(size_t size) {
    init_reals();
    void *p = real_malloc(size);
    if (p) {
        record_alloc(malloc_usable_size(p));
    }
    return p;
}

void *calloc(size_t nmemb, size_t size) {
    init_reals();
    void *p = real_calloc(nmemb, size);
    if (p) {
        record_alloc(malloc_usable_size(p));
    }
    return p;
}

void *realloc(void *ptr, size_t size) {
    init_reals();
    size_t old_size = 0;
    if (ptr) {
        old_size = malloc_usable_size(ptr);
    }
    void *p = real_realloc(ptr, size);
    if (p) {
        atomic_fetch_sub(&live_bytes, old_size);
        record_alloc(malloc_usable_size(p));
    } else if (size == 0) {
        atomic_fetch_sub(&live_bytes, old_size);
    }
    return p;
}

void free(void *ptr) {
    init_reals();
    if (ptr) {
        atomic_fetch_sub(&live_bytes, malloc_usable_size(ptr));
        real_free(ptr);
    }
}

ALLOC

RUN cat > main.swift <<'SWIFT'
import Foundation
#if canImport(Glibc)
import Glibc
#elseif canImport(Darwin)
import Darwin
#endif

@_silgen_name("alloc_track_live") func alloc_track_live() -> Int
@_silgen_name("alloc_track_peak") func alloc_track_peak() -> Int
@_silgen_name("alloc_track_reset_peak") func alloc_track_reset_peak()

extension UnsafeMutableBufferPointer where Element == Int {
    func swapAt(_ i: Int, _ j: Int) {
        let t = self[i]; self[i] = self[j]; self[j] = t
    }
}

let MIN_POWER: Int = 8
let MAX_POWER: Int = 18
let RUNS: Int = 8192
func insertion_sort(_ a: inout [Int]) {
    a.withUnsafeMutableBufferPointer { insertion_sort($0) }
}

func insertion_sort(_ a: UnsafeMutableBufferPointer<Int>) {
    if a.count < 2 {
        return
    }
    for i in 1..<a.count {
        var j = i
        while j > 0 && a[j - 1] > a[j] {
            a.swapAt(j - 1, j)
            j -= 1
        }
    }
}



/// Educational cubesort: insert into a balanced 3-axis binary cube (X → Y → Z),
/// bulk-sort and split overflowing Z buckets, then flatten in axis order.
/// Stand-in for scandum's cubesort / binary-cube partitioning (production uses
/// monobound searches and quadsort for bucket sorts).

fileprivate func cube_capacity(_ n: Int) -> Int {
    var c = 4
    while c * c * c < n {
        c *= 2
        if c > 256 {
            return 256
        }
    }
    return c
}

fileprivate struct CubeZBucket {
    var floor: Int
    var items: [Int]
    var isSorted: Bool

    mutating func ensureSorted() {
        if isSorted {
            return
        }
        insertion_sort(&items)
        isSorted = true
        if let first = items.first {
            floor = first
        }
    }
}

fileprivate struct CubeYNode {
    var zs: [CubeZBucket]

    var floor: Int { zs[0].floor }
}

fileprivate func cube_find_y(_ xs: [CubeYNode], _ key: Int) -> Int {
    var lo = 0
    var hi = xs.count
    while lo < hi {
        let mid = lo + (hi - lo) / 2
        if xs[mid].floor <= key {
            lo = mid + 1
        } else {
            hi = mid
        }
    }
    return max(0, lo - 1)
}

fileprivate func cube_find_z(_ zs: [CubeZBucket], _ key: Int) -> Int {
    var lo = 0
    var hi = zs.count
    while lo < hi {
        let mid = lo + (hi - lo) / 2
        if zs[mid].floor <= key {
            lo = mid + 1
        } else {
            hi = mid
        }
    }
    return max(0, lo - 1)
}

fileprivate func cube_split_z(_ y: inout CubeYNode, _ zi: Int, _ capacity: Int) -> Bool {
    y.zs[zi].ensureSorted()
    let mid = y.zs[zi].items.count / 2
    guard mid > 0, mid < y.zs[zi].items.count else {
        return false
    }
    let rightItems = Array(y.zs[zi].items[mid...])
    y.zs[zi].items.removeSubrange(mid...)
    y.zs[zi].floor = y.zs[zi].items[0]
    y.zs[zi].isSorted = true
    y.zs.insert(
        CubeZBucket(floor: rightItems[0], items: rightItems, isSorted: true),
        at: zi + 1
    )
    return y.zs.count > capacity * 2
}

fileprivate func cube_split_y(_ xs: inout [CubeYNode], _ yi: Int) {
    let mid = xs[yi].zs.count / 2
    guard mid > 0, mid < xs[yi].zs.count else {
        return
    }
    let rightZs = Array(xs[yi].zs[mid...])
    xs[yi].zs.removeSubrange(mid...)
    xs.insert(CubeYNode(zs: rightZs), at: yi + 1)
}

func cube_sort(_ a: inout [Int]) {
    a.withUnsafeMutableBufferPointer { cube_sort($0) }
}

func cube_sort(_ a: UnsafeMutableBufferPointer<Int>) {
    let n = a.count
    if n < 2 {
        return
    }

    let capacity = cube_capacity(n)
    var first = CubeZBucket(floor: a[0], items: [], isSorted: true)
    first.items.reserveCapacity(capacity)
    first.items.append(a[0])
    var xs: [CubeYNode] = [CubeYNode(zs: [first])]

    for i in 1..<n {
        let key = a[i]
        let yi = cube_find_y(xs, key)
        let zi = cube_find_z(xs[yi].zs, key)

        if xs[yi].zs[zi].items.capacity < capacity {
            xs[yi].zs[zi].items.reserveCapacity(capacity)
        }
        xs[yi].zs[zi].items.append(key)
        xs[yi].zs[zi].isSorted = false

        if xs[yi].zs[zi].items.count >= capacity {
            if cube_split_z(&xs[yi], zi, capacity) {
                cube_split_y(&xs, yi)
            }
        }
    }

    var out = [Int]()
    out.reserveCapacity(n)
    for yi in 0..<xs.count {
        for zi in 0..<xs[yi].zs.count {
            xs[yi].zs[zi].ensureSorted()
            out.append(contentsOf: xs[yi].zs[zi].items)
        }
    }
    for i in 0..<n {
        a[i] = out[i]
    }
}


func benchmark_sort(_ array: inout [Int]) {

    cube_sort(&array)

}

func is_non_decreasing(_ a: [Int]) -> Bool {
    guard a.count >= 2 else { return true }
    for i in 1..<a.count {
        if a[i - 1] > a[i] { return false }
    }
    return true
}

func same_multiset(_ a: [Int], _ b: [Int]) -> Bool {
    if a.count != b.count {
        return false
    }

    var left = a
    var right = b
    left.sort()
    right.sort()
    return left == right
}

func check_correctness_case(_ label: String, _ input: [Int]) {
    var input = input
    let original = input

    benchmark_sort(&input)

    if !is_non_decreasing(input) {
        fatalError("correctness case \(label): output is not sorted")
    }

    if !same_multiset(input, original) {
        fatalError("correctness case \(label): elements were lost or added")
    }
}

// Skip cases larger than the algorithm's measured size cap (MAX_POWER). That
// cap exists because larger inputs are impractically slow; forcing them here
// would stall the published measurement script before any table rows print.
func check_correctness_case_within_limit(_ label: String, _ input: [Int]) {
    if input.count > (1 << MAX_POWER) {
        return
    }
    check_correctness_case(label, input)
}

func few_unique_values(_ size: Int, _ unique: Int, _ seed: UInt64) -> [Int] {
    var state = seed
    var result = [Int]()
    result.reserveCapacity(size)
    for _ in 0..<size {
        state ^= state << 13
        state ^= state >> 7
        state ^= state << 17
        result.append(Int(state % UInt64(unique)) + 1)
    }
    return result
}

func run_correctness_checks() {
    check_correctness_case("empty", [])
    check_correctness_case("single", [42])
    check_correctness_case("duplicates", [3, 1, 3, 2, 1, 2])
    check_correctness_case("sorted", [1, 2, 3, 4, 5])
    check_correctness_case("reverse", [5, 4, 3, 2, 1])
    check_correctness_case("all_equal", [7, 7, 7, 7])
    check_correctness_case("skewed_range", [1_000_000, 2, 1_000_001, 1, 999_999])
    // Static-buffer Grail skips the in-buffer build when key collection is sparse
    // (ideal_buffer = false). Exercising that path catches regressions in buffer gating.
    check_correctness_case(
        "few_keys_len16",
        [2, 2, 2, 2, 2, 2, 2, 2, 4, 3, 1, 2, 3, 4, 1, 4]
    )
    // Seed 0 is a fixed point of the xorshift below, so it would degenerate into
    // yet another all-equal case instead of a 4-value mix. Start at 1.
    for seed in 1...32 {
        check_correctness_case(
            "few_keys_len32_seed_\(seed)",
            few_unique_values(32, 4, UInt64(seed))
        )
    }
    // Small-input cutoffs (insertion sort below 32 elements, etc.) hide duplicate-key
    // bugs in the recursive path, so repeat the duplicate cases at the smallest
    // benchmark size, which every algorithm must handle within reasonable time.
    check_correctness_case("all_equal_len256", [Int](repeating: 7, count: 256))
    for seed in 1...4 {
        check_correctness_case(
            "few_keys_len256_seed_\(seed)",
            few_unique_values(256, 4, UInt64(seed))
        )
    }
    // Blit's equal-key second sweep used to copy the whole range into a fixed
    // 512-element swap; lengths above that must still sort without panicking.
    // Respect MAX_POWER so algorithms with a low measured-size cap (slow,
    // sleep) do not hang here for minutes or months.
    check_correctness_case_within_limit("all_equal_len600", [Int](repeating: 7, count: 600))
    for seed in 1...4 {
        check_correctness_case_within_limit(
            "few_keys_len2048_seed_\(seed)",
            few_unique_values(2048, 4, UInt64(seed))
        )
    }
}


func shuffled(_ size: Int, seed: UInt64) -> [Int] {
    guard size > 0 else { return [] }

    var v = Array(1...size)
    var state = seed

    if size > 1 {
        for i in stride(from: size - 1, through: 1, by: -1) {
            state ^= state << 13
            state ^= state >> 7
            state ^= state << 17

            let j = Int(state % UInt64(i + 1))
            v.swapAt(i, j)
        }
    }

    return v
}

func micros(_ d: Duration) -> UInt64 {
    let c = d.components
    let fromSeconds = UInt64(c.seconds) * 1_000_000
    let fromAttos = UInt64(max(0, c.attoseconds / 1_000_000_000_000))
    return fromSeconds + fromAttos
}

func padLeft(_ value: String, _ width: Int) -> String {
    if value.count >= width {
        return value
    }
    return String(repeating: " ", count: width - value.count) + value
}

func formatSeconds(_ micros: UInt64) -> String {
    let whole = micros / 1_000_000
    let frac = micros % 1_000_000
    let fracStr = padLeft(String(frac), 6).replacingOccurrences(of: " ", with: "0")
    return "\(whole).\(fracStr)"
}

func input_array(_ size: Int, seed: UInt64) -> [Int] {
    shuffled(size, seed: seed)
}

/// Peak heap growth during `benchmark_sort`, in bytes (explicit buffers such as swap).
/// Kept in bytes so the parent can average before rounding; converting to KiB here
/// would truncate sub-KiB buffers to 0 in every run and hide them from the average.
func run_once(size: Int, seed: Int) -> (UInt64, Int) {
    var array = input_array(size, seed: UInt64(seed))

    let baseBytes = alloc_track_live()
    alloc_track_reset_peak()

    let start = ContinuousClock.now

    benchmark_sort(&array)

    let elapsed = ContinuousClock.now - start
    let peakBytes = alloc_track_peak()
    let auxBytes = max(0, peakBytes - baseBytes)

    let expected: [Int] = size > 0 ? Array(1...size) : []
    if array != expected {
        fatalError("sort failed with seed \(seed) for size \(size)")
    }

    return (micros(elapsed), auxBytes)
}

func run_child(_ args: [String]) {
    let size = Int(args[2])!
    let seed = Int(args[3])!
    let (elapsedUs, mem) = run_once(size: size, seed: seed)
    print("\(elapsedUs) \(mem)")
}

let args = CommandLine.arguments
if args.count > 1 && args[1] == "--run-once" {
    run_child(args)
} else {
    run_correctness_checks()

    let tableHeader =
        "| \(padLeft("Size", 10)) | " +
        "\(padLeft("Average time (s)", 16)) | " +
        "\(padLeft("Maximum time (s)", 16)) | " +
        "\(padLeft("Average memory (KiB)", 20)) | " +
        "\(padLeft("Maximum memory (KiB)", 20)) |"
    print(tableHeader)
    print("|-----------:|-----------------:|-----------------:|---------------------:|---------------------:|")

    for power in MIN_POWER...MAX_POWER {
        let size = 1 << power

        var totalTime: UInt64 = 0
        var maxTime: UInt64 = 0

        var totalMem = 0
        var maxMem = 0

        for seed in 1...RUNS {
            let process = Process()
            process.executableURL = URL(fileURLWithPath: args[0])
            process.arguments = ["--run-once", "\(size)", "\(seed)"]
            let stdout = Pipe()
            let stderr = Pipe()
            process.standardOutput = stdout
            process.standardError = stderr

            do {
                try process.run()
            } catch {
                fatalError("failed to run benchmark child process: \(error)")
            }
            process.waitUntilExit()

            if process.terminationStatus != 0 {
                let err = String(data: stderr.fileHandleForReading.readDataToEndOfFile(), encoding: .utf8) ?? ""
                fatalError("benchmark child process failed: \(err)")
            }

            let data = stdout.fileHandleForReading.readDataToEndOfFile()
            let stdoutText = String(data: data, encoding: .utf8) ?? ""
            let fields = stdoutText.split(whereSeparator: \.isWhitespace)
            guard fields.count >= 2,
                  let elapsedUs = UInt64(fields[0]),
                  let auxMem = Int(fields[1]) else {
                fatalError("invalid child process output: \(stdoutText)")
            }

            totalTime += elapsedUs
            if elapsedUs > maxTime {
                maxTime = elapsedUs
            }

            totalMem += auxMem
            if auxMem > maxMem {
                maxMem = auxMem
            }
        }

        let avgTime = totalTime / UInt64(RUNS)
        // Memory is summed in bytes and converted to KiB once, after averaging.
        let avgMemKb = totalMem / RUNS / 1024
        let maxMemKb = maxMem / 1024

        let tableRow =
            "| \(padLeft(String(size), 10)) | " +
            "\(padLeft(formatSeconds(avgTime), 16)) | " +
            "\(padLeft(formatSeconds(maxTime), 16)) | " +
            "\(padLeft(String(avgMemKb), 20)) | " +
            "\(padLeft(String(maxMemKb), 20)) |"
        print(tableRow)
    }
}
SWIFT

RUN clang -O2 -fPIC -shared alloc_track.c -o liballoc_track.so -ldl

RUN swiftc -Ounchecked -whole-module-optimization \
    main.swift \
    -o swift-benchmark \
    -L. -lalloc_track \
    -Xlinker -rpath -Xlinker /app

ENV LD_PRELOAD=/app/liballoc_track.so
CMD ["./swift-benchmark"]
"""#
    try dockerfile.write(
        to: workdir.appendingPathComponent("Dockerfile"),
        atomically: true,
        encoding: .utf8
    )

    // Keeping build and run as separate child processes preserves Docker's
    // normal output and the original image tag used by the benchmark skill.
    try runCommand("docker", ["build", "-t", "swift-benchmark", workdir.path])
    try runCommand("docker", ["run", "--rm", "--init", "swift-benchmark"])
} catch {
    fputs("\(error)\n", stderr)
    exit(1)
}