Research Article
A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment
(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 |
|