Making linearizability compositional for partially ordered executions

In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linearizable. However, linearizability is not compositional when events are only partially ordered, as in the weak-memory models that describe multicore memory systems. In this paper, we present a generalisation of linearizability for concurrent objects implemented in weak-memory models. We abstract from the details of specific memory models by defining our condition using Lamport’s execution structures. We apply our condition to the C11 memory model, providing a correctness condition for C11 objects. We develop a proof method for verifying objects implemented in C11 and related models. Our method is an adaptation of simulation-based methods, but in contrast to other such methods, it does not require that the implementation totally orders its events. We apply our proof technique and show correctness of the Treiber stack that blocks on empty, annotated with C11 release-acquire synchronisation

Burden of enteric fever at three urban sites in Africa and Asia: a multicentre population-based study

Summary Background Enteric fever is a serious public health concern in many low-income and middle-income countries. Numerous data gaps exist concerning the epidemiology of Salmonella enterica serotype Typhi (S Typhi) and Salmonella enterica serotype Paratyphi (S Paratyphi), which are the causative agents of enteric fever. We aimed to determine the burden of enteric fever in three urban sites in Africa and Asia. Methods In this multicentre population-based study, we did a demographic census at three urban sites in Africa (Blantyre, Malawi) and Asia (Kathmandu, Nepal and Dhaka, Bangladesh) between June 1, 2016, and Sept 25, 2018. Households were selected randomly from the demographic census. Participants from within the geographical census area presenting to study health-care facilities were approached for recruitment if they had a history of fever for 72 h or more (later changed to >48 h) or temperature of 38·0°C or higher. Facility-based passive surveillance was done between Nov 11, 2016, and Dec 31, 2018, with blood-culture collection for febrile illness. We also did a community-based serological survey to obtain data on Vi-antibody defined infections. We calculated crude incidence for blood-culture-confirmed S Typhi and S Paratyphi infection, and calculated adjusted incidence and seroincidence of S Typhi blood-culture-confirmed infection. Findings 423 618 individuals were included in the demographic census, contributing 626 219 person-years of observation for febrile illness surveillance. 624 S Typhi and 108 S Paratyphi A isolates were collected from the blood of 12 082 febrile patients. Multidrug resistance was observed in 44% S Typhi isolates and fluoroquinolone resistance in 61% of S Typhi isolates. In Blantyre, the overall crude incidence of blood-culture confirmed S Typhi was 58 cases per 100 000 person-years of observation (95% CI 48–70); the adjusted incidence was 444 cases per 100 000 person-years of observation (95% credible interval [CrI] 347–717). The corresponding rates were 74 (95% CI 62–87) and 1062 (95% CrI 683–1839) in Kathmandu, and 161 (95% CI 145–179) and 1135 (95% CrI 898–1480) in Dhaka. S Paratyphi was not found in Blantyre; overall crude incidence of blood-culture-confirmed S Paratyphi A infection was 6 cases per 100 000 person-years of observation (95% CI 3–11) in Kathmandu and 42 (95% CI 34–52) in Dhaka. Seroconversion rates for S Typhi infection per 100 000 person-years estimated from anti-Vi seroconversion episodes in serological surveillance were 2505 episodes (95% CI 1605–3727) in Blantyre, 7631 (95% CI 5913–9691) in Kathmandu, and 3256 (95% CI 2432–4270) in Dhaka. Interpretation High disease incidence and rates of antimicrobial resistance were observed across three different transmission settings and thus necessitate multiple intervention strategies to achieve global control of these pathogens. Funding Wellcome Trust and the Bill & Melinda Gates Foundation

A 23-year retrospective investigation of Salmonella Typhi and Salmonella Paratyphi isolated in a tertiary Kathmandu hospital.

