On the nature of progress

15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. ProceedingsWe identify a simple relationship that unifies seemingly unrelated progress conditions ranging from the deadlock-free and starvation-free properties common to lock-based systems, to non-blocking conditions such as obstruction-freedom, lock-freedom, and wait-freedom. Properties can be classified along two dimensions based on the demands they make on the operating system scheduler. A gap in the classification reveals a new non-blocking progress condition, weaker than obstruction-freedom, which we call clash-freedom. The classification provides an intuitively-appealing explanation why programmers continue to devise data structures that mix both blocking and non-blocking progress conditions. It also explains why the wait-free property is a natural basis for the consensus hierarchy: a theory of shared-memory computation requires an independent progress condition, not one that makes demands of the operating system scheduler

The Computational Structure of Progress Conditions

Abstract. Understanding the effect of different progress conditions on the com-putability of distributed systems is an important and exciting research direction. For a system with n processes, we define exponentially many new progress con-ditions and explore their properties and strength. We cover all the known, sym-metric and asymmetric, progress conditions and many new interesting conditions. Together with our technical results, the new definitions provide a deeper under-standing of synchronization and concurrency

Role of C/EBPβ Transcription Factor in Adult Hippocampal Neurogenesis

[Background]: The dentate gyrus of the hippocampus is one of the regions in which neurogenesis takes place in the adult brain. We have previously demonstrated that CCAAT/enhancer binding protein β (C/EBPβ) is expressed in the granular layer of the dentate gyrus of the adult mouse hippocampus. Taking into account the important role of C/EBPβ in the consolidation of long term memory, the fact that newborn neurons in the hippocampus contribute to learning and memory processes, and the role of this transcription factor, previously demonstrated by our group, in regulating neuronal differentiation, we speculated that this transcription factor could regulate stem/progenitor cells in this region of the brain. [Methodologu/Principal Findings]: Here, we show, using C/EBPβ knockout mice, that C/EBPβ expression is observed in the subset of newborn cells that proliferate in the hippocampus of the adult brain. Mice lacking C/EBPβ present reduced survival of newborn cells in the hippocampus, a decrease in the number of these cells that differentiate into neurons and a diminished number of cells that are proliferating in the subgranular zone of the dentate gyrus. These results were further confirmed in vitro. Neurosphere cultures from adult mice deficient in C/EBPβ present less proliferation and neuronal differentiation than neurospheres derived from wild type mice. [Conclusions/Significance]: In summary, using in vivo and in vitro strategies, we have identified C/EBPβ as a key player in the proliferation and survival of the new neurons produced in the adult mouse hippocampus. Our results support a novel role of C/EBPβ in the processes of adult hippocampal neurogenesis, providing new insights into the mechanisms that control neurogenesis in this region of the brain.This work was supported by a postdoctoral fellowship of the Consejo Superior de Investigaciones Cientificas (M.C.-C.) Grant Sponsor: Ministerio de Investigación y Ciencia; Grant numbers: SAF2007-62811 and SAF2010-16365. CIBERNED is funded by the Instituto de Salud Carlos III.Peer reviewe

On the Computational Power of Shared Objects

Abstract. We propose a new classification for evaluating the strength of shared objects. The classification is based on finding, for each object of type o, the strongest progress condition for which it is possible to solve consensus for any number of processes, using any number of objects of type o and atomic registers. We use the strongest progress condition to associate with each object a number call the power number of that object. Objects with higher power numbers are considered stronger. Then, we define the power hierarchy which is an infinite hi-erarchy of objects such that the objects at level i of the hierarchy are exactly those objects with power number i. Comparing our classification with the traditional one which is based on fixing the progress condition (namely, wait-freedom) and finding the largest number of processes for which consensus is solvable, reveals interesting results. Our equivalence and extended universality results, provide a deeper understanding of the nature of the relative computational power of shared objects

β-Adrenoreceptor Stimulation Mediates Reconsolidation of Social Reward-Related Memories

In recent years, the notion that consolidated memories become transiently unstable after retrieval and require reconsolidation to persist for later use has received strong experimental support. To date, the majority of studies on reconsolidation have focused on memories of negative emotions, while the dynamics of positive memories have been less well studied. Social play, the most characteristic social behavior displayed by young mammals, is important for social and cognitive development. It has strong rewarding properties, illustrated by the fact that it can induce conditioned place preference (CPP). In order to understand the dynamics of positive social memories, we evaluated the effect of propranolol, a β-adrenoreceptor antagonist known to influence a variety of memory processes, on acquisition, consolidation, retrieval and reconsolidation of social play-induced CPP in adolescent rats.Systemic treatment with propranolol, immediately before or after a CPP test (i.e. retrieval session), attenuated CPP 24 h later. Following extinction, CPP could be reinstated in saline--but not in propranolol-treated rats, indicating that propranolol treatment had persistently disrupted the CPP memory trace. Propranolol did not affect social play-induced CPP in the absence of memory retrieval or when administered 1 h or 6 h after retrieval. Furthermore, propranolol did not affect acquisition, consolidation or retrieval of social play-induced CPP.We conclude that β-adrenergic neurotransmission selectively mediates the reconsolidation, but not other processes involved in the storage and stability of social reward-related memories in adolescent rats. These data support the notion that consolidation and reconsolidation of social reward-related memories in adolescent rats rely on distinct neural mechanisms

