実際、このタスクには Redis を使用することをお勧めします。このタスクをその使用に適したものにするすべての機能を備えています。何よりも、大きなリストから値を検索するのに非常に優れています。
と の 2 つのリストを作成しbuffered_ids
ますused_ids
。cronjob は 5 分ごと (または好きな間隔) に実行され、長さをチェックしてbuffered_ids
、たとえば 5000 以上の長さを維持します。ID を使用する必要がある場合は、 からポップしてbuffered_ids
に追加しused_ids
ます。
Redis にはsets
、コレクション内の一意のアイテムである があります。キーが一意で、すべての値が「true」であるハッシュと考えてください。
bash での cronjob:
log(){ local x=$1 n=2 l=-1;if [ "$2" != "" ];then n=$x;x=$2;fi;while((x));do let l+=1 x/=n;done;echo $l; }
scale=`redis-cli SCARD used_ids`
scale=`log 16 $scale`
scale=$[ scale + 6]
while [ `redis-cli SCARD buffered_ids` -lt 5000 ]; do
uuid=`cat /dev/urandom | tr -cd "[:alnum:]" | head -c ${1:-$scale}`
if [ `redis-cli SISMEMBER used_ids $uuid` == 1]; then
continue
fi
redis-cli SADD buffered_ids $uuid
done
アプリケーションで使用する次の uid を取得するには (言語を指定していないため、疑似コードで)
$uid = redis('SPOP buffered_ids');
redis('SADD used_ids ' . $uid);
編集実際には競合状態があります。値を安全にポップするには、最初にそれを used_ids に追加してから、buffered_ids から削除します。
$uid = redis('SRANDMEMBER buffered_ids');
redis('SADD used_ids ' . $uid);
redis('SREM buffered_ids ' . $uid);