Resumable scan through keys

Hi, I am trying to process keys on server in this batch pattern.

var cursor = 0;
do
{
    var keyBatch = await GetKeysAsync(cursor);
    foreach (var key in keyBatch)
    {
        ProcessKey(key);
    }
    cursor = keyBatch.NextCursor;
} while (cursor != 0);

How can I achieve this behaviour using IServer and IScanningCursor? This does not work.

var cursor = 0L;
do
{
    var counter = 0;
    var keys = server.KeysAsync(1, "user:*", 1000, cursor);
    await foreach (var key in keys)
    {
        counter++;
    }
    Console.WriteLine($"{cursor}, {counter}");

    cursor = ((IScanningCursor) keys).Cursor;
} while (cursor != 0);

例で言及されている IServer.KeysAsync エントリポイントと IScanningCursor インターフェースから始め、非同期列挙後にカーソルがどのように公開されるかを追跡します。Redis に対してバッチループを再現し、観測されたカーソルを期待される継続動作と比較します。意図された再開可能なスキャン動作が確立されるか、不一致が文書化されれば完了です。