The choice of lock objects in concurrent programs can affect both performance and correctness, a burden of complexity for programmers. Recently, various automated lock allocation and assignment techniques have been proposed, each aiming primarily to minimize the number of conflicts between critical sections. However, practical performance depends on a number of important factors, including the ...

There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexical operators, supporting lock primitives on re-entrant locks. These operators may lead to run-time errors and unwanted behavior; e.g., taking a lock...

We surveyed infectious diseases physicians to determine their practice patterns with regard to both antimicrobial lock prophylaxis and antimicrobial lock therapy. Antimicrobial lock prophylaxis is relatively uncommon; only 19% of infectious diseases physicians reported using it at least once. Although antimicrobial lock therapy is more commonly used, we found a significant variation in practice...

An atomic block is a language construct that simplifies the programming of critical sections. In the past, software transactional memory (STM) and lock inference have been used to implement atomic blocks. Both approaches have strengths and weaknesses. STM provides fine-grained locking but has high overheads due to logging and potential rollbacks. Lock inference is a static analysis that compute...

Micromotion has long been associated with wear of polyethylene tibial inserts, potentially causing failure of unicompartmental knee replacement systems. One cause of micromotion is the locking mechanism between the undersurface of the polyethylene and the tibial tray. The objective of this study was to investigate the use of new novel lock designs for reducing the micromotion associated with a ...

In this paper we break a knapsack based two-lock cryptosystem proposed at ICICS’03 [7]. The two-lock cryptosystem is a commutative encryption algorithm that is very useful for the construction of the general t-out-of-n oblivious transfers and millionaire protocol. However, our analysis shows that the proposed knapsack based two-lock cryptosystem is extremely insecure. The serious flaw is that t...

BACKGROUND Catheter-related infection (CRI) is associated with increased all-cause mortality and morbidity in hemodialysis patients and may be reduced by using antimicrobial lock solutions (ALSs). STUDY DESIGN We performed a meta-analysis of studies identified from a search conducted in February 2007 of the Cochrane Central Register of Controlled Trials, MEDLINE, EMBASE, Cumulative Index to N...

Hardware lock elision (HLE) concurrently executes lock critical sections as hardware transactions, but fallbacks to the original sequential lock fallback path when some hardware transaction fails. Recent software-assisted lock-removal based schemes provide a better concurrency by sacrificing safety (opacity). Hardware transactions can execute at the same time with the lock fallback path as long...

In this short paper we show that hardware-based transactional lock elision can provide benefit by reducing the incidence of lock holder preemption, decreasing lock hold times and promoting improved scalability.