Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Strategies for Energy-Efficient Resource Management of Hybrid Programming Models

Many scientific applications are programmed using hybrid programming models that use both message passing and shared memory, due to the increasing prevalence of large-scale systems with multicore, multisocket nodes. Previous work has shown that energy efficiency can be improved using software-controlled execution schemes that consider both the programming model and the power-aware execution capabilities of the system. However, such approaches have focused on identifying optimal resource utilization for one programming model, either shared memory or message passing, in isolation. The potential solution space, thus the challenge, increases substantially when optimizing hybrid models since the possible resource configurations increase exponentially. Nonetheless, with the accelerating adoption of hybrid programming models, we increasingly need improved energy efficiency in hybrid parallel applications on large-scale systems. In this work, we present new software-controlled execution schemes that consider the effects of dynamic concurrency throttling (DCT) and dynamic voltage and frequency scaling (DVFS) in the context of hybrid programming models. Specifically, we present predictive models and novel algorithms based on statistical analysis that anticipate application power and time requirements under different concurrency and frequency configurations. We apply our models and methods to the NPB MZ benchmarks and selected applications from the ASC Sequoia codes. Overall, we achieve substantial energy savings (8.74 percent on average and up to 13.8 percent) with some performance gain (up to 7.5 percent) or negligible performance loss.

Influence of the type of coarse lightweight aggregate on properties of Semi-Lightweight Self-Consolidating Concrete

This paper presents studies on the properties of fresh and hardened semilightweight self-consolidating concrete (SLWSCC) mixtures, produced with two types of manufactured coarse lightweight aggregates (LWA) and normal weight sand. The first type, a sintered pulverized fuel ash, was made from an industrial by-product, fly ash, whereas the second one, an expanded clay, was produced from a naturally sourced clay. For all mixtures, normal weight sand was used as a fine fraction of aggregates, and the portland cement was partially replaced with a limestone powder. The SLWSCC was produced with different water presaturation regimes of the LWAs. The desired initial slump-flow spread was set between 700 and 800 mm. The effect of three superplasticizers was evaluated by testing properties of SLWSCC, normal weight SCC, and paste mixtures. Three SCC fresh properties were measured: the slump-flow, the V-funnel flow time, and the J-ring blocking step. Moreover, the slump-flow loss was evaluated. The degree of segregation was assessed in both fresh and hardened states. Additionally, the hardened density and the compressive strengths were tested. All SLWSCC mixtures were produced with a desired range of slump-flow spread and with satisfactory passing ability assessed with the J-ring test. SLWSCCs prepared with the expanded clay LWA were less sensitive to the variation of water presaturation levels and showed lower viscosity than those made with the sintered pulverized fuel ash LWA. Only mixtures containing SP-3 superplasticizer showed acceptable workability loss resistance. The saturated surface-dry density of all of the mixtures varied in a range of 2,025–2,125??kg/m 3 . Mixtures containing 29% of coarse LWAs and 71% of sand (by mass) had 24-h and 28-day compressive strengths above 20 and 40 MPa, respectively, but the mixtures made with the expanded clay were slightly weaker.

Charge equilibrium of a laser-generated carbon-ion beam in warm dense matter

Using ion carbon beams generated by high intensity short pulse lasers we perform measurements of single shot mean charge equilibration in cold or isochorically heated solid density aluminum matter. We demonstrate that plasma effects in such matter heated up to 1 eV do not significantly impact the equilibration of carbon ions with energies 0.045-0.5 MeV/nucleon. Furthermore, these measurements allow for a first evaluation of semiempirical formulas or ab initio models that are being used to predict the mean of the equilibrium charge state distribution for light ions passing through warm dense matter.

Responding to desire to die statements from patients with advanced disease:recommendations for health professionals

It is not uncommon for patients with advanced incurable disease to express a desire to hasten their death. Health professionals often have difficulty responding to such statements, and find it challenging to ascertain why these statements are made. Health professionals may struggle to determine whether a 'desire to die' statement (DTDS) is about a request for hastened death, a sign of psychosocial distress, or merely a passing comment that is not intended to be heard literally as a death wish. Given the lack of guidelines to assist health professionals with this issue, we have prepared multidisciplinary recommendations for responding to a DTDS, underpinned by key principles of therapeutic communication and a systematic review of empirical literature. Where the relevant literature was lacking, the recommendations were drafted by the authors (clinicians and/ or academics from the following disciplines: nursing, medicine, psychiatry, psychology, sociology, aged care and theology), based on their expert opinion. Multiple drafts of the recommendations were circulated to the authors for refinement until consensus was reached. Strategies for advancing the evidence base for the maturation of guidelines in this area are offered.

