A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment

Algorithm 1

GenScheduling .

(1)   input: δ - the original trace

(2)   deps - map of sv to its dependence relations

(3)   output: scheduleSeq - sequence of thread schedule

(4)   begin

(5)   for to do

(6)   ←the thread identifier of the event ;

(7)   ←the latest event whose thread identifier is ;

(8)   ←the location of in the new trace;

(9)   if.getDep() = null then

(10) insert immediately after ;

(11) else

(12) .getDep();

(13) ←the location of in the new trace;

(14) if    then

(15)insert immediately after ;

(16) end if

(17) end if

(18) end for

(19) end