BACKGROUND: Salmonella serovars Typhi (S. Typhi) and Paratyphi A (S. Paratyphi A), the causative agents of enteric fever, have been routinely isolated organisms from the blood of febrile patients in the Kathmandu Valley since the early 1990s. Susceptibility against commonly used antimicrobials for treating enteric fever has gradually changed throughout South Asia since this time, posing serious treatment challenges. Here, we aimed to longitudinally describe trends in the isolation of Salmonella enterica and assess changes in their antimicrobial susceptibility in Kathmandu over a 23-year period. METHODS: We conducted a retrospective analysis of standardised microbiological data from April 1992 to December 2014 at a single healthcare facility in Kathmandu, examining time trends of Salmonella-associated bacteraemia and the corresponding antimicrobial susceptibility profiles of the isolated organisms. RESULTS: Over 23 years there were 30,353 positive blood cultures. Salmonella enterica accounted for 65.4% (19,857/30,353) of all the bacteria positive blood cultures. S. Typhi and S. Paratyphi A were the dominant serovars, constituting 68.5% (13,592/19,857) and 30.5% (6,057/19,857) of all isolated Salmonellae. We observed (i) a peak in the number of Salmonella-positive cultures in 2002, a year of heavy rainfall and flooding in the Kathmandu Valley, followed by a decline toward pre-flood baseline by 2014, (ii) an increase in the proportion of S. Paratyphi in all Salmonella-positive cultures between 1992 and 2014, (iii) a decrease in the prevalence of MDR for both S. Typhi and S. Paratyphi, and (iv) a recent increase in fluoroquinolone non-susceptibility in both S. Typhi and S. Paratyphi isolates. CONCLUSIONS: Our work describes significant changes in the epidemiology of Salmonella enterica in the Kathmandu Valley during the last quarter of a century. We highlight the need to examine current treatment protocols for enteric fever and suggest a change from fluoroquinolone monotherapy to combination therapies of macrolides or cephalosporins along with older first-line antimicrobials that have regained their efficacy

Changing Antimicrobial Resistance Trends in Kathmandu, Nepal: A 23-Year Retrospective Analysis of Bacteraemia.

A comprehensive longitudinal understanding of the changing epidemiology of the agents causing bacteraemia and their AMR profiles in key locations is crucial for assessing the progression and magnitude of the global AMR crisis. We performed a retrospective analysis of routine microbiological data from April 1992 to December 2014, studying the time trends of non-Salmonella associated bacteraemia at a single Kathmandu healthcare facility. The distribution of aetiological agents, their antimicrobial susceptibility profiles, and the hospital ward of isolation were assessed. Two hundred twenty-four thousand seven hundred forty-one blood cultures were performed over the study period, of which, 30,353 (13.5%) exhibited growth for non-contaminant bacteria. We observed a significant increasing trend in the proportion of MDR non-Salmonella Enterobacteriaceae (p < 0.001), other Gram-negative organisms (p = 0.006), and Gram-positive organisms (p = 0.006) over time. Additionally, there was an annual increasing trend in the proportion of MDR organisms in bacteria-positive blood cultures originating from patients attending the emergency ward (p = 0.006) and the outpatient department (p = 0.006). This unique dataset demonstrates that community acquired non-Salmonella bacteraemia has become an increasingly important cause of hospital admission in Kathmandu. An increasing burden of bacteraemia associated with MDR organisms in the community underscores the need for preventing the circulation of MDR bacteria within the local population

A Novel Air-Dried Multiplex High Resolution Melt Assay for the Detection of Extended Spectrum Beta-Lactamase and Carbapenemase Genes.

