Compare commits
2 Commits
shiftstack
...
cade17a9a6
Author | SHA1 | Date | |
---|---|---|---|
cade17a9a6 | |||
94c4240d63 |
17
colors.nim
17
colors.nim
@ -1,17 +0,0 @@
|
|||||||
type
|
|
||||||
Color* = enum
|
|
||||||
cRed, cGreen, cBlue, cYellow, cPurple
|
|
||||||
|
|
||||||
|
|
||||||
const
|
|
||||||
colorNames: array[Color, string] =
|
|
||||||
["Red", "Green", "Blue", "Yellow", "Purple"]
|
|
||||||
colorAbbrevs: array[Color, char] = ['R', 'G', 'B', 'Y', 'P']
|
|
||||||
|
|
||||||
|
|
||||||
proc `$`*(c: Color): string =
|
|
||||||
result = colorNames[c]
|
|
||||||
|
|
||||||
|
|
||||||
proc abbrev*(c: Color): char =
|
|
||||||
result = colorAbbrevs[c]
|
|
52
fastrand.nim
Normal file
52
fastrand.nim
Normal file
@ -0,0 +1,52 @@
|
|||||||
|
import random, math
|
||||||
|
import times, std/monotimes, strformat, strutils
|
||||||
|
|
||||||
|
|
||||||
|
proc formatNum(n: SomeNumber): string =
|
||||||
|
let s = $(n.round)
|
||||||
|
let t = s[0 .. s.len - 3]
|
||||||
|
var count = 1
|
||||||
|
for i in countdown(t.high, 0):
|
||||||
|
result.insert($t[i], 0)
|
||||||
|
if count mod 3 == 0 and i != 0:
|
||||||
|
result.insert(",", 0)
|
||||||
|
count += 1
|
||||||
|
|
||||||
|
|
||||||
|
proc formatRate(n: Natural, d: Duration): string =
|
||||||
|
result = formatNum(1_000_000'f64 * n.float64 / d.inMicroseconds.float64)
|
||||||
|
|
||||||
|
|
||||||
|
proc fastRand(r: var Rand, x: Natural): uint64 =
|
||||||
|
# return ((r.next shr 32) * x.uint64) shr 32
|
||||||
|
let x = x.uint64
|
||||||
|
if x <= (uint64.high shl 32):
|
||||||
|
return ((r.next shr 32) * x.uint64) shr 32
|
||||||
|
else:
|
||||||
|
return r.next mod x.uint64
|
||||||
|
|
||||||
|
|
||||||
|
proc testFastRand(num = 1_000_000_000): Duration =
|
||||||
|
var r = initRand(rand(int64))
|
||||||
|
let start = getMonoTime()
|
||||||
|
for i in 1 .. num:
|
||||||
|
discard r.fastRand(5)
|
||||||
|
result = getMonoTime() - start
|
||||||
|
# echo "fastrand execution rate: ", 1000 * num / dur.inMilliseconds.int, " generated per second."
|
||||||
|
|
||||||
|
|
||||||
|
proc testStdRand(num = 1_000_000_000): Duration =
|
||||||
|
var r = initRand(rand(int64))
|
||||||
|
let start = getMonoTime()
|
||||||
|
for i in 1 .. num:
|
||||||
|
discard r.rand(4)
|
||||||
|
result = getMonoTime() - start
|
||||||
|
# echo "std rand execution rate: ", 1000 * num / dur.inMilliseconds.int, " generated per second."
|
||||||
|
|
||||||
|
|
||||||
|
randomize()
|
||||||
|
let runs = 100_000_000
|
||||||
|
let fr = testFastRand(runs)
|
||||||
|
echo "fastrand execution rate: ", formatNum(1_000_000 * runs / fr.inMicroseconds.int)
|
||||||
|
let sr = testStdRand(runs)
|
||||||
|
echo "standard execution rate: ", formatNum(1_000_000 * runs / sr.inMicroseconds.int)
|
16
fixedseq.nim
16
fixedseq.nim
@ -25,16 +25,6 @@ proc `$`*(s: FixedSeq): string =
|
|||||||
result.add("]")
|
result.add("]")
|
||||||
|
|
||||||
|
|
||||||
proc `==`*[T1: FixedSeq, T2: FixedSeq](a: T1, b: T2): bool =
|
|
||||||
# generics are so that we can compare ShiftStack vs regular FixedSeq
|
|
||||||
if a.len != b.len:
|
|
||||||
return false
|
|
||||||
for i in 0 ..< a.len:
|
|
||||||
if a.data[i] != b.data[i]:
|
|
||||||
return false
|
|
||||||
return true
|
|
||||||
|
|
||||||
|
|
||||||
proc `[]`*(s: FixedSeq, i: Natural): FixedSeq.Contents =
|
proc `[]`*(s: FixedSeq, i: Natural): FixedSeq.Contents =
|
||||||
if i > s.last:
|
if i > s.last:
|
||||||
raise newException(IndexDefect, "index " & $i & " is out of bounds.")
|
raise newException(IndexDefect, "index " & $i & " is out of bounds.")
|
||||||
@ -134,7 +124,7 @@ proc shuffle*(s: var FixedSeq, r: var Rand) =
|
|||||||
|
|
||||||
|
|
||||||
proc moveSubstack*(src, dst: var FixedSeq; start: Natural) =
|
proc moveSubstack*(src, dst: var FixedSeq; start: Natural) =
|
||||||
var count: FixedSeq.Pointer = 0 # have to track this separately apparently
|
var count: typeof(src.last) = 0 # have to track this separately apparently
|
||||||
for idx in start .. src.last:
|
for idx in start .. src.last:
|
||||||
swap(src.data[idx], dst.data[dst.last + 1 + count])
|
swap(src.data[idx], dst.data[dst.last + 1 + count])
|
||||||
inc count
|
inc count
|
||||||
@ -143,7 +133,7 @@ proc moveSubstack*(src, dst: var FixedSeq; start: Natural) =
|
|||||||
|
|
||||||
|
|
||||||
proc moveSubstackPre*(src, dst: var FixedSeq; start: Natural) =
|
proc moveSubstackPre*(src, dst: var FixedSeq; start: Natural) =
|
||||||
let ssLen = FixedSeq.Pointer(src.last - start + 1) # length of substack
|
let ssLen = typeof(src.last)(src.last - start + 1) # length of substack
|
||||||
for i in countdown(dst.last, 0):
|
for i in countdown(dst.last, 0):
|
||||||
swap(dst.data[i], dst.data[i + ssLen])
|
swap(dst.data[i], dst.data[i + ssLen])
|
||||||
|
|
||||||
@ -154,5 +144,3 @@ proc moveSubstackPre*(src, dst: var FixedSeq; start: Natural) =
|
|||||||
|
|
||||||
dst.last += ssLen
|
dst.last += ssLen
|
||||||
src.last -= ssLen
|
src.last -= ssLen
|
||||||
|
|
||||||
include shiftstack
|
|
||||||
|
30
game.nim
30
game.nim
@ -1,9 +1,11 @@
|
|||||||
import hashes, options
|
import hashes, options
|
||||||
import fixedseq, colors
|
import fixedseq
|
||||||
export colors
|
|
||||||
|
|
||||||
|
|
||||||
type
|
type
|
||||||
|
Color* = enum
|
||||||
|
cRed, cGreen, cBlue, cYellow, cPurple
|
||||||
|
|
||||||
ColorStack* = FixedSeq[5, Color, int8]
|
ColorStack* = FixedSeq[5, Color, int8]
|
||||||
|
|
||||||
|
|
||||||
@ -11,7 +13,27 @@ proc initColorStack*: ColorStack =
|
|||||||
result.initFixedSeq
|
result.initFixedSeq
|
||||||
|
|
||||||
|
|
||||||
proc `$`*[T](s: FixedSeq[T, Color, int8]): string =
|
proc getAllColors: ColorStack =
|
||||||
|
var i = 0
|
||||||
|
for c in Color.low .. Color.high:
|
||||||
|
result[i] = c
|
||||||
|
|
||||||
|
const
|
||||||
|
allColors* = getAllColors()
|
||||||
|
colorNames: array[Color, string] =
|
||||||
|
["Red", "Green", "Blue", "Yellow", "Purple"]
|
||||||
|
colorAbbrevs: array[Color, char] = ['R', 'G', 'B', 'Y', 'P']
|
||||||
|
|
||||||
|
|
||||||
|
proc `$`*(c: Color): string =
|
||||||
|
result = colorNames[c]
|
||||||
|
|
||||||
|
|
||||||
|
proc abbrev*(c: Color): char =
|
||||||
|
result = colorAbbrevs[c]
|
||||||
|
|
||||||
|
|
||||||
|
proc `$`*(s: ColorStack): string =
|
||||||
result.add("St@[")
|
result.add("St@[")
|
||||||
for i, color in s:
|
for i, color in s:
|
||||||
result.add($color)
|
result.add($color)
|
||||||
@ -28,7 +50,7 @@ type
|
|||||||
tForward = 1
|
tForward = 1
|
||||||
|
|
||||||
Square* = object
|
Square* = object
|
||||||
camels*: ShiftStack
|
camels*: ColorStack
|
||||||
tile*: Option[Tile]
|
tile*: Option[Tile]
|
||||||
|
|
||||||
Board* = object
|
Board* = object
|
||||||
|
191
shiftstack.nim
191
shiftstack.nim
@ -1,191 +0,0 @@
|
|||||||
# optimized bit-shifting versions of the FixedSequence substack operations
|
|
||||||
import bitops, macros
|
|
||||||
import colors
|
|
||||||
|
|
||||||
|
|
||||||
macro show(expr: untyped) =
|
|
||||||
let node = expr.toStrLit
|
|
||||||
quote do:
|
|
||||||
echo `node`, " => ", `expr`
|
|
||||||
|
|
||||||
|
|
||||||
proc getMasks(): (array[9, uint64], array[9, uint64]) =
|
|
||||||
# on little-endian architectures, casting an array[8, Color] to uint64 effectively
|
|
||||||
# reverses it. So we switch these masks so that we can refer to them consistently.
|
|
||||||
let
|
|
||||||
left = [
|
|
||||||
0'u64,
|
|
||||||
0xff_00_00_00_00_00_00_00'u64,
|
|
||||||
0xff_ff_00_00_00_00_00_00'u64,
|
|
||||||
0xff_ff_ff_00_00_00_00_00'u64,
|
|
||||||
0xff_ff_ff_ff_00_00_00_00'u64,
|
|
||||||
0xff_ff_ff_ff_ff_00_00_00'u64,
|
|
||||||
0xff_ff_ff_ff_ff_ff_00_00'u64,
|
|
||||||
0xff_ff_ff_ff_ff_ff_ff_00'u64,
|
|
||||||
0xff_ff_ff_ff_ff_ff_ff_ff'u64,
|
|
||||||
]
|
|
||||||
right = [
|
|
||||||
0'u64,
|
|
||||||
0x00_00_00_00_00_00_00_ff'u64,
|
|
||||||
0x00_00_00_00_00_00_ff_ff'u64,
|
|
||||||
0x00_00_00_00_00_ff_ff_ff'u64,
|
|
||||||
0x00_00_00_00_ff_ff_ff_ff'u64,
|
|
||||||
0x00_00_00_ff_ff_ff_ff_ff'u64,
|
|
||||||
0x00_00_ff_ff_ff_ff_ff_ff'u64,
|
|
||||||
0x00_ff_ff_ff_ff_ff_ff_ff'u64,
|
|
||||||
0xff_ff_ff_ff_ff_ff_ff_ff'u64,
|
|
||||||
]
|
|
||||||
when cpuEndian == bigEndian:
|
|
||||||
result = (left, right)
|
|
||||||
when cpuEndian == littleEndian:
|
|
||||||
result = (right, left)
|
|
||||||
|
|
||||||
|
|
||||||
type ShiftStack* = FixedSeq[8, Color, int8]
|
|
||||||
const (masksLeft, masksRight) = getMasks()
|
|
||||||
|
|
||||||
|
|
||||||
template `shl`(a: array[8, Color], offset: Natural): array[8, Color] =
|
|
||||||
when cpuEndian == bigEndian:
|
|
||||||
cast[array[8, Color]](cast[uint64](a) shl (offset * 8))
|
|
||||||
when cpuEndian == littleEndian: # direction is reversed
|
|
||||||
cast[array[8, Color]](cast[uint64](a) shr (offset * 8))
|
|
||||||
|
|
||||||
|
|
||||||
template `shr`(a: array[8, Color], offset: Natural): array[8, Color] =
|
|
||||||
when cpuEndian == bigEndian:
|
|
||||||
cast[array[8, Color]](cast[uint64](a) shr (offset * 8))
|
|
||||||
when cpuEndian == littleEndian:
|
|
||||||
cast[array[8, Color]](cast[uint64](a) shl (offset * 8))
|
|
||||||
|
|
||||||
|
|
||||||
template `and`(a: array[8, Color], mask: uint64): array[8, Color] =
|
|
||||||
cast[array[8, Color]](cast[uint64](a) and mask)
|
|
||||||
|
|
||||||
|
|
||||||
template `or`(a: array[8, Color], mask: uint64): array[8, Color] =
|
|
||||||
cast[array[8, Color]](cast[uint64](a) or mask)
|
|
||||||
|
|
||||||
|
|
||||||
template `or`(a: array[8, Color], mask: array[8, Color]): array[8, Color] =
|
|
||||||
cast[array[8, Color]](cast[uint64](a) or cast[uint64](mask))
|
|
||||||
|
|
||||||
|
|
||||||
import strutils # remove later
|
|
||||||
proc moveSubstack*(src, dst: var ShiftStack; start: Natural) =
|
|
||||||
# shift the source stack to position the substack above its final resting place
|
|
||||||
# offset is the length of the destination stack, minus the number of items NOT being moved
|
|
||||||
# number of items not being moved is the same as the start index
|
|
||||||
var substack: array[8, Color]
|
|
||||||
if dst.len == start: # no shift necessary in this case
|
|
||||||
substack = src.data
|
|
||||||
elif dst.len > start:
|
|
||||||
substack = src.data shr (dst.len - start)
|
|
||||||
elif dst.len < start:
|
|
||||||
substack = src.data shl (start - dst.len)
|
|
||||||
# next, mask the source data to present only the items being moved
|
|
||||||
# dst.len of 0 corresponds to last mask in masksRight, aka masksRight[^1]
|
|
||||||
substack = substack and masksRight[^(dst.len + 1)]
|
|
||||||
# then combine
|
|
||||||
dst.data = dst.data or substack
|
|
||||||
# then git rid of the moved items from the source stack
|
|
||||||
src.data = src.data and masksLeft[start]
|
|
||||||
# a little bookkeeping
|
|
||||||
let ssLen = int8(src.len - start)
|
|
||||||
src.last -= ssLen
|
|
||||||
dst.last += ssLen
|
|
||||||
|
|
||||||
|
|
||||||
proc moveSubstackPre*(src, dst: var ShiftStack; start: Natural) =
|
|
||||||
let ssLen = int8(src.len - start)
|
|
||||||
# shift the destination stack to make room for the new items
|
|
||||||
dst.data = dst.data shr ssLen
|
|
||||||
# shift source stack to line up the substack with its final resting place
|
|
||||||
let substack = src.data shl start
|
|
||||||
# combine
|
|
||||||
dst.data = dst.data or substack
|
|
||||||
# get rid of the moved items
|
|
||||||
src.data = src.data and masksLeft[start]
|
|
||||||
# more bookkeeping
|
|
||||||
src.last -= ssLen
|
|
||||||
dst.last += ssLen
|
|
||||||
|
|
||||||
|
|
||||||
proc testMove[T1, T2: FixedSeq](a1, a2: var T1; b1, b2: var T2; i: Natural): bool =
|
|
||||||
let (orig_a1, orig_a2) = (a1, a2)
|
|
||||||
let (orig_b1, orig_b2) = (b1, b2)
|
|
||||||
a1.moveSubstack(a2, i)
|
|
||||||
b1.moveSubstack(b2, i)
|
|
||||||
if a1 != b1 or a2 != b2:
|
|
||||||
echo "Failed!"
|
|
||||||
show orig_b1
|
|
||||||
show orig_b2
|
|
||||||
echo "<<move ", i, ">>"
|
|
||||||
show b1
|
|
||||||
show b2
|
|
||||||
return false
|
|
||||||
return true
|
|
||||||
|
|
||||||
|
|
||||||
when isMainModule:
|
|
||||||
var c1 = initFixedSeq(5, Color, int8)
|
|
||||||
var c2 = initFixedSeq(5, Color, int8)
|
|
||||||
|
|
||||||
var s1: ShiftStack
|
|
||||||
s1.initFixedSeq
|
|
||||||
var s2: ShiftStack
|
|
||||||
s2.initFixedSeq
|
|
||||||
|
|
||||||
c1.add(cPurple)
|
|
||||||
c1.add(cRed)
|
|
||||||
c1.add(cYellow)
|
|
||||||
c1.add(cBlue)
|
|
||||||
c1.add(cGreen)
|
|
||||||
|
|
||||||
s1.add(cPurple)
|
|
||||||
s1.add(cRed)
|
|
||||||
s1.add(cYellow)
|
|
||||||
s1.add(cBlue)
|
|
||||||
s1.add(cGreen)
|
|
||||||
|
|
||||||
# show s1
|
|
||||||
# show s2
|
|
||||||
# echo "<<move 2>>"
|
|
||||||
# s1.moveSubstack(s2, 2)
|
|
||||||
# show s1
|
|
||||||
# show s2
|
|
||||||
|
|
||||||
import random
|
|
||||||
randomize()
|
|
||||||
var r = initRand(rand(int64))
|
|
||||||
var success = true
|
|
||||||
|
|
||||||
for n in 1 .. 1_000_000:
|
|
||||||
var ranFirst, ranSecond: bool
|
|
||||||
|
|
||||||
if c1.len > 0:
|
|
||||||
let i = r.rand(c1.high)
|
|
||||||
ranFirst = true
|
|
||||||
if not testMove(c1, c2, s1, s2, i):
|
|
||||||
success = false
|
|
||||||
echo "Failed after ", n, " iterations."
|
|
||||||
break
|
|
||||||
else:
|
|
||||||
ranFirst = false
|
|
||||||
|
|
||||||
if c2.len > 0:
|
|
||||||
let j = r.rand(c2.high)
|
|
||||||
ranSecond = true
|
|
||||||
if not testMove(c2, c1, s2, s1, j):
|
|
||||||
success = false
|
|
||||||
echo "Failed after ", n, " iterations."
|
|
||||||
break
|
|
||||||
else:
|
|
||||||
ranSecond = false
|
|
||||||
|
|
||||||
if (not ranFirst) and (not ranSecond):
|
|
||||||
echo "Ran neither first nor second move."
|
|
||||||
break
|
|
||||||
|
|
||||||
if success:
|
|
||||||
echo "Success."
|
|
70
test.nim
70
test.nim
@ -1,7 +1,32 @@
|
|||||||
import math, random, strformat, times
|
import math, random, strformat, times, std/monotimes
|
||||||
import fixedseq, game, simulation, ui
|
import fixedseq, game, simulation, ui
|
||||||
|
|
||||||
|
|
||||||
|
type
|
||||||
|
TestResults = object
|
||||||
|
ops: int
|
||||||
|
time: Duration
|
||||||
|
|
||||||
|
|
||||||
|
proc summarize(tr: TestResults) =
|
||||||
|
let secs = tr.time.inMilliseconds.float / 1000
|
||||||
|
stdout.write("Test completed:\n")
|
||||||
|
stdout.write(" " & $tr.ops, " operations in " & $round(secs, 2) & " seconds\n")
|
||||||
|
stdout.write(" " & $round(tr.ops.float / secs, 2) & " operations per second")
|
||||||
|
stdout.flushFile()
|
||||||
|
|
||||||
|
|
||||||
|
template executionTime(body: untyped): Duration =
|
||||||
|
let start = getMonoTime()
|
||||||
|
body
|
||||||
|
getMonoTime() - start
|
||||||
|
|
||||||
|
|
||||||
|
proc getRand(): Rand =
|
||||||
|
randomize()
|
||||||
|
result = initRand(rand(int64))
|
||||||
|
|
||||||
|
|
||||||
proc randomDice(r: var Rand): seq[tuple[c: Color, p: int]] =
|
proc randomDice(r: var Rand): seq[tuple[c: Color, p: int]] =
|
||||||
for c in Color:
|
for c in Color:
|
||||||
let v = r.rand(1..3)
|
let v = r.rand(1..3)
|
||||||
@ -18,18 +43,15 @@ proc newRandomGame(r: var Rand): Board =
|
|||||||
result.setState(dice, [])
|
result.setState(dice, [])
|
||||||
|
|
||||||
|
|
||||||
proc testGames(n: SomeInteger = 100): auto =
|
proc games(nTests, nSamples: SomeInteger, parallel = true): TestResults =
|
||||||
var r = initRand(rand(int64))
|
var r = getRand()
|
||||||
let dice = randomDice(r)
|
var scores: ScoreSet
|
||||||
var b: Board
|
for i in 1 .. nTests:
|
||||||
b.init
|
let b = newRandomGame(r)
|
||||||
b.setState(dice, [])
|
let dur = executionTime:
|
||||||
b.display(1, 5)
|
let s = b.randomGames(nSamples, parallel = parallel)
|
||||||
|
result.ops += s.sum()
|
||||||
let startTime = cpuTime()
|
result.time += dur
|
||||||
let scores = b.randomGames(n, parallel = true)
|
|
||||||
result = cpuTime() - startTime
|
|
||||||
scores.display()
|
|
||||||
|
|
||||||
|
|
||||||
proc testLegs(n: Natural = 100): auto =
|
proc testLegs(n: Natural = 100): auto =
|
||||||
@ -72,24 +94,4 @@ proc testSpread(nTests, nSamples: Natural) =
|
|||||||
|
|
||||||
|
|
||||||
when isMainModule:
|
when isMainModule:
|
||||||
randomize()
|
games(10, 10_000_000).summarize()
|
||||||
# var r = initRand(rand(int64))
|
|
||||||
# let b = newRandomGame(r)
|
|
||||||
# b.display(1, 5)
|
|
||||||
# echo b.showSpaces(1, 16)
|
|
||||||
|
|
||||||
# let scores = b.getLegScores
|
|
||||||
# echo scores.showPercents
|
|
||||||
# let start_states = 2_000
|
|
||||||
# let executionTime = testLegs(start_states)
|
|
||||||
# echo "Execution time: ", executionTime
|
|
||||||
# echo "Leg simulations per second: ", float(start_states * 29_160) / executionTime
|
|
||||||
|
|
||||||
for i in 1 .. 1:
|
|
||||||
let num_games = 100_000_005
|
|
||||||
let executionTime = testGames(num_games)
|
|
||||||
echo "Execution time: ", executionTime
|
|
||||||
echo "Full-game simulations per second: ", float(num_games) / executionTime
|
|
||||||
echo ""
|
|
||||||
|
|
||||||
# testSpread(100, 1_000_000)
|
|
||||||
|
Reference in New Issue
Block a user