Esercizio sui semafori, ma non si avvia l'ultimo thread

[Donovant]

Salve sto cercando di svolgere un esercizio per l'UNI in cui mi si chiede di sincronizare più thread in modo che si verifichi una predefinita sequenza di essi.

Di seguito le classi create da me:

do per scontato che chi aiuterà conosca cosa fanno le classi SemaforoBinario e SemaforoContatore:

SYNCH:

public class SynchSem{ // usato per sincronizzare i thread

    private SemaforoBinario mutexA = new SemaforoBinario(1);
    private SemaforoBinario mutexB = new SemaforoBinario(1);
    private SemaforoCont sA = new SemaforoCont(0);
    private SemaforoCont sB = new SemaforoCont(0);

    @Override
    public void passaA(){
         
        sA.P();
        System.out.println("Sezione critica "+Thread.currentThread().toString());
        sB.V();
        
    }

    @Override
    public void passaB() {
           
          mutexB.P();
           
               sA.V();
               sB.P();
               System.out.println("Sezione critica "+Thread.currentThread().toString());
               sA.V();
               sB.P();
               sA.V();
               sB.P(); 
               sB.V();
               
           mutexB.V();
    }

}

A (B uguale ad A):

public class A extends Thread{
    
     private Synch s;
     private int id;
     
     public A(int ID, Synch S ){ 
         super(""+ID); 
         s=S;
         id=ID;    
     }
     
     @Override
     public void run(){
         
         delay(1000,6000);
         s.passaA();
        
     }
     
     @Override
     public String toString(){ return "A#"+id; }
     
     private void delay(int min, int max){ // lo uso per avere tutti i thread a start nel main
          try{
              sleep( Math.round(Math.random()*(max-min))+min );
          }catch(InterruptedException exc){}
     }
     
     
}

MAIN:

public static void main(String[] args) {
        
        Synch s = new SynchSem();
        A a1 = new A(1,s);
        A a2 = new A(2,s);
        A a3 = new A(3,s);
        B b1 = new B(1,s); 
        B b2 = new B(2,s);
        
        a1.start();
        a2.start();
        a3.start();
        b1.start();
        b2.start();
}

La sequenza dovrebbe essere ABAAB, fino a ABA tt ok....
poi non va più, alle volte arriva anche a stampare ABAA, ma l'ultima B proprio mai.
Help me, please!

[@DI3GO@]

i tag code...poi controllo il codice

[LeleFT]

Originariamente inviato da @DI3GO@
i tag code...poi controllo il codice

Li ho aggiunti io...

@Donovant: non sei nuovo del forum, dovresti conoscerle queste cose...


Ciao.

[Donovant]

Si infatti volevo metterli...ma ricordo che ultimamente qualcuno mi aveva chiesto di non metterli, ma nn ricordo il perchè
Grazie cmq.

[Donovant]

Ho provato anche un'altra sequenza, di un altro esercizio "ABAA" :

   public void passaA(){
         
          mutexA.P();
            System.out.println("Sezione critica "+Thread.currentThread().toString());
            sB.V();
            sA.P();
            
           mutexA.V(); 
      
   }

   public void passaB() {
           
           sB.P();
           System.out.println("Sezione critica "+Thread.currentThread().toString());
           sA.V();
           sA.V();
   }

Nel main ovviamente ho dato lo start a A1,A2,A3,B1.
Quello che succede nn lo capisco, perchè a volte va bene a buon fine, altre invece stampa
ABA l'ultimo Thread molte volte non viene stampato ( processato ), perchè secondo voi?

[Donovant]

Ok tutto risolto...erano le classi SemaforoBinario e SemaforoContatore, che avevano un errore...
Ora tutto funge, mi sembrava strano...la sincro era fatta bene.
L'unica cosa vorrei sapere, alla fine dell'esecuzione del main..NetBeans mi dice che l'ultimo thread è ancora in pausa, wait, bloccato dall'ultimo semaforo rosso.