On the Semantics of Snapshot Isolation

Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM). Its semantics is formally defined both declaratively as an acyclicity axiom, and operationally as a concurrent algorithm with memory bearing timestamps. We develop two simpler equivalent operational definitions of SI as lock-based reference implementations that do not use timestamps. Our first locking implementation is prescient in that requires a priori knowledge of the data accessed by a transaction and carries out transactional writes eagerly (in-place). Our second implementation is non-prescient and performs transactional writes lazily by recording them in a local log and propagating them to memory at commit time. Whilst our first implementation is simpler and may be better suited for developing a program logic for SI transactions, our second implementation is more practical due to its non-prescience. We show that both implementations are sound and complete against the declarative SI specification and thus yield equivalent operational definitions for SI. We further consider, for the first time formally, the use of SI in a context with racy non-transactional accesses, as can arise in STM implementations of SI. We introduce robust snapshot isolation (RSI), an adaptation of SI with similar semantics and guarantees in this mixed setting. We present a declarative specification of RSI as an acyclicity axiom and analogously develop two operational models as lock-based reference implementations (one eager, one lazy). We show that these operational models are both sound and complete against the declarative RSI model

Aripiprazole Augmentation in the Treatment of Military-Related PTSD with Major Depression: a retrospective chart review

<p>Abstract</p> <p>Background</p> <p>In this chart review, we attempted to evaluate the benefits of adding aripiprazole in veterans with military-related PTSD and comorbid depression, who had been minimally or partially responsive to their existing medications.</p> <p>Methods</p> <p>A retrospective chart review of patients who received an open-label, flexible-dose, 12- week course of adjunctive aripiprazole was conducted in 27 military veterans meeting DSM-IV criteria for PTSD and comorbid major depression. Concomitant psychiatric medications continued unchanged, except for other antipsychotics which were discontinued prior to initiating aripiprazole. The primary outcome variable was a change from baseline in the PTSD checklist-military version (PCL-M) and the Beck Depression Inventory (BDI-II).</p> <p>Results</p> <p>PTSD severity (Total PCL scores) decreased from 56.11 at baseline to 46.85 at 12-weeks (p < 0.0001 from Wilcoxon signed rank test) and the depression severity decreased from 30.44 at baseline to 20.67 at 12-weeks (p < 0.0001 from Wilcoxon signed rank test). Thirty seven percent (10/27) were considered responders, as defined by a decrease in total PCL scores of at least 20 percent and 19% (5/27) were considered as responders as defined by a decrease in total BDI score of at least 50%.</p> <p>Conclusions</p> <p>The addition of aripiprazole contributed to a reduction in both PTSD and depression symptomatology in a population that has traditionally demonstrated poor pharmacological response. Further investigations, including double-blind, placebo-controlled studies, are essential to confirm and further demonstrate the benefit of aripiprazole augmentation in the treatment of military related PTSD.</p

Pressure Load: The Main Factor for Altered Gene Expression in Right Ventricular Hypertrophy in Chronic Hypoxic Rats

BACKGROUND: The present study investigated whether changes in gene expression in the right ventricle following pulmonary hypertension can be attributed to hypoxia or pressure loading. METHODOLOGY/PRINCIPAL FINDINGS: To distinguish hypoxia from pressure-induced alterations, a group of rats underwent banding of the pulmonary trunk (PTB), sham operation, or the rats were exposed to normoxia or chronic, hypobaric hypoxia. Pressure measurements were performed and the right ventricle was analyzed by Affymetrix GeneChip, and selected genes were confirmed by quantitative PCR and immunoblotting. Right ventricular systolic blood pressure and right ventricle to body weight ratio were elevated in the PTB and the hypoxic rats. Expression of the same 172 genes was altered in the chronic hypoxic and PTB rats. Thus, gene expression of enzymes participating in fatty acid oxidation and the glycerol channel were downregulated. mRNA expression of aquaporin 7 was downregulated, but this was not the case for the protein expression. In contrast, monoamine oxidase A and tissue transglutaminase were upregulated both at gene and protein levels. 11 genes (e.g. insulin-like growth factor binding protein) were upregulated in the PTB experiment and downregulated in the hypoxic experiment, and 3 genes (e.g. c-kit tyrosine kinase) were downregulated in the PTB and upregulated in the hypoxic experiment. CONCLUSION/SIGNIFICANCE: Pressure load of the right ventricle induces a marked shift in the gene expression, which in case of the metabolic genes appears compensated at the protein level, while both expression of genes and proteins of importance for myocardial function and remodelling are altered by the increased pressure load of the right ventricle. These findings imply that treatment of pulmonary hypertension should also aim at reducing right ventricular pressure

Lack of EGF receptor contributes to drug sensitivity of human germline cells

Germline mutations have been associated with generation of various types of tumour. In this study, we investigated genetic alteration of germline tumours that affect the drug sensitivity of cells. Although all germline tumour cells we tested were hypersensitive to DNA-damaging drugs, no significant alteration was observed in their DNA repair activity or the expression of DNA repair proteins. In contrast, germline tumours expressed very low level of epidermal growth factor receptor (EGFR) compared to drug-resistant ovarian cancer cells. An immunohistochemical analysis indicated that most of the primary germline tumours we tested expressed very low level of EGFR. In accordance with this, overexpression of EGFR in germline tumour cells showed an increase in drug resistance, suggesting that a lack of EGFR, at least in part, contributes to the drug sensitivity of germline tumours

