• Flat-Combining

  • Referenced in 4 articles [sw23435]
  • grained synchronization among threads. Flat Combining is a new, efficient synchronization paradigm based on coarse...
  • JoCaml

  • Referenced in 26 articles [sw02065]
  • that destination; this is required for an efficient asynchronous implementation. Specifically, the join calculus uses ... pattern-matching on messages to express local synchronizations. The lectures and lab sessions illustrate ... much higher-level fashion than the traditional threads-and-locks approach...
  • AutoSynch

  • Referenced in 1 article [sw21569]
  • signals for synchronization in shared-memory programs. Requiring program- mers to signal threads explicitly results ... explicit signal mechanism. AutoSynch achieves efficiency in synchronization based on three novel ideas. We introduce ... that enables the predicate evaluation in every thread, thereby reducing context switches during the execution ... technique called predicate tagging to efficiently determine a thread that should be signaled. To evaluate...
  • SWARM

  • Referenced in 4 articles [sw14938]
  • threads, allocation and de-allocation of shared memory, and communication primitives for synchronization, replication ... framework has been successfully used to implement efficient parallel versions of primitive algorithms. Viz. List...
  • Vc

  • Referenced in 8 articles [sw21533]
  • particular, require data-parallel codes for full efficiency. Data parallelism requires that the same sequence ... logic units, which execute the same instructions synchronously. On CPU architectures this is implemented ... threads run in perfect sync, fed by a single instruction decoder/scheduler. Each thread has local ... vectorize any given code to its most efficient data-parallel variant. Especially larger data-parallel...
  • PaFiBo-OBGAIM

  • Referenced in 2 articles [sw19565]
  • pool pattern. Theoretical estimates on speedups and efficiency are also presented. Additionally, new parallel computational ... conjugate gradient type methods, based on POSIX threads, for multicore systems. For parallelization purposes ... each created thread, with different index bands and with proper synchronization points on inner products ... vector multiplications. Theoretical estimates on speedups and efficiency are also presented. Finally, numerical results...
  • PEPBICG-STAB

  • Referenced in 2 articles [sw19566]
  • pool pattern. Theoretical estimates on speedups and efficiency are also presented. Additionally, new parallel computational ... conjugate gradient type methods, based on POSIX threads, for multicore systems. For parallelization purposes ... each created thread, with different index bands and with proper synchronization points on inner products ... vector multiplications. Theoretical estimates on speedups and efficiency are also presented. Finally, numerical results...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • When a DataRaceException is caught, the operation, thread, or program causing it can be terminated ... volatile variables for synchronization. We present a precise and efficient algorithm for dynamically verifying that...
  • AtomCaml

  • Referenced in 3 articles [sw22682]
  • extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code ... external C functions) as though no other thread has interleaved execution. Our design ensures fair ... atomic blocks upon thread pre-emption, and retry them when the thread is rescheduled ... threads are interleaved, not executed simultaneously) allow particularly efficient logging. We have evaluated the efficiency...
  • SJL

  • Referenced in 1 article [sw11770]
  • have been established in the world of synchronous programming for handling reactive control-flow. Thus ... deterministic preemption. Furthermore SJL allows concurrent threads to communicate with Esterel-style signals ... evaluated the SJL approach to be efficient and provide experimental results comparing it to Java...
  • WormBench

  • Referenced in 1 article [sw09612]
  • concurrency problems that exist in real multi-threaded applications and also (3) fail to evaluate ... efficiently into the appropriate TM system interface. Its design considers the common synchronization problems that ... exist in TM multi-threaded applications. The behavior of WormBench can be changed by using...
  • Grex

  • Referenced in 2 articles [sw17472]
  • Grex: An efficient MapReduce framework for graphics processing units. In this paper, we present ... documents, in parallel using GPU threads. Second, Grex evenly distributes data to map/reduce tasks ... locks or atomic operations for thread synchronization. The experimental results show that our system...
  • MassiveThreads

  • Referenced in 1 article [sw33051]
  • MassiveThreads: A Thread Library for High Productivity Languages. An efficient implementation of task parallelism ... communication and synchronization. More specifically, it should facilitate interactions between tasks and threads dedicated...
  • PEDAL

  • Referenced in 1 article [sw23564]
  • PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Concurrency ... existing literature, by emphasizing on the preemptable synchronization points. In our approach, a light-weight ... monitor program runs, and collect synchronization points where thread scheduler could intervene and make scheduling ... recorded and analyzed. Based on the preemptable synchronization points, we build a reduced preemption...
  • CURD

  • Referenced in 1 article [sw28763]
  • debug due to the massive numbers of threads running concurrently on a modern GPU. While ... based on the synchronization used in a program, and utilizes efficient compiler instrumentation to reduce...
  • GRace

  • Referenced in 2 articles [sw28845]
  • being illsuited for handling non-lock synchronization primitives on GPUs; 2) lacking of scalability ... memory hierarchy to log runtime data accesses efficiently. To improve the performance, GRace leverages static ... instrumented. Additionally, by exploiting the knowledge of thread scheduling and the execution model...
  • AdELL

  • Referenced in 1 article [sw23692]
  • based on the idea of distributing working threads to rows according to their computational load ... parameters. AdELL provides an efficient warp-level synchronization (as opposed to block-level...
  • Coq

  • Referenced in 1849 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3067 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • IMD

  • Referenced in 7 articles [sw00438]
  • IMD is a software package for classical molecular...