Analysing the Performance of GPU Hash Tables for State Space Exploration

In the past few years, General Purpose Graphics Processors (GPUs) have been used to significantly speed up numerous applications. One of the areas in which GPUs have recently led to a significant speed-up is model checking. In model checking, state spaces, i.e., large directed graphs, are explored to verify whether models satisfy desirable properties. GPUexplore is a GPU-based model checker that uses a hash table to efficiently keep track of already explored states. As a large number of states is discovered and stored during such an exploration, the hash table should be able to quickly handle many inserts and queries concurrently. In this paper, we experimentally compare two different hash tables optimised for the GPU, one being the GPUexplore hash table, and the other using Cuckoo hashing. We compare the performance of both hash tables using random and non-random data obtained from model checking experiments, to analyse the applicability of the two hash tables for state space exploration. We conclude that Cuckoo hashing is three times faster than GPUexplore hashing for random data, and that Cuckoo hashing is five to nine times faster for non-random data. This suggests great potential to further speed up GPUexplore in the near future.Comment: In Proceedings GaM 2017, arXiv:1712.0834

Reflections on the scope and the future of Particle and Fibre Toxicology

Within 5 years of its first publication in December 2004, Particle and Fibre Toxicology has become a well recognized open access, peer-reviewed, online journal with an (unofficial) impact factor of 5.5. This major achievement is due to the dedication of former Editors-in-Chief Professors Ken Donaldson and Paul Borm, and, of course also due to the high quality of manuscripts that have been submitted by authors from all over the world. Recent years have shown a significant increase in papers dealing with nanomaterials and nanotoxicology, whilst the small margin between ambient PM exposure and current standards continues to provide a constant flow of manuscripts on this topic. This however, does not imply that we can relax now.</p

On the Scalability of the GPUexplore Explicit-State Model Checker

The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during development. GPUexplore is an explicit-state model checker that runs all its computations on the GPU. Over the years it has been extended with various techniques, and the possibilities to further improve its performance have been continuously investigated. In this paper, we discuss how the hash table of the tool works, which is at the heart of its functionality. We propose an alteration of the hash table that in isolated experiments seems promising, and analyse its effect when integrated in the tool. Furthermore, we investigate the current scalability of GPUexplore, by experimenting both with input models of varying sizes and running the tool on one of the latest GPUs of NVIDIA.Comment: In Proceedings GaM 2017, arXiv:1712.0834

Editorial: dose-dependent ZnO particle-induced acute phase response in humans warrants re-evaluation of occupational exposure limits for metal oxides

Epidemiological studies link inhalation of particles to increased risk of cardiovascular disease. Inhaled particles may induce cardiovascular disease by several different mechanisms including translocation of particles to systemic circulation, activation of airway sensory nerves resulting in autonomic imbalance and particle-induced pulmonary inflammation and acute phase response.The acute phase response is the systemic response to acute and chronic inflammatory states caused by for example bacterial infection, virus infection, trauma and infarction. It is characterized by differential expression of ca. 50 different acute phase proteins including C-reactive protein and Serum amyloid A, which are the most differentially up-regulated acute phase response proteins. Blood levels of these two acute phase proteins are closely associated with risk of cardiovascular disease in epidemiological studies and SAA has been causally related to the formation of plaques in the aorta in animal studies.In a recent paper in Particle and Fibre Toxicology, Christian Monsé et al. provide evidence that inhalation of ZnO nanoparticles induces dose-dependent acute phase response in humans at dose levels well below the current mass-based occupational exposure limits in a number of countries including Germany, The Netherlands, UK, Sweden, Denmark and the US.Given the evidence suggesting a causal relationship between increased levels of serum amyloid A and atherosclerosis, the current results call for a re-evaluation of occupational exposure limits for a number of particle exposures including ZnO taking induction of acute phase response into account. Furthermore, it underscores cardiovascular disease as an occupational disease

A new approach to design safe CNTs with an understanding of redox potential

