Ohjelmasuoritusmalli ja sen käyttö

Transkriptio

1 Ohjelmasuoritusmalli ja sen käyttö Luento Ohjelmistojen suorituskyky 1 Skenaarioiden suorituksen kuvaaminen OHJELMASUORITUSMALLI SOFTWARE EXECUTION MODEL Ohjelmistojen suorituskyky 2 Helsingin Yliopisto / Tktl 1

2 Ohjelmasuoritusmallien tavoite SPE:n 1. mallinnusstrategian mukaan kehitysprojektin alussa pyritään laatimaan mahdollisimman yksinkertaisia malleja, jotka kuitenkin sisältävät ohjelmiston suorituskyvyn kannalta olennaisimmat piirteet Mallien tulisi olla helppoja ratkaista (=evaluoida) nopean palautteen saamiseksi ehdotetun ohjelmistoratkaisun suorituskyvystä Ohjelmasuoritusmallit ovat juuri tällaisia Ohjelmistojen suorituskyky 3 Käyttö Ohjelmasuoritusmallin ratkaiseminen tarkoittaa staattista analyysiä (simuloimatta tai muuten ohjelmaa suorittamatta) keskimääräisistä sekä pahimman ja parhaimman tapauksen vastausajoista Tarkastellaan vain yhtä ohjelmiston käyttötapausta kerrallaan ottamatta huomioon muuta työkuormaa, muita käyttäjiä tai resurssikilpailusta aiheutuvia viiveitä ja odottelua Tuotetut vastausaika-arviot ovat siis optimistisia Ohjelmistojen suorituskyky 4 Helsingin Yliopisto / Tktl 2

3 Käyttö Ohjelmasuoritusmallien avulla voidaan yleensä havaita vakavat suorituskykyongelmat aikaisessa arkkitehtuuri- tai suunnitteluvaiheessa Jos jo yksinkertainen malli kertoo ongelmista, on turhaa laatia monimutkaisempia malleja Malleja voidaan tarkentaa myöhemmissä vaiheissa, kun saadaan lisää tietoa implementaatiosta ja suoritusympäristöstä Erityisesti kriittisten toimintojen suorituspolut Ohjelmistojen suorituskyky 5 Käyttö Ohjelmasuoritusmallien tuottamia vastausaikoja voidaan käyttää syötearvoina järjestelmäsuoritusmalleille J-mallit ottavat huomioon työkuorman, muut käyttäjät ja resurssikilpailun Huom vaikka O-mallien perusteella suorituskykyongelmia ei ole, järjestelmätasolla niitä voi silti ilmetä Kilpailu samoista resursseista Ohjelmistojen suorituskyky 6 Helsingin Yliopisto / Tktl 3

4 SUORITUSVERKKO EXECUTION GRAPH Ohjelmistojen suorituskyky 7 Ohjelmasuoritusmallien esitysmuoto SPE:ssä O-mallien määrittelyyn käytetään suoritusverkkoja (execution graph) UML:n aktiviteettikaavioita muistuttava verkkonotaatio Verkon solmut vastaavat prosessointiaskeleita ja verkon kaaret määrittävät askeleiden suoritusjärjestyksen Jokaisesta suorituskyvyn näkökulmasta tärkeästä skenaariosta (performance scenario) laaditaan suoritusverkko Ohjelmistojen suorituskyky 8 Helsingin Yliopisto / Tktl 4

5 getcardinfo requestpin request Transaction request Account request Amount transaction Request dispense Cash Perussolmut Solmut vastaavat sekvenssikaavion esittämiä peräkkäisiä askeleita Tililtä nosto käyttötapauksen suorituksessa - Yksityiskohtaisin tarkastelun taso Loogisesti yhteenkuuluvat askelet voidaan tiivistää samaan solmuun verkon koon pienentämiseksi initiatesession request Transaction process Withdrawal dispensecash printreceipt terminate Session printreceipt terminate Session Ohjelmistojen suorituskyky 9 Toisto, valinta, solmun laajennos getcardinfo Toista n kertaa requestpin n process Transaction laajennos request Transaction 0,001 0,7 0,299 process Deposit process Withdrawal process Bal.Inquiry terminate Session Valinta - Haaran todennäköisyys p, p i = Ohjelmistojen suorituskyky 10 Helsingin Yliopisto / Tktl 5

6 Rinnakkainen suoritus getuserinput putdatain Screen execute RemoteQuery create ResultsScreen Parallel do: Molempien pitää tulla valmiiksi, ennen kuin suoritus voi jatkua (join) displayscreen Ohjelmistojen suorituskyky 11 Rinnakkainen suoritus getuserlogin createinitial Screen logevent loadusage Data Split: Haarat ovat itsenäisiä suoritussäikeitä, joiden ei tarvitse tulla valmiiksi ennen suorituksen jatkumista displayscreen Ohjelmistojen suorituskyky 12 Helsingin Yliopisto / Tktl 6

