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.