Add implementation for kmp-json-schema-validator (#85)

Author: michaelmior

.github/workflows/ci.yml

@@ -59,6 +59,7 @@ jobs:
       report-json_schemer: ${{ steps.save-output.outputs.report-json_schemer }}
       report-jsoncons: ${{ steps.save-output.outputs.report-jsoncons }}
       report-jsonschemadotnet: ${{ steps.save-output.outputs.report-jsonschemadotnet }}
+      report-kmp-json-schema-validator: ${{ steps.save-output.outputs.report-kmp-json-schema-validator }}
       report-python-jsonschema: ${{ steps.save-output.outputs.report-python-jsonschema }}
       report-schemasafe: ${{ steps.save-output.outputs.report-schemasafe }}
 

Makefile

@@ -238,3 +238,22 @@ dist/results/jsonschemadotnet/%: \
 	schemas/%/instances.jsonl \
 	| dist/results/jsonschemadotnet
 	@$(call docker_run,jsonschemadotnet,/workspace/$(word 2,$^) /workspace/$(word 3,$^))
+
+# kmp-json-schema-validator
+
+implementations/kmp-json-schema-validator/.dockertimestamp: \
+	implementations/kmp-json-schema-validator/app/src/main/kotlin/io/github/sourcemeta/App.kt \
+	implementations/kmp-json-schema-validator/app/build.gradle.kts \
+	implementations/kmp-json-schema-validator/gradle/libs.versions.toml \
+	implementations/kmp-json-schema-validator/gradle/wrapper/gradle-wrapper.properties \
+	implementations/kmp-json-schema-validator/run.sh \
+	implementations/kmp-json-schema-validator/Dockerfile
+	docker build -t jsonschema-benchmark/kmp-json-schema-validator implementations/kmp-json-schema-validator
+	touch $@
+
+dist/results/kmp-json-schema-validator/%: \
+	implementations/kmp-json-schema-validator/.dockertimestamp \
+	schemas/%/schema.json \
+	schemas/%/instances.jsonl \
+	| dist/results/kmp-json-schema-validator
+	@$(call docker_run,kmp-json-schema-validator,/workspace/$(word 2,$^) /workspace/$(word 3,$^))

implementations/kmp-json-schema-validator/.gitattributes

@@ -0,0 +1,9 @@
+#
+# https://help.github.com/articles/dealing-with-line-endings/
+#
+# Linux start script should use lf
+/gradlew        text eol=lf
+
+# These are Windows script files and should use crlf
+*.bat           text eol=crlf
+

implementations/kmp-json-schema-validator/.gitignore

@@ -0,0 +1,5 @@
+# Ignore Gradle project-specific cache directory
+.gradle
+
+# Ignore Gradle build output directory
+build

implementations/kmp-json-schema-validator/Dockerfile

@@ -0,0 +1,16 @@
+# syntax=docker.io/docker/dockerfile:1.7-labs
+FROM gradle:8.11.1-jdk21
+
+COPY --exclude=./app/src . /app
+
+WORKDIR /app
+
+# Just download dependencies first
+RUN gradle downloadDependencies
+
+# Now copy in the source and compile
+COPY ./app/src /app/app/src
+RUN gradle compileKotlin
+
+ENTRYPOINT ["/app/run.sh"]
+CMD []

implementations/kmp-json-schema-validator/app/build.gradle.kts

@@ -0,0 +1,41 @@
+plugins {
+    // Apply the org.jetbrains.kotlin.jvm Plugin to add support for Kotlin.
+    alias(libs.plugins.jvm)
+
+    // Apply the application plugin to add support for building a CLI application in Java.
+    application
+}
+
+repositories {
+    // Use Maven Central for resolving dependencies.
+    mavenCentral()
+}
+
+dependencies {
+    // This dependency is used by the application.
+    implementation(libs.validator)
+}
+
+// Apply a specific Java toolchain to ease working on different environments.
+java {
+    toolchain {
+        languageVersion = JavaLanguageVersion.of(21)
+    }
+}
+
+application {
+    // Define the main class for the application.
+    mainClass = "io.github.sourcemeta.AppKt"
+}
+
+// See https://stackoverflow.com/a/38528497/123695
+fun ConfigurationContainer.resolveAll() = this
+  .filter { it.isCanBeResolved }
+  .forEach { it.resolve() }
+
+tasks.register("downloadDependencies") {
+  doLast {
+    configurations.resolveAll()
+    buildscript.configurations.resolveAll()
+  }
+}

implementations/kmp-json-schema-validator/app/src/main/kotlin/io/github/sourcemeta/App.kt

@@ -0,0 +1,54 @@
+package io.github.sourcemeta
+
+
+import io.github.optimumcode.json.schema.OutputCollector
+import io.github.optimumcode.json.schema.JsonSchema
+import io.github.optimumcode.json.schema.ValidationError
+import java.io.File
+import kotlinx.serialization.json.Json
+import kotlinx.serialization.json.JsonElement
+
+
+val WARMUP_ITERATIONS: ULong = 1000.toULong()
+val MAX_WARMUP_TIME: ULong = (1e9 * 10).toULong()
+
+
+fun validateAll(schema: JsonSchema, docs: List<JsonElement>): Boolean {
+  var valid = true
+  for (doc in docs) {
+    valid = valid && schema.validate(doc, OutputCollector.flag()).valid
+  }
+  return valid
+}
+
+fun main(args: Array<String>) {
+    val json = Json { ignoreUnknownKeys = true }
+
+    // Prepare the schema
+    val compileStart = System.nanoTime()
+    val schema = JsonSchema.fromDefinition(File(args[0]).readText())
+    val compileEnd = System.nanoTime()
+
+    // Load all documents
+    val docs = File(args[1]).readLines().map { json.parseToJsonElement(it) }
+
+    val coldStart = System.nanoTime()
+    val valid = validateAll(schema, docs)
+    val coldEnd = System.nanoTime()
+
+    if (!valid) {
+        System.exit(1)
+    }
+
+    // Run some warmup iterations
+    val iterations: ULong = kotlin.math.ceil(MAX_WARMUP_TIME.toDouble() / (coldEnd - coldStart)).toULong()
+    repeat(kotlin.math.min(iterations, WARMUP_ITERATIONS).toInt()) {
+        validateAll(schema, docs)
+    }
+
+    val warmStart = System.nanoTime()
+    validateAll(schema, docs)
+    val warmEnd = System.nanoTime()
+
+    println("${coldEnd - coldStart},${warmEnd - warmStart},${compileEnd - compileStart}")
+}

implementations/kmp-json-schema-validator/gradle/libs.versions.toml

@@ -0,0 +1,8 @@
+[versions]
+validator = "0.3.0"
+
+[libraries]
+validator = { module = "io.github.optimumcode:json-schema-validator", version.ref = "validator" }
+
+[plugins]
+jvm = { id = "org.jetbrains.kotlin.jvm", version = "1.9.22" }

implementations/kmp-json-schema-validator/gradle/wrapper/gradle-wrapper.jar

@@ -0,0 +1,7 @@
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.8-bin.zip
+networkTimeout=10000
+validateDistributionUrl=true
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists