maggicl
/
AJP
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

"I am ready to meet my Maker. Whether my Maker is prepared for the 

great ordeal of meeting me is another matter."
		-- Winston Churchill
This commit is contained in:
tripparsugo 2023-01-04 17:23:12 +01:00
parent 6f3012cf9e
commit c8432e032b
5 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
DiSLProject2022/source.sh Normal file
View File

@ -0,0 +1,2 @@
#!/bin/sh
export JAVA_HOME="/Library/Java/JavaVirtualMachines/jdk-17.0.2.jdk/Contents/Home"

6
DiSLProject2022/src-profiler/ex2/IsNotTriviallyThreadGuard.java
View File

@ -2,11 +2,13 @@ package ex2;
import ch.usi.dag.disl.annotation.GuardMethod;
import ch.usi.dag.disl.staticcontext.ClassStaticContext;
import ch.usi.dag.disl.staticcontext.MethodStaticContext;
public class IsNotTriviallyThreadGuard {
@GuardMethod
public static boolean isNotTriviallyThread(final ClassStaticContext csc) {
return !IsTriviallyThreadGuard.isThread(csc);
public static boolean isNotTriviallyThread(final ClassStaticContext csc, final MethodStaticContext msc) {
return !msc.isMethodStatic() && !IsTriviallyThreadGuard.isThread(csc, msc);
}
}

8
DiSLProject2022/src-profiler/ex2/IsTriviallyThreadGuard.java
View File

@ -1,12 +1,14 @@
package ex2;
import ch.usi.dag.disl.annotation.GuardMethod;
import ch.usi.dag.disl.dynamiccontext.DynamicContext;
import ch.usi.dag.disl.staticcontext.ClassStaticContext;
import ch.usi.dag.disl.staticcontext.MethodStaticContext;
public class IsTriviallyThreadGuard {
@GuardMethod
public static boolean isThread(ClassStaticContext csc) {
return csc.getInternalName().equals("java/lang/Thread") ||
csc.getSuperClassInternalName().equals("java/lang/Thread");
public static boolean isThread(final ClassStaticContext csc, final MethodStaticContext msc) {
return !msc.isMethodStatic() && (csc.getInternalName().equals("java/lang/Thread") ||
csc.getSuperClassInternalName().equals("java/lang/Thread"));
}
}

6
DiSLProject2022/src-profiler/ex2/Profiler.java
View File

@ -2,14 +2,12 @@ package ex2;
import java.util.HashMap;
import java.util.Map;
import java.util.concurrent.ConcurrentHashMap;
import java.util.concurrent.atomic.LongAdder;
public final class Profiler {
// not concurrent on purpose, since the value of the map is computed with a pure function
// on the map key, and thus we don't care if the value is overwritten as a result of a
// race condition
private static final Map<Class<?>, Boolean> isThread = new HashMap<>();
private static final Map<Class<?>, Boolean> isThread = new ConcurrentHashMap<>();
private static final LongAdder reads = new LongAdder();

3
DiSLProject2022/src-profiler/ex3/Instrumentation.java
View File

@ -3,11 +3,10 @@ package ex3;
import ch.usi.dag.disl.annotation.Before;
import ch.usi.dag.disl.dynamiccontext.DynamicContext;
import ch.usi.dag.disl.marker.BytecodeMarker;
import ch.usi.dag.disl.staticcontext.InstructionStaticContext;
public class Instrumentation {
@Before(marker = BytecodeMarker.class, args = "astore", scope = "ex3.MainThread.checkAccess")
static void printVariable(final InstructionStaticContext isc, final DynamicContext dc) {
static void printVariable(final DynamicContext dc) {
if ("granted".equals(dc.getStackValue(0, Object.class))) {
System.out.printf("Thread: %s\n", Thread.currentThread().getName());
}