• RacerX

  • Referenced in 16 articles [sw09941]
  • complex multithreaded systems. It aggressively infers checking information such as which locks protect which operations ... minutes to analyze a 1.8 million line system. We have applied it to Linux, FreeBSD ... infer checking information such as which locks protect which operations, which code contexts are multithreaded...
  • Siconos

  • Referenced in 10 articles [sw25724]
  • impact (nonsmooth mechanics, contact dynamics, multibody systems dynamics or granular materials). Switched Electrical Circuit such ... Phase-Locked Loop (PLL) or Analog-to-Digital converter. Sliding mode control systems. Biology (Gene...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • have designed and implemented a Java runtime system that monitors program executions and throws ... executions that use transactions in addition to locks and volatile variables for synchronization. We present ... Java Virtual Machine. We have evaluated our system on a variety of publicly available Java ... benchmarks and a few microbenchmarks that combine lock-based and transaction-based synchronization. Our experiments...
  • RAVEN

  • Referenced in 8 articles [sw10079]
  • RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates ... event occurrences and for detecting dead-locks and live ... locks. The counter example generator provides helpful information for error recovering by printing system execution...
  • Grex

  • Referenced in 2 articles [sw17472]
  • supported via careful system design without requiring any locks or atomic operations for thread synchronization...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • system that provides deterministic multithreading of parallel applications. Kendo enforces a deterministic interleaving of lock...
  • JudoSTM

  • Referenced in 4 articles [sw25471]
  • irreversible system calls and (ii) library functions that may contain locks. We significantly lower overhead...
  • Lee-TM

  • Referenced in 3 articles [sw09608]
  • fine-grain locking, whilst providing similar performance and scalability. Several TM systems have been made ... with which to thoroughly evaluate these TM systems. This paper introduces ... routing algorithm. The benchmark suite provides sequential, lock-based, and transactional implementations to enable direct...
  • ARock

  • Referenced in 21 articles [sw16800]
  • read and write x without memory locks. We prove that if the nonexpansive operator ... propose special cases of ARock for linear systems, convex optimization, and machine learning, as well...
  • LICRA

  • Referenced in 4 articles [sw02171]
  • system quiescence. The originality of our proposition relies on the fact that neither locks...
  • Kilim

  • Referenced in 7 articles [sw20229]
  • techniques to help create robust, massively concurrent systems in mainstream languages such as Java ... passing frame-work (no shared memory, no locks) and (iii) isolation-aware messaging. Isolation...
  • Noble

  • Referenced in 2 articles [sw31107]
  • real-time systems. The most common synchronization method involves some kind of locks, which enforces...
  • CBPQ

  • Referenced in 2 articles [sw34666]
  • CBPQ: high performance lock-free priority queue. Priority queues are an important algorithmic component ... ubiquitous in systems and software. With the rapid deployment of parallel platforms, concurrent versions ... this paper, we present a novel concurrent lock-free linearizable algorithm for priority queues that...
  • DracoSTM

  • Referenced in 1 article [sw33478]
  • software transactional memory (STM) system, DracoSTM, is a high performance lock-based C++ STM research...
  • Welterweight Java

  • Referenced in 3 articles [sw24343]
  • models Java’s thread-based concurrency and lock-based synchronisation. The design ... from recent work on concurrent Java-like systems. We believe that the calculus...
  • iFEST

  • Referenced in 3 articles [sw07300]
  • design of heterogeneous and multi-core embedded systems. The integration framework will permit tools ... issues such as tool obsolescence and tool lock-in. IFEST industrial case studies will validate...
  • TURBINS

  • Referenced in 8 articles [sw20241]
  • preconditioners and Krylov iterative solvers for the systems of linear equations obtained by the finite ... cylinder, and for two- and three-dimensional lock-exchange gravity currents...
  • SimK

  • Referenced in 1 article [sw20524]
  • aiming at large-scale fine-grained computer system simulation. In this paper, highly efficient synchronization ... SimK are introduced, and a novel lock-free scheduling mechanism that avoids using any atomic ... HppNetSim, which simulate a full supercomputer system and its interconnection network respectively. Results show that...
  • CSPsim

  • Referenced in 4 articles [sw13312]
  • SCOOP: when and how far to pass locks, and when to wait for child calls ... reservations and the underlying run-time system and propose means to resolve them...