Hypertonic Stress Induces VEGF Production in Human Colon Cancer Cell Line Caco-2: Inhibitory Role of Autocrine PGE2

Vascular Endothelial Growth Factor (VEGF) is a major regulator of angiogenesis. VEGF expression is up regulated in response to micro-environmental cues related to poor blood supply such as hypoxia. However, regulation of VEGF expression in cancer cells is not limited to the stress response due to increased volume of the tumor mass. Lipid mediators in particular arachidonic acid-derived prostaglandin (PG)E2 are regulators of VEGF expression and angiogenesis in colon cancer. In addition, increased osmolarity that is generated during colonic water absorption and feces consolidation seems to activate colon cancer cells and promote PGE2 generation. Such physiological stimulation may provide signaling for cancer promotion. Here we investigated the effect of exposure to a hypertonic medium, to emulate colonic environment, on VEGF production by colon cancer cells. The role of concomitant PGE2 generation and MAPK activation was addressed by specific pharmacological inhibition. Human colon cancer cell line Caco-2 exposed to a hypertonic environment responded with marked VEGF and PGE2 production. VEGF production was inhibited by selective inhibitors of ERK 1/2 and p38 MAPK pathways. To address the regulatory role of PGE2 on VEGF production, Caco-2 cells were treated with cPLA2 (ATK) and COX-2 (NS-398) inhibitors, that completely block PGE2 generation. The Caco-2 cells were also treated with a non selective PGE2 receptor antagonist. Each treatment significantly increased the hypertonic stress-induced VEGF production. Moreover, addition of PGE2 or selective EP2 receptor agonist to activated Caco-2 cells inhibited VEGF production. The autocrine inhibitory role for PGE2 appears to be selective to hypertonic environment since VEGF production induced by exposure to CoCl2 was decreased by inhibition of concomitant PGE2 generation. Our results indicated that hypertonicity stimulates VEGF production in colon cancer cell lines. Also PGE2 plays an inhibitory role on VEGF production by Caco-2 cells exposed to hyperosmotic stress through EP2 activation

Reconciling disparate prevalence rates of PTSD in large samples of US male Vietnam veterans and their controls

BACKGROUND: Two large independent studies funded by the US government have assessed the impact of the Vietnam War on the prevalence of PTSD in US veterans. The National Vietnam Veterans Readjustment Study (NVVRS) estimated the current PTSD prevalence to be 15.2% while the Vietnam Experience Study (VES) estimated the prevalence to be 2.2%. We compared alternative criteria for estimating the prevalence of PTSD using the NVVRS and VES public use data sets collected more than 10 years after the United States withdrew troops from Vietnam. METHODS: We applied uniform diagnostic procedures to the male veterans from the NVVRS and VES to estimate PTSD prevalences based on varying criteria including one-month and lifetime prevalence estimates, combat and non-combat prevalence estimates, and prevalence estimates using both single and multiple indicator models. RESULTS: Using a narrow and specific set of criteria, we derived current prevalence estimates for combat-related PTSD of 2.5% and 2.9% for the VES and the NVVRS, respectively. Using a more broad and sensitive set of criteria, we derived current prevalence estimates for combat-related PTSD of 12.2% and 15.8% for the VES and NVVRS, respectively. CONCLUSION: When comparable methods were applied to available data we reconciled disparate results and estimated similar current prevalences for both narrow and broad definitions of combat-related diagnoses of PTSD

Anesthesia advanced circulatory life support

The constellation of advanced cardiac life support (ACLS) events, such as gas embolism, local anesthetic overdose, and spinal bradycardia, in the perioperative setting differs from events in the pre-hospital arena. As a result, modification of traditional ACLS protocols allows for more specific etiology-based resuscitation. Perioperative arrests are both uncommon and heterogeneous and have not been described or studied to the same extent as cardiac arrest in the community. These crises are usually witnessed, frequently anticipated, and involve a rescuer physician with knowledge of the patient's comorbidities and coexisting anesthetic or surgically related pathophysiology. When the health care provider identifies the probable cause of arrest, the practitioner has the ability to initiate medical management rapidly. Recommendations for management must be predicated on expert opinion and physiological understanding rather than on the standards currently being used in the generation of ACLS protocols in the community. Adapting ACLS algorithms and considering the differential diagnoses of these perioperative events may prevent cardiac arrest

Guilt and Child Soldiers

The use of child soldiers in armed conflict is an increasing global concern. Although philosophers have examined whether child soldiers can be considered combatants in war, much less attention has been paid to their moral responsibility. While it is tempting to think of them as having diminished or limited responsibility, child soldiers often report feeling guilt for the wrongs they commit. Here I argue that their feelings of guilt are both intelligible and morally appropriate. The feelings of guilt that child soldiers experience are not self-censure; rather their guilt arises from their attempts to come to terms with what they see as their own morally ambiguous motives. Their guilt is appropriate because it reaffirms their commitment to morality and facilitates their self-forgiveness