🐦[FSharp] Falco - Add benchmark for Falco v1.2.* (#5828)

* falco v1.2.3

* Server header, removed meta tag from head

* inline json message to meet spec

Co-authored-by: pimbrouwers <[email protected]>

.gitignore

@@ -113,3 +113,13 @@ Package.resolved
 .swiftpm
 DerivedData
 .build
+
+#fsharp
+launchSettings.json
+.vs
+obj
+[Bb]in/
+[Oo]bj/
+[Dd]ebug/
+[Rr]elease/
+*.fsproj.user

frameworks/FSharp/falco/.gitignore

@@ -0,0 +1,360 @@
+## Ignore Visual Studio temporary files, build results, and
+## files generated by popular Visual Studio add-ons.
+##
+## Get latest from https://github.com/github/gitignore/blob/master/VisualStudio.gitignore
+
+# User-specific files
+*.rsuser
+*.suo
+*.user
+*.userosscache
+*.sln.docstates
+
+# User-specific files (MonoDevelop/Xamarin Studio)
+*.userprefs
+
+# Mono auto generated files
+mono_crash.*
+
+# Build results
+[Dd]ebug/
+[Dd]ebugPublic/
+[Rr]elease/
+[Rr]eleases/
+x64/
+x86/
+[Ww][Ii][Nn]32/
+[Aa][Rr][Mm]/
+[Aa][Rr][Mm]64/
+bld/
+[Bb]in/
+[Oo]bj/
+[Ll]og/
+[Ll]ogs/
+
+# Visual Studio 2015/2017 cache/options directory
+.vs/
+# Uncomment if you have tasks that create the project's static files in wwwroot
+#wwwroot/
+
+# Visual Studio 2017 auto generated files
+Generated\ Files/
+
+# MSTest test Results
+[Tt]est[Rr]esult*/
+[Bb]uild[Ll]og.*
+
+# NUnit
+*.VisualState.xml
+TestResult.xml
+nunit-*.xml
+
+# Build Results of an ATL Project
+[Dd]ebugPS/
+[Rr]eleasePS/
+dlldata.c
+
+# Benchmark Results
+BenchmarkDotNet.Artifacts/
+
+# .NET Core
+project.lock.json
+project.fragment.lock.json
+artifacts/
+
+# ASP.NET Scaffolding
+ScaffoldingReadMe.txt
+
+# StyleCop
+StyleCopReport.xml
+
+# Files built by Visual Studio
+*_i.c
+*_p.c
+*_h.h
+*.ilk
+*.meta
+*.obj
+*.iobj
+*.pch
+*.pdb
+*.ipdb
+*.pgc
+*.pgd
+*.rsp
+*.sbr
+*.tlb
+*.tli
+*.tlh
+*.tmp
+*.tmp_proj
+*_wpftmp.csproj
+*.log
+*.vspscc
+*.vssscc
+.builds
+*.pidb
+*.svclog
+*.scc
+
+# Chutzpah Test files
+_Chutzpah*
+
+# Visual C++ cache files
+ipch/
+*.aps
+*.ncb
+*.opendb
+*.opensdf
+*.sdf
+*.cachefile
+*.VC.db
+*.VC.VC.opendb
+
+# Visual Studio profiler
+*.psess
+*.vsp
+*.vspx
+*.sap
+
+# Visual Studio Trace Files
+*.e2e
+
+# TFS 2012 Local Workspace
+$tf/
+
+# Guidance Automation Toolkit
+*.gpState
+
+# ReSharper is a .NET coding add-in
+_ReSharper*/
+*.[Rr]e[Ss]harper
+*.DotSettings.user
+
+# TeamCity is a build add-in
+_TeamCity*
+
+# DotCover is a Code Coverage Tool
+*.dotCover
+
+# AxoCover is a Code Coverage Tool
+.axoCover/*
+!.axoCover/settings.json
+
+# Coverlet is a free, cross platform Code Coverage Tool
+coverage*[.json, .xml, .info]
+
+# Visual Studio code coverage results
+*.coverage
+*.coveragexml
+
+# NCrunch
+_NCrunch_*
+.*crunch*.local.xml
+nCrunchTemp_*
+
+# MightyMoose
+*.mm.*
+AutoTest.Net/
+
+# Web workbench (sass)
+.sass-cache/
+
+# Installshield output folder
+[Ee]xpress/
+
+# DocProject is a documentation generator add-in
+DocProject/buildhelp/
+DocProject/Help/*.HxT
+DocProject/Help/*.HxC
+DocProject/Help/*.hhc
+DocProject/Help/*.hhk
+DocProject/Help/*.hhp
+DocProject/Help/Html2
+DocProject/Help/html
+
+# Click-Once directory
+publish/
+
+# Publish Web Output
+*.[Pp]ublish.xml
+*.azurePubxml
+# Note: Comment the next line if you want to checkin your web deploy settings,
+# but database connection strings (with potential passwords) will be unencrypted
+*.pubxml
+*.publishproj
+
+# Microsoft Azure Web App publish settings. Comment the next line if you want to
+# checkin your Azure Web App publish settings, but sensitive information contained
+# in these scripts will be unencrypted
+PublishScripts/
+
+# NuGet Packages
+*.nupkg
+# NuGet Symbol Packages
+*.snupkg
+# The packages folder can be ignored because of Package Restore
+**/[Pp]ackages/*
+# except build/, which is used as an MSBuild target.
+!**/[Pp]ackages/build/
+# Uncomment if necessary however generally it will be regenerated when needed
+#!**/[Pp]ackages/repositories.config
+# NuGet v3's project.json files produces more ignorable files
+*.nuget.props
+*.nuget.targets
+
+# Microsoft Azure Build Output
+csx/
+*.build.csdef
+
+# Microsoft Azure Emulator
+ecf/
+rcf/
+
+# Windows Store app package directories and files
+AppPackages/
+BundleArtifacts/
+Package.StoreAssociation.xml
+_pkginfo.txt
+*.appx
+*.appxbundle
+*.appxupload
+
+# Visual Studio cache files
+# files ending in .cache can be ignored
+*.[Cc]ache
+# but keep track of directories ending in .cache
+!?*.[Cc]ache/
+
+# Others
+ClientBin/
+~$*
+*~
+*.dbmdl
+*.dbproj.schemaview
+*.jfm
+*.pfx
+*.publishsettings
+orleans.codegen.cs
+
+# Including strong name files can present a security risk
+# (https://github.com/github/gitignore/pull/2483#issue-259490424)
+#*.snk
+
+# Since there are multiple workflows, uncomment next line to ignore bower_components
+# (https://github.com/github/gitignore/pull/1529#issuecomment-104372622)
+#bower_components/
+
+# RIA/Silverlight projects
+Generated_Code/
+
+# Backup & report files from converting an old project file
+# to a newer Visual Studio version. Backup files are not needed,
+# because we have git ;-)
+_UpgradeReport_Files/
+Backup*/
+UpgradeLog*.XML
+UpgradeLog*.htm
+ServiceFabricBackup/
+*.rptproj.bak
+
+# SQL Server files
+*.mdf
+*.ldf
+*.ndf
+
+# Business Intelligence projects
+*.rdl.data
+*.bim.layout
+*.bim_*.settings
+*.rptproj.rsuser
+*- [Bb]ackup.rdl
+*- [Bb]ackup ([0-9]).rdl
+*- [Bb]ackup ([0-9][0-9]).rdl
+
+# Microsoft Fakes
+FakesAssemblies/
+
+# GhostDoc plugin setting file
+*.GhostDoc.xml
+
+# Node.js Tools for Visual Studio
+.ntvs_analysis.dat
+node_modules/
+
+# Visual Studio 6 build log
+*.plg
+
+# Visual Studio 6 workspace options file
+*.opt
+
+# Visual Studio 6 auto-generated workspace file (contains which files were open etc.)
+*.vbw
+
+# Visual Studio LightSwitch build output
+**/*.HTMLClient/GeneratedArtifacts
+**/*.DesktopClient/GeneratedArtifacts
+**/*.DesktopClient/ModelManifest.xml
+**/*.Server/GeneratedArtifacts
+**/*.Server/ModelManifest.xml
+_Pvt_Extensions
+
+# Paket dependency manager
+.paket/paket.exe
+paket-files/
+
+# FAKE - F# Make
+.fake/
+
+# CodeRush personal settings
+.cr/personal
+
+# Python Tools for Visual Studio (PTVS)
+__pycache__/
+*.pyc
+
+# Cake - Uncomment if you are using it
+# tools/**
+# !tools/packages.config
+
+# Tabs Studio
+*.tss
+
+# Telerik's JustMock configuration file
+*.jmconfig
+
+# BizTalk build output
+*.btp.cs
+*.btm.cs
+*.odx.cs
+*.xsd.cs
+
+# OpenCover UI analysis results
+OpenCover/
+
+# Azure Stream Analytics local run output
+ASALocalRun/
+
+# MSBuild Binary and Structured Log
+*.binlog
+
+# NVidia Nsight GPU debugger configuration file
+*.nvuser
+
+# MFractors (Xamarin productivity tool) working folder
+.mfractor/
+
+# Local History for Visual Studio
+.localhistory/
+
+# BeatPulse healthcheck temp database
+healthchecksdb
+
+# Backup folder for Package Reference Convert tool in Visual Studio 2017
+MigrationBackup/
+
+# Ionide (cross platform F# VS Code tools) working folder
+.ionide/
+
+# Fody - auto-generated XML schema
+FodyWeavers.xsd

frameworks/FSharp/falco/README.md

@@ -0,0 +1,28 @@
+# Falco Tests on Linux
+This includes tests for plaintext, json, and fortunes HTML serialization.
+
+## Infrastructure Software Versions
+
+**Language**
+
+* F# 4.7
+
+**Platforms**
+
+* .NET Core (Windows and Linux)
+
+**Web Servers**
+
+* [Kestrel](https://github.com/aspnet/KestrelHttpServer)
+
+**Web Stack**
+
+* [Falco](https://github.com/pimbrouwers/Falco)
+* [Donald](https://github.com/pimbrouwers/Donald)
+* ASP.NET Core
+
+## Paths & Source for Tests
+
+* [Plaintext](src/App/Value.fs): "/plaintext"
+* [JSON serialization](src/App/Value.fs): "/json"
+* [Fortunes using Donald](src/App/Fortune.fs): "/fortunes"

frameworks/FSharp/falco/benchmark_config.json

@@ -0,0 +1,47 @@
+{
+  "framework": "falco",
+  "tests": [
+    {
+      "default": {
+        "plaintext_url": "/plaintext",
+        "json_url": "/json",
+        "fortune_url": "/fortunes",
+        "port": 8080,
+        "approach": "Realistic",
+        "classification": "Micro",
+        "database": "Postgres",
+        "framework": "Falco",
+        "language": "F#",
+        "orm": "micro",
+        "platform": ".NET",
+        "flavor": "CoreCLR",
+        "webserver": "Kestrel",
+        "os": "Linux",
+        "database_os": "Linux",
+        "display_name": "Falco, Donald",
+        "notes": "",
+        "versus": "aspcore"
+      },
+      "rhtx": {
+        "plaintext_url": "/plaintext",
+        "json_url": "/json",
+        "fortune_url": "/fortunes",
+        "port": 8080,
+        "approach": "Realistic",
+        "classification": "Micro",
+        "database": "Postgres",
+        "framework": "Falco",
+        "language": "F#",
+        "orm": "micro",
+        "platform": ".NET",
+        "flavor": "CoreCLR",
+        "webserver": "Kestrel",
+        "os": "Linux",
+        "database_os": "Linux",
+        "display_name": "Falco, Donald, Red Hat Linux Transport",
+        "notes": "",
+        "versus": "aspcore"
+      }
+    }
+  ]
+}

frameworks/FSharp/falco/falco-rhtx.dockerfile

@@ -0,0 +1,11 @@
+FROM mcr.microsoft.com/dotnet/core/sdk:3.1.300 AS build
+WORKDIR /app
+COPY src/App .
+RUN dotnet publish -c Release -o out
+
+FROM mcr.microsoft.com/dotnet/core/aspnet:3.1.4 AS runtime
+ENV ASPNETCORE_URLS http://+:8080
+WORKDIR /app
+COPY --from=build /app/out ./
+
+ENTRYPOINT ["dotnet", "App.dll", "KestrelTransport=LinuxTransport"]

frameworks/FSharp/falco/falco.dockerfile

@@ -0,0 +1,11 @@
+FROM mcr.microsoft.com/dotnet/core/sdk:3.1.300 AS build
+WORKDIR /app
+COPY src/App .
+RUN dotnet publish -c Release -o out
+
+FROM mcr.microsoft.com/dotnet/core/aspnet:3.1.4 AS runtime
+ENV ASPNETCORE_URLS http://+:8080
+WORKDIR /app
+COPY --from=build /app/out ./
+
+ENTRYPOINT ["dotnet", "App.dll"]

frameworks/FSharp/falco/src/App/App.fsproj

@@ -0,0 +1,22 @@
+<Project Sdk="Microsoft.NET.Sdk.Web">
+
+  <PropertyGroup>
+    <TargetFramework>netcoreapp3.1</TargetFramework>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="UI.fs" />
+    <Compile Include="Value.fs" />
+    <Compile Include="Fortune.fs" />
+    <Compile Include="Server.fs" />
+    <Compile Include="Program.fs" />
+  </ItemGroup>
+
+  <ItemGroup>
+    <PackageReference Update="FSharp.Core" Version="4.7.*" />
+    <PackageReference Include="Donald" Version="3.0.*" />
+    <PackageReference Include="Falco" Version="1.2.*" />
+    <PackageReference Include="Npgsql" Version="4.1.3.1" />
+  </ItemGroup>
+
+</Project>

frameworks/FSharp/falco/src/App/Fortune.fs

@@ -0,0 +1,100 @@
+module App.Fortune    
+    
+module Model = 
+    open System.Threading.Tasks 
+    open FSharp.Control.Tasks
+
+    type FortuneModel = 
+        {
+            id      : int
+            message : string
+        }
+
+    module FortuneModel =
+        open System.Data
+        open Donald 
+
+        let extra = 
+            {
+                id = 0
+                message = "Additional fortune added at request time."
+            }
+
+        let fromDataReader (rd : IDataReader) =
+            {
+                id = rd.GetInt32("id")
+                message = rd.GetString("message")
+            }
+
+    module Index =        
+        type Query =
+            unit -> Task<FortuneModel list>
+
+        type LoadFortunes =
+            unit -> Task<FortuneModel list>
+
+        let query 
+            (loadFortunes : LoadFortunes) : Query =
+            fun () -> 
+                task {
+                    let! fortunes = loadFortunes ()
+                    let fortunesWithExtra = FortuneModel.extra :: fortunes
+                    let fortunesSorted = 
+                        fortunesWithExtra 
+                        |> List.sortBy (fun f -> f.message)
+
+                    return fortunesSorted 
+                }
+
+module Db =
+    open System.Data
+    open Donald
+    open Model
+
+    let selectAsync (connection : IDbConnection) =
+        queryAsync 
+            "SELECT id, message FROM fortune"
+            []
+            FortuneModel.fromDataReader
+            connection
+
+module View =
+    open Falco.ViewEngine
+    open Model 
+
+    let index (fortunes : FortuneModel list) =            
+        UI.layout "Fortunes" [
+                table [] [
+                        yield tr [] [
+                                th [] [ raw "id" ]
+                                th [] [ raw "message" ]
+                            ]
+                        for fortune in fortunes ->
+                            tr [] [
+                                    td [] [ raw (string fortune.id) ]
+                                    td [] [ enc fortune.message]
+                                ]
+                    ]
+            ]
+
+module Controller =
+    open Donald
+    open Falco
+    open FSharp.Control.Tasks
+    open Model
+
+    let handleIndex : HttpHandler =        
+        fun next ctx ->
+            task {
+                let connFactory = ctx.GetService<DbConnectionFactory>()
+                use conn = createConn connFactory
+                let selectFortunes = fun () -> Db.selectAsync conn
+                let! fortunes = () |> Index.query selectFortunes
+
+                let handlerResult = 
+                    fortunes
+                    |> View.index
+                    |> htmlOut
+
+                return! handlerResult next ctx
+            }

frameworks/FSharp/falco/src/App/Program.fs

@@ -0,0 +1,15 @@
+module App.Program
+
+open System.Data
+open Npgsql
+
+[<Literal>]
+let ConnectionString = "Server=tfb-database;Database=hello_world;User Id=benchmarkdbuser;Password=benchmarkdbpass;Maximum Pool Size=1024;NoResetOnClose=true;Enlist=false;Max Auto Prepare=3"
+
+let connectionFactory =     
+    fun () -> new NpgsqlConnection(ConnectionString) :> IDbConnection
+
+[<EntryPoint>]
+let main args =    
+    Server.startServer args connectionFactory
+    0

frameworks/FSharp/falco/src/App/Server.fs

@@ -0,0 +1,55 @@
+module App.Server
+
+open Donald
+open Falco
+open Microsoft.AspNetCore.Builder
+open Microsoft.AspNetCore.Hosting
+open Microsoft.AspNetCore.Server.Kestrel.Core
+open Microsoft.Extensions.DependencyInjection
+open Microsoft.Extensions.Logging
+open Microsoft.Extensions.Hosting
+
+let routes = 
+    [
+        get "/plaintext"  Value.Controller.handlePlainText
+        get "/json"       Value.Controller.handleJson
+        get "/fortunes"   Fortune.Controller.handleIndex
+    ]
+    
+module Config =
+    let configureLogging (log : ILoggingBuilder) =
+        log.ClearProviders()
+        |> ignore
+
+    let configureServices 
+        (connectionFactory : DbConnectionFactory) 
+        (services : IServiceCollection) =
+        services.AddRouting() 
+                .AddSingleton<DbConnectionFactory>(connectionFactory)
+        |> ignore
+
+    let configure 
+        (routes : HttpEndpoint list) 
+        (app : IApplicationBuilder) = 
+        app.UseRouting()
+            .UseHttpEndPoints(routes)       
+            .UseNotFoundHandler(setStatusCode 404)
+            |> ignore 
+
+let builderServer 
+    (connectionFactory : DbConnectionFactory) 
+    (webHost : IWebHostBuilder) =
+    webHost
+        .UseKestrel()
+        .ConfigureLogging(Config.configureLogging)
+        .ConfigureServices(Config.configureServices connectionFactory)
+        .Configure(Config.configure routes)                   
+        |> ignore
+
+let startServer 
+    (args : string[])    
+    (connectionFactory : DbConnectionFactory) =
+    Host.CreateDefaultBuilder(args)
+        .ConfigureWebHost(fun webHost -> builderServer connectionFactory webHost)
+        .Build()
+        .Run()  

frameworks/FSharp/falco/src/App/UI.fs

@@ -0,0 +1,11 @@
+module App.UI
+
+open Falco.ViewEngine
+    
+let layout pageTitle content = 
+    html [] [
+        head [] [                
+                title [] [ raw pageTitle ]                                                                
+            ]
+        body [] content
+    ] 

frameworks/FSharp/falco/src/App/Value.fs

@@ -0,0 +1,16 @@
+module App.Value
+
+open Falco 
+
+type JsonOutputModel = { message : string }
+    
+module Controller =
+    let defaultMsg = "Hello, World!"
+
+    let handleJson : HttpHandler =
+        fun next ctx ->
+            let json = { message = defaultMsg }
+            (jsonOut json) next ctx
+        
+    let handlePlainText : HttpHandler =        
+        textOut defaultMsg