Sistemi di Calcolo, Prof. Demetrescu - lezione 14 (10 Nov. 2016) скачать в хорошем качестве

Sistemi di Calcolo, Prof. Demetrescu - lezione 14 (10 Nov. 2016)

Contenuti della lezione 14: 00:00:00 Ottimizzazione di espressioni e logica del programma 00:00:30 identità algebriche per semplificare espressioni logiche complesse: verifica della collisione tra due cerchi senza fare ricorso a sqrt 00:10:41 principio della cortocircuitazione: operatori || e && in C, esempio della ricerca sequenziale, ordinamento di test in cascata partendo dal più frequente (esempio: calcolo dei whitespace in una stringa). 00:20:23 Ottimizzazione dei loop 00:21:23 loop hoisting (a.k.a. loop-invariant code motion) 00:33:53 uso delle sentinelle: ricerca di un elemento in un array 00:48:40 Ottimizzazione delle funzioni 00:48:56 inlining: tecnica base e trade-off sul numero di istruzioni nel chiamato, inlining come enabler di altre ottimizzazioni 01:01:50 tail call optimization: overhead di una chiamata a funzione, tail recursion elimination, calcolo della somma dei primi n numeri con ricorsione/ricorsione coda/iterazione.