10 Years of research on debugging concurrent and multicore software: a systematic mapping study

Debugging—the process of identifying, localizing and fixing bugs—is a key activity in software development. Due to issues such as non-determinism and difficulties of reproducing failures, debugging concurrent software is significantly more challenging than debugging sequential software. A number of methods, models and tools for debugging concurrent and multicore software have been proposed, but the body of work partially lacks a common terminology and a more recent view of the problems to solve. This suggests the need for a classification, and an up-to-date comprehensive overview of the area. This paper presents the results of a systematic mapping study in the field of debugging of concurrent and multicore software in the last decade (2005–2014). The study is guided by two objectives: (1) to summarize the recent publication trends and (2) to clarify current research gaps in the field. Through a multi-stage selection process, we identified 145 relevant papers. Based on these, we summarize the publication trend in the field by showing distribution of publications with respect to year, publication venues, representation of academia and industry, and active research institutes. We also identify research gaps in the field based on attributes such as types of concurrency bugs, types of debugging processes, types of research and research contributions. The main observations from the study are that during the years 2005–2014: (1) there is no focal conference or venue to publish papers in this area; hence, a large variety of conferences and journal venues (90) are used to publish relevant papers in this area; (2) in terms of publication contribution, academia was more active in this area than industry; (3) most publications in the field address the data race bug; (4) bug identification is the most common stage of debugging addressed by articles in the period; (5) there are six types of research approaches found, with solution proposals being the most common one; and (6) the published papers essentially focus on four different types of contributions, with “methods” being the most common type. We can further conclude that there are still quite a number of aspects that are not sufficiently covered in the field, most notably including (1) exploring correction and fixing bugs in terms of debugging process; (2) order violation, suspension and starvation in terms of concurrency bugs; (3) validation and evaluation research in the matter of research type; (4) metric in terms of research contribution. It is clear that the concurrent, parallel and multicore software community needs broader studies in debugging. This systematic mapping study can help direct such efforts.     

A kinetic study of multi-walled carbon nanotube synthesis by catalytic chemical vapor deposition using a Fe-Co/Al2O3 catalyst

A kinetic study was performed to describe the initial specific rate of multi-walled carbon nanotube synthesis by catalytic chemical vapor deposition (CCVD) on a bimetallic cobalt-iron catalyst at high temperature using ethylene decomposition to solid carbon and gaseous hydrogen. The study uses a mass spectrometer that allows reaction rate to be inferred from the exhaust gas composition measurements. The aim is to obtain a better understanding of the elementary steps involved in the production of carbon nanotubes so as to derive phenomenological kinetic models in agreement with experimental data. The best models assume the elimination of the first hydrogen atom from adsorbed ethylene as rate determining step and involve a hydrogen adsorption weak enough to be neglected. It was proved that hydrogen partial pressure has no influence on initial reaction rate of carbon nanotube synthesis with the catalyst used for this study. Activation energy and ethylene adsorption enthalpy were found to be equal to around 130 and −130 kJ mol⁻¹, respectively.     

The Effect of Water on the Activity and Selectivity for γ-Alumina Supported Cobalt Fischer–Tropsch Catalysts with Different Pore Sizes

The effect of water on the activity and selectivity for a series of γ-Al₂O₃ supported cobalt Fischer–Tropsch catalysts has been studied in an isothermal fixed-bed reactor at T = 483 K, P = 20 bar, and H₂/CO = 2.1. The catalysts were produced applying incipient wetness impregnation and consisted of 20 wt.% cobalt and 0.5 wt.% rhenium deposited on γ-Al₂O₃ supports with different pore characteristics. For the narrow-pore catalysts, addition of water corresponding to an inlet partial pressure ratio of P_H2O/P_H2 = 0.4 reduced the reaction rates. In contrast, for a catalyst with larger pores the same water pressure increased the reaction rates. For all catalysts, water amounts equal to P_H2O/P_H2 = 0.7 at the reactor inlet suppressed the reaction rates and led to permanent deactivation. The addition of water increased the C₅₊ selectivity and decreased the CH₄ selectivity for all catalysts. The pore characteristics seem to determine the effect of water on the rates.     

