Compare commits

...

2 Commits

Author SHA1 Message Date
Patrick Stevens
b2df9db225 Do less progress reporting (#15) 2023-05-06 23:52:23 +01:00
Patrick Stevens
a2d40daef2 Remove most asyncs (#14) 2023-05-06 23:40:09 +01:00
6 changed files with 57 additions and 113 deletions

View File

@@ -15,7 +15,6 @@ module Program =
let go (sample : SampleImages) (pngOutput : IFileInfo) (ctx : ProgressContext) = let go (sample : SampleImages) (pngOutput : IFileInfo) (ctx : ProgressContext) =
let renderTask = ctx.AddTask "[green]Generating image[/]" let renderTask = ctx.AddTask "[green]Generating image[/]"
let writeUnorderedTask = ctx.AddTask "[green]Writing unordered pixels[/]" let writeUnorderedTask = ctx.AddTask "[green]Writing unordered pixels[/]"
let readTask = ctx.AddTask "[green]Reading in serialised pixels[/]"
let writeTask = ctx.AddTask "[green]Writing PPM file[/]" let writeTask = ctx.AddTask "[green]Writing PPM file[/]"
let logFile = let logFile =
@@ -35,7 +34,6 @@ module Program =
let maxProgress, image = SampleImages.get sample renderTask.Increment write let maxProgress, image = SampleImages.get sample renderTask.Increment write
renderTask.MaxValue <- maxProgress / 1.0<progress> renderTask.MaxValue <- maxProgress / 1.0<progress>
writeUnorderedTask.MaxValue <- maxProgress / 1.0<progress> writeUnorderedTask.MaxValue <- maxProgress / 1.0<progress>
readTask.MaxValue <- maxProgress / 1.0<progress>
writeTask.MaxValue <- maxProgress / 1.0<progress> writeTask.MaxValue <- maxProgress / 1.0<progress>
let tempOutput, await = let tempOutput, await =
@@ -46,8 +44,7 @@ module Program =
async { async {
do! Async.AwaitTask await do! Async.AwaitTask await
let! pixelMap = let! pixelMap = ImageOutput.readPixelMap tempOutput (Image.rowCount image) (Image.colCount image)
ImageOutput.readPixelMap readTask.Increment tempOutput (Image.rowCount image) (Image.colCount image)
let pixelMap = ImageOutput.assertComplete pixelMap let pixelMap = ImageOutput.assertComplete pixelMap
do! Png.write true writeTask.Increment pixelMap pngOutput do! Png.write true writeTask.Increment pixelMap pngOutput

View File

@@ -43,12 +43,14 @@ module SampleImages =
} }
let image = let image =
Array.init Seq.init
256 256
(fun height -> (fun height ->
let output = Array.init 256 (fun i -> async { return pixelAt height i }) async {
progressIncrement 1.0<progress> let output = Array.init 256 (pixelAt height)
output progressIncrement 1.0<progress>
return output
}
) )
|> Image.make 256 256 |> Image.make 256 256

View File

@@ -16,24 +16,18 @@ module TestRayTracing =
let image = let image =
[| [|
[| Colour.Red ; Colour.Green ; Colour.Blue |]
[| [|
async { return Colour.Red } {
async { return Colour.Green } Red = 255uy
async { return Colour.Blue } Blue = 0uy
|] Green = 255uy
[|
async {
return
{
Red = 255uy
Blue = 0uy
Green = 255uy
}
} }
async { return Colour.White } Colour.White
async { return Colour.Black } Colour.Black
|] |]
|] |]
|> Array.map async.Return
|> Image.make 2 3 |> Image.make 2 3
let outputFile = fs.Path.GetTempFileName () |> fs.FileInfo.FromFileName let outputFile = fs.Path.GetTempFileName () |> fs.FileInfo.FromFileName
@@ -42,7 +36,7 @@ module TestRayTracing =
async { async {
do! Async.AwaitTask await do! Async.AwaitTask await
let! pixelMap = ImageOutput.readPixelMap ignore tempOutput (Image.rowCount image) (Image.colCount image) let! pixelMap = ImageOutput.readPixelMap tempOutput (Image.rowCount image) (Image.colCount image)
let arr = ImageOutput.assertComplete pixelMap let arr = ImageOutput.assertComplete pixelMap
do! ImageOutput.writePpm false ignore arr outputFile do! ImageOutput.writePpm false ignore arr outputFile
return () return ()

View File

@@ -1,5 +1,6 @@
namespace RayTracing namespace RayTracing
open System.Threading.Tasks
open RayTracing open RayTracing
[<Measure>] [<Measure>]
@@ -8,7 +9,7 @@ type progress
type Image = type Image =
private private
{ {
Rows : Pixel Async[] seq Rows : Async<Pixel[]> seq
RowCount : int RowCount : int
ColCount : int ColCount : int
} }
@@ -19,34 +20,10 @@ module Image =
let colCount i = i.ColCount let colCount i = i.ColCount
let render (i : Image) : (Pixel * Async<unit>)[] seq = let render (i : Image) : Pixel[][] Task =
i.Rows i.Rows |> Async.Parallel |> Async.StartAsTask
|> Seq.map (fun imageRow ->
if imageRow.Length <> i.ColCount then
failwithf
"Thought the image had %i columns, got a pixel array with %i columns"
i.ColCount
imageRow.Length
let outputRow = Array.zeroCreate<Pixel * Async<unit>> i.ColCount let make (rowCount : int) (colCount : int) (pixels : Async<Pixel[]> seq) : Image =
let doIt =
imageRow
|> Array.mapi (fun i p ->
async {
let! pixel = p
let _, a = outputRow.[i]
outputRow.[i] <- pixel, a
}
)
for k in 0 .. i.ColCount - 1 do
outputRow.[k] <- Unchecked.defaultof<_>, doIt.[k]
outputRow
)
let make (rowCount : int) (colCount : int) (pixels : Async<Pixel>[] seq) : Image =
{ {
RowCount = rowCount RowCount = rowCount
ColCount = colCount ColCount = colCount

View File

@@ -1,11 +1,8 @@
namespace RayTracing namespace RayTracing
open System open System
open System.Collections.Generic
open System.Collections.Immutable
open System.IO open System.IO
open System.IO.Abstractions open System.IO.Abstractions
open System.Text
open System.Threading.Tasks open System.Threading.Tasks
open SkiaSharp open SkiaSharp
@@ -68,13 +65,7 @@ module ImageOutput =
toRet toRet
let readPixelMap let readPixelMap (progress : IFileInfo) (numRows : int) (numCols : int) : Async<Pixel ValueOption[][]> =
(incrementProgress : float<progress> -> unit)
(progress : IFileInfo)
(numRows : int)
(numCols : int)
: Async<Pixel ValueOption[][]>
=
let rec go (dict : _[][]) (reader : Stream) = let rec go (dict : _[][]) (reader : Stream) =
let row = consumeAsciiInteger reader let row = consumeAsciiInteger reader
@@ -104,8 +95,6 @@ module ImageOutput =
dict dict
else else
incrementProgress 1.0<progress>
dict.[row].[col] <- dict.[row].[col] <-
ValueSome ValueSome
{ {
@@ -141,53 +130,35 @@ module ImageOutput =
let resume let resume
(incrementProgress : float<progress> -> unit) (incrementProgress : float<progress> -> unit)
(soFar : IReadOnlyDictionary<int * int, Pixel>)
(image : Image) (image : Image)
(fs : IFileSystem) (fs : IFileSystem)
: IFileInfo * Task<unit> : IFileInfo * Task<unit>
= =
let tempFile = fs.Path.GetTempFileName () |> fs.FileInfo.FromFileName let tempFile = fs.Path.GetTempFileName () |> fs.FileInfo.FromFileName
tempFile, let task =
task { async {
use outputStream = tempFile.OpenWrite () use outputStream = tempFile.OpenWrite ()
use enumerator = image.Rows.GetEnumerator () let! pixels = image.Rows |> Async.Parallel
let mutable rowNum = 0
while enumerator.MoveNext () do pixels
|> Array.iteri (fun rowNum row ->
let row = enumerator.Current
let! _ =
row row
|> Array.mapi (fun colNum pixel -> |> Array.iteri (fun colNum pixel ->
backgroundTask { writeAsciiInt outputStream rowNum
let! pixel = outputStream.WriteByte 44uy // ','
match soFar.TryGetValue ((rowNum, colNum)) with writeAsciiInt outputStream colNum
| false, _ -> pixel outputStream.WriteByte 10uy // '\n'
| true, v -> async { return v } outputStream.WriteByte pixel.Red
outputStream.WriteByte pixel.Green
lock outputStream.WriteByte pixel.Blue
outputStream
(fun () ->
writeAsciiInt outputStream rowNum
outputStream.WriteByte 44uy // ','
writeAsciiInt outputStream colNum
outputStream.WriteByte 10uy // '\n'
outputStream.WriteByte pixel.Red
outputStream.WriteByte pixel.Green
outputStream.WriteByte pixel.Blue
)
incrementProgress 1.0<progress>
return ()
}
) )
|> Task.WhenAll
rowNum <- rowNum + 1 incrementProgress 1.0<progress>
} )
}
tempFile, Async.StartAsTask task
let writePpm let writePpm
(gammaCorrect : bool) (gammaCorrect : bool)
@@ -237,7 +208,7 @@ module ImageOutput =
(fs : IFileSystem) (fs : IFileSystem)
: IFileInfo * Task<unit> : IFileInfo * Task<unit>
= =
resume progressIncrement ImmutableDictionary.Empty image fs resume progressIncrement image fs
[<RequireQualifiedAccess>] [<RequireQualifiedAccess>]
module Png = module Png =
@@ -264,10 +235,10 @@ module Png =
let colour = PixelOutput.toSkia gammaCorrect pixels.[row].[pixels.[row].Length - 1] let colour = PixelOutput.toSkia gammaCorrect pixels.[row].[pixels.[row].Length - 1]
img.SetPixel (pixels.[row].Length - 1, row, colour) img.SetPixel (pixels.[row].Length - 1, row, colour)
incrementProgress 1.0<progress>
for row = 0 to pixels.Length - 2 do for row = 0 to pixels.Length - 2 do
writeRow row writeRow row
incrementProgress 1.0<progress>
writeRow (pixels.Length - 1) writeRow (pixels.Length - 1)

View File

@@ -208,26 +208,29 @@ module Scene =
let rowsIter = 2 * maxHeightCoord + 1 let rowsIter = 2 * maxHeightCoord + 1
let colsIter = 2 * maxWidthCoord + 1 let colsIter = 2 * maxWidthCoord + 1
1.0<progress> * float (rowsIter * colsIter), 1.0<progress> * float rowsIter,
{ {
RowCount = rowsIter RowCount = rowsIter
ColCount = colsIter ColCount = colsIter
Rows = Rows =
Array.init Seq.init
rowsIter rowsIter
(fun row -> (fun row ->
let row = maxHeightCoord - row - 1 let row = maxHeightCoord - row - 1
Array.init async {
colsIter let result =
(fun col -> Array.init
let col = col - maxWidthCoord colsIter
(fun col ->
let col = col - maxWidthCoord
async { let ret = renderPixel print s rand camera maxWidthCoord maxHeightCoord row col
let ret = renderPixel print s rand camera maxWidthCoord maxHeightCoord row col ret
progressIncrement 1.0<progress> )
return ret
} progressIncrement 1.0<progress>
) return result
}
) )
} }