From Reversible Semantics to Reversible Debugging

International audienceThis paper presents a line of research in reversible computing for concurrent systems. This line of research started in 2004 with the definition of the first reversible extensions for concurrent process calculi such as CCS, and is currently heading to the production of practical reversible debuggers for concurrent languages such as Erlang. Main questions that had to be answered during the research include the following. Which is the correct notion of reversibility for concurrent systems? Which history information needs to be stored? How to control the basic reversibility mechanism? How to exploit reversibility for debugging? How to apply reversible debugging to real languages

Micro ion beam analysis for the erosion of beryllium marker tiles in a tokamak limiter

Beryllium limiter marker tiles were exposed to plasma in the Joint European Torus to diagnose the erosion of main chamber wall materials. A limiter marker tile consists of a beryllium coating layer (7-9 mu m) on the top of bulk beryllium, with a nickel interlayer (2-3 mu m) between them. The thickness variation of the beryllium coating layer, after exposure to plasma, could indicate the erosion measured by ion beam analysis with backscattering spectrometry. However, interpretations from broad beam backscattering spectra were limited by the non-uniform surface structures. Therefore, micro-ion beam analysis (mu-IBA) with 3 MeV proton beam for Elastic back scattering spectrometry (EBS) and PIXE was used to scan samples. The spot size was in the range of 3-10 mu m. Scanned areas were analysed with scanning electron microscopy (SEM) as well. Combining results from mu-IBA and SEM, we obtained local spectra from carefully chosen areas on which the surface structures were relatively uniform. Local spectra suggested that the scanned area (approximate to 600 mu m x 1200 mu m) contained regions with serious erosion with only 2-3 mu m coating beryllium left, regions with intact marker tile, and droplets with 90% beryllium. The nonuniform erosion, droplets mainly formed by beryllium, and the possible mixture of beryllium and nickel were the major reasons that confused interpretation from broad beam EBS

Overview of the JET results

Since the installation of an ITER-like wall, the JET programme has focused on the consolidation of ITER design choices and the preparation for ITER operation, with a specific emphasis given to the bulk tungsten melt experiment, which has been crucial for the final decision on the material choice for the day-one tungsten divertor in ITER. Integrated scenarios have been progressed with the re-establishment of long-pulse, high-confinement H-modes by optimizing the magnetic configuration and the use of ICRH to avoid tungsten impurity accumulation. Stationary discharges with detached divertor conditions and small edge localized modes have been demonstrated by nitrogen seeding. The differences in confinement and pedestal behaviour before and after the ITER-like wall installation have been better characterized towards the development of high fusion yield scenarios in DT. Post-mortem analyses of the plasma-facing components have confirmed the previously reported low fuel retention obtained by gas balance and shown that the pattern of deposition within the divertor has changed significantly with respect to the JET carbon wall campaigns due to the absence of thermally activated chemical erosion of beryllium in contrast to carbon. Transport to remote areas is almost absent and two orders of magnitude less material is found in the divertor