Variation in host fruit volatiles attractive to apple maggot fly,Rhagoletis pomonella

We conducted a comparative study of volatiles produced by wholeCrataegus hawthorn fruit and four cultivars of apple (Royal Red Delicious, Red Astrachan, McIntosh, and Wealthy) and determined quantitative and qualitative changes of volatiles associated with fruit ripening. Within the approximate range of the GLC fraction known to elicit behavioral activity in the apple maggot fly,Rhagoletis pomonella (Walsh) (Diptera: Tephritidae), 52 esters were identified.     

A Low Temperature Route toward Hierarchically Structured Titania Films for Thin Hybrid Solar Cells

The requirement of high‐temperature calcination for titanium dioxide in (solid‐state) dye‐sensitized solar cells (DSSCs) implies challenges with respect to reduced energy consumption and the potential for flexible photovoltaic devices. Moreover, the use of dye molecules increases production costs and leads to problems related with dye bleaching. Therefore, fabrication of dye‐free hybrid solar cells at low temperature is a promising alternative for current DSSC technology. In this work the authors fabricate hierarchically structured titania thin films by combining a polystyrene‐block‐polyethylene oxide template assisted sol–gel synthesis with nano‐imprint lithography at low temperatures. The achieved films are filled with poly(3‐hexylthiophene) to form the active layer of hybrid solar cells. The surface morphology is probed via scanning electron microscopy and atomic force microscopy, and the bulk film morphology is examined with grazing incidence X‐ray scattering. Good light absorption by the active layer is proven by UV–vis spectroscopy. An enhancement in light absorption is observed and ascribed to light scattering in mesoporous titania films with imprinted superstructures. Accordingly a better photovoltaic performance is found for nano‐imprinted solar cells at various angles of light incidence.     

Antibiotic susceptibility testing of Bifidobacterium thermophilum and Bifidobacterium pseudolongum strains: broth microdilution vs. agar disc diffusion assay

There is urgent need for having available suitable methods and data regarding the susceptibility levels of antibiotic resistant and sensitive strains of bifidobacteria. Based on a defined standard operation procedure, agar disc diffusion and broth microdilution were compared in order to evaluate the antimicrobial susceptibility profiles of 82 B. pseudolongum and 80 B. thermophilum strains mainly originating from the meat production chain. The methods that were assessed showed interpretable agreement within this study. The disc diffusion zone diameters are highly reproducible making the method a useful alternative to broth microdilution for antimicrobial susceptibility screening of bifidobacteria.     

Chiral switching by spontaneous conformational change in adsorbed organic molecules

Self-assembly of adsorbed organic molecules is a promising route towards functional surface nano-architectures, and our understanding of associated dynamic processes has been significantly advanced by several scanning tunnelling microscopy (STM) investigations. Intramolecular degrees of freedom are widely accepted to influence ordering of complex adsorbates, but although molecular conformation has been identified and even manipulated by STM, the detailed dynamics of spontaneous conformational change in adsorbed molecules has hitherto not been addressed. Molecular surface structures often show important stereochemical effects as, aside from truly chiral molecules, a large class of so-called prochiral molecules become chiral once confined on a surface with an associated loss of symmetry. Here, we investigate a model system in which adsorbed molecules surprisingly switch between enantiomeric forms as they undergo thermally induced conformational changes. The associated kinetic parameters are quantified from time-resolved STM data whereas mechanistic insight is obtained from theoretical modelling. The chiral switching is demonstrated to enable an efficient channel towards formation of extended homochiral surface domains. Our results imply that appropriate prochiral molecules may be induced (for example, by seeding) to assume only one enantiomeric form in surface assemblies, which is of relevance for chiral amplification and asymmetric heterogenous catalysis.