All Downloads are FREE. Search and download functionalities are using the official Maven repository.

stioner.lib.2024.7.0.source-code.ResourceMonitoring.kt Maven / Gradle / Ivy

There is a newer version: 2024.9.0
Show newest version
package edu.illinois.cs.cs125.questioner.lib

import com.beyondgrader.resourceagent.*
import com.sun.management.ThreadMXBean
import edu.illinois.cs.cs125.jeed.core.*
import org.objectweb.asm.ClassReader
import org.objectweb.asm.ClassWriter
import org.objectweb.asm.Opcodes
import org.objectweb.asm.tree.ClassNode
import org.objectweb.asm.tree.InsnList
import org.objectweb.asm.tree.IntInsnNode
import org.objectweb.asm.tree.LineNumberNode
import org.objectweb.asm.tree.MethodInsnNode
import org.objectweb.asm.tree.MethodNode
import java.lang.management.ManagementFactory
import java.util.Stack
import java.util.function.LongFunction

object ResourceMonitoring : SandboxPlugin {
    private val mxBean = ManagementFactory.getThreadMXBean() as? ThreadMXBean
        ?: error("missing HotSpot-specific extension of ThreadMXBean")
    private val stackWalker = StackWalker.getInstance()
    private val threadData = ThreadLocal.withInitial {
        Sandbox.CurrentTask.getWorkingData(ResourceMonitoring)
    }
    private val RETURN_OPCODES = setOf(
        Opcodes.RETURN, Opcodes.IRETURN, Opcodes.FRETURN, Opcodes.DRETURN, Opcodes.LRETURN, Opcodes.ARETURN
    )
    private const val CONSTITUTIVE_FRAME_SIZE = 16
    private const val BYTES_PER_FRAME_ELEMENT = 8
    private const val MAX_ALWAYS_PERMITTED_ALLOCATION = 512

    val countLibraryLines = System.getenv("QUESTIONER_COUNT_LIBRARY_LINES").toBoolean()

    init {
        mxBean.isThreadAllocatedMemoryEnabled = true
        Sandbox.SandboxedClassLoader::class.java.toString() // Ensure loaded, to be instrumented
        Agent.activate(countLines = countLibraryLines)
        StaticFailureDetection.recordingFailedClasses = true
        AllocationLimiting.arrayBodySizeValidator = LongFunction(ResourceMonitoring::checkArrayAllocation)
        WarmupWrapping.beforeWarmup = Runnable(ResourceMonitoring::beforeWarmup)
        WarmupWrapping.afterWarmup = Runnable(ResourceMonitoring::afterWarmup)
    }

    fun ensureAgentActivated() {
        // Called to force the object initializer to run
        check(Agent.isActivated) { "Agent didn't activate" }
    }

    override fun createInstrumentationData(
        arguments: ResourceMonitoringArguments,
        classLoaderConfiguration: Sandbox.ClassLoaderConfiguration,
        allPlugins: List>
    ): Any {
        return ResourceMonitoringInstrumentationData(arguments)
    }

    override fun transformBeforeSandbox(
        bytecode: ByteArray,
        name: String,
        instrumentationData: Any?,
        context: RewritingContext
    ): ByteArray {
        if (context != RewritingContext.UNTRUSTED) return bytecode
        instrumentationData as ResourceMonitoringInstrumentationData
        val reader = ClassReader(bytecode)
        val classNode = ClassNode(Opcodes.ASM9)
        reader.accept(NewLabelSplittingClassVisitor(classNode), 0)
        val className = classNode.name.replace('/', '.')
        instrumentationData.knownClasses.add(className)
        classNode.methods.forEach {
            if (it.name != "\$jacocoInit") {
                instrumentMethod(instrumentationData, className, it)
            }
        }
        val writer = ClassWriter(reader, 0)
        classNode.accept(writer)
        return writer.toByteArray()
    }

