Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890891084> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2890891084 abstract "When mapping C programs to hardware, high-level synthesis (HLS) tools seek to reorder instructions so they can be packed into as few clock cycles as possible. However, when synthesising multi-threaded C, instruction reordering is inhibited by the presence of atomic operations (`atomics'), such as compare-and-swap. Atomics, the fundamental concurrency primitive in C, are the basis of more abstract concurrency mechanisms such as locks, and also of efficient lock-free data structures. Whether a particular atomic can be legally reordered within a thread can depend on the memory access patterns of other threads. Existing HLS tools that support atomics typically schedule each thread independently, and so must be conservative when optimising around atomics. Yet HLS tools are distinguished from conventional compilers by having the entire program available. Can this information be exploited to allow more reorderings within each thread, and hence to obtain more efficient schedules? In this work, we propose a global analysis that determines, for each thread, which pairs of instructions must not be reordered. Our analysis is sensitive to the C consistency mode of the atomics involved (e.g. relaxed, release, acquire, and sequentially-consistent). We have used the Alloy model checker to validate our analysis against the C language standard, and have implemented it in the LegUp HLS tool. An evaluation on several lock-free data structure benchmarks indicates that our analysis leads to a 1.6x average global speedup." @default.
- W2890891084 created "2018-09-27" @default.
- W2890891084 creator A5002846450 @default.
- W2890891084 creator A5029829952 @default.
- W2890891084 creator A5065488930 @default.
- W2890891084 date "2018-04-01" @default.
- W2890891084 modified "2023-09-27" @default.
- W2890891084 title "Concurrency-Aware Thread Scheduling for High-Level Synthesis" @default.
- W2890891084 cites W1588615233 @default.
- W2890891084 cites W1847252379 @default.
- W2890891084 cites W2039509099 @default.
- W2890891084 cites W2553522901 @default.
- W2890891084 cites W2583840120 @default.
- W2890891084 doi "https://doi.org/10.1109/fccm.2018.00025" @default.
- W2890891084 hasPublicationYear "2018" @default.
- W2890891084 type Work @default.
- W2890891084 sameAs 2890891084 @default.
- W2890891084 citedByCount "3" @default.
- W2890891084 countsByYear W28908910842020 @default.
- W2890891084 countsByYear W28908910842022 @default.
- W2890891084 countsByYear W28908910842023 @default.
- W2890891084 crossrefType "proceedings-article" @default.
- W2890891084 hasAuthorship W2890891084A5002846450 @default.
- W2890891084 hasAuthorship W2890891084A5029829952 @default.
- W2890891084 hasAuthorship W2890891084A5065488930 @default.
- W2890891084 hasBestOaLocation W28908910842 @default.
- W2890891084 hasConcept C111919701 @default.
- W2890891084 hasConcept C138101251 @default.
- W2890891084 hasConcept C162319229 @default.
- W2890891084 hasConcept C169590947 @default.
- W2890891084 hasConcept C173608175 @default.
- W2890891084 hasConcept C193702766 @default.
- W2890891084 hasConcept C199360897 @default.
- W2890891084 hasConcept C203222032 @default.
- W2890891084 hasConcept C41008148 @default.
- W2890891084 hasConcept C68339613 @default.
- W2890891084 hasConceptScore W2890891084C111919701 @default.
- W2890891084 hasConceptScore W2890891084C138101251 @default.
- W2890891084 hasConceptScore W2890891084C162319229 @default.
- W2890891084 hasConceptScore W2890891084C169590947 @default.
- W2890891084 hasConceptScore W2890891084C173608175 @default.
- W2890891084 hasConceptScore W2890891084C193702766 @default.
- W2890891084 hasConceptScore W2890891084C199360897 @default.
- W2890891084 hasConceptScore W2890891084C203222032 @default.
- W2890891084 hasConceptScore W2890891084C41008148 @default.
- W2890891084 hasConceptScore W2890891084C68339613 @default.
- W2890891084 hasLocation W28908910841 @default.
- W2890891084 hasLocation W28908910842 @default.
- W2890891084 hasLocation W28908910843 @default.
- W2890891084 hasOpenAccess W2890891084 @default.
- W2890891084 hasPrimaryLocation W28908910841 @default.
- W2890891084 hasRelatedWork W1583465708 @default.
- W2890891084 hasRelatedWork W2082035004 @default.
- W2890891084 hasRelatedWork W2110897014 @default.
- W2890891084 hasRelatedWork W2133693067 @default.
- W2890891084 hasRelatedWork W2588901507 @default.
- W2890891084 hasRelatedWork W3037718968 @default.
- W2890891084 hasRelatedWork W4236710543 @default.
- W2890891084 hasRelatedWork W4244698026 @default.
- W2890891084 hasRelatedWork W4293865043 @default.
- W2890891084 hasRelatedWork W2479014312 @default.
- W2890891084 isParatext "false" @default.
- W2890891084 isRetracted "false" @default.
- W2890891084 magId "2890891084" @default.
- W2890891084 workType "article" @default.