Transcameral suture to prevent tube-corneal touch after glaucoma drainage device implantation: a new surgical technique

PURPOSE: To report a new technique to correct tube position in anterior chamber after glaucoma drainage device implantation.

PATIENT AND METHODS: A patient who underwent a glaucoma drainage device implantation was noted to have the tube touching the corneal endothelium. A 10/0 polypropylene suture with double-armed 3-inch long straight needle was placed transcamerally from limbus to limbus, in the superior part of the eye, passing the needle in front of the tube.

RESULTS: The position of the tube in the anterior chamber was corrected with optimal distance from corneal endothelium and iris surface. The position remained satisfactory after 20 months of follow-up.

CONCLUSIONS: The placement of a transcameral suture offers a safe, quick, and minimal invasive intervention for the correction of the position of a glaucoma drainage device tube in the anterior chamber.

Conjugate heat transfer and film cooling of a multi-stage cooling scheme

Cooling techniques play a key role in improving efficiency and power output of modern gas turbines. The conjugate technique of film and impingement cooling schemes is considered in this study. The Multi-Stage Cooling Scheme (MSCS) involves coolant passing from inside to outside turbine blade through two stages. The first stage; the coolant passes through first hole to internal gap where the impinging jet cools the external layer of the blade. Finally, the coolant passes through the internal gap to the second hole which has specific designed geometry for external film cooling. The effect of design parameters, such as, offset distance between two-stage holes, gap height, and inclination angle of the first hole, on upstream conjugate heat transfer rate and downstream film cooling effectiveness performance are investigated computationally. An Inconel 617 alloy with variable properties is selected for the solid material. The conjugate heat transfer and film cooling characteristics of MSCS are analyzed across blowing ratios of Br = 1 and 2 for density ratio, 2. This study presents upstream wall temperature distributions due to conjugate heat transfer for different gap design parameters. The maximum film cooling effectiveness with upstream conjugate heat transfer is less than adiabatic film cooling effectiveness by 24–34%. However, the full coverage of cooling effectiveness in spanwise direction can be obtained using internal cooling with conjugate heat transfer, whereas adiabatic film cooling effectiveness has narrow distribution.

Octavius 4D characterization for flattened and flattening filter free rotational deliveries

Purpose: In this study the Octavius detector 729 ionization chamber (IC) array with the Octavius 4D phantom was characterized for flattening filter (FF) and flattening filter free (FFF) static and rotational beams. The device was assessed for verification with FF and FFF RapidArc treatment plans.

Methods: The response of the detectors to field size, dose linearity, and dose rate were assessed for 6 MV FF beams and also 6 and 10 MV FFF beams. Dosimetric and mechanical accuracy of the detector array within the Octavius 4D rotational phantom was evaluated against measurements made using semiflex and pinpoint ionization chambers, and radiochromic film. Verification FF and FFF RapidArc plans were assessed using a gamma function with 3%/3 mm tolerances and 2%/2 mm tolerances and further analysis of these plans was undertaken using film and a second detector array with higher spatial resolution.

Results: A warm-up dose of >6 Gy was required for detector stability. Dose-rate measurements were stable across a range from 0.26 to 15 Gy/min and dose response was linear, although the device overestimated small doses compared with pinpoint ionization chamber measurements. Output factors agreed with ionization chamber measurements to within 0.6% for square fields of side between 3 and 25 cm and within 1.2% for 2 x 2 cm(2) fields. The Octavius 4D phantom was found to be consistent with measurements made with radiochromic film, where the gantry angle was found to be within 0.4. of that expected during rotational deliveries. RapidArc FF and FFF beams were found to have an accuracy of >97.9% and >90% of pixels passing 3%/3 mm and 2%/2 mm, respectively. Detector spatial resolution was observed to be a factor in determining the accurate delivery of each plan, particularly at steep dose gradients. This was confirmed using data from a second detector array with higher spatial resolution and with radiochromic film.

Conclusions: The Octavius 4D phantom with associated Octavius detector 729 ionization chamber array is a dosimetrically and mechanically stable device for pretreatment verification of FF and FFF RapidArc treatments. Further improvements may be possible through use of a detector array with higher spatial resolution (detector size and/or detector spacing). (C) 2013 American Association of Physicists in Medicine.

Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information

