The Galois Approach to Optimistic Parallelization
The Galois Approach to Optimistic Parallelization
批准号:
0702353
负责人:
Keshav Pingali
金额:
$29.99万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-06-01 至 2010-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
From now on, all processors will consist of a large number of processing cores, and programs will run fast only if they can run in parallel on these cores. However, finding parallelism in programs is a very difficult job, and has succeeded only in limited domains like scientific computing. There have been few successes in the more general domain of irregular programs that manipulate large pointer-based data structures like graphs. The Galois project will implement and evaluate a new approach to parallelizing such irregular programs based on optimistic parallelization and a small amount of information from library writers. Preliminary results on problems like Delaunay mesh generation are very promising.Irregular programs that manipulate pointer-based data structures are known to be difficult to parallelize. The Galois project is implementing a novel approach for optimistic parallel execution of such programs. The Galois programming model is an object-based shared-memory model. There are three main aspects to Galois: (i) a small number of syntactic constructs for packaging optimistic parallelization as data structure manipulations, (ii) assertions about methods in class libraries, and (iii) a runtime system for detecting and recovering from unsafe accesses made by an optimistic computation to shared memory. The funding for this project will be used to develop techniques for verifying class library assertions, and continuing the implementation of the Galois system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SPX: Collaborative Research: Mongo Graph Machine (MGM): A Flash-Based Appliance for Large Graph Analytics
-
批准号:1725322
-
项目类别:Standard Grant
-
资助金额:$27.99万
-
财政年份:2017
-
负责人:Keshav Pingali
-
依托单位:
CSR: Medium: Optimal Control of Approximate Computing Systems
-
批准号:1705092
-
项目类别:Standard Grant
-
资助金额:$59.92万
-
财政年份:2017
-
负责人:Keshav Pingali
-
依托单位:
SHF: Small: Efficient Parallel Execution of Irregular, Ordered Algorithms
-
批准号:1618425
-
项目类别:Standard Grant
-
资助金额:$44.96万
-
财政年份:2016
-
负责人:Keshav Pingali
-
依托单位:
CSR: Medium: Collaborative Research: Programming Abstractions and Systems Support for GPU-Based Acceleration of Irregular Applications
-
批准号:1406355
-
项目类别:Continuing Grant
-
资助金额:$73.97万
-
财政年份:2014
-
负责人:Keshav Pingali
-
依托单位:
XPS: FP: Collaborative Research: Parallel Irregular Programs: From High-Level Specifications to Run-time Optimizations
-
批准号:1337281
-
项目类别:Standard Grant
-
资助金额:$37.51万
-
财政年份:2013
-
负责人:Keshav Pingali
-
依托单位:
Collaborative Research: Conceptualizing an Institute for Using Inter-Domain Abstractions to Support Inter-Disciplinary Applications
-
批准号:1216701
-
项目类别:Standard Grant
-
资助金额:$14.5万
-
财政年份:2012
-
负责人:Keshav Pingali
-
依托单位:
SHF: Small: Autograph: A System for Synthesizing Concurrent Data Structure Implementations
-
批准号:1218568
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2012
-
负责人:Keshav Pingali
-
依托单位:
CSR: Large: Collaborative Research: Kali: A System for Sequential Programming of Multicore Processors
-
批准号:1111766
-
项目类别:Standard Grant
-
资助金额:$143.51万
-
财政年份:2011
-
负责人:Keshav Pingali
-
依托单位:
Language and System Support for Petascale Irregular Applications
-
批准号:0833162
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2008
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Optimizations for Optimistic Parallelization Systems
-
批准号:0719966
-
项目类别:Continuing Grant
-
资助金额:$60.0万
-
财政年份:2007
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Parallelizing Irregular Applications for Multicore Processors
-
批准号:0923907
-
项目类别:Continuing Grant
-
资助金额:$66.69万
-
财政年份:2007
-
负责人:Keshav Pingali
-
依托单位:
NGS: A System for Semi-Automatic Application-Level Checkpointing of Parallel Programs
-
批准号:0739601
-
项目类别:Continuing Grant
-
资助金额:$48.58万
-
财政年份:2007
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Parallelizing Irregular Applications for Multicore Processors
-
批准号:0615240
-
项目类别:Continuing Grant
-
资助金额:$76.5万
-
财政年份:2006
-
负责人:Keshav Pingali
-
依托单位:
DCS: Mobile Applications in Computational Grids
-
批准号:0541193
-
项目类别:Standard Grant
-
资助金额:$37.5万
-
财政年份:2006
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Mobile Applications in Computational Grids
-
批准号:0725151
-
项目类别:Standard Grant
-
资助金额:$1.68万
-
财政年份:2006
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Collaborative Research: Library Generators for Advanced Execution Systems
-
批准号:0724966
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Keshav Pingali
-
依托单位:
DCS: Mobile Applications in Computational Grids
-
批准号:0718108
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2006
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Collaborative Research: Library Generators for Advanced Execution Systems
-
批准号:0509324
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Keshav Pingali
-
依托单位:
CSR-AES: Mobile Applications in Computational Grids
-
批准号:0509307
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2005
-
负责人:Keshav Pingali
-
依托单位:
NGS: A System for Semi-Automatic Application-Level Checkpointing of Parallel Programs
-
批准号:0406345
-
项目类别:Continuing Grant
-
资助金额:$85.0万
-
财政年份:2004
-
负责人:Keshav Pingali
-
依托单位:
国内基金
海外基金
EnSite array指导下对Stepwise approach无效的慢性房颤机制及消融径线设计的实验研究
-
批准号:81070152
-
项目类别:面上项目
-
资助金额:10.0万元
-
批准年份:2010
-
负责人:唐恺
-
依托单位: