Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

Algorithm 2

Deadline relaxation during RMA.

(1) for each 𝐼_𝑖∈𝐺_𝑙, set parent deadline to zero

(2)  while   𝐺_𝑙 is not empty do

(3)   if   𝐺_𝑙 is circular then

(4)      select 𝐼_𝑖∈𝐺_𝑙 such that 𝒯_𝑖≤𝒯_𝑖2 for all 𝐼_𝑖2∈𝐺_𝑙

(5)   else

(6)     select 𝐼_𝑖∈𝐺_𝑙 with no parent in 𝐺_𝑙

(7)   end if

(8)   for each child 𝐼_𝑖2 of 𝐼_𝑖 in 𝐺_𝑙  do

(9)     if parent deadline <𝐷_𝑖  then

(10)     set parent deadline to 𝐷_𝑖

(11)     end if

(11)   end for

(12)   if 𝐼_𝑖had a parent in 𝐺_𝑙  then

(13)     𝐷_𝑖+= parent deadline

(14)   end if

(15)   remove 𝐼_𝑖 from 𝐺_𝑙

(17)  end while