Repeated Labilization-Reconsolidation Processes Strengthen Declarative Memory in Humans

The idea that memories are immutable after consolidation has been challenged. Several reports have shown that after the presentation of a specific reminder, reactivated old memories become labile and again susceptible to amnesic agents. Such vulnerability diminishes with the progress of time and implies a re-stabilization phase, usually referred to as reconsolidation. To date, the main findings describe the mechanisms associated with the labilization-reconsolidation process, but little is known about its functionality from a biological standpoint. Indeed, two functions have been proposed. One suggests that destabilization of the original memory after the reminder allows the integration of new information into the background of the original memory (memory updating), and the other suggests that the labilization-reconsolidation process strengthens the original memory (memory strengthening). We have previously reported the reconsolidation of human declarative memories, demonstrating memory updating in the framework of reconsolidation. Here we deal with the strengthening function attributed to the reconsolidation process. We triggered labilization-reconsolidation processes successively by repeated presentations of the proper reminder. Participants learned an association between five cue-syllables and their respective response-syllables. Twenty-four hours later, the paired-associate verbal memory was labilized by exposing the subjects to one, two or four reminders. The List-memory was evaluated on Day 3 showing that the memory was improved when at least a second reminder was presented in the time window of the first labilization-reconsolidation process prompted by the earlier reminder. However, the improvement effect was revealed on Day 3, only when at least two reminders were presented on Day2 and not as a consequence of only retrieval. Therefore, we propose central concepts for the reconsolidation process, emphasizing its biological role and the parametrical constrains for this function to be operative

Disrupting astrocyte-neuron lactate transfer persistently reduces conditioned responses to cocaine.

A central problem in the treatment of drug addiction is the high risk of relapse often precipitated by drug-associated cues. The transfer of glycogen-derived lactate from astrocytes to neurons is required for long-term memory. Whereas blockade of drug memory reconsolidation represents a potential therapeutic strategy, the role of astrocyte-neuron lactate transport in long-term conditioning has received little attention. By infusing an inhibitor of glycogen phosphorylase into the basolateral amygdala of rats, we report that disruption of astrocyte-derived lactate not only transiently impaired the acquisition of a cocaine-induced conditioned place preference but also persistently disrupted an established conditioning. The drug memory was rescued by L-Lactate co-administration through a mechanism requiring the synaptic plasticity-related transcription factor Zif268 and extracellular signal-regulated kinase (ERK) signalling pathway but not the brain-derived neurotrophic factor (Bdnf). The long-term amnesia induced by glycogenolysis inhibition and the concomitant decreased expression of phospho-ERK were both restored with L-Lactate co-administration. These findings reveal a critical role for astrocyte-derived lactate in positive memory formation and highlight a novel amygdala-dependent reconsolidation process, whose disruption may offer a novel therapeutic target to reduce the long-lasting conditioned responses to cocaine

Complement component 3 (C3) expression in the hippocampus after excitotoxic injury: role of C/EBPβ

[Background] The CCAAT/enhancer-binding protein β (C/EBPβ) is a transcription factor implicated in the control of proliferation, differentiation, and inflammatory processes mainly in adipose tissue and liver; although more recent results have revealed an important role for this transcription factor in the brain. Previous studies from our laboratory indicated that CCAAT/enhancer-binding protein β is implicated in inflammatory process and brain injury, since mice lacking this gene were less susceptible to kainic acid-induced injury. More recently, we have shown that the complement component 3 gene (C3) is a downstream target of CCAAT/enhancer-binding protein β and it could be a mediator of the proinflammatory effects of this transcription factor in neural cells.[Methods] Adult male Wistar rats (8–12 weeks old) were used throughout the study. C/EBPβ+/+ and C/EBPβ–/– mice were generated from heterozygous breeding pairs. Animals were injected or not with kainic acid, brains removed, and brain slices containing the hippocampus analyzed for the expression of both CCAAT/enhancer-binding protein β and C3.[Results] In the present work, we have further extended these studies and show that CCAAT/enhancer-binding protein β and C3 co-express in the CA1 and CA3 regions of the hippocampus after an excitotoxic injury. Studies using CCAAT/enhancer-binding protein β knockout mice demonstrate a marked reduction in C3 expression after kainic acid injection in these animals, suggesting that indeed this protein is regulated by C/EBPβ in the hippocampus in vivo.[Conclusions] Altogether these results suggest that CCAAT/enhancer-binding protein β could regulate brain disorders, in which excitotoxic and inflammatory processes are involved, at least in part through the direct regulation of C3.This work was supported by MINECO, Grant SAF2014-52940-R and partially financed with FEDER funds. CIBERNED is funded by the Instituto de Salud Carlos III. JAM-G was supported by CIBERNED. We acknowledge support of the publication fee by the CSIC Open Access Publication Support Initiative through its Unit of Information Resources for Research (URICI).Peer reviewe