BACKGROUND: Carbon nanotubes (CNTs) are being increasingly industrialized and applied for various products. As of today, although several toxicological evaluations of CNTs have been conducted, designing safer CNTs is not practiced because reaction kinetics of CNTs with bioactive species is not fully understood. RESULTS: The authors propose a kinetic mechanism to establish designing safe CNTs as a new goal. According to a literature search on the behavior of CNTs and the effects of impurities, it is found that chemical reactions on CNT surface are attributed to redox reactions involving metal impurities and carbon structures at the CNT surface. CONCLUSION: A new goal is proposed to design safer CNTs using the redox potential hypothesis. The value of this hypothesis must be practically investigated and proven through the further experiments

Toxicology of chemical mixtures: international perspective.

This paper reviews major activities outside the United States on human health issues related to chemical mixtures. In Europe an international study group on combination effects has been formed and has started by defining synergism and antagonism. Successful research programs in Europe include the development and application of statistically designed experiments combined with multivariate data analysis and modeling in vitro and in vivo studies on a wide variety of chemicals such as petroleum hydrocarbons, aldehydes, food contaminants, industrial solvents, and mycotoxins. Other major activities focus on the development of safety evaluation strategies for mixtures such as the use of toxic equivalence factors or alternatives such as the question-and-answer approach, fractionation followed by recombination of the mixture in combination with a mixture design, and quantitative structure-activity relationship analysis combined with lumping analysis and physiologically based pharmacokinetic/pharmacodynamic modeling for studying complex mixtures. A scheme for hazard identification and risk assessment of complex mixtures and a consistent way to generate total volatile organic compound values for indoor air have also been developed. Examples of other activities are carcinogenicity studies on complex mixtures (petroleum middle distillates, foundry fumes, pesticides, heterocyclic amines, diesel exhaust, solid particles), neurotoxicity studies of mixtures of solvents alone or in combination with exposure to physical factors, and toxicity studies of outdoor air pollutants, focusing on particulates. Outside the United States, toxicologists and regulators clearly have a growing interest in the toxicology and risk assessment of chemical mixtures

The biological effects of subacute inhalation of diesel exhaust following addition of cerium oxide nanoparticles in atherosclerosis-prone mice

AbstractBackgroundCerium oxide (CeO2) nanoparticles improve the burning efficiency of fuel, however, little is known about health impacts of altered emissions from the vehicles.MethodsAtherosclerosis-prone apolipoprotein E knockout (ApoE−/−) mice were exposed by inhalation to diluted exhaust (1.7mg/m3, 20, 60 or 180min, 5 day/week, for 4 weeks), from an engine using standard diesel fuel (DE) or the same diesel fuel containing 9ppm cerium oxide nanoparticles (DCeE). Changes in hematological indices, clinical chemistry, atherosclerotic burden, tissue levels of inflammatory cytokines and pathology of the major organs were assessed.ResultsAddition of CeO2 to fuel resulted in a reduction of the number (30%) and surface area (10%) of the particles in the exhaust, whereas the gaseous co-pollutants were increased (6–8%). There was, however, a trend towards an increased size and complexity of the atherosclerotic plaques following DE exposure, which was not evident in the DCeE group. There were no clear signs of altered hematological or pathological changes induced by either treatment. However, levels of proinflammatory cytokines were modulated in a brain region and liver following DCeE exposure.ConclusionsThese results imply that addition of CeO2 nanoparticles to fuel decreases the number of particles in exhaust and may reduce atherosclerotic burden associated with exposure to standard diesel fuel. From the extensive assessment of biological parameters performed, the only concerning effect of cerium addition was a slightly raised level of cytokines in a region of the central nervous system. Overall, the use of cerium as a fuel additive may be a potentially useful way to limit the health effects of vehicle exhaust. However, further testing is required to ensure that such an approach is not associated with a chronic inflammatory response which may eventually cause long-term health effects