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

Algorithm 1

Determining context switching cost.

(1) Table 𝑇 = createSchedulingTable(𝐺_𝑙, 𝐽_𝑗,

      task time 𝑇_𝑖𝑗, task deadlines 𝐷_𝑖, task periods 𝒯_𝑖)

(2)  for all 𝐼_𝑖∈𝐺_𝑙  do

(3)   Response 𝑟_𝑖 = computeResponse(𝐼_𝑖,𝑇)

(4)   𝐹_𝑙𝑗=1

(5)   if 𝑟>𝐷_𝑖  then

(6)     𝐹_𝑙𝑗=0

(7)   end if

(8)  end for

(9)  𝑟 = computeLargestResponse(𝐺_𝑙,𝑇)

(10)   𝑇_𝑠𝑙𝑗=⌈𝑟/periodofhighestprioritytaskin𝐺_𝑙⌉