Safe Open-Nested Transactions Through Ownership

Researchers in transactional memory (TM) have proposed open nesting asa methodology for increasing the concurrency of a program. The ideais to ignore certain "low-level" memory operations of anopen-nested transaction when detecting conflicts for its parenttransaction, and instead perform abstract concurrency control for the"high-level" operation that nested transaction represents. Tosupport this methodology, TM systems use an open-nested commitmechanism that commits all changes performed by an open-nestedtransaction directly to memory, thereby avoiding low-levelconflicts. Unfortunately, because the TM runtime is unaware of thedifferent levels of memory, an unconstrained use of open-nestedcommits can lead to anomalous program behavior.In this paper, we describe a framework of ownership-awaretransactional memory which incorporates the notion of modules into theTM system and requires that transactions and data be associated withspecific transactional modules or Xmodules. We propose a newownership-aware commit mechanism, a hybrid between anopen-nested and closed-nested commit which commits a piece of datadifferently depending on whether the current Xmodule owns the data ornot. Moreover, we give a set of precise constraints on interactionsand sharing of data among the Xmodules based on familiar notions ofabstraction. We prove that ownership-aware TM has has cleanmemory-level semantics and can guarantee serializability bymodules, which is an adaptation of multilevel serializability fromdatabases to TM. In addition, we describe how a programmer canspecify Xmodules and ownership in a Java-like language. Our typesystem can enforce most of the constraints required by ownership-awareTM statically, and can enforce the remaining constraints dynamically.Finally, we prove that if transactions in the process of aborting obeyrestrictions on their memory footprint, the OAT model is free fromsemantic deadlock

High performance photonic microwave filters based on a 50GHz optical soliton crystal Kerr micro-comb

We demonstrate a photonic radio frequency (RF) transversal filter based on an integrated optical micro-comb source featuring a record low free spectral range of 49 GHz yielding 80 micro-comb lines across the C-band. This record-high number of taps, or wavelengths for the transversal filter results in significantly increased performance including a QRF factor more than four times higher than previous results. Further, by employing both positive and negative taps, an improved out-of-band rejection of up to 48.9 dB is demonstrated using Gaussian apodization, together with a tunable centre frequency covering the RF spectra range, with a widely tunable 3-dB bandwidth and versatile dynamically adjustable filter shapes. Our experimental results match well with theory, showing that our transversal filter is a competitive solution to implement advanced adaptive RF filters with broad operational bandwidths, high frequency selectivity, high reconfigurability, and potentially reduced cost and footprint. This approach is promising for applications in modern radar and communications systems.Comment: 19 pages, 12 figures, 107 reference

Signatures of Subacute Potentially Catastrophic Illness in the ICU: Model Development and Validation

Objectives: Patients in ICUs are susceptible to subacute potentially catastrophic illnesses such as respiratory failure, sepsis, and hemorrhage that present as severe derangements of vital signs. More subtle physiologic signatures may be present before clinical deterioration, when treatment might be more effective. We performed multivariate statistical analyses of bedside physiologic monitoring data to identify such early subclinical signatures of incipient life-threatening illness. Design: We report a study of model development and validation of a retrospective observational cohort using resampling (Transparent Reporting of a multivariable prediction model for Individual Prognosis Or Diagnosis type 1b internal validation) and a study of model validation using separate data (type 2b internal/external validation). Setting: University of Virginia Health System (Charlottesville), a tertiary-care, academic medical center. Patients: Critically ill patients consecutively admitted between January 2009 and June 2015 to either the neonatal, surgical/trauma/burn, or medical ICUs with available physiologic monitoring data. Interventions: None. Measurements and Main Results: We analyzed 146 patient-years of vital sign and electrocardiography waveform time series from the bedside monitors of 9,232 ICU admissions. Calculations from 30-minute windows of the physiologic monitoring data were made every 15 minutes. Clinicians identified 1,206 episodes of respiratory failure leading to urgent unplanned intubation, sepsis, or hemorrhage leading to multi-unit transfusions from systematic individual chart reviews. Multivariate models to predict events up to 24 hours prior had internally validated C-statistics of 0.61-0.88. In adults, physiologic signatures of respiratory failure and hemorrhage were distinct from each other but externally consistent across ICUs. Sepsis, on the other hand, demonstrated less distinct and inconsistent signatures. Physiologic signatures of all neonatal illnesses were similar. Conclusions: Subacute potentially catastrophic illnesses in three diverse ICU populations have physiologic signatures that are detectable in the hours preceding clinical detection and intervention. Detection of such signatures can draw attention to patients at highest risk, potentially enabling earlier intervention and better outcomes

PAR-3 defines a central subdomain of the cortical actin cap in mouse eggs

AbstractThe evolutionarily conserved partitioning defective (PAR) protein PAR-3 is pivotal for establishing and maintaining cell polarity. During mammalian oocyte maturation, the radially symmetric oocyte is transformed into a highly polarized metaphase II (MII)-arrested egg. We therefore examined several aspects of PAR-3 expression during oocyte maturation. We cloned two novel PAR-3 transcripts from an oocyte library that likely encode proteins of Mr = 73 K and 133 K that are phosphorylated during maturation. PAR-3, which is found throughout the GV-intact oocyte, becomes asymmetrically localized during meiosis. Following germinal vesicle breakdown, PAR-3 surrounds the condensing chromosomes and associates with the meiotic spindles. Prior to emission of the first and second polar bodies, PAR-3 is located within a central subdomain of the polarized actin cap, which overlies the spindle. This cortical PAR-3 localization depends on intact microfilaments. These results suggest a role for PAR-3 in establishing asymmetry in the egg and in defining the future site of polar body emission

Attenuation of Peak Ground Acceleration with Distance of the June 15, 1999, Tehuacán, México, Earthquake

A seismic event of moment magnitude 7.0 struck the central region of Mexico on June 15, 1999 at 15:41 hrs (local time) between the states of Puebla and Oaxaca. The epicenter of the earthquake was located approximately 20 km to the south-southeast of the town of Tehuacán, Puebla and 55 km to the northeast of Huajuapan de León, Oaxaca. A reconnaissance team consisting of a group of researchers from the University of California at Berkeley (UCB) and the Autonomous University of Mexico (UNAM) visited the area and gathered some preliminary information on the geotechnical aspects of this earthquake. This paper briefly presents some key geotechnical observations and then focuses on the attenuation of peak ground acceleration with distance. A total of 29 strong-motion recordings over a variety of geologic site conditions were compiled and used to develop the observed attenuation of the peak ground acceleration (PGA) with distance for the main event. The results obtained were compared with estimations of PGA using North American attenuation relationships

Quantum Cosmological Relational Model of Shape and Scale in 1-d

Relational particle models are useful toy models for quantum cosmology and the problem of time in quantum general relativity. This paper shows how to extend existing work on concrete examples of relational particle models in 1-d to include a notion of scale. This is useful as regards forming a tight analogy with quantum cosmology and the emergent semiclassical time and hidden time approaches to the problem of time. This paper shows furthermore that the correspondence between relational particle models and classical and quantum cosmology can be strengthened using judicious choices of the mechanical potential. This gives relational particle mechanics models with analogues of spatial curvature, cosmological constant, dust and radiation terms. A number of these models are then tractable at the quantum level. These models can be used to study important issues 1) in canonical quantum gravity: the problem of time, the semiclassical approach to it and timeless approaches to it (such as the naive Schrodinger interpretation and records theory). 2) In quantum cosmology, such as in the investigation of uniform states, robustness, and the qualitative understanding of the origin of structure formation.Comment: References and some more motivation adde