Pessimistic Software Lock-Elision

Read-write locks are one of the most prevalent lock forms in concurrent applications because they allow read accesses to locked code to proceed in parallel. However, they do not offer any parallelism between reads and writes. This paper introduces pessimistic lock-elision (PLE), a new approach for non-speculatively replacing read-write locks with pessimistic (i.e. non-aborting) software transactional code that allows read-write concurrency even for contended code and even if the code includes system calls. On systems with hardware transactional support, PLE will allow failed transactions, or ones that contain system calls, to preserve read-write concurrency. Our PLE algorithm is based on a novel encounter-order design of a fully pessimistic STM system that in a variety of benchmarks spanning from counters to trees, even when up to 40% of calls are mutating the locked structure, provides up to 5 times the performance of a state-of-the-art read-write lock.National Science Foundation (U.S.) (Grant 1217921

Inventory control for point-of-use locations in hospitals

Most inventory management systems at hospital departments are characterised by lost sales, periodic reviews with short lead times, and limited storage capacity. We develop two types of exact models that deal with all these characteristics. In a capacity model, the service level is maximised subject to a capacity restriction, and in a service model the required capacity is minimised subject to a service level restriction. We also formulate approximation models applicable for any lost-sales inventory system (cost objective, no lead time restrictions etc). For the capacity model, we develop a simple inventory rule to set the reorder levels and order quantities. Numerical results for this inventory rule show an average deviation of 1% from the optimal service levels. We also embed the single-item models in a multi-item system. Furthermore, we compare the performance of fixed order size replenishment policies and (R, s, S) policies

Determination of the Tafel slope for oxygen evolution on boron-doped diamond electrodes

It has been reported that the oxygen evolution reaction (OER) on boron-doped diamond (BDD) electrodes appears at high overpotential and results in unusually high Tafel slope. In this work, we have studied the OER in 1 M HClO4 on BDD macroelectrode and microelectrodes-array (MEA). The correction of the anodic polarization curve for ohmic drop has been performed on BDD macroelectrode taking into account the total uncompensated resistance of the studied system. On BDD MEA, no correction of the polarization curve was necessary due to the small contribution of ohmic drop to the measured potential. At low overpotential (<1.2 V), abnormally high Tafel slopes (340 and 680 mV dec−1 on BDD MEA and BDD, respectively) have been observed. Such high slopes may result from the presence of surface redox couples/functional groups which act as a barrier for OER on BDD. In this potential region, the Tafel slope depends strongly on the state of the electrode surface. In the high overpotential region (>1.2 V), the Tafel slope has been found equal to 120 mV dec−1, which is the theoretical value considering a first or a second electron transfer step as the rate determining step. Keywords: Boron-doped diamond, Microelectrodes, Oxygen evolution, Tafel, Ohmic dro