We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the adversary is malicious, controls a constant fraction of processors, and can view all messages in a round before sending out its own messages for that round. Furthermore, each bad processor may send an unlimited number of messages. The only constraint on the adversary is that it must choose its corrupt processors at the start, without knowledge of the processors’ private random bits.

A good quorum is a set of O(logn) processors, which contains a majority of good processors. In this paper, we give a synchronous algorithm which uses polylogarithmic time and Õ(vn) bits of communication per processor to bring all processors to agreement on a collection of n good quorums, solving Byzantine agreement as well. The collection is balanced in that no processor is in more than O(logn) quorums. This yields the first solution to Byzantine agreement which is both scalable and load-balanced in the full information model.

The technique which involves going from situation where slightly more than 1/2 fraction of processors are good and and agree on a short string with a constant fraction of random bits to a situation where all good processors agree on n good quorums can be done in a fully asynchronous model as well, providing an approach for extending the Byzantine agreement result to this model.

The lateritic profile of Balkouin, Burkina Faso: geochemistry, mineralogy and genesis

This study reports on the geochemical and mineralogical characterization of a lateritic profile cropping out in the Balkouin area, Central Burkina Faso, aimed at obtaining a better understanding of the processes responsible for the formation of the laterite itself and the constraints to its development. The lateritic profile rests on a Paleoproterozoic basement mostly composed of granodioritic rocks related to the Eburnean magmatic cycle passing upwards to saprolite and consists of four main composite horizons (bottom to top): kaolinite and clay-rich horizons, mottled laterite and iron-rich duricrust. In order to achieve such a goal, a multi-disciplinary analytical approach was adopted, which includes inductively coupled plasma (ICP) atomic emission and mass spectrometries (ICP-AES and ICP-MS respectively), X-ray powder diffraction (XRPD), scanning electron microscopy with energy dispersive spectrometry (SEM-EDS) and micro-Raman spectroscopy.

The geochemical data, and particularly the immobile elements distribution and REE patterns, show that the Balkouin laterite is the product of an in situ lateritization process that involved a strong depletion of the more soluble elements (K, Mg, Ca, Na, Rb, Sr and Ba) and an enrichment in Fe; Si was also removed, particularly in the uppermost horizons. All along the profile the change in composition is coupled with important changes in mineralogy. In particular, the saprolite is characterized by occurrence of abundant albitic plagioclase, quartz and nontronite; kaolinite is apparently absent. The transition to the overlying lateritic profile marks the breakdown of plagioclase and nontronite, thus allowing kaolinite to become one of the major components upwards, together with goethite and quartz. The upper part of the profile is strongly enriched in hematite (+ kaolinite). Ti oxides (at least in part as anatase) and apatite are typical accessory phases, while free aluminum hydroxides are notably absent. Mass change calculations emphasize the extent of the mass loss, which exceeds 50 wt% (and often 70 wt%) for almost all horizons; only Fe was significantly concentrated in the residual system.

The geochemical and mineralogical features suggest that the lateritic profile is the product of a continuous process that gradually developed from the bedrock upwards, in agreement with the Schellmann classic genetic model. The laterite formation must have occurred at low pH (? 4.5) and high Eh (? 0.4) values, i.e., under acidic and oxidizing environments, which allowed strongly selective leaching conditions. The lack of gibbsite and bohemite is in agreement with the compositional data: the occurrence of quartz (± amorphous silica) all along the profile was an inhibiting factor for the formation of free aluminum hydroxides.

Improvement in clinical step and shoot intensity modulated radiation therapy delivery accuracy on an integrated linear accelerator control system

Purpose: The dose delivery accuracy of 30 clinical step and shoot intensity modulated radiation therapy plans was investigated using the single integrated multileaf collimator controller of the Varian Truebeam linear accelerator (linac) (Varian Medical Systems, Palo Alto, CA) and compared with the dose delivery accuracy on a previous generation Varian 2100CD C-Series linac.

Methods and Materials: Ten prostate, 10 prostate and pelvic node, and 10 head-and-neck cases were investigated in this study. Dose delivery accuracy on each linac was assessed using Farmer ionization chamber point dose measurements, 2-dimensional planar ionization chamber array measurements, and the corresponding Varian dynamic log files. Absolute point dose measurements, fluence delivery accuracy, leaf position accuracy, and the overshoot effect were assessed for each plan.

