Automatic parallel code generation for message passing on distributed memory systems

The availability of a very accurate dependence graph for a scalar code is the basis for the automatic generation of an efficient parallel implementation. The strategy for this task which is encapsulated in a comprehensive data partitioning code generation algorithm is described. This algorithm involves the data partition, calculation of assignment ranges for partitioned arrays, addition of a comprehensive set of execution control masks, altering loop limits, addition and optimisation of communications for all data. In this context, the development and implementation of strategies to merge communications wherever possible has proved an important feature in producing efficient parallel implementations for numerical mesh based codes. The code generation strategies described here are embedded within the Computer Aided Parallelisation tools (CAPTools) software as a key part of a toolkit for automating as much as possible of the parallelisation process for mesh based numerical codes. The algorithms used enables parallelisation of real computational mechanics codes with only minor user interaction and without any prior manual customisation of the serial code to suit the parallelisation tool.

The recovery mechanism of platinum group metals from catalytic converters in spent automotive exhaust systems

The recovery of platinum group metals (PGMs) from catalytic converters of spent exhaust systems is considered in this paper. To be cost-effective, recovery processes must be well over 90% efficient and so the optimisation of their operation is vital. Effective optimisation requires a sound understanding of the operation and the underlying process mechanisms. This paper focuses on pyrometallurgical recovery operations used and typified by the Johnson–Matthey process. Analysis of this process reveals that it cannot be simply explained by the gravity model that is normally assumed. The analysis reveals that the affinity of PGM particles for the melted collector metal is a key factor in the behaviour of the process. A rational explanation of the key issues that govern the process behaviour is proposed and shown to be consistent with available operational data. The results generated would be applicable to other similar processes.

Collector-metal behaviour in the recovery of platinum-group metals from catalytic converters

A commercial pyrometallurgical process for the extraction of platinum-group metals (PGM) from a feedstock slag was analysed with the use of a model based on computational fluid dynamics. The results of the modelling indicate that recovery depends on the behaviour of the collector phase. A possible method is proposed for estimation of the rate at which PGM particles in slag are absorbed into an iron collector droplet that falls through it. Nanoscale modelling techniques (for particle migration or capture) are combined with a diffusion-controlled mass-transfer model to determine the iron collector droplet size needed for >95% PGM recovery in a typical process bath (70 mm deep) in a realistic time-scale (<1 h). The results show that an iron droplet having a diameter in the range 0.1–0.3 mm gives good recovery (>90%) within a reasonable time. This finding is compatible with published experimental data. Pyrometallurgical processes similar to that investigated should be applicable to other types of waste that contain low levels of potentially valuable metals.

CAPLib - A 'thin layer' message passing library to support computational mechanics codes on distributed memory parallel systems

The Computer Aided Parallelisation Tools (CAPTools) [Ierotheou, C, Johnson SP, Cross M, Leggett PF, Computer aided parallelisation tools (CAPTools)-conceptual overview and performance on the parallelisation of structured mesh codes, Parallel Computing, 1996;22:163±195] is a set of interactive tools aimed to provide automatic parallelisation of serial FORTRAN Computational Mechanics (CM) programs. CAPTools analyses the user's serial code and then through stages of array partitioning, mask and communication calculation, generates parallel SPMD (Single Program Multiple Data) messages passing FORTRAN. The parallel code generated by CAPTools contains calls to a collection of routines that form the CAPTools communications Library (CAPLib). The library provides a portable layer and user friendly abstraction over the underlying parallel environment. CAPLib contains optimised message passing routines for data exchange between parallel processes and other utility routines for parallel execution control, initialisation and debugging. By compiling and linking with different implementations of the library, the user is able to run on many different parallel environments. Even with today's parallel systems the concept of a single version of a parallel application code is more of an aspiration than a reality. However for CM codes the data partitioning SPMD paradigm requires a relatively small set of message-passing communication calls. This set can be implemented as an intermediate `thin layer' library of message-passing calls that enables the parallel code (especially that generated automatically by a parallelisation tool such as CAPTools) to be as generic as possible. CAPLib is just such a `thin layer' message passing library that supports parallel CM codes, by mapping generic calls onto machine specific libraries (such as CRAY SHMEM) and portable general purpose libraries (such as PVM an MPI). This paper describe CAPLib together with its three perceived advantages over other routes: - as a high level abstraction, it is both easy to understand (especially when generated automatically by tools) and to implement by hand, for the CM community (who are not generally parallel computing specialists); - the one parallel version of the application code is truly generic and portable; - the parallel application can readily utilise whatever message passing libraries on a given machine yield optimum performance.