7 Rajoituksia 1. Suoritusverkossa saa olla vain yksi aloitussolmu Täsmälleen yksi solmu, johon ei tule yhtään kaarta Valintasolmu voi olla aloitussolmuna, millä voi kuvata vaihtoehtoisia aloituksia 2. Suoritusverkossa saa olla vain toistorakenteita käyttäen muodostettuja silmukoita Ohjelmistojen suorituskyky 13 Rajoituksia Rajoitukset eivät vähennä suoritusverkkojen ilmaisuvoimaa, mutta ne yksinkertaistavat verkkoalgoritmeja (mallin ratkaiseminen) Huom suoritusverkot näyttävät melko samanlaisilta kuin vuokaaviot, mutta Suoritusverkot näyttävät eri polkujen suorituksen frekvenssit Niillä mallinnetaan vain suorituskyvyn kannalta mielenkiintoiset suorituspolut Ohjelmistojen suorituskyky 14 Helsingin Yliopisto / Tktl 7

8 OHJELMASUORITUSMALLIN RATKAISEMINEN Ohjelmistojen suorituskyky 15 Suoritusmallien käyttötarkoitus Parhaan tapauksen vastausaikojen nopea tarkistus tärkeimmille suorituskykyskenaarioille Vaihtoehtoisten ratkaisujen suorituskykyvaikutusten arviointi Suorituskyvyn kannalta kriittisten ohjelmiston osien tunnistaminen Järjestelmäsuoritusmallien parametrien johtaminen Ohjelmistojen suorituskyky 16 Helsingin Yliopisto / Tktl 8

9 Mallin ratkaiseminen Malli ratkaistaan eli verkon suorittamiseen kuluva aika lasketaan seuraavalla algortimilla 1. Tunnista verkosta osarakenne, jonka suoritusaika osataan laskea, ja laske suoritusaika 2. Korvaa koko osarakenne yhdellä solmulla (reduktio), jonka suoritusaika on edellä laskettu aika 3. Jos verkossa on vain yksi solmu jäljellä, tuon solmun suoritusaika on verkon ratkaisu, ja voit lopettaa. Muuten jatka askelesta Ohjelmistojen suorituskyky 17 Perussolmujonon redusointi t 1... t 2 t n t t = t 1 + t t n Ohjelmistojen suorituskyky 18 Helsingin Yliopisto / Tktl 9

10 Toistorakenteen redusointi n t t 1 t = nt Ohjelmistojen suorituskyky 19 Valintarakenteen redusointi p 1 t 1 t t 0 p 2 t 2 K.a. Paras Pahin t = t 0 + p 1 t 1 + p 2 t 2 t = t 0 + Min( t 1,t 2 ) t = t 0 + Max( t 1,t 2 ) Ohjelmistojen suorituskyky 20 Helsingin Yliopisto / Tktl 10

11 Laajennokset Sovella reduktioalgoritmia laajennetuille solmuille rekursiivisesti t 1?... t Ohjelmistojen suorituskyky 21 Esimerkki Sovelletaan algoritmia kalvon 10 suoritusverkkoon Toiston suorituskertojen lukumäärä on 2, ja solmuille käytetään seuraavia suoritusaikoja (aikayksiköllä ei nyt väliä): Solmu Suoritusaika getcardinfo 50 requestpin 20 requesttransaction 30 processdeposit 500 processwithdrawal 200 processbalanceinquiry 50 terminatesession Ohjelmistojen suorituskyky 22 Helsingin Yliopisto / Tktl 11

12 Esimerkki processtransaction aliverkon ratkaisu: Lyhin aika = 80 Pisin aika = 530 Keskiarvo ,001* ,7* ,299*50 = 185,45 Koko verkon ratkaisu: Lyhin * = 330 Pisin * = 1230 K.a *185, = 540, Ohjelmistojen suorituskyky 23 Rinnakkaisten polkujen ratkaisut Parhaan tapauksen laskennassa oletetaan, että kaikki muut rinnakkaiset suoritukset ovat jo valmiit, silloin kun pisimpään kestävä suoritus valmistuu Parhaan tapauksen aika on tällöin pisimpään kestävän rinnakkaisen polun suoritusaika Huonoimman tapauksessa laskennassa oletetaan yksinkertaisesti, että kaikki rinnakkaiset suoritukset sarjallistuvat peräkkäissuoritukseksi Huonoimman tapauksen aika on siis rinnakkaisten suoritusten aikojen summa Ohjelmistojen suorituskyky 24 Helsingin Yliopisto / Tktl 12

