Please enable JavaScript.

Coggle requires JavaScript to display documents.

Thread - Coggle Diagram

- - - - thread demon sono tipi di thread con caratteristiche
        
        priorità bassa
        
        utilizzati come fornitori di servizi per thread normali
  - - - Tutti i thread Java hanno una priorità e il thread con la priorità più
        alta tra quelli ready viene schedulato per essere eseguito
      - Con il diritto di preemption lo scheduler può sottrarre la CPU al
        processo che la sta usando per assegnarla ad un altro processo
      - JVM schedula l’esecuzione dei thread utilizzando un algoritmo
        di scheduling preemptive e priority based
- - - - risorsa deve essere condivisa tra due thread
      - deve esistere alme no un percorso di esecuzione tra i thread in cui una risorsa è condivisa in modo non sicuro
      - Come assicurare correttezza del software
        
        non si può dimostrare attraverso test nel modo classico
        
        per dimostrare corrette esistono due modi
        
        Dimostrare che il programma soddisfa tutte le condizioni sufficienti
        perché possa essere considerato sicuro
        
        Sviluppare il programma utilizzando strategie note che permettano di
        evitare a priori situazioni di Race Conditions
        
        necessario meccanismo che blocca accesso a sezione critica quando un thread entra e sblocca quando esce
        
        Semafori
        
        Acquire acquisisce accesso bloccando latri task
        
        release rilascia la risorsa
        
        Tipi di semafori
        
        Contatori (Contatore viene incrementato ogni richiesta e uscita)
        
        Binari( può essere uno o zero)
        
        Uso può essere pericoloso con programma complicati
        
        Intrinsic Lock
        
        Associata ad ogni istanza Object c'è intrinsic lock
        
        3 more items...
        
        4 more items...
- - - - metodi non synchro non sono esclusivi e permettono
        l'accesso concorrente a dati in qualunque momento
  - - - thread acquires intrinsic lock for class object assoc. with the class
      - access to class field's is controlled by lock distinct from lock for any instances
- - - - Sleep e Blocking
        
        spesso un thread deve essere sospeso per certo periodo di tempo
        
        chiamata t.start() rende thread t pronto a esecuzione
        
        prima o poi verrà invocato metodo run() del thread t
        
        mente metodo sleep() può essere interrotto ed è un metodo statico per mettere un thread in pausa, serve per "autospendersi" certo tempo
        
        metodo isAlive() serve per testare se thread è vivo
        
        thread è considerato vivo finche metodo run non ritorna
        
        metodo join() attende l terminazione del thread sul quale è richiamato
        
        thread che esegue join rimane bloccato i n attesa di terminazione a altro thread
        
        per fermare un thread si utilizza il metodo interrupt()
        
        setta un flag di interruzzione nel thread di destinazione e ritorno
        
        se flag risulta srttato allora lancia un eccezzione Interruptexception()
        
        metodo Interrupt() non genera eccezzioni se thread interrotto non esegue mai metodi di attessa
        
        i thread aspettano interrupt devono cooperare controllando periodicamente stato di interruzzione
        
        isInterrupt() controlla flag di interruzzione senza resettarlo
        
        Thread.Interrupted() controlla flag di interruzzione del thread corrente e se settato lo resetta
        
        La chiamata Thread.yield() permette un thread di lasciare volontariamente il processore ad un altro thread
        
        con yield() si cede controllo allo scheduler che scieglierà un altro thread da mandare in esecuzione al posto di quello che ha fatto yield()