evaluator: significant performance enhancements

This commit is contained in:
2023-09-21 17:21:53 -07:00
parent 1a759b9746
commit 4758e92676
21 changed files with 260 additions and 71 deletions

View File

@ -1,3 +1,3 @@
package gay.pizza.pork.evaluator
class Arguments(val values: List<Any>)
typealias ArgumentList = List<Any>

View File

@ -1,5 +1,5 @@
package gay.pizza.pork.evaluator
fun interface BlockFunction {
fun call(): Any
abstract class BlockFunction {
abstract fun call(): Any
}

View File

@ -0,0 +1,20 @@
package gay.pizza.pork.evaluator
class CallStack(val functionStack: MutableList<FunctionContext> = mutableListOf()) {
fun push(context: FunctionContext) {
functionStack.add(context)
}
fun pop() {
functionStack.removeLast()
}
override fun toString(): String = buildString {
appendLine("Pork Stacktrace:")
for (item in functionStack.asReversed()) {
appendLine(" at ${item.name}")
}
}.trimEnd()
fun copy(): CallStack = CallStack(functionStack.toMutableList())
}

View File

@ -1,5 +1,5 @@
package gay.pizza.pork.evaluator
fun interface CallableFunction {
fun call(arguments: Arguments): Any
fun call(arguments: ArgumentList, stack: CallStack): Any
}

View File

@ -7,7 +7,7 @@ class CompilationUnitContext(
val compilationUnit: CompilationUnit,
val evaluator: Evaluator,
rootScope: Scope,
name: String = "unknown"
val name: String = "unknown"
) {
val internalScope = rootScope.fork("internal $name")
val externalScope = rootScope.fork("external $name")
@ -40,7 +40,7 @@ class CompilationUnitContext(
private fun definitionValue(definition: Definition): Any = when (definition) {
is FunctionDefinition -> FunctionContext(this, definition)
is LetDefinition -> {
EvaluationVisitor(internalScope.fork("let ${definition.symbol.id}"))
EvaluationVisitor(internalScope.fork("let ${definition.symbol.id}"), CallStack())
.visit(definition.value)
}
}

View File

@ -3,7 +3,8 @@ package gay.pizza.pork.evaluator
import gay.pizza.pork.ast.*
import kotlin.math.abs
class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
@Suppress("JavaIoSerializableObjectMustHaveReadResolve")
class EvaluationVisitor(root: Scope, val stack: CallStack) : NodeVisitor<Any> {
private var currentScope: Scope = root
override fun visitIntegerLiteral(node: IntegerLiteral): Any = node.value
@ -16,9 +17,15 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
throw RuntimeException("Unable to iterate on value that is not a iterable.")
}
var reuseScope: Scope? = null
for (item in value) {
try {
scoped {
if (reuseScope == null) {
reuseScope = currentScope.fork(name = "ForIn")
}
scoped(reuseScope, node = node) {
currentScope.define(node.symbol.id, item ?: None)
result = blockFunction.call()
}
@ -28,6 +35,7 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
continue
}
}
reuseScope?.disown()
return result ?: None
}
@ -46,7 +54,7 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
override fun visitFunctionCall(node: FunctionCall): Any {
val arguments = node.arguments.map { it.visit(this) }
val functionValue = currentScope.value(node.symbol.id) as CallableFunction
return functionValue.call(Arguments(arguments))
return functionValue.call(arguments, stack)
}
override fun visitLetAssignment(node: LetAssignment): Any {
@ -71,6 +79,7 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
override fun visitWhile(node: While): Any {
val blockFunction = node.block.visit(this) as BlockFunction
var result: Any? = null
var reuseScope: Scope? = null
while (true) {
val value = node.condition.visit(this)
if (value !is Boolean) {
@ -78,13 +87,17 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
}
if (!value) break
try {
scoped { result = blockFunction.call() }
if (reuseScope == null) {
reuseScope = currentScope.fork(name = "While")
}
scoped(reuseScope, node = node) { result = blockFunction.call() }
} catch (_: BreakMarker) {
break
} catch (_: ContinueMarker) {
continue
}
}
reuseScope?.disown()
return result ?: None
}
@ -173,10 +186,10 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
val condition = node.condition.visit(this)
return if (condition == true) {
val blockFunction = node.thenBlock.visit(this) as BlockFunction
scoped { blockFunction.call() }
scoped(node = node) { blockFunction.call() }
} else if (node.elseBlock != null) {
val blockFunction = node.elseBlock!!.visit(this) as BlockFunction
scoped { blockFunction.call() }
scoped(node = node) { blockFunction.call() }
} else None
}
@ -350,12 +363,17 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
}
}
override fun visitBlock(node: Block): BlockFunction = BlockFunction {
var value: Any? = null
for (expression in node.expressions) {
value = expression.visit(this)
override fun visitBlock(node: Block): BlockFunction {
val visitor = this
return object : BlockFunction() {
override fun call(): Any {
var value: Any? = null
for (expression in node.expressions) {
value = expression.visit(visitor)
}
return value ?: None
}
}
value ?: None
}
override fun visitFunctionDefinition(node: FunctionDefinition): Any {
@ -393,12 +411,18 @@ class EvaluationVisitor(root: Scope) : NodeVisitor<Any> {
override fun visitContinue(node: Continue): Any = ContinueMarker
private inline fun <T> scoped(block: () -> T): T {
currentScope = currentScope.fork()
private inline fun <T> scoped(reuseScope: Scope? = null, node: Node? = null, block: () -> T): T {
val previousScope = currentScope
currentScope = reuseScope ?: currentScope.fork(name = node?.type?.name)
try {
return block()
} finally {
currentScope = currentScope.leave()
if (reuseScope == null) {
currentScope = currentScope.leave(disown = true)
} else {
reuseScope.markForReuse()
currentScope = previousScope
}
}
}

View File

@ -3,6 +3,8 @@ package gay.pizza.pork.evaluator
import gay.pizza.pork.ast.FunctionDefinition
class FunctionContext(val compilationUnitContext: CompilationUnitContext, val node: FunctionDefinition) : CallableFunction {
val name: String = "${compilationUnitContext.name} ${node.symbol.id}"
private fun resolveMaybeNative(): CallableFunction? = if (node.native == null) {
null
} else {
@ -14,19 +16,19 @@ class FunctionContext(val compilationUnitContext: CompilationUnitContext, val no
private val nativeCached by lazy { resolveMaybeNative() }
override fun call(arguments: Arguments): Any {
override fun call(arguments: ArgumentList, stack: CallStack): Any {
if (nativeCached != null) {
return nativeCached!!.call(arguments)
return nativeCached!!.call(arguments, stack)
}
val scope = compilationUnitContext.internalScope.fork()
val scope = compilationUnitContext.internalScope.fork(node.symbol.id)
for ((index, spec) in node.arguments.withIndex()) {
if (spec.multiple) {
val list = arguments.values.subList(index, arguments.values.size - 1)
val list = arguments.subList(index, arguments.size - 1)
scope.define(spec.symbol.id, list)
break
} else {
scope.define(spec.symbol.id, arguments.values[index])
scope.define(spec.symbol.id, arguments[index])
}
}
@ -34,8 +36,19 @@ class FunctionContext(val compilationUnitContext: CompilationUnitContext, val no
throw RuntimeException("Native or Block is required for FunctionDefinition")
}
val visitor = EvaluationVisitor(scope)
val visitor = EvaluationVisitor(scope, stack)
stack.push(this)
val blockFunction = visitor.visitBlock(node.block!!)
return blockFunction.call()
try {
return blockFunction.call()
} catch (e: PorkError) {
throw e
} catch (e: Exception) {
val stackForError = stack.copy()
throw PorkError(e, stackForError)
} finally {
scope.disown()
stack.pop()
}
}
}

View File

@ -5,22 +5,37 @@ import gay.pizza.pork.ast.ArgumentSpec
class InternalNativeProvider(val quiet: Boolean = false) : NativeProvider {
private val functions = mutableMapOf(
"print" to CallableFunction(::printValues),
"println" to CallableFunction(::printLine)
"println" to CallableFunction(::printLine),
"listSet" to CallableFunction(::setInList),
"listInitWith" to CallableFunction(::listInitWith)
)
override fun provideNativeFunction(definition: String, arguments: List<ArgumentSpec>): CallableFunction {
return functions[definition] ?: throw RuntimeException("Unknown Internal Function: $definition")
}
private fun printValues(arguments: Arguments): Any {
if (quiet || arguments.values.isEmpty()) return None
print(arguments.values.joinToString(" "))
private fun printValues(arguments: ArgumentList, stack: CallStack): Any {
if (quiet || arguments.isEmpty()) return None
print(arguments.joinToString(" "))
return None
}
private fun printLine(arguments: Arguments): Any {
private fun printLine(arguments: ArgumentList, stack: CallStack): Any {
if (quiet) return None
println(arguments.values.joinToString(" "))
println(arguments.joinToString(" "))
return None
}
private fun setInList(arguments: ArgumentList, stack: CallStack): Any {
@Suppress("UNCHECKED_CAST")
val list = arguments[0] as MutableList<Any>
val value = arguments[2]
list[(arguments[1] as Number).toInt()] = value
return value
}
private fun listInitWith(arguments: ArgumentList, stack: CallStack): Any {
val size = (arguments[0] as Number).toInt()
return MutableList(size) { arguments[1] }
}
}

View File

@ -0,0 +1,3 @@
package gay.pizza.pork.evaluator
class PorkError(cause: Exception, stack: CallStack) : RuntimeException(stack.toString(), cause)

View File

@ -1,19 +1,25 @@
package gay.pizza.pork.evaluator
class Scope(
val parent: Scope? = null,
inherits: List<Scope> = emptyList(),
val name: String? = null
var parent: Scope? = null,
var inherits: List<Scope> = emptyList(),
var name: String? = null
) {
private val inherited = inherits.toMutableList()
private var isCurrentlyFree = false
private val variables = mutableMapOf<String, ValueStore>()
fun define(name: String, value: Any, type: ValueStoreType = ValueStoreType.Let) {
val previous = variables.put(name, ValueStore(value, type))
if (previous != null) {
variables[name] = previous
val existing = variables[name]
if (existing != null) {
if (existing.type == ValueStoreType.ReuseReady) {
existing.type = type
existing.value = value
return
}
throw RuntimeException("Variable '${name}' is already defined")
}
val store = ValueStoreCache.obtain(value, type)
variables[name] = store
}
fun set(name: String, value: Any) {
@ -40,13 +46,13 @@ class Scope(
val holder = variables[name]
if (holder == null) {
if (parent != null) {
val parentMaybeFound = parent.valueHolderOrNotFound(name)
val parentMaybeFound = parent!!.valueHolderOrNotFound(name)
if (parentMaybeFound !== NotFound.Holder) {
return parentMaybeFound
}
}
for (inherit in inherited) {
for (inherit in inherits) {
val inheritMaybeFound = inherit.valueHolderOrNotFound(name)
if (inheritMaybeFound !== NotFound.Holder) {
return inheritMaybeFound
@ -54,21 +60,29 @@ class Scope(
}
return NotFound.Holder
}
if (holder.type == ValueStoreType.ReuseReady) {
throw RuntimeException("Attempt to reuse ValueStore in the reused state, prior to definition.")
}
return holder
}
fun fork(name: String? = null): Scope =
Scope(this, name = name)
ScopeCache.obtain(this, name = name)
internal fun inherit(scope: Scope) {
inherited.add(scope)
val copy = inherits.toMutableList()
copy.add(scope)
inherits = copy
}
fun leave(): Scope {
if (parent == null) {
throw RuntimeException("Attempted to leave the root scope!")
fun leave(disown: Boolean = false): Scope {
val currentParent = parent ?: throw RuntimeException("Attempted to leave the root scope!")
if (disown) {
disown()
}
return parent
return currentParent
}
fun crawlScopePath(
@ -79,7 +93,7 @@ class Scope(
block(key, path)
}
for (inherit in inherited) {
for (inherit in inherits) {
val mutablePath = path.toMutableList()
mutablePath.add("inherit ${inherit.name ?: "unknown"}")
inherit.crawlScopePath(mutablePath, block)
@ -87,12 +101,56 @@ class Scope(
if (parent != null) {
val mutablePath = path.toMutableList()
mutablePath.add("parent ${parent.name ?: "unknown"}")
parent.crawlScopePath(mutablePath, block)
mutablePath.add("parent ${parent?.name ?: "unknown"}")
parent?.crawlScopePath(mutablePath, block)
}
}
fun markForReuse() {
for (store in variables.values) {
store.type = ValueStoreType.ReuseReady
store.value = None
}
}
fun disown() {
for (store in variables.values) {
store.disown()
}
name = null
parent = null
inherits = emptyList()
variables.clear()
isCurrentlyFree = true
ScopeCache.put(this)
}
fun adopt(parent: Scope? = null, inherits: List<Scope>, name: String? = null) {
if (!isCurrentlyFree) {
throw RuntimeException("Scope is not free, but adopt() was attempted.")
}
this.parent = parent
this.inherits = inherits
this.name = name
}
private object NotFound {
val Holder = ValueStore(NotFound, ValueStoreType.Let)
}
val path: String
get() = buildString {
val list = mutableListOf<String?>()
var current: Scope? = this@Scope
while (current != null) {
list.add(current.name ?: "unknown")
current = current.parent
}
append(list.reversed().joinToString(" -> "))
}
companion object {
fun root(): Scope = Scope(name = "root")
}
}

View File

@ -0,0 +1,18 @@
package gay.pizza.pork.evaluator
object ScopeCache {
private val cache = mutableListOf<Scope>()
fun obtain(parent: Scope? = null, inherits: List<Scope> = emptyList(), name: String? = null): Scope {
val cachedScope = cache.removeFirstOrNull()
if (cachedScope != null) {
cachedScope.adopt(parent = parent, inherits = inherits, name = name)
return cachedScope
}
return Scope(parent = parent, inherits = inherits, name = name)
}
fun put(scope: Scope) {
cache.add(scope)
}
}

View File

@ -1,5 +1,23 @@
package gay.pizza.pork.evaluator
class ValueStore(var value: Any, val type: ValueStoreType) {
class ValueStore(var value: Any, var type: ValueStoreType) {
var isCurrentlyFree = false
fun disown() {
isCurrentlyFree = true
value = None
type = ValueStoreType.ReuseReady
ValueStoreCache.put(this)
}
fun adopt(value: Any, type: ValueStoreType) {
if (!isCurrentlyFree) {
throw RuntimeException("Attempted to adopt a ValueStore that is not free.")
}
isCurrentlyFree = false
this.value = value
this.type = type
}
override fun toString(): String = "${type.name}: $value"
}

View File

@ -0,0 +1,18 @@
package gay.pizza.pork.evaluator
object ValueStoreCache {
private val cache = mutableListOf<ValueStore>()
fun obtain(value: Any, type: ValueStoreType): ValueStore {
val cached = cache.removeFirstOrNull()
if (cached != null) {
cached.adopt(value, type)
return cached
}
return ValueStore(value, type)
}
fun put(store: ValueStore) {
cache.add(store)
}
}

View File

@ -2,5 +2,6 @@ package gay.pizza.pork.evaluator
enum class ValueStoreType {
Let,
Var
Var,
ReuseReady
}