Synthetic Simulation of Mesh-Based Parallel Applications Driven by Fine-Grained Profiling

2005 ◽  
Author(s):  
Qingyuan Liu ◽  
A.S. Deshmukh ◽  
K.A. Tomko
Keyword(s):  
Parallel Applications ◽  
Fine Grained ◽  
Synthetic Simulation

scholarly journals Specifying and testing GPU workgroup progress models

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Tyler Sorensen ◽  
Lucas F. Salvador ◽  
Harmit Raval ◽  
Hugues Evrard ◽  
John Wickerson ◽  
...  
Keyword(s):  
Parallel Applications ◽  
Gpu Programming ◽  
Concurrent Programs ◽  
Large Set ◽  
Prior Work ◽  
Fine Grained ◽  
Experimental Campaign ◽  
Correct Execution ◽  
Programming Support ◽  
Litmus Test

As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depends on a degree of relative forward progress between threads (or thread groups). Unfortunately, many GPU programming specifications (e.g. Vulkan and Metal) say almost nothing about relative forward progress guarantees between workgroups. Although prior work has proposed a spectrum of plausible progress models for GPUs, cross-vendor specifications have yet to commit to any model. This work is a collection of tools and experimental data to aid specification designers when considering forward progress guarantees in programming frameworks. As a foundation, we formalize a small parallel programming language that captures the essence of fine-grained synchronization. We then provide a means of formally specifying a progress model, and develop a termination oracle that decides whether a given program is guaranteed to eventually terminate with respect to a given progress model. Next, we formalize a set of constraints that describe concurrent programs that require forward progress to terminate. This allows us to synthesize a large set of 483 progress litmus tests. Combined with the termination oracle, we can determine the expected status of each litmus test -- i.e. whether it is guaranteed to eventually terminate -- under various progress models. We present a large experimental campaign running the litmus tests across 8 GPUs from 5 different vendors. Our results highlight that GPUs have significantly different termination behaviors under our test suite. Most notably, we find that Apple and ARM GPUs do not support the linear occupancy-bound model, as was hypothesized by prior work.

scholarly journals Implicitly threaded parallelism in Manticore

2010 ◽  
Vol 20 (5-6) ◽  
pp. 537-576 ◽  
Author(s):  
MATTHEW FLUET ◽  
MIKE RAINEY ◽  
JOHN REPPY ◽  
ADAM SHAW
Keyword(s):  
Large Scale ◽  
Multicore Processors ◽  
Regular Structure ◽  
Parallel Applications ◽  
Parallel Language ◽  
Fine Grained ◽  
Data Parallel ◽  
Parallel Languages ◽  
Parallel Case ◽  
High Level

AbstractThe increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism accessible and understandable. Previous parallel languages have traditionally been intended for large-scale scientific computing, and they tend not to be well suited to programming the applications one typically finds on a desktop system. Thus, we need new parallel-language designs that address a broader spectrum of applications. The Manticore project is our effort to address this need. At its core is Parallel ML, a high-level functional language for programming parallel applications on commodity multicore hardware. Parallel ML provides a diverse collection of parallel constructs for different granularities of work. In this paper, we focus on the implicitly threaded parallel constructs of the language, which support fine-grained parallelism. We concentrate on those elements that distinguish our design from related ones, namely, a novel parallel binding form, a nondeterministic parallel case form, and the treatment of exceptions in the presence of data parallelism. These features differentiate the present work from related work on functional data-parallel language designs, which have focused largely on parallel problems with regular structure and the compiler transformations—most notably, flattening—that make such designs feasible. We present detailed examples utilizing various mechanisms of the language and give a formal description of our implementation.

KiloCore: A Fine-Grained 1,000-Processor Array for Task-Parallel Applications

IEEE Micro ◽  
2017 ◽  
Vol 37 (2) ◽  
pp. 63-69 ◽  
Author(s):  
Brent Bohnenstiehl ◽  
Aaron Stillmaker ◽  
Jon Pimentel ◽  
Timothy Andreas ◽  
Bin Liu ◽  
...  
Keyword(s):  
Parallel Applications ◽  
Processor Array ◽  
Fine Grained ◽  
Task Parallel

Application of an image management system in microscopy

