Software development support for DiRAC
Lead Research Organisation:
University of Edinburgh
Department Name: Sch of Physics and Astronomy
Abstract
We propose to partially mitigate the shortfall in projected DiRAC computing resources over the next year, arising from the delay to DiRAC-3, by continuing a code optimisation effort to accelerate DiRAC's scientific codes on current architectures, and which will also give a sustained long term benefit to scientific throughput on future machines. The effort will be used to provide profiling, benchmarking and optimisation services to maximise scientific return from the DiRAC by ensuring the most efficient use of computing resources possible. This represents continuation of a successful first year of such effort supported by the DiRAC Technical Working Group grant and with additional support from the University of Edinburgh. The first year of effort focused on the representation of the DiRAC workload as benchmarks to assess future supercomputing needs, and there have been significant benefits to the community arising from this activity. These included discovering vectorisation, caching optimisation, and MPI parallelisation strategies for codes of the VIRGO, UKQCD, UKMHD and Planck cosmology collaborations as examples.
DiRAC contains some areas of key international strength in high performance software engineering. DiRAC's expertise has been the foundation upon which the Alan Turing Institute has secured an internationally unique strategic partnership with Intel's HPC architecture group. There is an good opportunity for STFC to enable the rest of the DiRAC community to exploit the knowledge base.
DiRAC contains some areas of key international strength in high performance software engineering. DiRAC's expertise has been the foundation upon which the Alan Turing Institute has secured an internationally unique strategic partnership with Intel's HPC architecture group. There is an good opportunity for STFC to enable the rest of the DiRAC community to exploit the knowledge base.
Planned Impact
The proposed work will disseminate best practice in High Performance Computing software engineering throughout the theoretical Particle Physics, Astronomy and Nuclear physics communities in the UK. This will encourage the development of skills in the research community that are highly transferrable to the computations required for simulations in advanced manufacturing and computer aided design. Some level of the young researchers in the community leave academia each year as a natural part of the turnover that occurs in university sector research, especially given the limited number of research positions. The transfer of a portion of the research communities to other jobs carrying these skills is a key element that feeds UK industry from the space and satellite sector, through hard engineering and the financial sectors.
The DIRAC project has close ties with the highest levels of research and development in the computing industry. We designed a key component on the IBM BlueGene/Q system, as part of a unique Academic-Industrial joint project with IBM Watson Laboratory. The design has powered leading scientific computing installations around the world, from laboratories in the USA, Japan, Italy and Germany to our own national Hartree centre.
More recently DiRAC has been competitively awarded three Intel Parallel Computing Centres, won several international supercomputing awards, and developed a close codesign project with Intel on future HPC architectures. This latter effort promises the ability to influence a vast swathe of modern computing over the next five years. Such improvements in computing would impact all consumers of computional hardware, and in particular those doing numerical simulation such as the advanced manufacturing sector (e.g. Rolls Royce, BAE, Mclaren, Shell, Jaguar Land Rover), in addition to much of academic research in the physical sciences.
The Intel-Alan Turing Institute strategic partnership, with an HPC architecture team embedded in the ATI is built on this foundation of a deep collaboration with theoretical particle physicists. DiRAC's technical director is the codesign leader for the ATI and will transfer DiRAC's best practice codesign techniques to a number of other subject domains covering HPC and Data Science.
The Alan Turing Insitute, with DiRAC's codesign leader playing a central role is actively engaging with external partners, such as Intel, the MET office, Shell, and even Mclaren Racing, propagating vectorisation techniques developed in QCD codes to the important area of Finite Elements Modelling.
The present proposal provides resources for the theoretical particle physics, astronomy and nuclear physics communities to interact with the codesign knowledge centre. The opportunity to influence with sensible engineering decisions that optimise codes for products and products for codes is real. One example is a recurring element of computer architecture involves the tradeoff between throughput and accuracy of vectorised reciprocal square root instructions. These are a key element of the inverse square law that dominates the gravitational element of astronomy simulations. We have the opportunity to give definitive statements about the right balance to Intel.
Similarly we hope to provide useful information on the requirements for data motion, from the complexities of cache organisation and algorithms to interconnect requirements. Nowhere is this more pressing than addressing the enormous challenges presented by the Square Kilometre Array, perhaps a leading Big Data problem in the near future of scientific endeavour.
Our work can also lead to cross fertilisation into the nascent fields of machine learning and data science through the Alan Turing Institute.
The DIRAC project has close ties with the highest levels of research and development in the computing industry. We designed a key component on the IBM BlueGene/Q system, as part of a unique Academic-Industrial joint project with IBM Watson Laboratory. The design has powered leading scientific computing installations around the world, from laboratories in the USA, Japan, Italy and Germany to our own national Hartree centre.
More recently DiRAC has been competitively awarded three Intel Parallel Computing Centres, won several international supercomputing awards, and developed a close codesign project with Intel on future HPC architectures. This latter effort promises the ability to influence a vast swathe of modern computing over the next five years. Such improvements in computing would impact all consumers of computional hardware, and in particular those doing numerical simulation such as the advanced manufacturing sector (e.g. Rolls Royce, BAE, Mclaren, Shell, Jaguar Land Rover), in addition to much of academic research in the physical sciences.
The Intel-Alan Turing Institute strategic partnership, with an HPC architecture team embedded in the ATI is built on this foundation of a deep collaboration with theoretical particle physicists. DiRAC's technical director is the codesign leader for the ATI and will transfer DiRAC's best practice codesign techniques to a number of other subject domains covering HPC and Data Science.
The Alan Turing Insitute, with DiRAC's codesign leader playing a central role is actively engaging with external partners, such as Intel, the MET office, Shell, and even Mclaren Racing, propagating vectorisation techniques developed in QCD codes to the important area of Finite Elements Modelling.
The present proposal provides resources for the theoretical particle physics, astronomy and nuclear physics communities to interact with the codesign knowledge centre. The opportunity to influence with sensible engineering decisions that optimise codes for products and products for codes is real. One example is a recurring element of computer architecture involves the tradeoff between throughput and accuracy of vectorised reciprocal square root instructions. These are a key element of the inverse square law that dominates the gravitational element of astronomy simulations. We have the opportunity to give definitive statements about the right balance to Intel.
Similarly we hope to provide useful information on the requirements for data motion, from the complexities of cache organisation and algorithms to interconnect requirements. Nowhere is this more pressing than addressing the enormous challenges presented by the Square Kilometre Array, perhaps a leading Big Data problem in the near future of scientific endeavour.
Our work can also lead to cross fertilisation into the nascent fields of machine learning and data science through the Alan Turing Institute.
Publications
Pedersen C
(2020)
Massive neutrinos and degeneracies in Lyman-alpha forest simulations
in Journal of Cosmology and Astroparticle Physics
Srinivasan S
(2021)
Cosmological gravity on all scales. Part II. Model independent modified gravity N-body simulations
in Journal of Cosmology and Astroparticle Physics
Givans J
(2022)
Non-linearities in the Lyman-a forest and in its cross-correlation with dark matter halos
in Journal of Cosmology and Astroparticle Physics
Heinesen A
(2022)
A prediction for anisotropies in the nearby Hubble flow
in Journal of Cosmology and Astroparticle Physics
Barrera-Hinojosa C
(2020)
GRAMSES: a new route to general relativistic N -body simulations in cosmology. Part II. Initial conditions
in Journal of Cosmology and Astroparticle Physics
Poole-McKenzie R
(2020)
Informing dark matter direct detection limits with the ARTEMIS simulations
in Journal of Cosmology and Astroparticle Physics
De Jong E
(2023)
Spinning primordial black holes formed during a matter-dominated era
in Journal of Cosmology and Astroparticle Physics
Jones C
(2021)
Fully developed anelastic convection with no-slip boundaries
in Journal of Fluid Mechanics
Robins L
(2020)
Viscous and inviscid strato-rotational instability
in Journal of Fluid Mechanics
Hori K
(2020)
Solitary magnetostrophic Rossby waves in spherical shells
in Journal of Fluid Mechanics
Mak M
(2023)
3D Simulations of the Archean Earth Including Photochemical Haze Profiles
in Journal of Geophysical Research: Atmospheres
Wakita S
(2022)
Effect of Impact Velocity and Angle on Deformational Heating and Postimpact Temperature
in Journal of Geophysical Research: Planets
Allanson O
(2021)
Electron Diffusion and Advection During Nonlinear Interactions With Whistler-Mode Waves
in Journal of Geophysical Research: Space Physics
Allanson O
(2020)
Particle-in-Cell Experiments Examine Electron Diffusion by Whistler-Mode Waves: 2. Quasi-Linear and Nonlinear Dynamics
in Journal of Geophysical Research: Space Physics
Badger S
(2023)
Isolated photon production in association with a jet pair through next-to-next-to-leading order in QCD
in Journal of High Energy Physics
Cheung G
(2021)
DK I = 0, $$ D\overline{K} $$ I = 0, 1 scattering and the $$ {D}_{s0}^{\ast } $$(2317) from lattice QCD
in Journal of High Energy Physics
Boyle P
(2017)
Isospin breaking corrections to meson masses and the hadronic vacuum polarization: a comparative study
in Journal of High Energy Physics
Mou Z
(2021)
Simulations of a bubble wall interacting with an electroweak plasma
in Journal of High Energy Physics
Chawdhry H
(2021)
NNLO QCD corrections to diphoton production with an additional jet at the LHC
in Journal of High Energy Physics
Gavardi A
(2023)
NNLO+PS W+W- production using jet veto resummation at NNLL'
in Journal of High Energy Physics
Barone A
(2023)
Approaches to inclusive semileptonic B(s)-meson decays from Lattice QCD
in Journal of High Energy Physics
Drach V
(2021)
Scattering of Goldstone bosons and resonance production in a composite Higgs model on the lattice
in Journal of High Energy Physics
Ryan S
(2021)
Excited and exotic bottomonium spectroscopy from lattice QCD
in Journal of High Energy Physics
Chawdhry H
(2021)
Two-loop leading-colour QCD helicity amplitudes for two-photon plus jet production at the LHC
in Journal of High Energy Physics
Czakon M
(2023)
Infrared-safe flavoured anti-kT jets
in Journal of High Energy Physics
Czakon M
(2023)
NNLO B-fragmentation fits and their application to $$ t\overline{t} $$ production and decay at the LHC
in Journal of High Energy Physics
Czakon M
(2021)
NNLO QCD predictions for W+c-jet production at the LHC
in Journal of High Energy Physics
Ježo T
(2023)
Resonance-aware NLOPS matching for off-shell $$ t\overline{t} $$ + tW production with semileptonic decays
in Journal of High Energy Physics
Czakon M
(2023)
A detailed investigation of W+c-jet at the LHC
in Journal of High Energy Physics
Czakon M
(2021)
NNLO QCD corrections to leptonic observables in top-quark pair production and decay
in Journal of High Energy Physics
Poncelet R
(2021)
NNLO QCD study of polarised W+W- production at the LHC
in Journal of High Energy Physics
Lindert J
(2023)
Precise predictions for V + 2 jet backgrounds in searches for invisible Higgs decays
in Journal of High Energy Physics
Boyle P
(2023)
Isospin-breaking corrections to light-meson leptonic decays from lattice simulations at physical quark masses
in Journal of High Energy Physics
Czakon M
(2021)
B-hadron production in NNLO QCD: application to LHC t$$ \overline{t} $$ events with leptonic decays
in Journal of High Energy Physics
Chawdhry H
(2021)
Two-loop leading-color helicity amplitudes for three-photon production at the LHC
in Journal of High Energy Physics
Andrade T
(2022)
Evidence for violations of Weak Cosmic Censorship in black hole collisions in higher dimensions
in Journal of High Energy Physics
Alvarez M
(2023)
NNLO QCD corrections to event shapes at the LHC
in Journal of High Energy Physics
Mellor T
(2023)
MARVEL analysis of high-resolution spectra of thioformaldehyde (H 2 CS)
in Journal of Molecular Spectroscopy
Nightingale J
(2021)
PyAutoFit: A Classy Probabilistic Programming Language for Model Composition and Fitting
in Journal of Open Source Software
Andrade T
(2021)
GRChombo: An adaptable numerical relativity code for fundamental physics
in Journal of Open Source Software
Nightingale J
(2021)
PyAutoLens: Open-Source Strong Gravitational Lensing
in Journal of Open Source Software
Ceuster F
(2022)
3D Line Radiative Transfer & Synthetic Observations with Magritte
in Journal of Open Source Software
Salvioni G
(2020)
Model nuclear energy density functionals derived from ab initio calculations
in Journal of Physics G: Nuclear and Particle Physics
Boyle P
(2020)
Latest Results on Lattice Calculation Concerning K ? p l + l - Decays
in Journal of Physics: Conference Series
Agudelo Rueda J
(2021)
Three-dimensional magnetic reconnection in particle-in-cell simulations of anisotropic plasma turbulence
in Journal of Plasma Physics
Pastorek A
(2022)
Time-resolved fourier transform infrared emission spectroscopy of NH radical in the X3S- ground state
in Journal of Quantitative Spectroscopy and Radiative Transfer
Anisman L
(2022)
Cross-sections for heavy atmospheres: H 2 O continuum
in Journal of Quantitative Spectroscopy and Radiative Transfer
Clark V
(2020)
The high-temperature rotation-vibration spectrum and rotational clustering of silylene (SiH2)
in Journal of Quantitative Spectroscopy and Radiative Transfer
Mant B
(2019)
The infrared spectrum of PF 3 and analysis of rotational energy clustering effect
in Molecular Physics
Bowesman C
(2023)
A hyperfine-resolved spectroscopic model for vanadium monoxide ( 51 V 16 O)
in Molecular Physics
Description | DiRAC RSE's were hired by Intel and work with DiRAC team members to analyse the requirements of machine learning. We discovered the IEEE FP16 is not optimal for machine learning and that a new floating point format Bfloat16 is more effective. We coauthored a patent application with Intel |
Exploitation Route | We have demonstrated to Intel and coauthored a patent. It is being released as part of Intel's Cooperlake architecture for broad use. |
Sectors | Aerospace, Defence and Marine,Digital/Communication/Information Technologies (including Software),Electronics,Financial Services, and Management Consultancy,Transport,Other |
URL | http://appft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&p=1&u=%2Fnetahtml%2FPTO%2Fsearch-bool.html&r=0&f=S&l=50&TERM1=Boyle&FIELD1=IN&co1=AND&TERM2=Kashyap&FIELD2=IN&d=PG01 |
Description | Our software helped Intel improve their driver software for omnipath networks. DiRAC RSE's were hired by Intel to work with the Turing institute on machine learning. |
First Year Of Impact | 2018 |
Sector | Digital/Communication/Information Technologies (including Software),Electronics |
Impact Types | Economic |
Description | Intel ATI codesign project |
Organisation | Intel Corporation |
Department | Intel Corporation (Jones Farm) |
Country | United States |
Sector | Private |
PI Contribution | I lead the Alan Turing Institute / Intel codesign project. Two Intel engineers are placed in Edinburgh to work with me. We have developed profiling tools for machine learning packages and led to insight into the architectural requirements of deep learning that have been propagated to Intel. The tool has been used to study reduced precision floating point formats, and specific new instruction set extensions have been proposed to Intel. |
Collaborator Contribution | Two Intel engineers are placed in Edinburgh to work with me. We have developed profiling tools for machine learning packages and led to insight into the architectural requirements of deep learning that have been propagated to Intel. The tool has been used to study reduced precision floating point formats, and specific new instruction set extensions have been proposed to Intel. |
Impact | Paper with Intel MPI team. Multidisciplinary, particle physics, computing science and electronic engineering. |
Start Year | 2016 |
Description | Intel IPAG QCD codesign project |
Organisation | Intel Corporation |
Department | Intel Corporation (Jones Farm) |
Country | United States |
Sector | Private |
PI Contribution | We have collaborated with Intel corporation since 2014 with $720k of total direct funding, starting initially as an Intel parallel computing centre, and expanding to direct close collaboration with Intel Pathfinding and Architecture Group. |
Collaborator Contribution | We have performed detailed optimisation of QCD codes (Wilson, Domain Wall, Staggered) on Intel many core architectures. We have investigated the memory system and interconnect performance, particularly on Intel's latest interconnect hardware called Omnipath. We found serious performance issues and worked with Intel to plan a solution and this has been verified and is available as beta software. It will reach general availability in the Intel MPI 2019 release, and allow threaded concurrent communications in MPI for the first time. A joint paper on the resolution to this was written with the Intel MPI team, and the application of the same QCD programming techniques to machine learning gradient reduction was applied in the paper to the Baidu Research all reduce library, demonstrating a 10x gain for this critical step in machine learning in clustered environments. We are also working with Intel verifying future architectures that will deliver the exascale performance in 2021. |
Impact | We have performed detailed optimisation of QCD codes (Wilson, Domain Wall, Staggered) on Intel many core architectures. We have investigated the memory system and interconnect performance, particularly on Intel's latest interconnect hardware called Omnipath. We found serious performance issues and worked with Intel to plan a solution and this has been verified and is available as beta software. It will reach general availability in the Intel MPI 2019 release, and allow threaded concurrent communications in MPI for the first time. A joint paper on the resolution to this was written with the Intel MPI team, and the application of the same QCD programming techniques to machine learning gradient reduction was applied in the paper to the Baidu Research all reduce library, demonstrating a 10x gain for this critical step in machine learning in clustered environments. This collaboration has been renewed annually in 2018, 2019, 2020. Two DiRAC RSE's were hired by Intel to work on the Turing collaboration. |
Start Year | 2016 |
Title | FP16-S7E8 MIXED PRECISION FOR DEEP LEARNING AND OTHER ALGORITHMS |
Description | We demonstrated that a new non-IEEE 16 bit floating point format is the optimal choice for machine learning training and proposed instructions. |
IP Reference | US20190042544 |
Protection | Patent application published |
Year Protection Granted | 2019 |
Licensed | Yes |
Impact | We demonstrated that a new non-IEEE 16 bit floating point format is the optimal choice for machine learning training and proposed instructions. Intel filed this with US patent office. This IP is owned by Intel under the terms of the Intel Turing strategic partnership contract. As a co-inventor I have been named on the patent application. The proposed format has been announced as planned for use in future Intel architectures. This collaboration with Turing emerged out of an investment in Edinburgh by Intel Pathfinding and Architecture Group in codesign with lattice gauge theory simulations. Intel hired DiRAC RSE's Kashyap and Lepper and placed them in Edinburgh to work with me on Machine Learning codesign through the Turing programme. |
Description | Panel discussion on machine learning and future HPC Intel HPC developer conference. |
Form Of Engagement Activity | A formal working group, expert panel or dialogue |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Industry/Business |
Results and Impact | Invited as panel expert on future of HPC and machine learning by Intel at their annual HPC developer conference attended widely by Industry and research lab sector. Note, Boyle second from left in photograph on the Intel web page linked below. |
Year(s) Of Engagement Activity | 2017 |
URL | https://www.intel.com/content/www/us/en/events/hpcdevcon/overview.html |
Description | Talk on MPI optimisation on Intel stand at Supercomputing 2017 |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Industry/Business |
Results and Impact | Decision influence: I Influenced Intel to modify, update and release optimisations to their MPI library for the Intel Omnipath interconnect. Coauthored a paper on this topic. |
Year(s) Of Engagement Activity | 2017 |
URL | http://inspirehep.net/record/1636204 |
Description | Talks presented on this activity at Intel Xeon Phi User Group conferences. |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Industry/Business |
Results and Impact | Presented work in several Intel Xeon Phi User Group meetings. |
Year(s) Of Engagement Activity | 2016,2017 |