Results: Absolute point dose delivery accuracy increased by 1.5% on the Truebeam compared with the 2100CD linac. No improvement in fluence delivery accuracy between the linacs, at a gamma criterion of 3%/3 mm was measured using the 2-dimensional ionization chamber array, with median (interquartile range) gamma passing rates of 98.99% (97.70%-99.72%) and 99.28% (98.26%-99.75%) for the Truebeam and 2100CD linacs, respectively. Varian log files also showed no improvement in fluence delivery between the linacs at 3%/3 mm, with median gamma passing rates of 99.97% (99.93%-99.99%) and 99.98% (99.94%-100%) for the Truebeam and 2100CD linacs, respectively. However, log files revealed improved leaf position accuracy and fluence delivery at 1%/1 mm criterion on the Truebeam (99.87%; 99.78%-99.94%) compared with the 2100CD linac (97.87%; 91.93%-99.49%). The overshoot effect, characterized on the 2100CD linac, was not observed on the Truebeam.

Conclusions: The integrated multileaf collimator controller on the Varian Truebeam improves clinical treatment delivery accuracy of step and shoot intensity modulated radiation therapy fields compared with delivery on a Varian C-series linac. © 2014.

Implementation of phantom-less IMRT delivery verification using Varian DynaLog files and R/V output

This study aims to evaluate the use of Varian radiotherapy dynamic treatment log (DynaLog) files to verify IMRT plan delivery as part of a routine quality assurance procedure. Delivery accuracy in terms of machine performance was quantified by multileaf collimator (MLC) position errors and fluence delivery accuracy for patients receiving intensity modulated radiation therapy (IMRT) treatment. The relationship between machine performance and plan complexity, quantified by the modulation complexity score (MCS) was also investigated. Actual MLC positions and delivered fraction of monitor units (MU), recorded every 50 ms during IMRT delivery, were extracted from the DynaLog files. The planned MLC positions and fractional MU were taken from the record and verify system MLC control file. Planned and delivered beam data were compared to determine leaf position errors with and without the overshoot effect. Analysis was also performed on planned and actual fluence maps reconstructed from the MLC control file and delivered treatment log files respectively. This analysis was performed for all treatment fractions for 5 prostate, 5 prostate and pelvic node (PPN) and 5 head and neck (H&N) IMRT plans, totalling 82 IMRT fields in ∼5500 DynaLog files. The root mean square (RMS) leaf position errors without the overshoot effect were 0.09, 0.26, 0.19 mm for the prostate, PPN and H&N plans respectively, which increased to 0.30, 0.39 and 0.30 mm when the overshoot effect was considered. Average errors were not affected by the overshoot effect and were 0.05, 0.13 and 0.17 mm for prostate, PPN and H&N plans respectively. The percentage of pixels passing fluence map gamma analysis at 3%/3 mm was 99.94 ± 0.25%, which reduced to 91.62 ± 11.39% at 1%/1 mm criterion. Leaf position errors, but not gamma passing rate, were directly related to plan complexity as determined by the MCS. Site specific confidence intervals for average leaf position errors were set at -0.03-0.12 mm for prostate and -0.02-0.28 mm for more complex PPN and H&N plans. For all treatment sites confidence intervals for RMS errors with the overshoot was set at 0-0.50 mm and for the percentage of pixels passing a gamma analysis at 1%/1 mm a confidence interval of 68.83% was set also for all treatment sites. This work demonstrates the successful implementation of treatment log files to validate IMRT deliveries and how dynamic log files can diagnose delivery errors not possible with phantom based QC. Machine performance was found to be directly related to plan complexity but this is not the dominant determinant of delivery accuracy.

Interferometer for Co-operating Target Motion Detection

A correlation interferometer working with a cooperation target operating at 2.2GHz center frequency is presented. This simplified interferometer presented here uses a
lock-in amplifier to significantly increase system sensitivity when used in conjunction with a co-operating target signaling using amplitude modulation. The system is verified by detecting the angular velocity of passing tagged target. Experimental results show detectable range up over 110 meters in a multipath environment using a 10dBm EIRP tag.

The European Convention on Human Rights Act 2003 – Ten Years On

The European Convention on Human Rights Act 2003 has now been in force in Ireland for ten years. This article analyses the Act itself and the impact which it has had on the Irish courts during the first decade of its operation. The use of the European Convention on Human Rights in the Irish courts prior to the enactment of the legislation is discussed, as are the reasons for the passing of the Act. The relationship between the Act and the Irish Constitution is examined, as is the jurisprudence of the Irish courts towards the interpretative obligation found in section 2(1), and the duty placed upon organs of the State by section 3(1). The article ends with a number of observations regarding the impact which the Act has had on the Irish courts at a more general level. Comparisons will be drawn with the UK’s Human Rights Act 1998 throughout the discussion.