Scheduler

Il suo scopo principale è gestire l’avvicendamento dei processi. Ad esempio sospendere il processo che chiede I/O. O un sistema time sharing, quando arriva un interrupt sul time. Solitamente il nome scheduler è solamente un gestore dell’avvicendamento, si può quindi utilizzare per indicare scheduler di altro tipo. Note introduttive Diagramma di Gantt Questo è il diagramma per presentare lo scheduling, ossia da quando a quando è eseguito cosa Esempio gantt ...

7 min · Xuanqiang 'Angelo' Huang

Sicurezza OS

Possiamo classificare tre aree generali quando si parla di sicurezza informatica: Hardware Software human-ware. Non tratteremo in particolare esattamente come ogni campo viene declinato, però possiamo Una altra tendenza generale è che più è complessa più è insicura. e questo senso di insicurezza cresce in modo maggiore rispetto al lineare. Security principles Open Design perché così può essere scrutata da più persone Economy of mechanism spiegata sotto. Fail-safe defaults questo molto importante perché molti sistemi hanno dei default che possono essere exploitati. Complete mediation: così abbiamo qualcosa che tracka tutti gli accessi, che controlla gli accessi. Least privilege questo va a braccetto con il fail-safe. Privilege separation così possiamo mettere in modo indipendente un privilegio per qualcos’altro. CIA properties Ne abbiamo parlato in modo leggermente inverso in Sicurezza delle reti e in Theoretical Notions of Security. In questo caso sono ...

6 min · Xuanqiang 'Angelo' Huang

Syncronous model

Introduction Da ricordare il “The State Machine Replication (SMR) Problem” in Consensus protocols che è importantissimo per comprendere questa parte. Storia locale Transazioni al singolo noto Problema del sync fra tutti questi nodi. Goal of SMR solution in blockchains Andiamo a considerare alcune proprietà di safety e liveness Programmi Concorrenti Consistenza i nodi devono essere daccordo su quale transazione mettere prima e dopo → stessa storia per tutte le transazioni. (con la possibilità di alcuni nodi che siano indietro, ma solo prefisso!). Liveness che vogliamo dire che tutte le transazioni valide devono essere aggiunte alla fine Assunzioni per sincrono (4) Permissioned, ossia i nodi del nostro modello sono fissi, non possiamo averne di più, non possiamo averne di meno e sono conosciuti. Public key infrastructure, Ogni nodo ha una coppia pubblica e privata. Synchronous, esiste una sorta di stato globale, e tutti i nodi condividono questa informazione. 0, 1, … t. I messaggi sono tutti mandati bene, e arrivano esattamente uno step dopo. (mandato al tempo t, arriva a t + 1). Onestà di tutti i nodi (sarà lasciato subito questa assunzione). 4’. Una percentuale dei nodi è bizantina. ...

7 min · Xuanqiang 'Angelo' Huang

Analisi di Convessità

Questo argomento è stato trattato durante dopo la discussione dei Massimi minimi multi-variabile, però è stato ripreso anche nella forma R to R, quindi credo necessiti di un foglio a parte. Affine set Lines $$ x = \theta x_{1} + (1 - \theta)x_{2} $$ This is a parametrization of the line Example: Def: affine set A combination where the coefficients add up to 1. We can say that this set is unique given two points. ...

13 min · Xuanqiang 'Angelo' Huang

Metodi di Discesa

Introduzione ai metodi di discesa. Generali sui metodi di discesa Vogliamo creare algoritmi che riescano a trovare i punti di minimo delle funzioni non vincolate. In generale si trova un punto stazionario (condizioni necessarie) ma non è garantito lo stato ottimo. Solitamente sono divisi in first order methods in cui viene considerata solamente la derivata prima della funzione. E cose di metodi superiori. Condizioni di arresto classiche (2) 🟩- Slide ...

5 min · Xuanqiang 'Angelo' Huang

Calcolo differenziale

10.1 Derivata parziale La derivata vuole descrivere quanto varia una funzione al variare dell’input. Ma ora siamo in più dimensioni, quindi vogliamo descrivere il variare dell’input come il variare della distanza euclidea $\dfrac{\delta f}{\delta x}(x,y) = \lim _{h \to 0} \dfrac{f(x + h, y) - f(x, y)}{h}$ ovvero sto facendo variare solamente una variabile (la y in questo caso è come se fosse una costante!?) Questo è un rapporto incrementale su una direzione. ...

12 min · Xuanqiang 'Angelo' Huang

Inner product spaces

This set of notes tries to fix what I haven’t learned in 2021 course in algebra. It’s about inner product spaces. A good online reference on the topic is wilkinson. Definitions Inner product space We define the vector space $V$ to be a inner product space, if we define a inner product operator ($\langle \cdot, \cdot \rangle : V \times V \to R$) such that the following are valid: It is linear on both arguments: $$ \langle \alpha x_{1} + \beta x_{2}, y \rangle = \alpha \langle x_{1}, y \rangle + \beta \langle x_{2}, y \rangle $$ It is a symmetric operator: $\langle x, y \rangle = \langle y, x \rangle$ It is positive definite that is we have $\forall x \in V: \langle x, x \rangle \geq 0$ with equality only if $x = \boldsymbol{0}$ An example of such operator is the classical cosine distance which is just the angle, or euclidean distance. Also all $p-\text{norms}$ are inner products. ...

4 min · Xuanqiang 'Angelo' Huang

Analisi multi-variabile

In questo capitolo cerchiamo di andare oltre alla singola dimensione per l’analisi. Lo spazio $\mathbb{R}^{n}$ Possiamo definire uno spazio Rn come il prodotto cartesiano fra l’insieme R un numero di volte uguale a n $\mathbb{R} \times \mathbb{R} \times ... \times\mathbb{R} = \mathbb{R}^n$ Allora un tipico elemento in Rn è nella forma $(x_1,...,x_n)$, questo elemento si chiama punto, mentre gli elelmenti in R che costituiscono questo elemento si chiamano componenti. Osservazione La maggior parte dei risultati che dimostro nello spazio ordinario (R3) si può dimostrare per Rn, non andiamo più nel dettaglio perché i problemi che ho in spazi maggiori sono parte di materiale per analisi 2 ...

9 min · Xuanqiang 'Angelo' Huang

Duality Theory

È una branca dell’algebra lineare che ci permette di semplificare tutti i concetti. Intro dualità🟩 <img src="/images/notes/image/universita/ex-notion/Programmazione lineare/Untitled 8.png" style="width: 100%" class="center" alt="image/universita/ex-notion/Programmazione lineare/Untitled 8"> Si fa una sorta di trasposta alla matrice di A. y è pari al numero di righe di A La trasformazione al duale è molto facile, ed è abbastanza intuitiva una volta che capiamo che vogliamo andare a fare l’upper bound. Dualità asimmetrica 🟥+ Teorema debole di dualità 🟩 Slide ...

5 min · Xuanqiang 'Angelo' Huang

Insiemi numerici

💡 Questa prima parte degli appunti è fortemente mancante 1.1 Insiemistica Tutta Questa prima roba di insiemistica è fatta molto meglio nel corso di logica, in particolare in questo documento Teoria assiomatica degli insiemi 1.1.1 Definizione e caratteristiche degli insiemi Definizione di Campo ordinato (operazioni fra certi insiemi, sia per la addizione, per la moltiplicazione e simili) Corpo commutativo Sono definiti somma e moltiplicazione e proprietà come commutatività, associatività, distributiva, inversi, opposti, zero e nullo ...

3 min · Xuanqiang 'Angelo' Huang