Rapid codesign of a soft vector processor and its compiler

Despite a decade of activity in the development of soft vector processors for FPGAs, high-level language support remains thin. We attribute this problem to a design method in which the high-level vector programming interface is only really considered once the processor architecture has been perfected, by which point the designer may be committed to the timeconsuming development of a complicated compiler. In this paper, we present the codesign of a soft vector processor and a lightweight compiler, which together lift the level of abstraction for the programmer while allowing a rapid compiler implementation phase.We demonstrate the effectiveness of our approach on a range of applications from digital signal processing, neuroscience, and machine learning.This work is sponsored by EPSRC grant EP/G015783/1.This is the accepted manuscript version. The final version is available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6927425&tag=1. © IEEE 201

Do topical repellents divert mosquitoes within a community? Health equity implications of topical repellents as a mosquito bite prevention tool.

OBJECTIVES: Repellents do not kill mosquitoes--they simply reduce human-vector contact. Thus it is possible that individuals who do not use repellents but dwell close to repellent users experience more bites than otherwise. The objective of this study was to measure if diversion occurs from households that use repellents to those that do not use repellents. METHODS: The study was performed in three Tanzanian villages using 15%-DEET and placebo lotions. All households were given LLINs. Three coverage scenarios were investigated: complete coverage (all households were given 15%-DEET), incomplete coverage (80% of households were given 15%-DEET and 20% placebo) and no coverage (all households were given placebo). A crossover study design was used and coverage scenarios were rotated weekly over a period of ten weeks. The placebo lotion was randomly allocated to households in the incomplete coverage scenario. The level of compliance was reported to be close to 100%. Mosquito densities were measured through aspiration of resting mosquitoes. Data were analysed using negative binomial regression models. FINDINGS: Repellent-users had consistently fewer mosquitoes in their dwellings. In villages where everybody had been given 15%-DEET, resting mosquito densities were fewer than half that of households in the no coverage scenario (Incidence Rate Ratio [IRR]=0.39 (95% confidence interval [CI]: 0.25-0.60); p<0.001). Placebo-users living in a village where 80% of the households used 15%-DEET were likely to have over four-times more mosquitoes (IRR=4.17; 95% CI: 3.08-5.65; p<0.001) resting in their dwellings in comparison to households in a village where nobody uses repellent. CONCLUSIONS: There is evidence that high coverage of repellent use could significantly reduce man-vector contact but with incomplete coverage evidence suggests that mosquitoes are diverted from households that use repellent to those that do not. Therefore, if repellents are to be considered for vector control, strategies to maximise coverage are required

Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)

For over two-and-a-half decades, dating to the first widespread commercial deployment of the Internet, commodity processor architectures have failed to provide robust and secure foundations for communication and commerce. This is in large part due to the omission of architectural features allowing efficient implementation of the Principle of Least Privilege, which dictates that software runs only with the rights it requires to operate [19, 20]. Without this support, the impact of inevitable vulnerabilities is multiplied as successful attackers gain easy access to unnecessary rights – and often, all rights – in software systems

Role of Candida albicans Tem1 in mitotic exit and cytokinesis

Journal ArticleResearch Support, Non-U.S. Gov'tCopyright © 2014 Elsevier Inc. All rights reserved.Candida albicans demonstrates three main growth morphologies: yeast, pseudohyphal and true hyphal forms. Cell separation is distinct in these morphological forms and the process of separation is closely linked to the completion of mitosis and cytokinesis. In Saccharomyces cerevisiae the small GTPase Tem1 is known to initiate the mitotic exit network, a signalling pathway involved in signalling the end of mitosis and initiating cytokinesis and cell separation. Here we have characterised the role of Tem1 in C. albicans, and demonstrate that it is essential for mitotic exit and cytokinesis, and that this essential function is signalled through the kinase Cdc15. Cells depleted of Tem1 displayed highly polarised growth but ultimately failed to both complete cytokinesis and re-enter the cell cycle following nuclear division. Consistent with its role in activating the mitotic exit network Tem1 localises to spindle pole bodies in a cell cycle-dependent manner. Ultimately, the mitotic exit network in C. albicans appears to co-ordinate the sequential processes of mitotic exit, cytokinesis and cell separation.BBSR

Programming Model to Develop Supercomputer Combinatorial Solvers

© 2017 IEEE. Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop combinatorial solvers on massively-parallel machines with regular topologies. The model enables different challenges in the design and optimization of combinatorial solvers to be tackled independently (separation of concerns) while permitting problem-specific tuning and cross-layer optimization. In specific, the model decouples the issues of inter-node communication, n ode-level scheduling, problem mapping, mesh-level load balancing and expressing problem logic. We present an implementation of the model and use it to profile a Boolean satisfiability solver on simulated massively-parallel machines with different scales and topologies

Power Optimized Transceivers for Future Switched Networks

Network equipment power consumption is under increased scrutiny. To understand and decompose transceiver power consumption, we have created a toolkit incorporating a library of transceiver circuits in 45-nm CMOS and MOS current mode logic (MCML) and characterize power consumption using representative network traffic traces with digital synthesis and SPICE tools. Our toolkit includes all the components required to construct a library of different transceivers: line coding, frame alignment, channel bonding, serialization and deserialization, clock–data recovery, and clock generation. For optical transceivers, we show that photonic components and front end drivers only consume a small fraction (<22%) of total serial transceiver power. This implies that major reductions in optical transceiver power can only be obtained by paying attention to the physical layer circuits such as clock recovery and serial–parallel conversions. We propose a burst-mode physical layer protocol suitable for optically switched links that retains the beneficial transmission characteristics of 8b/10b, but, even without power gating and voltage controlled oscillator power optimization, reduces the power consumption during idle periods by 29% compared with a conventional 8b/10b transceiver. We have made the toolkit available to the community at large in the hope of stimulating work in this field

General hardware multicasting for fine-grained message-passing architectures

Manycore architectures are increasingly favouring message-passing or partitioned global address spaces (PGAS) over cache coherency for reasons of power efficiency and scalability. However, in the absence of cache coherency, there can be a lack of hardware support for one-to-many communication patterns, which are prevalent in some application domains. To address this, we present new hardware primitives for multicast communication in rack-scale manycore systems. These primitives guarantee delivery to both colocated and distributed destinations, and can capture large unstructured communication patterns precisely. As a result, reliable multicast transfers among any number of software tasks, connected in any topology, can be fully offloaded to hardware. We implement the new primitives in a research platform consisting of 50K RISC-V threads distributed over 48 FPGAs, and demonstrate significant performance benefits on a range of applications expressed using a high-level vertex-centric programming model