    private fun instrumentMethod(
        instrumentationData: ResourceMonitoringInstrumentationData,
        className: String,
        method: MethodNode
    ) {
        if (method.instructions.size() == 0) return
        val methodId = instrumentationData.knownMethods.size
        val frameSize = CONSTITUTIVE_FRAME_SIZE + BYTES_PER_FRAME_ELEMENT * (method.maxStack + method.maxLocals)
        method.instructions.insert(InsnList().apply {
            add(IntInsnNode(Opcodes.SIPUSH, methodId))
            add(TracingSink::pushCallStack.asAsmMethodInsn())
        })
        method.instructions.filter { it.opcode in RETURN_OPCODES }.forEach {
            method.instructions.insertBefore(it, TracingSink::popCallStack.asAsmMethodInsn())
        }
        method.instructions.filterIsInstance().forEach {
            method.instructions.insert(it.skipToBeforeRealInsnOrLabel(), TracingSink::lineStep.asAsmMethodInsn())
        }
        method.instructions.filterIsInstance().filter {
            it.owner == Agent.SINK_CLASS_INTERNAL_NAME && it.name.contains("Warmup")
        }.forEach {
            error("Untrusted code calls forbidden agent method ${it.name}")
        }
        method.tryCatchBlocks.forEach {
            method.instructions.insert(
                it.handler.skipToBeforeRealInsnOrLabel(),
                TracingSink::adjustCallStackAfterException.asAsmMethodInsn()
            )
        }
        method.maxStack++
        AllocationLimiting.instrumentArrayAllocations(method)
        val methodInfo = ResourceMonitoringInstrumentationData.MethodInfo(className, method.name, method.desc, frameSize)
        instrumentationData.knownMethods.add(methodInfo)
    }

    override val requiredClasses: Set>
        get() = setOf(TracingSink::class.java, javaClass.classLoader.loadClass("java.lang.ResourceUsageSink"))

    override fun createInitialData(instrumentationData: Any?, executionArguments: Sandbox.ExecutionArguments): Any {
        require(executionArguments.maxExtraThreads == 0) { "only one thread is supported" }
        return ResourceMonitoringWorkingData(instrumentationData as ResourceMonitoringInstrumentationData)
    }

    private fun updateExternalMeasurements(data: ResourceMonitoringWorkingData) {
        data.allocatedMemory = mxBean.currentThreadAllocatedBytes - data.baseAllocatedMemory
        data.libraryLines = LineCounting.lines
    }

    private fun checkLimits(data: ResourceMonitoringWorkingData) {
        val taskSubmissionLines = data.checkpointSubmissionLines + data.submissionLines
        if (data.arguments.submissionLineLimit != null && data.submissionLines > data.arguments.submissionLineLimit) {
            throw LineLimitExceeded()
        }
        val taskTotalLines = taskSubmissionLines + data.checkpointLibraryLines + data.libraryLines
        if (data.arguments.totalLineLimit != null && taskTotalLines > data.arguments.totalLineLimit) {
            throw LineLimitExceeded()
        }
        val taskMemory = data.checkpointAllocatedMemory + data.allocatedMemory
        if (data.arguments.allocatedMemoryLimit != null && taskMemory > data.arguments.allocatedMemoryLimit) {
            throw AllocationLimitExceeded(data.arguments.allocatedMemoryLimit)
        }
    }

    override fun createFinalData(workingData: Any?): ResourceMonitoringResults {
        workingData as ResourceMonitoringWorkingData
        workingData.checkpoint()
        return ResourceMonitoringResults(
            arguments = workingData.arguments,
            submissionLines = workingData.checkpointSubmissionLines,
            totalLines = workingData.checkpointSubmissionLines + workingData.checkpointLibraryLines,
            allocatedMemory = workingData.checkpointAllocatedMemory,
            allAllocatedMemory = workingData.checkpointAllocatedMemory + workingData.checkpointWarmupMemory,
            invokedRecursiveFunctions = workingData.checkpointRecursiveFunctions.map { it.toResult() }.toSet()
        )
    }

    private inline fun  ignoreUsage(data: ResourceMonitoringWorkingData, crossinline block: () -> T): T {
        val countingBefore = LineCounting.isCounting
        LineCounting.isCounting = false
        val bytesBefore = mxBean.currentThreadAllocatedBytes
        return try {
            // DANGER! Must not do anything that could trigger a warmup, including invoking a MethodHandle!
            block()
        } finally {
            val bytesAfter = mxBean.currentThreadAllocatedBytes
            data.baseAllocatedMemory += bytesAfter - bytesBefore
            LineCounting.isCounting = countingBefore
        }
    }

