An Official Website of the United States Government
Static Analysis of Multi-Core Applications
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 1
-
Fiscal Year: 2007Title: Static Analysis of Multi-Core ApplicationsAgency / Branch: DOD / DARPAContract: W31P4Q-08-C-0171Award Amount: $99,000.00
Abstract:
The goal of this project is to develop a static analysis tool that identifies program flaws that may arise when executing on a multi-core processor. In particular, we will target flaws that arise in lock-free algorithms. Concurrent programs are often plagued by race conditions on shared data. Lock-based solutions to this problem are conceptually simple and work reasonably well. However, they typically do not perform well for the fine-grained concurrency that is often needed on multi-core processors. As the number of processor cores increases, lock contention also increases and many processors are left idle. Lock-free algorithms achieve much greater processor utilization (and better performance) as the number of cores increases. However, lock-free algorithms are difficult to reason about. (To make matters worse, multi-core processors often use a relaxed memory model.) This project will focus on using bounded model checking in order to verify libraries that implement lock-free algorithms.Small Business Information at Submission:GRAMMATECH, INC.
317 N. Aurora Street Ithaca, NY 14850EIN/Tax ID: 161338879DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
Award Information
|
Agency: Department of Defense |
Branch: Defense Advanced Research Projects Agency |
Award ID: 81269 |
Program Year/Program: 2007 / SBIR |
|
Agency Tracking Number: 07SB2-0175 |
Solicitation Year: N/A |
Solicitation Topic Code: N/A |
Solicitation Number: N/A |