13 SUORITUSKYVYN ANALYSOINTI SUORITUMALLEJA KÄYTTÄEN Ohjelmistojen suorituskyky 25 Analyysiprosessista Kun kriittisten käyttötapauksien suorituskykyskenaarioista on laadittu ohjelmiston alustavan arkkitehtuurin mukaiset ohjelmasuoritusmallit ja kun suorituskykytavoitteet ovat selvillä, voidaan alkaa evaluoimaan järjestelmän suorituskykyä Tehdään sekä parhaimman että pahimman tapauksen analyysit Aloitetaan parhaan tapauksen suoraviivaisista analyyseistä ja tehdään monimutkaisempia ja realistisempia arvioita sitä mukaa, kun opitaan ja/tai saadaan lisää tietoa järjestelmästä ( boot strapping ) Ohjelmistojen suorituskyky 26 Helsingin Yliopisto / Tktl 13

14 Arvoista ja yksiköistä Edellisissä esimerkeissä käytettiin geneeristä aikaa kuvaamaan solmujen suoritukseen kuluvaa aikaa Oikeissa analyyseissä pitää tietysti määritellä mitä aikaa mitataan ja mikä on mittayksikkö Kaikille verkoille käytetään samoja laskentaperusteita ja tulokset ilmoitetaan halutussa aikayksikössä Ohjelmistojen suorituskyky 27 Ajoista CPU -aika: kumulatiivinen aika, jolloin ohjelma tai sen osa (prosessi, säie) on ollut todella suorituksessa jossain laskentayksikössä Tähän ei lasketa mukaan esim. aikaa, jonka prosessi odottaa pääsyä suoritukseen (ready) tai odottaa jotain muuta tapahtumaa (wait, sleep) Yksikkö: ms, s, ns Kulunut aika (elapsed time): seinäkelloaika, ohjelman suoritukseen kulunut kokonaisaika mukaan lukien kaikki viiveet ja odottelut Yksikkö: s, m, h Ohjelmistojen suorituskyky 28 Helsingin Yliopisto / Tktl 14

15 Mistä ajat? Edellä olleissa esimerkeissä eräille operaatioille oli valmiiksi annettu suoritusverkon ratkaisemisessa tarvittavat ajat Esim. getcardinfo: 50 Suoritusaikaa on yleensä vaikea arvata suoraan, mutta sitä voidaan arvioida operaation oletetusti käyttämien ohjelmistoresurssien määrän ja niiden prosessointikustannusten perusteella Paras, pahin ja keskimääräinen käyttö Ohjelmistojen suorituskyky 29 Resurssien käyttö validateuser validate Transaction sendresult WorkUnits 1 DB 2 Msgs 0 WorkUnits 2 DB 3 Msgs 0 WorkUnits 2 DB 1 Msgs 1 Suoritusverkon solmujen kohdalla näytetään solmun operaation vaatimien resurssien määrä WorkUnit: CPU:lla suoritettavien käskyjen määrä ilmaistuna suuruusluokkina DB: tietokantaoperaatioiden lukumäärä Msgs: tietoliikenneverkon yli lähetettyjen viestien lukumäärä Ohjelmistojen suorituskyky 30 Helsingin Yliopisto / Tktl 15

16 Prosessointikustannukset Device CPU Disk Network Quantity Service Unit Kinstr. Phys. I/O Msgs. WorkUnit DB Msgs Service time (per unit of service) s 0.02s 0.01s Huom lukemat ovat esimerkinomaisia eivätkä todennäköisesti vastaa nykyaikaisia järjestelmiä! Ohjelmistojen suorituskyky 31 Verkon ratkaiseminen 1. Laske jokaisen solmun resurssikulutus käyttäen prosessointikustannustaulukkoa 2. Laske koko verkon resurssikulutus käyttäen redusointialgoritmia 3. Laske parhaan tapauksen suoritukseen kuluva aika (elapsed time) kertomalla kunkin resurssin yhden yksikön suoritusaika (service time) käytettyjen yksikköjen kokonaismäärällä ja laskemalla näin saadut ajat yhteen Ohjelmistojen suorituskyky 32 Helsingin Yliopisto / Tktl 16

17 Esimerkki askel 1 sendresult solmun resurssikulutus: Name Service Units CPU Kinstr. Physical I/O Network Messages WorkUnit DB Msgs Total: sendresult Kerrotaan luvut ja lasketaan tulot sarakkeittain yhteen Ohjelmistojen suorituskyky 33 Esimerkki askel 2 Koko verkon suorituksen resurssikulutus: Processing step CPU Kinstr. Physical I/O Network Messages validateuser validatetransaction sendresult Total: auth.transaction Ohjelmistojen suorituskyky 34 Helsingin Yliopisto / Tktl 17

18 Esimerkki askel 3 Suoritusajan laskenta parhaimmalle tapaukselle (3110 x ) + (14 x 0.02) + (1 x 0.01) = sekuntia Ohjelmistojen suorituskyky 35 Helsingin Yliopisto / Tktl 18