A set of methods defining an API (Application Programming Interface) are to be made thread safe; thus running any subset of these methods in parallel should not create races or deadlocks. Originally, the set of methods were not designed to be thread safe, so races and deadlocks are expected when running them in parallel. The number of possible interleavings when running methods from this API in parallel is huge, and this work focuses on the identification of the high level data races introduced by such interleavings. We propose an analysis that avoids the exhaustive exploration of all possible interleavings. For a concurrent program P, the closure of P, clos(P), is defined. Roughly speaking, we can say that the clos(P) is obtained by adding threads to P in such a way that high level data races resulting from running P in parallel to other programs are exposed statically. A set of methods representing the API is then modeled as a set of concurrent programs and their closure is analysed to identify high level data races. These high level data races are then inspected and removed to make the API thread safe. We illustrate the application of this methodology with a simple use case.

{{A series of Ar-BIAN-based copper(I) complexes (where Ar-BIAN = bis(aryl) acenaphthenequinonediimine) were synthesised and characterised by H-1 and C-13 NMR spectroscopies, FT-IR spectroscopy, MALDI-TOF-MS spectrometry, cyclic voltammetry and single crystal X-ray diffraction. The bis-chelated complexes of general formula {[}Cu(Ar-BIAN)(2)]BF4 (where Ar = C6H5 (1), 4-iPrC(6)H(4) (3), 2-iPrC(6)H(4) (4)) were prepared by reaction of {[}Cu(NCMe)(4)]BF4 with two equivalents of the corresponding Ar-BIAN ligands, in dichloromethane, while the mono-chelated complexes of the type {[}Cu(Ar-BIAN)L2]BF4 (where Ar = 2,6-iPr(2)C(6)H(3)

The aim was to investigate the effect of simulated low-temperature degradation (s-LTD) and hydrothermal fatigue on the degradation of three ZrO2-based dental materials. Lava, IPS, and NanoZr discs were randomly assigned to (1) Control-Storage in distilled water at 37°C; (2) Aging at 134°C for 5 h (s-LTD); (3) Thermocycling in saliva for 30,000 cycles (TF). XRD revealed that ZrO 2 m phase was identified in all groups but TF increased the m phase only for Lava. Under the FESEM, Lava showed no alterations under s-LTD, but displayed corrosion areas up to 60 μm wide after TF. We conclude that TF accelerated the degradation of Lava through an increase in the m phase and grain pull-out from the material surface.