OBJECTIVES: This study aimed to develop and evaluate a novel air-dried high-resolution melt (HRM) assay to detect eight major extended spectrum beta-Lactamase (ESBL) (blaSHV and blaCTXM groups 1 and 9) and carbapenemase (blaNDM, blaIMP, blaKPC, blaVIM and blaOXA-48-like) genes that cause antimicrobial resistance to cephalosporins and carbapenems. METHODS: The assay was evaluated using 439 DNA samples extracted from bacterial isolates from Nepal, Malawi and UK and 390 clinical isolates from Nepal with known antimicrobial susceptibility results. Assay reproducibility was evaluated across five different q-PCR instruments (Rotor-Gene Q, QuantStudioTM 5, CFX96, LightCycler® 480 and MIC). Assay stability was also assessed upon the assay storage in the refrigerator (6.2°C±0.9), room temperature (20.4°C±0.7) and oven (29.7°C±1.4) at six time points for eight months. RESULTS: The sensitivity and specificity for detecting the ESBL and carbapenemase genes in comparison to the reference gel-base PCR and sequencing was 94.7% (95%CI: 92.5%-96.5%) and 99.2% (95%CI: 98.8%-99.5%), and 98.5% (95%CI: 97.0%-99.4%) and 98.5% (95%CI: 98.0%-98.9%) when compared to the original HRM wet PCR mix format. The overall agreement was 91.1% (95%CI: 90.0%-92.9%) when predicting phenotypic resistance to cefotaxime and meropenem among Enterobacteriaceae isolates. We observed almost perfect inter-machine reproducibility of the air-dried HRM assay and no loss of sensitivity occurred under all storage conditions and time points. CONCLUSIONS: We present here a ready-to-use air-dried HRM-PCR assay that offers an easy, thermostable, fast and accurate tool for the detection of ESBL and carbapenemase genes in DNA samples to improve AMR

Burden of enteric fever at three urban sites in Africa and Asia: a multicentre population-based study

Background Enteric fever is a serious public health concern in many low-income and middle-income countries. Numerous data gaps exist concerning the epidemiology of Salmonella enterica serotype Typhi (S Typhi) and Salmonella enterica serotype Paratyphi (S Paratyphi), which are the causative agents of enteric fever. We aimed to determine the burden of enteric fever in three urban sites in Africa and Asia. Methods In this multicentre population-based study, we did a demographic census at three urban sites in Africa (Blantyre, Malawi) and Asia (Kathmandu, Nepal and Dhaka, Bangladesh) between June 1, 2016, and Sept 25, 2018. Households were selected randomly from the demographic census. Participants from within the geographical census area presenting to study health-care facilities were approached for recruitment if they had a history of fever for 72 h or more (later changed to >48 h) or temperature of 38·0°C or higher. Facility-based passive surveillance was done between Nov 11, 2016, and Dec 31, 2018, with blood-culture collection for febrile illness. We also did a community-based serological survey to obtain data on Vi-antibody defined infections. We calculated crude incidence for blood-culture-confirmed S Typhi and S Paratyphi infection, and calculated adjusted incidence and seroincidence of S Typhi blood-culture-confirmed infection. Findings 423 618 individuals were included in the demographic census, contributing 626 219 person-years of observation for febrile illness surveillance. 624 S Typhi and 108 S Paratyphi A isolates were collected from the blood of 12 082 febrile patients. Multidrug resistance was observed in 44% S Typhi isolates and fluoroquinolone resistance in 61% of S Typhi isolates. In Blantyre, the overall crude incidence of blood-culture confirmed S Typhi was 58 cases per 100 000 person-years of observation (95% CI 48–70); the adjusted incidence was 444 cases per 100 000 person-years of observation (95% credible interval [CrI] 347–717). The corresponding rates were 74 (95% CI 62–87) and 1062 (95% CrI 683–1839) in Kathmandu, and 161 (95% CI 145–179) and 1135 (95% CrI 898–1480) in Dhaka. S Paratyphi was not found in Blantyre; overall crude incidence of blood-culture-confirmed S Paratyphi A infection was 6 cases per 100 000 person-years of observation (95% CI 3–11) in Kathmandu and 42 (95% CI 34–52) in Dhaka. Seroconversion rates for S Typhi infection per 100 000 person-years estimated from anti-Vi seroconversion episodes in serological surveillance were 2505 episodes (95% CI 1605–3727) in Blantyre, 7631 (95% CI 5913–9691) in Kathmandu, and 3256 (95% CI 2432–4270) in Dhaka. Interpretation High disease incidence and rates of antimicrobial resistance were observed across three different transmission settings and thus necessitate multiple intervention strategies to achieve global control of these pathogens. Funding Wellcome Trust and the Bill & Melinda Gates Foundation