Does the medium dictate the message? Cultivating communication in an asynchronous environment

Virtual learning environments (VLEs) are often perceived by education establishments as an opportunity to widen access without traditional overheads. An integral part of most VLEs is asynchronous computer conferencing and on-line moderators must help students migrate quickly to the new virtual environment to minimize learning disruption. This paper focuses on 21 new on-line moderators and reports their changing perceptions re their role and concerns, from their first appointment through to the end of the delivery of their first on-line course. The findings suggest that it is only after socialization occurs that information can be exchanged and lead to knowledge construction. These are supported by, and extend, prior research by Z Berge, R Mason, M Paulsen and G Salmon and are reinforced by empirical work with a further 19 new on-line moderators.

Identification and doing without it, V: A formal mathematical analysis for a case of mix-up of individuals, and of recovery from failure to attain identification

Identification, when sought, is not necessarily obtained. Operational guidance that is normatively acceptable may be necessary for such cases. We proceed to formalize and illustrate modes of exchanges of individual identity, and provide procedures of recovery strategies in specific prescriptions from an ancient body of law for such situations when, for given types of purposes, individuals of some relevant kind had become intermixed and were undistinguishable. Rules were devised, in a variety of domains, for coping with situations that occur if and when the goal of identification was frustrated. We propose or discuss mathematical representations of such recovery procedures.

Zone based systems design framework for the realisation of efficient block cipher based message authentication code algorithms

A zone based systems design framework is described and utilised in the implementation of a message authentication code (MAC) algorithm based on symmetric key block ciphers. The resulting block cipher based MAC algorithm may be used to provide assurance of the authenticity and, hence, the integrity of binary data. Using software simulation to benchmark against the de facto cipher block chaining MAC (CBC-MAC) variant used in the TinySec security protocol for wireless sensor networks and the NIST cipher block chaining MAC standard, CMAC; we show that our zone based systems design framework can lead to block cipher based MAC constructs that point to improvements in message processing efficiency, processing throughput and processing latency.

Recovery of Bacillus thuringiensis in vegetative form from the phylloplane of clover (Trifolium hybridum) during a growing season

Two media were developed which specifically allow the cultivation of Bacillus thuringiensis while it is in the vegetative as opposed to the spore form. Using these media B. thuringiensis was shown conclusively for the first time to exist in an active form on the phylloplane. The profile of its appearance in vegetative and spore form was followed over a growing season on clover (Trifolium hybridum) in the field. Three simultaneous and sudden rises and declines of both spore and vegetative cell densities were observed. The most common other spore-former on these leaves was Bacillus cereus but the fluctuations in appearance of these two very closely related species were not co-incident. Using specific PCR primers a considerable diversity of cry toxin gene types was found in isolates that had been recovered in vegetative form ([`]vegetative isolates') with the majority possessing multiple [delta]-endotoxin genes while some had only one of those tested. Bioassays against a lepidopteran insect of purified [delta]-endotoxins showed that they were no more potent than those from a laboratory-adapted strain. PCR primers for an internal region of the vip3A gene produced amplification in 70% of the vegetative isolates compared to 25% of the laboratory-adapted strains tested.