C! Dynaaminen muisti Rakenteiset tietotyypit 1.3.2016
Agenda Kertausta Dynaaminen muisti Valgrind-perusteet ja esimerkkejä Yhteenveto tietorakenteista Vilkaisu 3. kierroksen tehtäviin Esim: miten linkitetty lista toimii? Seuraava luento 15.3. 2
Palautetta / kierros 2 Make sure students understand that you NEED to end the string with a 0 Useissa tapauksissa 0-merkki unohtunut I did not understand why i had many '#' -characters in my result Olisi kiva jos kerrottaisiin, ettei destiä ole alustettu nollilla ja jos haluaa käyttää strcattia ensimmäinen merkki pitää muuttaa nollaksi stringien käsittelyyn tarkoitetut funktiot ovat täysin noituutta the clumsiness of c's string handling My local test server passed my code, but tmc test server rejected it due to compilation error? how is that possible? 3
Virtuaalimuistin rakenne mm. paikalliset muuttujat 0xFFFF FFFF FFFF FFFF Dynaamisesti varattu muisti Koodi ja vakiomerkkijonot 0x0000 0000 0000 0000 4
Pino ja pinokehys int multiply(int para, int parb) { int result = para * parb; return result; } void calc(int value) { int num = 10; int res = multiply(num, value); }.(aikaisemmat funktiot). 0x0004DA23 paluuosoite 20 value 10 num? res 0x0004D95A paluuosoite 10 para 20 parb 200 result Pinokehys (yksi jokaista funktiokutsua kohden) calc() multiply() 5
Miksi dynaaminen muisti? Pitkäikäinen data Funktion paikalliset muuttujat häviävät funktiosta poistuttaessa Tarvitaan N:lle alkiolle tilaa mutta koodausaikana ei tiedetä N:ää N voi vaihdella ohjelman aikana, voi kasvaa suureksikin Ei tulisi käyttää enempää muistia kuin tarvitaan Muistinkäsittelyvirheet joskus helpompi havaita Valgrind Pinossa virheelliset muistiviittaukset aiheuttavat hämmentäviä ongelmia 6
Dynaaminen muisti ja keko (heap) Ohjelma voi varata muistia dynaamisesti tarvitsemansa määrän void *malloc(koko) Vaihtuvanmittaiset tietorakenteet Ajon aikana luotavat tietorakenteet Dynaamisesti varattu muisti pitää vapauttaa käytön jälkeen Muistivuoto: vapauttamaton muisti vie resursseja järjestelmän muulta käytöltä Dynaamisesti varattu muisti säilyy vapauttamiseen asti Osoitinta voidaan välittää funktiolta toiselle 7
Malloc esimerkki: dynaaminen taulukko (n kokonaislukua) int funktio(int n) { int *table; // uninitialized at this point table = malloc(n * sizeof(int)); if (table == NULL) return -1; // memory allocation failed for (int i = 0; i < n; i++) { table[i] = n - i; } free(table); return 0; } table: 0 1 2 3 n 8
Malloc - esimerkki ja muistin alueet char *alloc_buffer(size_t n) { char *buffer; buffer = malloc(n); strncpy(buffer, "some text", n-1); // buffer = "jotain tekstiä"; -- olisi ongelma // tarvitaanko jotain muuta? } n Pino 100 Keko 0x82de Koodi (read-only) alloc_buffer{ } buffer 0x82de some text\0 malloc strncpy 9
void* -- tyypitön osoitinmuuttuja mallocin palauttamalla osoittimella ei ole tyyppiä Osoittimeen ei sellaisenaan voi viitata void* - osoitin voidaan sijoittaa tyypitettyyn osoittimeen Tämän jälkeen viittaukset, osoitinaritmetiikka, jne. toimivat (miksi ei muuten toimisi?) Osoittimen sijoitus tyypistä toiseen vaatii eksplisiittisen tyyppimuutoksen ( explicit type cast ) Yleensä kannattaa välttää (mutta joskus tarvitaan) char *buffer = malloc(n); int *buf_int = (int *) buffer; 10
Muistin vapauttaminen Funktiokutsu: free(void* osoitin)! Viittaa dynaamisesti varatun muistilohkon ensimmäiseen osoitteeseen (eli siihen joka saatiin malloc:lla) Voidaan käyttää vain dynaamisesti varattuun muistiin Ja vain kerran / varattu muistilohko Turhaan varattu muisti on pois järjestelmän muulta käytöltä Ohjelman lopussa järjestelmä vapauttaa ohjelman käyttämät resurssit 11
Valgrind Kokoelma työkaluja ohjelman debugaukseen ja profilointiin Valgrind - analyysi tehdään ohjelman suorituksen aikana Tällä kurssilla keskitytään memcheck työkaluun, joka havaitsee muunmuassa seuraavia asioita: Virheelliset muistiviitteet Alustamattomien muuttujien epäilyttävä käyttö Muistivuodot Virheelliset muistin vapautukset memcpy, jne. funktioiden käyttö päällekkäisillä muistilohkoilla 12
Valgrind käyttö (pääsääntöisesti Linux) Ohjelma kannattaa kääntää g optiolla (mukaan tietoja ohjelmakoodin symboleista) Tehtäväprojektien makefilet sisältävät jo tämän Suoritus komentorivillä: valgrind ohjelma! ohjelma : käännöksen tuloksena syntynyt tiedosto --leak-check=full optiolla saa enemmän tietoa muistivuodoista Tuottaa tulostetta ongelmakohdista ja niiden paikasta koodissa Usein toistuvia samankaltaisia ilmoituksia: aloita tarkastelu ja korjailu alkupään virheistä 13
Valgrind ja TMC-serveri Kierroksesta 3 lähtien tehtävät tarkastetaan myös Valgrindilla Jos Valgrind-virheitä, tehtävä ei mene läpi vaikka tulostus olisi muuten oikein (ja lokaali testi onnistuu) Tarkistus tapahtuu palvelimella Koodi saattaa tehdä näennäisesti oikeita asioita, mutta olla silti virheellinen Muistivuodot, virheelliset viittaukset 14
Valgrind: erilaisia muistivuotoja Valgrind luokittelee muistivuodot sen mukaan kuinka peruuttamattomasti muistilohko on kadonnut Definitely lost: varattuun lohkoon ei ole enää osoitinta ja sitä ei voi mitenkään vapauttaa Aiheuttaa virheen TMC-testeissä Indirectly lost / possibly lost: osoittimia vielä on, mutta ne eivät ole suoraan saatavillla Still reachable: muistia ei vapautettu, mutta osoitin siihen on vielä tallella, joten se voitaisiin vapauttaa Valgrind ja TMC ovat armollisia näiden suhteen 15
Osoittimet tietorakenteessa #include <stdlib.h> #include <string.h> struct person { char *name; int age; }; int main(void) { struct person lady; struct person dude; const char *n1 = "Kirsi"; name asettaminen kannattaa tehdä huolella Suora sijoitus lady.name = Kirsi asettaisi viittauksen kirjoitussuojattuun muistiin (olisi ok jos const char* name) } lady.name = malloc(strlen(n1) + 1); strcpy(lady.name, n1); lady.age = 22; Tässä tapauksessa tila merkkijonolle varattava dynaamisesti 16
Tietueen kopiointi struct person lady = { "Kirsi", 22 }; struct person dude; dude = lady; // what?? lady: char *name = 0x01A5 int age = 22 0x01A5 (read-only) Kirsi\0 dude: char *name = 0x01A5 int age = 22 17
Tietorakenteen syväkopiointi struct person { char *name; int age; }; struct person personcopy(struct person orig) { struct person new; new.name = malloc(strlen(orig.name) + 1); strcpy(new.name, orig.name); new.age = orig.age; return new; } const char *name = 0xA110 int age = 22 Kirsi\0 const char *name = 0xA125 int age = 22 Kirsi\0 18
Taulukko tietueen jäsenenä Taulukko kopioituu tietueen osana myös Kätevä ominaisuus: paljasta taulukkoa ei voi kopioida sijoittamalla Tietueen osana taulukon kopiointi helpottuu voidaan myös välittää taulukko funktiolle ja palauttaa taulukko funktiosta struct person { char name[40]; int age; }; 19
Tietueen kopiointi lady: struct person { char name[40]; int age; }; struct person lady = { "Kirsi", 22 }; struct person dude; dude = lady; Tietorakenteen koko nyt isompi kuin aiemmissa esimerkeissä char name[40] = int age = 22 dude: char name[40] = int age = 22 Kirsi\0 Kirsi\0 Nyt nimeä voi muuttaa vaikuttamatta toiseen tietueeseen 20
Dynaaminen taulukko (teht. 06_oodi) Yhden alkion koko tavuina: [0] sizeof(struct oodi) [1] [2] struct oodi *array student 0 course grade struct date strlen(array[0].course) + 1 Oleellinen funktio taulukon varaamisessa: realloc 21
Linkitetty lista (tehtävä 07_queue) struct queue first last - Kukin listan elementti on varattu dynaamisesti erillisellä malloc:lla - Kukin elementti sisältää muistiviittauksen seuraavaan elementtiin - Tässä: viittaukset listan alkuun ja loppuun struct student student 0 name next student name next 0 student name next 0 22
Linkitetty lista (tyhjä) struct queue first last 23
Linkitetty lista (ensimmäinen alkio) first last struct queue - Varaa muistia struct student:lle (muista name-merkkijono) - Linkitä first- ja last-osoittimet (mallocin palauttama osoite) - Next-osoitin alustetaan NULL struct student student 0 name next 24
Linkitetty lista (alkion lisääminen) struct queue first last - Varaa muisti struct studentille (muista name) - Linkitä listan viimeisen alkion next-osoitin tähän uuteen - Päivitä last-osoitin uuteen viimeiseen alkioon struct student student 0 name next struct student student 0 name next 25
Linkitetty lista (alkion poistaminen) struct queue first last - Aseta poistettavaa edeltävä next-osoitin osoittamaan poistettavaa seuraavaan alkioon (tai NULL jos viimeinen) - Vapauta muisti poistettavan alkion osalta - Huom: erikoistapaukset ensimmäinen tai viimeinen struct student student 0 name next student name next 0 student name next 0 26