Changing Antimicrobial Resistance Trends in Kathmandu, Nepal: A 23-Year Retrospective Analysis of Bacteraemia

A comprehensive longitudinal understanding of the changing epidemiology of the agents causing bacteraemia and their AMR profiles in key locations is crucial for assessing the progression and magnitude of the global AMR crisis. We performed a retrospective analysis of routine microbiological data from April 1992 to December 2014, studying the time trends of non-Salmonella associated bacteraemia at a single Kathmandu healthcare facility. The distribution of aetiological agents, their antimicrobial susceptibility profiles, and the hospital ward of isolation were assessed. Two hundred twenty-four thousand seven hundred forty-one blood cultures were performed over the study period, of which, 30,353 (13.5%) exhibited growth for non-contaminant bacteria. We observed a significant increasing trend in the proportion of MDR non-Salmonella Enterobacteriaceae (p &lt; 0.001), other Gram-negative organisms (p = 0.006), and Gram-positive organisms (p = 0.006) over time. Additionally, there was an annual increasing trend in the proportion of MDR organisms in bacteria-positive blood cultures originating from patients attending the emergency ward (p = 0.006) and the outpatient department (p = 0.006). This unique dataset demonstrates that community acquired non-Salmonella bacteraemia has become an increasingly important cause of hospital admission in Kathmandu. An increasing burden of bacteraemia associated with MDR organisms in the community underscores the need for preventing the circulation of MDR bacteria within the local population

Effects of Neonatal Nutrition Interventions on Neonatal Mortality and Child Health and Development Outcomes: A Systematic Review

