Dataflow analüüs samaaegne Programs abil Datarace avastamine

Original: http://cseweb.ucsd.edu/~lerner/radar.html

radar    Radar                                                

Rahastatud NSF auhinna CCF-0811512

Ülevaade

Edasiminek staatiline algoritmid programmi optimeerimine ja vigade avastamise on näidanud, et tõlkija tehnoloogia võib oluliselt parandada töökindlust ja jõudlust arvutisüsteeme. Kuid enamik neist algoritmilist ettemaksete piirduvad järjestikuseks programmide ja ignoreerida väljakutseid kehtestatud kokkulangevus, kus vajadus staatiline kontroll ja potentsiaali optimeerimine on kõige suuremad.

Lai eesmärk Radar on arendada skaleeritav ja täpne analüüs tehnikat samaaegselt programme. Saavutamine mastaapsuse ja täpsuse samal ajal aga on raske, sest seal on laialdaselt tunnustatud pingeid need kaks eesmärki. Selle probleemi lahendamiseks meie üldist metoodikat saab kujundada analüüsid, mis on hea ja skaleeritav esimene (tõenäoliselt arvelt täpsus) ja seejärel korduvalt täpsustada nende analüüside abil empiiriliselt kindlaks ühise samaaegse programmeerimine jaotama, kus meie analüüsid kaotada täpsus ja arendada analüüsi tehnikad on suunatud nende jaotama.

Meie uuringud viivad järgmistest toetustest:

  •     Radar raames. Esiteks, me kavandada, rakendada ja hinnata raames kutsutakse Radar automaatselt tekitama täpne samaaegsete analüüse nende järgnevuse kolleegidega. See teeb samaaegse analüüside palju lihtsam kirjutada, lubades koostaja kirjanikud ja analüüs kirjanike kergesti kohaneda praeguse analüüsid moodustavad kokkulangevus.
  •     Parem tarkvara töökindlust. Teiseks, kuna meie teadus kava hõlmab testimise ja hindamise Radar mitmetel analüüse, mida kasutatakse staatilise kabe, meie teadus toob kaasa heli ja skaleeritav kabet, mis on täpne nägu kokkulangevus. See omakorda toob kaasa parema tarkvara töökindlust.
  •     Empiirilist kokkulangevus mustrid. Kolmandaks, uurides, kus meie esialgu ebatäpne (kuid heli ja skaleeritav) Radar raames kaotab täpsusega, me tuvastada ja liigitada ühise kokkulangevus mustrid täheldatud tõeline süsteeme. See kokkulangevus kataloogi ühine idioomide on kasulik piiridest kaugemale meie uurimisprojekti, näiteks suunamisel kavandada uusi keeli või programmeerimise mudelite kokkulangevus ning aidates teadlaste ja praktikute koondama oma jõupingutused hoone tarkvaratehnika tööriistad kokkulangevus.


Väljaanded

Kood

  •     Relee + RADAR v.0.10.03: gzip või xz
  •     versioon 0.9.09: siin
  •     versioon 0.8.08: siin
  •     versioon 0.7.07: siin

Leave a Reply