~/talk

Wavefront Threading Enables Effective High-Level Synthesis

Talkat PLDI 2024 · 2024-06-24..06-28· [embedded-and-hardware]
links:none on file
links:none on file
name:Ken Eguro
links:none on file
name:Daniel Lo
links:none on file
links:none on file
links:none on file
name:Jinwen Xi
links:none on file
name:David Cox
linkedin:daviddanielcox
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Kagawa is a hardware language that maps wavefront threading directly to pipelines so the compiler does minimal work and performance is predictable; threads keep a fixed order and shared-memory accesses enforce that order. The team compiles one-thread-per-instruction simulators into hardware, runs a soft RISC-V pipeline on Altera FPGAs and reports competitive area/performance against Nios processors, and the IP is already deployed in Microsoft datacenter FPGAs. pipeline for and one thread per clock cycle describe key limits.

AI-written summary · about

  1. 0:00Kagawa introduction
  2. 1:22Hardware description language challenges
  3. 2:26Shared memory threading
  4. 3:08Wavefront threading model
  5. 4:33Wavefront memory model
  6. 5:55Pipeline loops ordering
  7. 6:57Code to hardware mapping
  8. 7:39Control flow in loops
  9. 8:43Loop composition
  10. 9:46Predictable performance
  11. 10:27Horizontal library design
  12. 11:07Execution reasoning
  13. 11:49Atomicity scheduling
  14. 12:32Thread ordering sync
  15. 13:36Processor results
  16. 14:59FPGA deployment
  17. 15:39Open problems
  18. 17:24Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.