7,980 research outputs found

    TANDEM: taming failures in next-generation datacenters with emerging memory

    Get PDF
    The explosive growth of online services, leading to unforeseen scales, has made modern datacenters highly prone to failures. Taming these failures hinges on fast and correct recovery, minimizing service interruptions. Applications, owing to recovery, entail additional measures to maintain a recoverable state of data and computation logic during their failure-free execution. However, these precautionary measures have severe implications on performance, correctness, and programmability, making recovery incredibly challenging to realize in practice. Emerging memory, particularly non-volatile memory (NVM) and disaggregated memory (DM), offers a promising opportunity to achieve fast recovery with maximum performance. However, incorporating these technologies into datacenter architecture presents significant challenges; Their distinct architectural attributes, differing significantly from traditional memory devices, introduce new semantic challenges for implementing recovery, complicating correctness and programmability. Can emerging memory enable fast, performant, and correct recovery in the datacenter? This thesis aims to answer this question while addressing the associated challenges. When architecting datacenters with emerging memory, system architects face four key challenges: (1) how to guarantee correct semantics; (2) how to efficiently enforce correctness with optimal performance; (3) how to validate end-to-end correctness including recovery; and (4) how to preserve programmer productivity (Programmability). This thesis aims to address these challenges through the following approaches: (a) defining precise consistency models that formally specify correct end-to-end semantics in the presence of failures (consistency models also play a crucial role in programmability); (b) developing new low-level mechanisms to efficiently enforce the prescribed models given the capabilities of emerging memory; and (c) creating robust testing frameworks to validate end-to-end correctness and recovery. We start our exploration with non-volatile memory (NVM), which offers fast persistence capabilities directly accessible through the processor’s load-store (memory) interface. Notably, these capabilities can be leveraged to enable fast recovery for Log-Free Data Structures (LFDs) while maximizing performance. However, due to the complexity of modern cache hierarchies, data hardly persist in any specific order, jeop- ardizing recovery and correctness. Therefore, recovery needs primitives that explicitly control the order of updates to NVM (known as persistency models). We outline the precise specification of a novel persistency model – Release Persistency (RP) – that provides a consistency guarantee for LFDs on what remains in non-volatile memory upon failure. To efficiently enforce RP, we propose a novel microarchitecture mechanism, lazy release persistence (LRP). Using standard LFDs benchmarks, we show that LRP achieves fast recovery while incurring minimal overhead on performance. We continue our discussion with memory disaggregation which decouples memory from traditional monolithic servers, offering a promising pathway for achieving very high availability in replicated in-memory data stores. Achieving such availability hinges on transaction protocols that can efficiently handle recovery in this setting, where compute and memory are independent. However, there is a challenge: disaggregated memory (DM) fails to work with RPC-style protocols, mandating one-sided transaction protocols. Exacerbating the problem, one-sided transactions expose critical low-level ordering to architects, posing a threat to correctness. We present a highly available transaction protocol, Pandora, that is specifically designed to achieve fast recovery in disaggregated key-value stores (DKVSes). Pandora is the first one-sided transactional protocol that ensures correct, non-blocking, and fast recovery in DKVS. Our experimental implementation artifacts demonstrate that Pandora achieves fast recovery and high availability while causing minimal disruption to services. Finally, we introduce a novel target litmus-testing framework – DART – to validate the end-to-end correctness of transactional protocols with recovery. Using DART’s target testing capabilities, we have found several critical bugs in Pandora, highlighting the need for robust end-to-end testing methods in the design loop to iteratively fix correctness bugs. Crucially, DART is lightweight and black-box, thereby eliminating any intervention from the programmers

    Protecting Privacy in Indian Schools: Regulating AI-based Technologies' Design, Development and Deployment

    Get PDF
    Education is one of the priority areas for the Indian government, where Artificial Intelligence (AI) technologies are touted to bring digital transformation. Several Indian states have also started deploying facial recognition-enabled CCTV cameras, emotion recognition technologies, fingerprint scanners, and Radio frequency identification tags in their schools to provide personalised recommendations, ensure student security, and predict the drop-out rate of students but also provide 360-degree information of a student. Further, Integrating Aadhaar (digital identity card that works on biometric data) across AI technologies and learning and management systems (LMS) renders schools a ‘panopticon’. Certain technologies or systems like Aadhaar, CCTV cameras, GPS Systems, RFID tags, and learning management systems are used primarily for continuous data collection, storage, and retention purposes. Though they cannot be termed AI technologies per se, they are fundamental for designing and developing AI systems like facial, fingerprint, and emotion recognition technologies. The large amount of student data collected speedily through the former technologies is used to create an algorithm for the latter-stated AI systems. Once algorithms are processed using machine learning (ML) techniques, they learn correlations between multiple datasets predicting each student’s identity, decisions, grades, learning growth, tendency to drop out, and other behavioural characteristics. Such autonomous and repetitive collection, processing, storage, and retention of student data without effective data protection legislation endangers student privacy. The algorithmic predictions by AI technologies are an avatar of the data fed into the system. An AI technology is as good as the person collecting the data, processing it for a relevant and valuable output, and regularly evaluating the inputs going inside an AI model. An AI model can produce inaccurate predictions if the person overlooks any relevant data. However, the state, school administrations and parents’ belief in AI technologies as a panacea to student security and educational development overlooks the context in which ‘data practices’ are conducted. A right to privacy in an AI age is inextricably connected to data practices where data gets ‘cooked’. Thus, data protection legislation operating without understanding and regulating such data practices will remain ineffective in safeguarding privacy. The thesis undergoes interdisciplinary research that enables a better understanding of the interplay of data practices of AI technologies with social practices of an Indian school, which the present Indian data protection legislation overlooks, endangering students’ privacy from designing and developing to deploying stages of an AI model. The thesis recommends the Indian legislature frame better legislation equipped for the AI/ML age and the Indian judiciary on evaluating the legality and reasonability of designing, developing, and deploying such technologies in schools

    Maternal and newborn plasma oxytocin levels in response to maternal synthetic oxytocin administration during labour, birth and postpartum - a systematic review with implications for the function of the oxytocinergic system

    Get PDF
    BackgroundThe reproductive hormone oxytocin facilitates labour, birth and postpartum adaptations for women and newborns. Synthetic oxytocin is commonly given to induce or augment labour and to decrease postpartum bleeding.AimTo systematically review studies measuring plasma oxytocin levels in women and newborns following maternal administration of synthetic oxytocin during labour, birth and/or postpartum and to consider possible impacts on endogenous oxytocin and related systems.MethodsSystematic searches of PubMed, CINAHL, PsycInfo and Scopus databases followed PRISMA guidelines, including all peer-reviewed studies in languages understood by the authors. Thirty-five publications met inclusion criteria, including 1373 women and 148 newborns. Studies varied substantially in design and methodology, so classical meta-analysis was not possible. Therefore, results were categorized, analysed and summarised in text and tables.ResultsInfusions of synthetic oxytocin increased maternal plasma oxytocin levels dose-dependently; doubling the infusion rate approximately doubled oxytocin levels. Infusions below 10 milliunits per minute (mU/min) did not raise maternal oxytocin above the range observed in physiological labour. At high intrapartum infusion rates (up to 32 mU/min) maternal plasma oxytocin reached 2-3 times physiological levels.Postpartum synthetic oxytocin regimens used comparatively higher doses with shorter duration compared to labour, giving greater but transient maternal oxytocin elevations. Total postpartum dose was comparable to total intrapartum dose following vaginal birth, but post-caesarean dosages were higher.Newborn oxytocin levels were higher in the umbilical artery vs. umbilical vein, and both were higher than maternal plasma levels, implying substantial fetal oxytocin production in labour. Newborn oxytocin levels were not further elevated following maternal intrapartum synthetic oxytocin, suggesting that synthetic oxytocin at clinical doses does not cross from mother to fetus.ConclusionsSynthetic oxytocin infusion during labour increased maternal plasma oxytocin levels 2-3-fold at the highest doses and was not associated with neonatal plasma oxytocin elevations. Therefore, direct effects from synthetic oxytocin transfer to maternal brain or fetus are unlikely. However, infusions of synthetic oxytocin in labour change uterine contraction patterns. This may influence uterine blood flow and maternal autonomic nervous system activity, potentially harming the fetus and increasing maternal pain and stress

    PROBE3.0: A Systematic Framework for Design-Technology Pathfinding with Improved Design Enablement

    Full text link
    We propose a systematic framework to conduct design-technology pathfinding for PPAC in advanced nodes. Our goal is to provide configurable, scalable generation of process design kit (PDK) and standard-cell library, spanning key scaling boosters (backside PDN and buried power rail), to explore PPAC across given technology and design parameters. We build on PROBE2.0, which addressed only area and cost (AC), to include power and performance (PP) evaluations through automated generation of full design enablements. We also improve the use of artificial designs in the PPAC assessment of technology and design configurations. We generate more realistic artificial designs by applying a machine learning-based parameter tuning flow. We further employ clustering-based cell width-regularized placements at the core of routability assessment, enabling more realistic placement utilization and improved experimental efficiency. We demonstrate PPAC evaluation across scaling boosters and artificial designs in a predictive technology node.Comment: 14 pages, 17 figures, submitted to IEEE Trans. on CA

    Rid of me

    Get PDF

    Development of a sensor for microvibrations measurement in the AlbaSat CubeSat mission

    Get PDF
    openMicrovibrations on spacecraft represent an issue for payloads requiring high pointing accuracy and/or stability over time, and they might represent a particular concern for CubeSats and small satellites that, usually, are not equipped with very-high performance attitude control systems. Hence, collecting reliable measures of the vibration spectra during the operations of a CubeSat represents a significant research activity. This thesis presents the development of a sensor, configured as a payload within the AlbaSat mission, capable of accurately measuring the microvibrations in space, with particular focus on those produced by the Momentum Exchange Devices (MED), i.e., Reaction or Momentum Wheels, that represent one of the most important microvibrations sources. The thesis takes place in the framework of the AlbaSat mission. AlbaSat is a 2U CubeSat developed by a student team of the University of Padova under the “Fly Your Satellite! – Design Booster” programme promoted by the European Space Agency (ESA). The mission has four different objectives: (1) to collect measurements of the space debris environment in-situ, (2) to measure the microvibrations on board the CubeSat, (3) to precisely determine the position of the satellite through laser ranging and (4) to investigate alternative systems for possible Satellite Quantum Communication applications on nanosatellites. The requirements for the correct sizing of the sensor and the chosen physical and functional architecture are defined and presented in the thesis. A meticulous schedule for functional tests is finally outlined, aimed at verifying the correct functionality of the microvibration sensor. These tests serve as a starting point for the future development of the payload.Microvibrations on spacecraft represent an issue for payloads requiring high pointing accuracy and/or stability over time, and they might represent a particular concern for CubeSats and small satellites that, usually, are not equipped with very-high performance attitude control systems. Hence, collecting reliable measures of the vibration spectra during the operations of a CubeSat represents a significant research activity. This thesis presents the development of a sensor, configured as a payload within the AlbaSat mission, capable of accurately measuring the microvibrations in space, with particular focus on those produced by the Momentum Exchange Devices (MED), i.e., Reaction or Momentum Wheels, that represent one of the most important microvibrations sources. The thesis takes place in the framework of the AlbaSat mission. AlbaSat is a 2U CubeSat developed by a student team of the University of Padova under the “Fly Your Satellite! – Design Booster” programme promoted by the European Space Agency (ESA). The mission has four different objectives: (1) to collect measurements of the space debris environment in-situ, (2) to measure the microvibrations on board the CubeSat, (3) to precisely determine the position of the satellite through laser ranging and (4) to investigate alternative systems for possible Satellite Quantum Communication applications on nanosatellites. The requirements for the correct sizing of the sensor and the chosen physical and functional architecture are defined and presented in the thesis. A meticulous schedule for functional tests is finally outlined, aimed at verifying the correct functionality of the microvibration sensor. These tests serve as a starting point for the future development of the payload

    An intelligent magnetic tape controller

    Get PDF
    This thesis describes a system to allow a mass storage device to be installed in a position remote from the computer system which controls it. This system is intended to allow undergraduate students in the Electrical Engineering department at UCT to make use of two nine channel tape drives installed in the undergraduate interfaced to accessed by laboratory for project work. The drives are the department's PDP-11/23 computer, and may be standard operating system directives, as the controller simulates a conventional computer peripheral. The system consists of an SA-Bus based tape transport controller which interfaces to the host computer system via a serial line. The following hardware was designed and built specifically for this system : 1. A CPU card based on the in Tel 80188 microprocessor, incorporating high speed DMA (direct memory access) channels and two interrupt driven serial lines. 2. A timing and control module for the tape transports. This consists of two SA-Bus cards. Two sets of software were written for the system. These are the following : 1. Software to operate the tape controller. This consists of six modules written in Pascal-86 and 8086 assemblers. 2. Software to allow the PDP-11/23 to control the tape drives. This is in the. form of an RSX-11 device driver written in PDP-11 assembler. To allow the particular to proposed local system allow area highly modular form. to be easily the system to network) , the upgraded in the future (in be incorporated into UCT's software was written in an addition to being controlled by a host system in remote mode the tape controller also has the ability to perform a variety of operations in local mode. These include the ability to copy and erase tapes, as well as a comprehensive set of diagnostic functions. When in local operations mode the controller is menu driven, making its use by persons who are not familiar with it quick and easy

    Deeper Into the Knight: Exploring Deans Knight and Its Effects on the Canadian GAAR

    Get PDF
    This article discusses the most recent decision of the Supreme Court of Canada in Deans Knight Income Corporation v. Canada (2023) and explores its implications for the Canadian GAAR
    corecore