Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs

Publication: Research - peer-reviewJournal article – Annual report year: 2011

View graph of relations

Designers of embedded systems face tight constraints on resources, response time and cost. The ability to analyze embedded systems is essential to timely delivery of new designs. Many analysis techniques model parallel programs as task graphs. Task graphs capture the worst-case execution times of individual program tasks and the data dependencies among these. This paper introduces two compiler directives which let programmers annotate source code with data dependencies among tasks. Compiler analysis overapproximates the actual dependencies among tasks. The directives help eliminate potential data dependencies that do not occur at runtime. This lets tools compute more accurate task graphs from the annotated code. The correct use of the directives cannot be verified at compile time. Therefore, the check for correct use is done at runtime—not unlike dynamic array bounds checking in many languages. The overhead of verifying the correct use of the directives was measured on a set of benchmarks on two platforms. The overhead of runtime checks was found to be negligible in all instances.
Original languageEnglish
JournalI E E E Transactions on Industrial Informatics
Publication date2011
Volume7
Issue4
Pages652-660
ISSN1551-3203
DOIs
StatePublished
CitationsWeb of Science® Times Cited: 0

Keywords

  • Scheduling, Assertions, Task partitioning, Data dependencies, Embedded systems, Real-time
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6226399