A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs.Comment: - Submitted for review - Removed section 6 "Research Roadmap for Debuggers", its content was summarized in the Future Work section - Added references for section 1, section 3, section 4.3 and section 5.1 - Updated citation

Internal and external cooling methods and their effect on body temperature, thermal perception and dexterity

© 2018 The Authors. Published by PLOS. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1371/journal.pone.0191416© 2018 Maley et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Objective The present study aimed to compare a range of cooling methods possibly utilised by occupational workers, focusing on their effect on body temperature, perception and manual dexterity. Methods Ten male participants completed eight trials involving 30 min of seated rest followed by 30 min of cooling or control of no cooling (CON) (34C, 58% relative humidity). The cooling methods utilised were: ice cooling vest (CV0), phase change cooling vest melting at 14C (CV14), evaporative cooling vest (CVEV), arm immersion in 10C water (AI), portable water-perfused suit (WPS), heliox inhalation (HE) and ice slushy ingestion (SL). Immediately before and after cooling, participants were assessed for fine (Purdue pegboard task) and gross (grip and pinch strength) manual dexterity. Rectal and skin temperature, as well as thermal sensation and comfort, were monitored throughout. Results Compared with CON, SL was the only method to reduce rectal temperature (P = 0.012). All externally applied cooling methods reduced skin temperature (P0.05). Conclusion The present study observed that ice ingestion or ice applied to the skin produced the greatest effect on rectal and skin temperature, respectively. AI should not be utilised if workers require subsequent fine manual dexterity. These results will help inform future studies investigating appropriate pre-cooling methods for the occupational worker.This project is financially supported by the US Government through the Technical Support Working Group within the Combating Terrorism Technical Support Office.Published versio

Time-Delay Interferometry

Equal-arm interferometric detectors of gravitational radiation allow phase measurements many orders of magnitude below the intrinsic phase stability of the laser injecting light into their arms. This is because the noise in the laser light is common to both arms, experiencing exactly the same delay, and thus cancels when it is differenced at the photo detector. In this situation, much lower level secondary noises then set overall performance. If, however, the two arms have different lengths (as will necessarily be the case with space-borne interferometers), the laser noise experiences different delays in the two arms and will hence not directly cancel at the detector. In order to solve this problem, a technique involving heterodyne interferometry with unequal arm lengths and independent phase-difference readouts has been proposed. It relies on properly time-shifting and linearly combining independent Doppler measurements, and for this reason it has been called Time-Delay Interferometry (or TDI). This article provides an overview of the theory and mathematical foundations of TDI as it will be implemented by the forthcoming space-based interferometers such as the Laser Interferometer Space Antenna (LISA) mission. We have purposely left out from this first version of our ``Living Review'' article on TDI all the results of more practical and experimental nature, as well as all the aspects of TDI that the data analysts will need to account for when analyzing the LISA TDI data combinations. Our forthcoming ``second edition'' of this review paper will include these topics.Comment: 51 pages, 11 figures. To appear in: Living Reviews. Added conten

Precision Measurement of the Newtonian Gravitational Constant Using Cold Atoms

About 300 experiments have tried to determine the value of the Newtonian gravitational constant, G, so far, but large discrepancies in the results have made it impossible to know its value precisely. The weakness of the gravitational interaction and the impossibility of shielding the effects of gravity make it very difficult to measure G while keeping systematic effects under control. Most previous experiments performed were based on the torsion pendulum or torsion balance scheme as in the experiment by Cavendish in 1798, and in all cases macroscopic masses were used. Here we report the precise determination of G using laser-cooled atoms and quantum interferometry. We obtain the value G=6.67191(99) x 10^(-11) m^3 kg^(-1) s^(-2) with a relative uncertainty of 150 parts per million (the combined standard uncertainty is given in parentheses). Our value differs by 1.5 combined standard deviations from the current recommended value of the Committee on Data for Science and Technology. A conceptually different experiment such as ours helps to identify the systematic errors that have proved elusive in previous experiments, thus improving the confidence in the value of G. There is no definitive relationship between G and the other fundamental constants, and there is no theoretical prediction for its value, against which to test experimental results. Improving the precision with which we know G has not only a pure metrological interest, but is also important because of the key role that G has in theories of gravitation, cosmology, particle physics and astrophysics and in geophysical models.Comment: 3 figures, 1 tabl

Risk factors for Hodgkin's disease by Epstein-Barr virus (EBV) status: prior infection by EBV and other agents

