Problème de pont à une seule voie

Question

Si vous n'êtes pas familier avec le problème, c'est quelque chose comme this.

Je ne suis pas venu pour demander une réponse, j'ai en fait terminé tout mon codage. Je viens de constater que ma solution ne la résout pas le mieux possible, car ma solution ne permet qu'une seule voiture à la fois sur le pont. J'espérais pouvoir obtenir quelques conseils sur la façon d'utiliser sem_wait et sem_post pour résoudre ce problème. J'espère permettre au trafic qui coule dans la même direction de circuler ensemble et pas un à la fois.

Ma solution semble actuellement quelque chose comme:

(le nord et le sud de défaut = 1 pour déverrouillées pour 1 voiture)

IF northcar puis sem_wait (sud), sem_wait (nord). Traversez le pont, puis sem_post (nord), sem_post (sud). C'est évidemment faux parce que c'est bloquer le pont de toutes les voitures autres que celui sur lui. Je veux permettre au trafic de circuler ensemble. Des idées? J'utilise du trafic généré aléatoirement, ce qui ajoute un peu de complexité à celui-ci.

Answer 1

Dans la vraie vie vous résoudriez ce problème avec un feu rouge-nord/vert-sud, vert-nord/rouge-sud, ou rouge-nord/rouge-sud, et des capteurs dans l'approche et des voies de sortie aux deux extrémités du pont. Supposons que la lumière commence à rouge-nord/vert-sud. Les voitures peuvent circuler du sud au nord sans s'arrêter. Quand une voiture approche du nord, elle s'arrête au feu rouge et déclenche le capteur d'approche nord. Cela rend la lumière rouge-sud, mais c'est aussi rouge-nord. Lorsque toutes les voitures qui se trouvent actuellement sur le pont sont parties (déclenchant le capteur de sortie nord à leur sortie), la lumière peut changer vers le vert nord. Cet état persiste jusqu'à ce qu'une autre voiture arrive du sud et déclenche le capteur d'approche sud. Pensez à la manière dont vous traduiriez cela en code.

(Vous aurez besoin d'utiliser la propriété de comptage des sémaphores.)

Answer 2

Voici un pseudo python que je viens de fouiller. Fondamentalement bloquer une façon et laisser un nombre limité de voitures à travers. Selon la façon dont vous utilisez vos variables, cela pourrait être tout à fait tort: ​​

function main(): 
    while(true): 
     if(north_car): 
      let_north_cars_through() 
     if(south_car): 
      let_south_cars_through() 


function let_south_cars_through(): 
    sem_wait(north) 
    for(i = 0; i < max cars; i++): 
     if(south_car): 
      cross_bridge() 
     else: 
      break; 

    sem_post(north) 

function let_north_cars_through() 
    sem_wait(south) 
    for(i = 0; i < max cars; i++): 
     if(north_car): 
      cross_bridge() 
     else: 
      break; 

    sem_post(south)