    fun beginSubmissionCall(checkpointOnEmptyStack: Boolean = true) {
        val data = threadData.get()
        data.pendingClear = true
        data.pendingCheckpoint = checkpointOnEmptyStack
        data.cachedCheckpoint = null
    }

    fun finishSubmissionCall(): ResourceMonitoringCheckpoint {
        LineCounting.isCounting = false
        AllocationLimiting.isCheckingAllocations = false
        WarmupWrapping.isCallbackEnabled = false
        val data = threadData.get()
        data.cachedCheckpoint?.let { return it }
        if (data.pendingClear) {
            // Never actually called instrumented code, so baseAllocatedMemory &a are inaccurate
            return ResourceMonitoringCheckpoint(
                submissionLines = 0,
                totalLines = 0,
                maxCallStackSize = 0,
                allocatedMemory = 0,
                invokedRecursiveFunctions = setOf(),
                warmups = 0
            )
        }
        updateExternalMeasurements(data)
        return ignoreUsage(data) {
            data.checkpoint().also { data.cachedCheckpoint = it }
        }
    }

    @JvmStatic
    private fun checkArrayAllocation(bytes: Long): Boolean {
        if (bytes < MAX_ALWAYS_PERMITTED_ALLOCATION) return true // Allow error message construction
        val data = threadData.get()
        if (data.arguments.individualAllocationLimit != null && bytes > data.arguments.individualAllocationLimit) return false
        if (data.arguments.allocatedMemoryLimit == null) return true
        updateExternalMeasurements(data)
        return data.checkpointAllocatedMemory + data.allocatedMemory + bytes < data.arguments.allocatedMemoryLimit
    }

    @JvmStatic
    private fun beforeWarmup() {
        val data = threadData.get()
        data.preWarmupAllocatedMemory = mxBean.currentThreadAllocatedBytes
    }

    @JvmStatic
    private fun afterWarmup() {
        val data = threadData.get()
        val warmupAllocatedBytes = mxBean.currentThreadAllocatedBytes - data.preWarmupAllocatedMemory
        data.baseAllocatedMemory += warmupAllocatedBytes
        data.checkpointWarmupMemory += warmupAllocatedBytes
        data.preWarmupAllocatedMemory = 0
        data.warmups++
    }

    object TracingSink {
        init {
            stackWalker.walk { stream ->
                stream.filter { it.className == "Warming the StackWalker and stream systems" }.count()
            }
        }

        @JvmStatic
        fun lineStep() {
            val data = threadData.get()
            data.submissionLines++
            updateExternalMeasurements(data)
            checkLimits(data)
        }

        @JvmStatic
        fun pushCallStack(methodId: Int) {
            val data = threadData.get()
            if (data.pendingClear) {
                Unit.hashCode() // Load and link to avoid beforeWarmup call at a bad time
                data.callStack.clear()
                data.warmups = 0
                AllocationLimiting.isCheckingAllocations = true
                LineCounting.isCounting = true
                LineCounting.reset()
                WarmupWrapping.isCallbackEnabled = true
                data.baseAllocatedMemory = mxBean.currentThreadAllocatedBytes
                data.pendingClear = false
            }
            ignoreUsage(data) {
                val methodInfo = data.instrumentationData.knownMethods[methodId]
                val caller = if (data.callStack.isEmpty()) null else data.callStack.peek()
                if (methodInfo == caller) {
                    data.recursiveFunctions.add(methodInfo)
                }
                data.callStack.push(methodInfo)
                data.callStackSize += methodInfo.frameSize
                if (data.callStackSize > data.maxCallStackSize) {
                    // Can't use Math.max - would trigger checkPackageAccess and beforeWarmup
                    data.maxCallStackSize = data.callStackSize
                }
            }
        }

        @JvmStatic
        fun popCallStack() {
            val data = threadData.get()
            val shouldFinish = ignoreUsage(data) {
                val methodInfo = data.callStack.pop()
                data.callStackSize -= methodInfo.frameSize
                data.pendingCheckpoint && data.callStack.isEmpty()
            }
            if (shouldFinish) {
                data.pendingCheckpoint = false
                finishSubmissionCall()
            }
        }