A UK population-based case–control study of Hodgkin's disease (HD) in young adults (16–24 years) included 118 cases and 237 controls matched on year of birth, gender and county of residence. The majority (103) of the cases were classified by Epstein–Barr virus (EBV) status (EBV present in Reed–Stenberg cells), with 19 being EBV-positive. Analyses using conditional logistic regression are presented of subject reports of prior infectious disease (infectious mononucleosis (IM), chicken pox, measles, mumps, pertussis and rubella). In these analyses HD cases are compared with matched controls, EBV-positive cases and EBV-negative cases are compared separately with their controls and formal tests of differences of association by EBV status are applied. A prior history of IM was positively associated with HD (odds ratio (OR) = 2.43, 95% confidence interval (CI) = 1.10–5.33) and with EBV-positive HD (OR = 9.16, 95% CI = 1.07–78.31) and the difference between EBV-positive and EBV-negative HD was statistically significant (P = 0.013). The remaining infectious illnesses (combined) were negatively associated with HD, EBV-positive HD and EBV-negative HD (in the total series, for ≥2 episodes compared with ≤1, OR = 0.45, 95% CI = 0.25–0.83). These results support previous evidence that early exposure to infection protects against HD and that IM increases subsequent risk; the comparisons of EBV-positive and EBV-negative HD are new and generate hypotheses for further study. © 2000 Cancer ResearchCampaig

Spatially Explicit Data: Stewardship and Ethical Challenges in Science

Scholarly communication is at an unprecedented turning point created in part by the increasing saliency of data stewardship and data sharing. Formal data management plans represent a new emphasis in research, enabling access to data at higher volumes and more quickly, and the potential for replication and augmentation of existing research. Data sharing has recently transformed the practice, scope, content, and applicability of research in several disciplines, in particular in relation to spatially specific data. This lends exciting potentiality, but the most effective ways in which to implement such changes, particularly for disciplines involving human subjects and other sensitive information, demand consideration. Data management plans, stewardship, and sharing, impart distinctive technical, sociological, and ethical challenges that remain to be adequately identified and remedied. Here, we consider these and propose potential solutions for their amelioration

Lung Cancer Risk after Exposure to Polycyclic Aromatic Hydrocarbons: A Review and Meta-Analysis

Typical polycyclic aromatic hydrocarbon mixtures are established lung carcinogens, but the quantitative exposure–response relationship is less clear. To clarify this relationship we conducted a review and meta-analysis of published reports of occupational epidemiologic studies. Thirty-nine cohorts were included. The average estimated unit relative risk (URR) at 100 μg/m(3) years benzo[a]pyrene was 1.20 [95% confidence interval (CI), 1.11–1.29] and was not sensitive to particular studies or analytic methods. However, the URR varied by industry. The estimated means in coke ovens, gasworks, and aluminum production works were similar (1.15–1.17). Average URRs in other industries were higher but imprecisely estimated, with those for asphalt (17.5; CI, 4.21–72.78) and chimney sweeps (16.2; CI, 1.64–160.7) significantly higher than the three above. There was no statistically significant variation of URRs within industry or in relation to study design (including whether adjusted for smoking), or source of exposure information. Limited information on total dust exposure did not suggest that dust exposure was an important confounder or modified the effect. These results provide a more secure basis for risk assessment than was previously available

Paediatric referrals in rural Tanzania: the Kilombero District Study – a case series

BACKGROUND: Referral is a critical part of appropriate primary care and of the Integrated Management of Childhood Illness (IMCI) strategy. We set out to study referrals from the aspect both of primary level facilities and the referral hospital in Kilombero District, southern Tanzania. Through record review and a separate prospective study we estimate referral rates, report on delays in reaching referral care and summarise the appropriateness of pediatric referral cases in terms of admission to the pediatric ward at a district hospital METHODS: A sample of patient records from primary level government health facilities throughout 1993 were summarised by age, diagnosis, whether a new case or a reattendance, and whether or not they were referred. From August 1994 to July 1995, mothers or carers of all sick children less than five years old attending the Maternal and Child Health (MCH) clinic or outpatient department (OPD) of SFDDH were interviewed using a standard questionnaire recording age, sex, diagnosis, place of residence, whether the child was admitted to the paediatric ward, and whether the child was referred. RESULTS: From record review, only 0.6% of children from primary level government facilities were referred to a higher level of care. At the referral hospital, 7.8 cases per thousand under five catchment population had been referred annually. The hospital MCH clinic and OPD were generally used by children who lived nearby: 91% (n = 7,166) of sick children and 75% (n = 607) of admissions came from within 10 km. Of 235 referred children, the majority (62%) had come from dispensaries. Almost half of the referrals (48%) took 2 or more days to arrive at the hospital. Severe malaria and anaemia were the leading diagnoses in referred children, together accounting for a total of 70% of all the referrals. Most referred children (167/235, 71%) were admitted to the hospital paediatric ward. CONCLUSIONS: The high admission rate among referrals suggests that the decision to refer is generally appropriate, but the low referral rate suggests that too few children are referred. Our findings suggest that the IMCI strategy may need to be adapted in sparsely-populated areas with limited transport, so that more children may be managed at peripheral level and fewer children need referral