intsuc

素数積による疑似ビットベクトル表現とその演算

コマンドには整数のビット演算が存在しないため、ビット演算を行いたい場合には1ビットずつ処理を行う必要があります。 素数積による疑似ビットベクトル表現を用いることで、ビットの密度を犠牲にして一部のビット演算を高速に行うことができます。

素数積による疑似ビットベクトル表現

以下のように、素数の積を用いて長さ8のビットベクトルを表現することができます。 下位 $i$ 番目のビットを $b_i$ 、 $3$ から数えて $i$ 番目の素数を $p_i$ とします。

intsuc

function init


# 1782934792843521910 = 0x18be41bf_691f6f76
#                     = (0x18be41bf, 0x691f6f76)
#                     = (415121855, 1763667830)
data modify storage _ source set value 1782934792843521910L

# 1782934792843521910 -> (415121855, 1763667830)
function split

intsuc

function high32:init


data modify storage _ a set value -1145395493543608220L
#                                 (0xf01abcde00000064)

function high32:get {source: "storage _ a"}
# Function high32:get returned -266683170
#                              (0xf01abcde)

intsuc

summon text_display ~ ~ ~ {text: '{"text": "a", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 10]}
summon text_display ~ ~ ~ {text: '{"text": "b", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 11]}
summon text_display ~ ~ ~ {text: '{"text": "c", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 12]}
summon text_display ~ ~ ~ {text: '{"text": "(b⋅a)b", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 0]}
summon text_display ~ ~ ~ {text: '{"text": "bab", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 1]}
summon text_display ~ ~ ~ {text: '{"text": "(c⋅bab)c", "color": "black"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 2]}
summon text_display ~ ~ ~ {text: '{"text": "c(bab)c", "color": "red"}', background: 0, billboard: "center", UUID: [I; 0, 0, 0, 3]}

intsuc

We couldn’t find that file to show.

intsuc

1.20-pre1 vs 1.20-pre2

benchmark	1.20-pre1	1.20-pre2
baseline	263.479460184556 ± 55.44590623221055 [ns/op]	262.6772200457718 ± 55.05785493224197 [ns/op]
data_get_byte	433.98316762350913 ± 7.444825260824145 [ns/op]	391.87628185594724 ± 18.936628742014072 [ns/op]
data_get_byte_1	740.4393732769925 ± 20.93953249166631 [ns/op]	456.17101920010447 ± 8.630503299692144 [ns/op]
data_get_int	412.08435852317024 ± 4.056129450233465 [ns/op]	374.34500487014526 ± 2.435684193080521 [ns/op]
data_get_int_1	737.7503310023358 ± 13.85836437954026 [ns/op]	423.18244626398047 ± 1.329924149473285 [ns/op]
data_get_list_0	406.8077717359254 ± 13.273700931499596 [ns/op]	380.8705782109833 ± 18.39461975718555 [ns/op]

intsuc

data remove storage _ _
data modify storage _ _[] set value 0

intsuc

data remove storage _ a
data remove storage _ b
function ite

intsuc

Benchmarks

• mch/tags/functions/setup

{
  "values": [
    "setup"
  ]
}

intsuc

Benchmarks

• mch/tags/functions/setup.trial

{
  "values": [
    "setup.trial"
  ]
}