        @JvmStatic
        fun adjustCallStackAfterException() {
            val data = threadData.get()
            ignoreUsage(data) {
                val currentFrameCount = stackWalker.walk { stream ->
                    stream.filter { it.className in data.instrumentationData.knownClasses }.count()
                }
                while (data.callStack.size > currentFrameCount) {
                    data.callStackSize -= data.callStack.pop().frameSize
                }
            }
        }
    }
}

data class ResourceMonitoringArguments(
    val submissionLineLimit: Long? = null,
    val totalLineLimit: Long? = null,
    val allocatedMemoryLimit: Long? = null,
    val individualAllocationLimit: Long? = null
)

private class ResourceMonitoringInstrumentationData(
    val arguments: ResourceMonitoringArguments,
    val knownClasses: MutableSet = mutableSetOf(),
    val knownMethods: MutableList = mutableListOf()
) {
    class MethodInfo(val className: String, val name: String, val descriptor: String, val frameSize: Int) {
        fun toResult(): ResourceMonitoringResults.MethodInfo {
            return ResourceMonitoringResults.MethodInfo(className, name, descriptor)
        }
    }
}

private class ResourceMonitoringWorkingData(
    val instrumentationData: ResourceMonitoringInstrumentationData,
    val arguments: ResourceMonitoringArguments = instrumentationData.arguments,
    val callStack: Stack = Stack(),
    var pendingClear: Boolean = true,
    var pendingCheckpoint: Boolean = false,
    var cachedCheckpoint: ResourceMonitoringCheckpoint? = null,
    var checkpointSubmissionLines: Long = 0,
    var submissionLines: Long = 0,
    var checkpointLibraryLines: Long = 0,
    var libraryLines: Long = 0,
    var preWarmupAllocatedMemory: Long = 0,
    var baseAllocatedMemory: Long = 0,
    var checkpointAllocatedMemory: Long = 0,
    var checkpointWarmupMemory: Long = 0,
    var allocatedMemory: Long = 0,
    var callStackSize: Long = 0,
    var maxCallStackSize: Long = 0,
    var warmups: Int = 0,
    val checkpointRecursiveFunctions: MutableSet = mutableSetOf(),
    val recursiveFunctions: MutableSet = mutableSetOf()
) {
    fun checkpoint(): ResourceMonitoringCheckpoint {
        val result = ResourceMonitoringCheckpoint(
            submissionLines = submissionLines,
            totalLines = submissionLines + libraryLines,
            maxCallStackSize = maxCallStackSize,
            allocatedMemory = allocatedMemory + maxCallStackSize,
            invokedRecursiveFunctions = recursiveFunctions.map { it.toResult() }.toSet(),
            warmups = warmups
        )
        checkpointSubmissionLines += submissionLines
        checkpointLibraryLines += libraryLines
        checkpointAllocatedMemory += allocatedMemory
        checkpointRecursiveFunctions.addAll(recursiveFunctions)
        submissionLines = 0
        libraryLines = 0
        allocatedMemory = 0
        recursiveFunctions.clear()
        callStack.clear()
        callStackSize = 0
        maxCallStackSize = 0
        warmups = 0
        return result
    }
}

data class ResourceMonitoringCheckpoint(
    val submissionLines: Long,
    val totalLines: Long,
    val maxCallStackSize: Long,
    val allocatedMemory: Long,
    val invokedRecursiveFunctions: Set,
    val warmups: Int
)

data class ResourceMonitoringResults(
    val arguments: ResourceMonitoringArguments,
    val submissionLines: Long,
    val totalLines: Long,
    val allocatedMemory: Long,
    val allAllocatedMemory: Long, // Includes warmups
    val invokedRecursiveFunctions: Set
) {
    data class MethodInfo(val className: String, val methodName: String, val descriptor: String)
}

class AllocationLimitExceeded(limit: Long) : OutOfMemoryError("allocated too much memory: more than $limit bytes")




© 2015 - 2024 Weber Informatics LLC | Privacy Policy