SHF: Medium: Programmable Monitoring Framework for Multicore Systems
SHF: Medium: Programmable Monitoring Framework for Multicore Systems
批准号:
0963996
负责人:
Rajiv Gupta
金额:
$57.68万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-01 至 2014-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The advent of multicore processors has introduced new opportunities for achievingincreased software performance, reliability, security, and availability. However,powerful dynamic execution monitoring capabilities are required to realize theseopportunities. This project addresses the challenges of developing a DynamicBinary Translation based monitoring framework for parallel applications running onmulticore systems. The programmability of the framework will enable realization of benefits in achieving enhanced performance, reliability, security, and availability. Some of the instrumentation code required in context of parallel applications must be executed by a core in response to events that involve other cores. In particular, events relevant to many performance, reliability, and security related tasks correspond to the manifestation of interprocessor data dependences due to updates of shared memory locations by multiple cores. Based upon this observation programmable architectural mechanisms will be provided that not only enable the detection of interprocessor dependence events but also enable the triggering of the execution of application specific monitoring code. This project will then employ these mechanisms for improving performance via speculative parallelism, enabling debugging via anovel strategy of execution suppression, improving reliability via an approach thatallows applications to automatically recover from failures, providing security viadynamic detection of mutating viruses, and software availability via dynamic updates.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data Structures
-
批准号:2226448
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2022
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: MIGS -- Efficiently Evaluating Multiple Iterative Graph Queries
-
批准号:2002554
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
PPoSS: Planning: Dynamic Big Graph Store for High-Throughput and Secure Distributed Query Processing
-
批准号:2028714
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
-
批准号:1617424
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2016
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Transformations for Synergistic Analysis of Large Evolving Graphs
-
批准号:1524852
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2015
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support
-
批准号:1318103
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2013
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0810906
-
项目类别:Continuing Grant
-
资助金额:$19.61万
-
财政年份:2008
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0708199
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0751961
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0719791
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0751949
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0753470
-
项目类别:Standard Grant
-
资助金额:$24.6万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0541382
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0614707
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Collaborative Research: Morphable Software Sevices: Self-Modifying Programs for Distributed Embedded Systems
-
批准号:0324969
-
项目类别:Continuing Grant
-
资助金额:$16.62万
-
财政年份:2003
-
负责人:Rajiv Gupta
-
依托单位:
Information Encoding for Energy Efficient Processor Design
-
批准号:0208756
-
项目类别:Continuing Grant
-
资助金额:$28.0万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Code and Data Segment Optimizations for Mixed Width Instruction Set Embedded Processor
-
批准号:0220334
-
项目类别:Continuing Grant
-
资助金额:$14.91万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
Data Compression Techniques for Improving Memory Hierarchy Performance
-
批准号:0105355
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2001
-
负责人:Rajiv Gupta
-
依托单位:
On-line Avoidance of Monitoring Intrusion in Distributed Systems
-
批准号:9996362
-
项目类别:Standard Grant
-
资助金额:$7.35万
-
财政年份:1999
-
负责人:Rajiv Gupta
-
依托单位:
A Framework for Path and Resource Sensitive Optimizations
-
批准号:0096122
-
项目类别:Standard Grant
-
资助金额:$26.11万
-
财政年份:1999
-
负责人:Rajiv Gupta
-
依托单位:
海外基金