1992 ◽  
Vol 50 (2) ◽  
pp. 1052-1053
Author(s):  
Richard S. Chemock
Keyword(s):  
Data Storage ◽  
Cost Savings ◽  
Image Data ◽  
Analytical Techniques ◽  
Operational Mode ◽  
Fine Grained ◽  
Image Recording ◽  
Primary Output ◽  
Capacity Data ◽  
Image Management System

One of the most common tasks in a typical analysis lab is the recording of images. Many analytical techniques (TEM, SEM, and metallography for example) produce images as their primary output. Until recently, the most common method of recording images was by using film. Current PS/2R systems offer very large capacity data storage devices and high resolution displays, making it practical to work with analytical images on PS/2s, thereby sidestepping the traditional film and darkroom steps. This change in operational mode offers many benefits: cost savings, throughput, archiving and searching capabilities as well as direct incorporation of the image data into reports.The conventional way to record images involves film, either sheet film (with its associated wet chemistry) for TEM or PolaroidR film for SEM and light microscopy. Although film is inconvenient, it does have the highest quality of all available image recording techniques. The fine grained film used for TEM has a resolution that would exceed a 4096x4096x16 bit digital image.

Use of fractals to describe microstructures of porous thick-film platinum electrodes

1992 ◽  
Vol 50 (1) ◽  
pp. 314-315
Author(s):  
Steven D. Toteda
Keyword(s):  
Fractal Dimension ◽  
Power Plants ◽  
Electrical Response ◽  
Cubic Phase ◽  
Platinum Electrodes ◽  
Fine Grained ◽  
Impedance Response ◽  
Platinum Particles ◽  
Energy Surfaces ◽  
Highly Porous

Zirconia oxygen sensors, in such applications as power plants and automobiles, generally utilize platinum electrodes for the catalytic reaction of dissociating O2 at the surface. The microstructure of the platinum electrode defines the resulting electrical response. The electrode must be porous enough to allow the oxygen to reach the zirconia surface while still remaining electrically continuous. At low sintering temperatures, the platinum is highly porous and fine grained. The platinum particles sinter together as the firing temperatures are increased. As the sintering temperatures are raised even further, the surface of the platinum begins to facet with lower energy surfaces. These microstructural changes can be seen in Figures 1 and 2, but the goal of the work is to characterize the microstructure by its fractal dimension and then relate the fractal dimension to the electrical response. The sensors were fabricated from zirconia powder stabilized in the cubic phase with 8 mol% percent yttria. Each substrate was sintered for 14 hours at 1200°C. The resulting zirconia pellets, 13mm in diameter and 2mm in thickness, were roughly 97 to 98 percent of theoretical density. The Engelhard #6082 platinum paste was applied to the zirconia disks after they were mechanically polished ( diamond). The electrodes were then sintered at temperatures ranging from 600°C to 1000°C. Each sensor was tested to determine the impedance response from 1Hz to 5,000Hz. These frequencies correspond to the electrode at the test temperature of 600°C.

Amorphous silica coating on α-alumina particles

1995 ◽  
Vol 53 ◽  
pp. 210-211
Author(s):  
J. W. Mellowes ◽  
C. M. Chun ◽  
I. A. Aksay
Keyword(s):  
Amorphous Silica ◽  
Heterogeneous Nucleation ◽  
Homogeneous Nucleation ◽  
Silica Coating ◽  
Full Density ◽  
Optimal Conditions ◽  
Fine Grained ◽  
Alumina Particles ◽  
Complete Mullitization ◽  
Powder Compacts

Mullite (3Al2O32SiO2) can be fabricated by transient viscous sintering using composite particles which consist of inner cores of a-alumina and outer coatings of amorphous silica. Powder compacts prepared with these particles are sintered to almost full density at relatively low temperatures (~1300°C) and converted to dense, fine-grained mullite at higher temperatures (>1500°C) by reaction between the alumina core and the silica coating. In order to achieve complete mullitization, optimal conditions for coating alumina particles with amorphous silica must be achieved. Formation of amorphous silica can occur in solution (homogeneous nucleation) or on the surface of alumina (heterogeneous nucleation) depending on the degree of supersaturation of the solvent in which the particles are immersed. Successful coating of silica on alumina occurs when heterogeneous nucleation is promoted and homogeneous nucleation is suppressed. Therefore, one key to successful coating is an understanding of the factors such as pH and concentration that control silica nucleation in aqueous solutions. In the current work, we use TEM to determine the optimal conditions of this processing.

Sign in / Sign up

Export Citation Format

Share Document