Interface and execution models in the fluke kernel

technical reportWe have defined and implemented a new kernel API that makes every exported operation either fully interruptible and restartable, thereby appearing atomic to the user. To achieve interruptibility, all possible states in which a thread may become blocked for a "long" time are completely representable as valid kernel API calls, without needing to retain any kerncl internal state

Astrophysical Supercomputing with GPUs: Critical Decisions for Early Adopters

General purpose computing on graphics processing units (GPGPU) is dramatically changing the landscape of high performance computing in astronomy. In this paper, we identify and investigate several key decision areas, with a goal of simplyfing the early adoption of GPGPU in astronomy. We consider the merits of OpenCL as an open standard in order to reduce risks associated with coding in a native, vendor-specific programming environment, and present a GPU programming philosophy based on using brute force solutions. We assert that effective use of new GPU-based supercomputing facilities will require a change in approach from astronomers. This will likely include improved programming training, an increased need for software development best-practice through the use of profiling and related optimisation tools, and a greater reliance on third-party code libraries. As with any new technology, those willing to take the risks, and make the investment of time and effort to become early adopters of GPGPU in astronomy, stand to reap great benefits.Comment: 13 pages, 5 figures, accepted for publication in PAS

Unleashing the Power of Distributed CPU/GPU Architectures: Massive Astronomical Data Analysis and Visualization case study

Upcoming and future astronomy research facilities will systematically generate terabyte-sized data sets moving astronomy into the Petascale data era. While such facilities will provide astronomers with unprecedented levels of accuracy and coverage, the increases in dataset size and dimensionality will pose serious computational challenges for many current astronomy data analysis and visualization tools. With such data sizes, even simple data analysis tasks (e.g. calculating a histogram or computing data minimum/maximum) may not be achievable without access to a supercomputing facility. To effectively handle such dataset sizes, which exceed today's single machine memory and processing limits, we present a framework that exploits the distributed power of GPUs and many-core CPUs, with a goal of providing data analysis and visualizing tasks as a service for astronomers. By mixing shared and distributed memory architectures, our framework effectively utilizes the underlying hardware infrastructure handling both batched and real-time data analysis and visualization tasks. Offering such functionality as a service in a "software as a service" manner will reduce the total cost of ownership, provide an easy to use tool to the wider astronomical community, and enable a more optimized utilization of the underlying hardware infrastructure.Comment: 4 Pages, 1 figures, To appear in the proceedings of ADASS XXI, ed. P.Ballester and D.Egret, ASP Conf. Serie

The flask security architecture: system support for diverse security policies

technical reportOperating systems must be flexible in their support for security policies, i.e., the operating system must provide sufficient mechanisms for supporting the wide variety of real-world security policies. Systems claiming to provide this support have failed to do so in two ways: they either fail to provide sufficient control over the propagation of access rights, or they fail to provide enforcement mechanisms to support fine-grained control and dynamic security policies. In this paper we present an operating systems security architecture that solves both of these problems. The first problem is solved by ensuring that the security policy (through a consistent replica) is consulted for every security decision. The second problem is solved through mechanisms that are directly integrated into the service-providing components of the system. The architecture is described through its prototype implementation in the Flask microkernel-based OS, and the policy flexibility of the prototype is evaluated. We present initial evidence that the architecture's performance impact is modest. Moreover, our architecture is applicable to many other types of operating systems and environments

Java operating systems: design and implementation

Journal ArticleLanguage-based extensible systems such as Java use type safety to provide memory safety in a single address space. Memory safety alone, however, is not sufficient to protect different applications from each other. such systems must support a process model that enables the control and management of computational resources. In particular, language-based extensible systems must support resource control mechanisms analogous to those in standard operating-systems. They must support the separation of processes and limit their use of resources, but still support safe and efficient interprocess communication

Fast Multipole Method for Gravitational Lensing: Application to High-magnification Quasar Microlensing

We introduce the use of the fast multipole method (FMM) to speed up gravitational lensing ray tracing calculations. The method allows very fast calculation of ray deflections when a large number of deflectors, N-*, are involved, while keeping rigorous control on the errors. In particular, we apply this method, in combination with the inverse polygon mapping (IPM) technique, to quasar microlensing to generate microlensing magnification maps with very high workloads (high magnification, large size, and/or high resolution) that require a very large number of deflectors. Using FMM-IPM, the computation time can be reduced by a factor of similar to 10(5) with respect to standard inverse ray shooting (IRS), making the use of this algorithm on a personal computer comparable to the use of standard IRS on GPUs. We also provide a flexible web interface for easy calculation of microlensing magnification maps using FMM-IPM (see https://gloton.ugr.es/microlensing/). We exemplify the power of this new method by applying it to some challenging interesting astrophysical scenarios, including clustered primordial black holes and extremely magnified stars close to the giant arcs of galaxy clusters. We also show the performance/use of FMM to calculate ray deflection for a halo resulting from cosmological simulations composed of a large number (N (sic) 10(7)) of elements.MCIN/AEI PID2020-118687GB-C33 PID2020-118687GB-C31Junta de Andalucia FQM-108, P20_00334 A-FQM-510-UGR20/FEDE

A variable point kernel dosimetry method for virtual reality simulation applications in nuclear safeguards and security

© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.This paper presents an algorithm to calculate gamma dose rates intended for virtual reality (VR) applications. It dynamically adapts the method to cope with both accuracy and time requirements. Given the real-time constraints imposed by VR applications, more accurate, but computationally intensive stochastic algorithms (e.g., Monte Carlo) are not suited to this task. On the opposite end, a Point Kernel (PK) method can be effective in some cases with as little as one point (mono PK) to define a source, in contrast with the millions of points that Monte Carlo computes. Simple mono PK codes may lack the desired accuracy in some circumstances, requiring a more detailed source representation. In this work, a novel method is presented which automatically estimates the appropriate level of detail for a source's volumetric representation, then generates a non-regular mesh model and subsequently computes the dose rate via a PK method, performing this three-step process in real time.This work was supported by the European Commission's Joint Research Centre Ph.D. grant program.Moltó Caracena, T.; Gonçalves, JGM.; Peerani, P.; Vendrell Vidal, E. (2013). A variable point kernel dosimetry method for virtual reality simulation applications in nuclear safeguards and security. IEEE Transactions on Nuclear Science. 60(5):3862-3871. doi:10.1109/TNS.2013.2279411S3862387160