Higher-Level Paradigms for Deadlock-Free High-Performance Systems
Peter H. Welch, G.R.R. Justo, Colin Willcock · Kent Academic Repository (University of Kent) · 1993
Ab3hact. Tlis is a study rsviewing and developins m.thodolosi * esseatial to ensineels who need io develop low-cost lal ligh-p.llolmance codputins applications. Emersins studalds will lequire lhe adoplion of techniqnes that ofier perfo.nance and se.uliiy lo a lev€l ai l€st lhat provid.d by tlE m.thodolDsies p.esented in ihG 6ludy for n$s nuket enbedded appLicalions Md other a!es. Ou neilodolosiG.re bded upon th. multiprocessing compuiiAg model defrned by CSP atrd irlesiaied wiiiin the occam proeranhins ldn8u!9.. TIb study is lhe.esult of joiri coopelation beiweed rd€archeB and industrial useB in rhe gI ( (u veBiiy of Ke nr, wno lurhored thG srudy) and rhe Nerhensnds (univ*siry ot Twenle and Rierschoren & Eouwers. Rotteidm). This study rcvi.ws rhe gen€ral notion ol deadlock (and livelock) in ptual€l syF tems bded lpon synchlonis.d n.$agc pNnl8 and r.llles lhem to ile mrb wo.se problem of udetected daia-lN in ayRchronous or shar.d-meno.y conmnnicalions. Two d€sisn p*adi8m (I/o-PAR s^d cli.nr.s.ru.') are prdenied r [ suaruiee Iredon frcn deadloc! Io. synchronG.d connunicalion r€siDe (both corlinuous d nr€sular dara,flo*). Th. pa6dism3 lre bsed lpon lh. lotion oI 'synchrods& tion das'for proc * th.l ie clG€d ulder c..lain torms of p&ail€l compcition. Chcking for deadlock-f.eens d.votv6 io ch.clins lhd ih. bNe?roc66 bdon6 io the corrci dN6 rd liat-ti. conp6iiion tu16 rr. obelved. Tle complexity of this cheding is at wo6i O(n'), wh.r. tr is lh. nunber