The JDK and analysis tool which we describe in our paper, Efficient Tracing and Versatile Analysis of Lock Contention in Java Applications on the Virtual Machine Level, at ICPE 2016, Delft, NL. Please read the README file for instructions
The Java Programming Language permits synchronization operations (lock, unlock, wait, notify) on an...
JaDA is a static deadlock analyzer that targets Java bytecode. The core of JaDA is a behavioral type...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...
The JDK and analysis tool which we describe in our paper, Efficient Tracing and Versatile Analysis o...
Locks are essential in java-based multi-threaded applications as this mechanism provides a proper so...
The performance of locking is critical, as programming languages with built-in thread support come i...
This paper applies Intel R © Transactional Synchronization Exten-sions (Intel R © TSX) to elide Java...
Biased locking is an optimization to enable very fast synchronization in the Java virtual machine. I...
The rapid maturing process of the Java technology is encouraging users the development of portable a...
Abstract. The Java security architecture in the Java Development Kit 1.2 expands the current Java sa...
Abstract. Concurrent data accesses in high-level languages like Java and C # are typically mediated ...
International audienceDeadlock analysis of multi-threaded programs with reentrant locks is complex b...
. The Java security architecture in the Java Development Kit 1.2 expands the current Java sandbox mo...
Abstract. We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-...
The rapid maturing process of the Java technology is encouraging users to develope of portable appli...
The Java Programming Language permits synchronization operations (lock, unlock, wait, notify) on an...
JaDA is a static deadlock analyzer that targets Java bytecode. The core of JaDA is a behavioral type...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...
The JDK and analysis tool which we describe in our paper, Efficient Tracing and Versatile Analysis o...
Locks are essential in java-based multi-threaded applications as this mechanism provides a proper so...
The performance of locking is critical, as programming languages with built-in thread support come i...
This paper applies Intel R © Transactional Synchronization Exten-sions (Intel R © TSX) to elide Java...
Biased locking is an optimization to enable very fast synchronization in the Java virtual machine. I...
The rapid maturing process of the Java technology is encouraging users the development of portable a...
Abstract. The Java security architecture in the Java Development Kit 1.2 expands the current Java sa...
Abstract. Concurrent data accesses in high-level languages like Java and C # are typically mediated ...
International audienceDeadlock analysis of multi-threaded programs with reentrant locks is complex b...
. The Java security architecture in the Java Development Kit 1.2 expands the current Java sandbox mo...
Abstract. We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-...
The rapid maturing process of the Java technology is encouraging users to develope of portable appli...
The Java Programming Language permits synchronization operations (lock, unlock, wait, notify) on an...
JaDA is a static deadlock analyzer that targets Java bytecode. The core of JaDA is a behavioral type...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...
DOI
Add to ORKG