Idea para opitimizar código

[DaneelR]

Este trozo de código genera 4 números aleatorios diferentes dentro de un rango comprendido de 0 a $total, ¿alguna idea para optimizarlo?:

srand((double)microtime()*1000000);
$ale1 = rand(0, $total);

srand((double)microtime()*1000000);
$ale2 = rand(0, $total);

if($ale2 == $ale1)
{
while($ale2 == $ale1)
{
srand((double)microtime()*1000000);
$ale2 = rand(0, $total);
}
}

srand((double)microtime()*1000000);
$ale3 = rand(0, $total);

if(($ale3 == $ale1) || ($ale3 == $ale2))
{
while(($ale3 == $ale1) || ($ale3 == $ale2))
{
srand((double)microtime()*1000000);
$ale3 = rand(0, $total);
}
}

srand((double)microtime()*1000000);
$ale4 = rand(0, $total);

if(($ale4 == $ale1) || ($ale4 == $ale2) || ($ale4 == $ale3))
{
while(($ale3 == $ale1) || ($ale3 == $ale2) || ($ale4 == $ale3))
{
srand((double)microtime()*1000000);
$ale4 = rand(0, $total);
}
}

Un saludo a todos.

[Cluster]

1) Usar una función para el código q repites constantemente:
2) usar un array para almacenar esos numeros que generes .. para poder ver si ya los generó o no ...

(supongo que los números generados no se pueden repetir entre si? .. si se pueden repetir quita el bucle while y las variables implicadas ..)

Código PHP:

  <? 
function genera_numero($total){ 
  srand((double)microtime()*1000000); 
  return rand(0, $total); 
} 
 
$total=10; 
$numeros_generar=4; 
$numeros_generados=array(); 
 
// Genera numeros. 
for ($x=0; $x<$numeros_generar; $x++){ 
  $ok_numero=FALSE; 
  while (!$ok_numero){ 
     $numero_aleatorio=genera_numero($total); 
     if (!in_array($numero_aleatorio,$numeros_generados)){ 
        $numeros_generados[]=$numero_aleatorio; 
        $ok_numero=TRUE; 
      } 
  } 
 
} 
 
// presenta los numeros generados. 
foreach($numeros_generados as $numero){ 
    echo "Nº: ".$numero."<br>"; 
} 
?>   

Un saludo,

[DaneelR]

Gracias por la respuesta, y vivan los arrays.