M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 1/25 SDF: Parameterized & Interfaced Synchronous Dataflow for MPSoCs Runtime Reconfiguration Karol DESNOS, Julien HEULOT IETR, Rennes, France M ETODO Workshop - Madrid, October 07 th 2014

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 2/25 Introduction Software complexity Lines of code/chip x2 every 10 months Software productivity Lines of code/day x2 every 5 years Hardware complexity Transistors/chip x2 every 18 months Software Productivity Gap Source: ITRS & Hardware-dependent Software, Ecker et al., Springer Motivations log

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 3/25 PiMM: Parameterized and Interfaced dataflow Meta-Model

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 4/25 PiMM SDF Features: Parallelisms Predictable Developer-friendly Limited Expressivity PiMM Features: -More Expressive -Hierarchical & Compositional -Statically Parameterizable -Dynamically Reconfigurable Dataflow Model + PiMM elements of semantics A src snk P A P = (Dataflow Model) 1 ACB x2 AB 13Size h x2*Size Size B Size/N in out SetN N Size back feed Size Parameterized and Interfaced dataflow Meta-Model (PiMM) K. Desnos, M. Pelcat, J.-F. Nezan, S.S. Bhattacharyya, S. Aridhi. “PiMM: Parameterized and interfaced dataflow Meta-Model for mpsocs runtime reconfiguration” SAMOS13

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 5/25 N PiMM Read Config Size 4 Read Image Filter /NSize out Size in Size SetNb Slices Size Kernel /NSize 4 Send

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 6/25 N PiMM Read Config Size =4 4Size Read Image Filter /NSize out Size in Size SetNb Slices =2 Size Kernel /NSize 4 Send =2

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 7/25 PiMM: A Meta-Model in out + N 1 x N Σ N1 N + N 2 1 in out Join {N, N/2, N/4, …, 2, 0} {N, 0, …, 0} {0, N/2, N/4, …, 2, 0} {0, …, 0, 1} N

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 8/25 PiMM Predictability The more dynamism, the less predictability B 13 A 2 C 2 SDF DPN ACB B 1 A 2 C 2 Set_p p Compile Time After Configuration After execution Source: S. Neuendorffer and E. Lee, “Hierarchical reconfiguration of dataflow models” in MEMOCODE, =3 p

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 9/25 S PIDER : Synchronous Parameterized and Interfaced Dataflow Embedded Runtime

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 10/25 Existing Objective: improving multicore programming productivity S PIDER Proposition

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 11/25 S PIDER S PIDER Principle Jobs ParamsTimingsData Pool of data F IFO s Master tasks: -Run jobs -Map & Schedule -Manage graphs -Monitor & Trace Slave task: -Run jobs Slave Master

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 12/25 S PIDER : a Step-by-Step Example Actor States Execution Gantt Core 1 Core 2 Actor Not schedulable Actor Schedulable Actor Executable Actor Executed

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 13/25 S PIDER : a Step-by-Step Example Current Graph Read Config 4Size Read Image Filter Size4 Send Schedulable Not schedulable Execution Gantt Core 1 Master S PIDER Core 2 Read Config Size

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 14/25 Current Graph Read Config Size 4 Size Read Image Filter Size 4 Send Executable Not schedulable Execution Gantt Core 1 Master S PIDER Core 2 Read Config =2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 15/25 Current Graph Read Config 42 Read Image Filter 24 Send Size=2 Schedulable X1 Schedulable X2 Schedulable X1 Executed Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 16/25 Current Graph Read Config 42 Read Image Filter 1 24 Send 2 Filter 2 2 Size=2 Executable Schedulable Executed Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 17/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N1N1 /N2 out in 2 SetNb Slices 1 2 Kernel 1 /N N2N2 2 out in 2 SetNb Slices 2 2 Kernel 2 /N 22 Executable Schedulable Executed Schedulable Not schedulable Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 18/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N1N1 /N2 out in 2 SetNb Slices 1 2 Kernel 1 /N N2N2 2 out in 2 SetNb Slices 2 2 Kernel 2 /N 22 Executed Schedulable Executed Executable Not schedulable Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 19/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N 1 =1 2 out in 2 SetNb Slices 1 2 Kernel N 2 =2 1 out in 2 SetNb Slices 2 2 Kernel 2 21 Executed Schedulable Executed Schedulable X1 Schedulable X2 Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Master S PIDER Kernel 1 Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 20/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N 1 =1 2 out in 2 SetNb Slices 1 2 Kernel N 2 =2 1 out in 2 SetNb Slices 2 2 Kernel Executed Executable Schedulable 1 Kernel Schedulable Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Master S PIDER Kernel 1 Ker -nel 2-2 Ker -nel 2-1 Send Schedulable Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 21/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N 1 =1 2 out in 2 SetNb Slices 1 2 Kernel N 2 =2 1 out in 2 SetNb Slices 2 2 Kernel Executed Scheduled Executed Executable 1 Kernel Executable Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Master S PIDER Kernel 1 Ker -nel 2-2 Ker -nel 2-1 Send Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 22/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N 1 =1 2 out in 2 SetNb Slices 1 2 Kernel N 2 =2 1 out in 2 SetNb Slices 2 2 Kernel Executed Executable Executed 1 Kernel Executed Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Master S PIDER Kernel 1 Ker -nel 2-2 Ker -nel 2-1 Send Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 23/25 Current Graph Read Config 42 Read Image 24 Send Size=2 N 1 =1 2 out in 2 SetNb Slices 1 2 Kernel N 2 =2 1 out in 2 SetNb Slices 2 2 Kernel Executed 1 Kernel Executed Execution Gantt Core 1 Master S PIDER Core 2 Read Config Master S PIDER Read Image SetNb Slices 2 SetNb Slices 1 Master S PIDER Kernel 1 Ker -nel 2-2 Ker -nel 2-1 Send Filter 1 Filter 2 S PIDER : a Step-by-Step Example

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 24/25 About S PIDER S PIDER Implementation Linux and Bare metal Architectures Keystone 1 & 2 from Texas Instruments Comparison with OpenMP Better performance for asymmetric parallel work J. Heulot, M. Pelcat, K. Desnos, J.-F. Nezan, and S. Aridhi “SPIDER: A Synchronous Parameterized and Interfaced Dataflow-Based RTOS for Multicore DSPs” [E DERC 14]

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 25/25 Future Work

M ETODO – Oct. 7 th 2014 INSTITUT D’ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES 26/25 Questions ?