binary-trees F# .NET Core #3 program
source code
// The Computer Language Benchmarks Game
// http://benchmarksgame.alioth.debian.org/
//
// Modification by Don Syme & Jomo Fisher to use null as representation
// of Empty node and to use a single Next element.
// Based on F# version by Robert Pickering
// Based on ocaml version by Troestler Christophe & Isaac Gouy
// *reset*
open System
open Unchecked
type Next = { Left: Tree; Right: Tree }
and [<Struct>] Tree(next:Next) =
member t.Check() =
match box next with
| null -> 1
| _ -> 1 + next.Left.Check() + next.Right.Check()
let rec make depth =
if depth > 0 then Tree({Left = make (depth-1); Right=make (depth-1)})
else Tree(defaultof<_>)
let inline check (tree:Tree) = tree.Check()
let rec loopDepths maxDepth minDepth d =
if d <= maxDepth then
let niter = 1 <<< (maxDepth - d + minDepth)
let mutable c = 0
for i = 1 to niter do
c <- c + check (make d)
Console.WriteLine("{0}\t trees of depth {1}\t check: {2}",niter,d,c)
loopDepths maxDepth minDepth (d + 2)
[<EntryPoint>]
let main args =
let minDepth = 4
let maxDepth =
let n = if args.Length > 0 then int args.[0] else 10
max (minDepth + 2) n
let stretchDepth = maxDepth + 1
let c = check (make stretchDepth)
Console.WriteLine("stretch tree of depth {0}\t check: {1}",stretchDepth,c)
let longLivedTree = make maxDepth
loopDepths maxDepth minDepth minDepth
Console.WriteLine("long lived tree of depth {0}\t check: {1}",maxDepth,(check longLivedTree))
exit 0
notes, command-line, and program output
NOTES:
64-bit Ubuntu quad core
2.0.2 a04b4bf512
"System.GC.Server": true
Sat, 11 Nov 2017 21:12:33 GMT
MAKE:
cp binarytrees.fsharpcore-3.fsharpcore Program.fs
cp Include/fsharpcore/tmp.fsproj .
cp Include/fsharpcore/runtimeconfig.template.json .
mkdir obj
cp Include/fsharpcore/project.assets.json ./obj
cp Include/fsharpcore/tmp.fsproj.nuget.g.props ./obj
cp Include/fsharpcore/tmp.fsproj.nuget.g.targets ./obj
/usr/bin/dotnet build -c Release --no-restore
Microsoft (R) Build Engine version 15.4.8.50001 for .NET Core
Copyright (C) Microsoft Corporation. All rights reserved.
tmp -> /home/dunham/benchmarksgame_quadcore/binarytrees/tmp/bin/Release/netcoreapp2.0/tmp.dll
Build succeeded.
0 Warning(s)
0 Error(s)
Time Elapsed 00:00:09.44
9.98s to complete and log all make actions
COMMAND LINE:
/usr/bin/dotnet ./bin/Release/netcoreapp2.0/tmp.dll 21
PROGRAM OUTPUT:
stretch tree of depth 22 check: 8388607
2097152 trees of depth 4 check: 65011712
524288 trees of depth 6 check: 66584576
131072 trees of depth 8 check: 66977792
32768 trees of depth 10 check: 67076096
8192 trees of depth 12 check: 67100672
2048 trees of depth 14 check: 67106816
512 trees of depth 16 check: 67108352
128 trees of depth 18 check: 67108736
32 trees of depth 20 check: 67108832
long lived tree of depth 21 check: 4194303