通过循环生成[0, 1001]中不重复随机数的随机数

我需要在plpgsql中生成一个不重复的随机数的随机数。非重复数应在[1,1001]范围内。但是，该代码生成的数字超过 1001。

directed2number := trunc(Random()*7+1);
counter := directed2number
while counter > 0
loop
to_point := trunc((random() * 1/directed2number - counter/directed2number + 1) * 1001 +1);
...
...
counter := counter - 1;
end loop;

如果我理解正确的话

• 您需要一个随机数（1 to 8) 的随机数。
• 随机数跨度1 到 1001.
• 随机数需要是unique。任何人不得出现超过一次。