Background The last two decades have seen a significant decrease in mortality for children \u3c 5 years of age in low and middle‐income countries (LMICs); however, neonatal (age, 0–28 days) mortality has not decreased at the same rate. We assessed three neonatal nutritional interventions that have the potential of reducing morbidity and mortality during infancy in LMICs. Objectives To determine the efficacy and effectiveness of synthetic vitamin A, dextrose oral gel, and probiotic supplementation during the neonatal period. Search Methods We conducted electronic searches for relevant studies on the following databases: PubMed, CINAHL, LILACS, SCOPUS, and CENTRAL, Cochrane Central Register for Controlled Trials, up to November 27, 2019. Selection Criteria We aimed to include randomized and quasi‐experimental studies. The target population was neonates in LMICs. The interventions included synthetic vitamin A supplementation, oral dextrose gel supplementation, and probiotic supplementation during the neonatal period. We included studies from the community and hospital settings irrespective of the gestational age or birth weight of the neonate. Data Collection and Analysis Two authors screened the titles and extracted the data from selected studies. The risk of bias (ROB) in the included studies was assessed according to the Cochrane Handbook of Systematic Reviews. The primary outcome was all‐cause mortality. The secondary outcomes were neonatal sepsis, necrotizing enterocolitis (NEC), prevention and treatment of neonatal hypoglycaemia, adverse events, and neurodevelopmental outcomes. Data were meta‐analyzed by random effect models to obtain relative risk (RR) and 95% confidence interval (CI) for dichotomous outcomes and mean difference with 95% CI for continuous outcomes. The overall rating of evidence was determined by the Grading of Recommendations Assessment, Development, and Evaluation (GRADE) approach. Main Results Sixteen randomized studies (total participants 169,366) assessed the effect of vitamin A supplementation during the neonatal period. All studies were conducted in low‐ and middle‐income (LMIC) countries. Thirteen studies were conducted in the community setting and three studies were conducted in the hospital setting, specifically in neonatal intensive care units. Studies were conducted in 10 different countries including India (four studies), Guinea‐Bissau (three studies), Bangladesh (two studies), and one study each in China, Ghana, Indonesia, Nepal, Pakistan, Tanzania, and Zimbabwe. The overall ROB was low in most of the included studies for neonatal vitamin A supplementation. The pooled results from the community based randomized studies showed that there was no significant difference in all‐cause mortality in the vitamin A (intervention) group compared to controls at 1 month (RR, 0.99; 95% CI, 0.90–1.08; six studies with 126,548 participants, statistical heterogeneity I2 0%, funnel plot symmetrical, grade rating high), 6 months (RR, 0.98; 95% CI, 0.89–1.07; 12 studies with 154,940 participants, statistical heterogeneity I2 43%, funnel plot symmetrical, GRADE quality high) and 12 months of age (RR, 1.04; 95% CI, 0.94–1.14; eight studies with 118,376 participants, statistical heterogeneity I2 46%, funnel plot symmetrical, GRADE quality high). Neonatal vitamin A supplementation increased the incidence of bulging fontanelle by 53% compared to control (RR, 1.53; 95% CI, 1.12–2.09; six studies with 100,256 participants, statistical heterogeneity I2 65%, funnel plot symmetrical, GRADE quality high). We did not identify any experimental study that addressed the use of dextrose gel for the prevention and/or treatment of neonatal hypoglycaemia in LMIC. Thirty‐three studies assessed the effect of probiotic supplementation during the neonatal period (total participants 11,595; probiotics: 5854 and controls: 5741). All of the included studies were conducted in LMIC and were randomized. Most of the studies were done in the hospital setting and included participants who were preterm (born \u3c 37 weeks gestation) and/or low birth weight (\u3c 2500 g birth weight). Studies were conducted in 13 different countries with 10 studies conducted in India, six studies in Turkey, three studies each in China and Iran, two each in Mexico and South Africa, and one each in Bangladesh, Brazil, Colombia, Indonesia, Nepal, Pakistan, and Thailand. Three studies were at high ROB due to lack of appropriate randomization sequence or allocation concealment. Combined data from 25 studies showed that probiotic supplementation reduced all‐cause mortality by 20% compared to controls (RR, 0.80; 95% CI, 0.66–0.96; total number of participants 10,998, number needed to treat 100, statistical heterogeneity I2 0%, funnel plot symmetrical, GRADE quality high). Twenty‐nine studies reported the effect of probiotics on the incidence of NEC, and the combined results showed a relative reduction of 54% in the intervention group compared to controls (RR, 0.46; 95% CI, 0.35–0.59; total number of participants 5574, number needed to treat 17, statistical heterogeneity I2 24%, funnel plot symmetrical, GRADE quality high). Twenty‐one studies assessed the effect of probiotic supplementation during the neonatal period on neonatal sepsis, and the combined results showed a relative reduction of 22% in the intervention group compared to controls (RR, 0.78; 95% CI, 0.70–0.86; total number of participants 9105, number needed to treat 14, statistical heterogeneity I2 23%, funnel plot symmetrical, GRADE quality high). Authors\u27 Conclusions Vitamin A supplementation during the neonatal period does not reduce all‐cause neonatal or infant mortality in LMICs in the community setting. However, neonatal vitamin A supplementation increases the risk of Bulging Fontanelle. No experimental or quasi‐experimental studies were available from LMICs to assess the effect of dextrose gel supplementation for the prevention or treatment of neonatal hypoglycaemia. Probiotic supplementation during the neonatal period seems to reduce all‐cause mortality, NEC, and sepsis in babies born with low birth weight and/or preterm in the hospital setting. There was clinical heterogeneity in the use of probiotics, and we could not recommend any single strain of probiotics for wider use based on these results. There was a lack of studies on probiotic supplementation in the community setting. More research is needed to assess the effect of probiotics administered to neonates in‐home/community setting in LMICs