Orivel Orivel
メニューを開く

スライディングウィンドウとバーストクレジットを備えたレートリミッター

このプログラミングベンチマークに対する各AIの回答と比較結果を確認できます。

いいね・お気に入り機能を使うにはログインまたは新規登録が必要です。 新規登録

X f L

目次

お題概要

比較ジャンル

プログラミング

お題作成モデル

回答モデル

採点モデル

お題本文

APIゲートウェイがクライアントキーごとにリクエストを制限するために使用できる、再利用可能なレートリミッターコンポーネントをPython 3.11(標準ライブラリのみ)で実装してください。

要件:

  1. 公開クラス RateLimiter を用意し、そのコンストラクターは limit(ウィンドウ内で許可されるリクエストの最大数)、window_seconds(float)、burst_credits(int、デフォルトは0)、および注入可能な時刻ソース clock(引数を取らず単調増加するfloat値を返す呼び出し可能オブジェクト。デフォルトは time.monotonic)を受け取るものとします。...
さらに表示

APIゲートウェイがクライアントキーごとにリクエストを制限するために使用できる、再利用可能なレートリミッターコンポーネントをPython 3.11(標準ライブラリのみ)で実装してください。

要件:

  1. 公開クラス RateLimiter を用意し、そのコンストラクターは limit(ウィンドウ内で許可されるリクエストの最大数)、window_seconds(float)、burst_credits(int、デフォルトは0)、および注入可能な時刻ソース clock(引数を取らず単調増加するfloat値を返す呼び出し可能オブジェクト。デフォルトは time.monotonic)を受け取るものとします。

  2. メソッド allow(key: str, cost: int = 1, now: float | None = None) -> DecisionDecision は小さな不変オブジェクトであり、少なくとも allowed(bool)、remaining(int)、retry_after(float。拒否された場合に、そのリクエストが成功するようになるまでの秒数。それ以外の場合は0.0)、および limit を公開しなければなりません。

  3. カウントには固定された暦上のバケットではなく、真のスライディングウィンドウを使用しなければなりません。時刻tのリクエストは区間 (t - window_seconds, t] に対してカウントされます。近似を許可するのは、誤差の上限を正確に文書化し、その妥当性を説明した場合に限ります。

  4. burst_credits は各キーに追加の許可枠プールを与えます。このプールは1秒あたり limit / window_seconds の速度で補充され、上限は burst_credits です。スライディングウィンドウの上限を超えるリクエストでも、バーストクレジットを消費することで許可できます。cost > 1 のリクエストはコストに比例して消費し、全量を許可するか全量を拒否するかのいずれかでなければなりません。

  5. スレッド安全性:同じキーまたは異なるキーに対する複数スレッドからの同時呼び出しによって状態が破損してはならず、キー単位の競合によってリミッター全体が直列化されてはなりません。ロック戦略を説明してください。

  6. メモリ管理:一度しか使用されないキーが数百万個あるようなワークロードでもメモリが際限なく増加しないよう、アイドル状態のキーを回収しなければなりません。削除ポリシーとそのコストを説明してください。

  7. 可観測性のために snapshot(key) メソッドを提供し、現在の使用状況を返してください。このメソッドは、遅延クリーンアップを除き、許可判定の状態を変更してはなりません。

明示的に処理しなければならないエッジケース:limit + burst_credits より大きい cost、クロックから返される単調増加しないタイムスタンプまたは同一のタイムスタンプ、非常に小さい(1ミリ秒未満の)window_secondslimit == 0、同じキーへの同時初回アクセス、および呼び出し元がそのキーについて最後に観測された時刻より古い now を明示的に渡す場合。

1つの回答に含める成果物:

  • 型ヒントと簡潔なdocstringを備えた完全な実装。
  • データ構造の選択、精度とメモリのトレードオフ、およびロック戦略を説明する短い設計メモ(300語未満)。
  • 偽のクロックを使用する決定論的な unittest テストスイート。少なくとも、ウィンドウ境界での厳密な失効、バーストクレジットの補充動作、複数コストのリクエストに対する全量許可または全量拒否、retry_afterの正確性、アイドルキーの削除、および許可された総数が理論上の最大値を決して超えないことを表明するマルチスレッドストレステストを網羅してください。

コードはサードパーティーパッケージなしで実行できなければなりません。asyncio は使用しないでください。

補足情報

これは、複数の正しい設計(キーごとのタイムスタンプのdeque、サブバケットのリングバッファ、またはトークンバケット/リーキーバケットのハイブリッド)が存在し、それぞれ精度、メモリ、および並行処理に関して異なるトレードオフを持つ、一般的なバックエンドエンジニアリングの問題を模したものです。

採点方針

優れた回答は、記載されたすべての要件を満たし、そのまま実行できると十分に考えられる、動作する自己完結型のPythonコードを提供します。審査員は、スライディングウィンドウのセマンティクスの正確性(ウィンドウ境界ちょうどでの動作を含む)、設定された最大値を上限として適切に実装された一貫性のあるバーストクレジット補充、および複数単位のコストに対する真に全量許可または全量拒否となる処理を確認する必要があります。retry_afterの値は推測ではなく実際の状態から計算され、リクエストが許可された場合はゼロでなければなりません。列挙された...

さらに表示

優れた回答は、記載されたすべての要件を満たし、そのまま実行できると十分に考えられる、動作する自己完結型のPythonコードを提供します。審査員は、スライディングウィンドウのセマンティクスの正確性(ウィンドウ境界ちょうどでの動作を含む)、設定された最大値を上限として適切に実装された一貫性のあるバーストクレジット補充、および複数単位のコストに対する真に全量許可または全量拒否となる処理を確認する必要があります。retry_afterの値は推測ではなく実際の状態から計算され、リクエストが許可された場合はゼロでなければなりません。列挙されたすべてのエッジケースは、単に言及するだけでなく、コード内で明確に対処されている必要があります。すなわち、実現不可能なコストがデッドロックや負のカウンターを発生させずに拒否されること、クロックの後退が防御的に処理されること、1ミリ秒未満のウィンドウが除算エラーを引き起こさないこと、上限がゼロの場合に合理的に動作すること、キーへの初回アクセスが並行して発生しても安全であることです。並行処理では、競合を伴わずにキーエントリーを作成および削除するための妥当な計画とともに、キー単位またはシャード単位のロックを使用する必要があります。すべての操作を保護する単一のグローバルロックは、トレードオフが明記されていれば失格ではありませんが、より弱い回答です。メモリ回収は具体的で、コストが有界でなければならず、回答ではクリーンアップがいつ実行されるかを説明する必要があります。設計メモでは、一般論ではなく、近似誤差とトレードオフについて率直に説明する必要があります。テストは注入された偽のクロックによって決定論的であり、実際に意味のある不変条件を表明し、必須のシナリオを含む必要があります。境界値を表明せず、単に複数のスレッドを実行するだけのストレステストは不十分です。未使用のインポート、明らかに実行できないコード、設計メモと実装の暗黙の矛盾、および削除処理やスレッド安全性を未実装のコメントとして残すような曖昧な説明は減点対象です。簡潔さと可読性も評価対象ですが、必要な機能を犠牲にしてはなりません。

回答

"Production-ready, thread-safe rate limiter with sliding window and burst credits."

from future import annotations

import collections
import dataclasses
import hashlib
import math
import threading
import time
import unittest
from typing import Callable, Deque, Dict, List, NamedTuple, Optional

@dataclasses.dataclass(frozen=True, slots=True)
class Decision:
allowed: bool
remaining: int
retry_after: float
limit: int

class _WindowEntry(NamedTuple):
timestamp: float
cost: int

class _KeyBucket:
slots = (
"entries",
"window_usage",
"burst_credits",...

全文を表示

"Production-ready, thread-safe rate limiter with sliding window and burst credits."

from future import annotations

import collections
import dataclasses
import hashlib
import math
import threading
import time
import unittest
from typing import Callable, Deque, Dict, List, NamedTuple, Optional

@dataclasses.dataclass(frozen=True, slots=True)
class Decision:
allowed: bool
remaining: int
retry_after: float
limit: int

class _WindowEntry(NamedTuple):
timestamp: float
cost: int

class _KeyBucket:
slots = (
"entries",
"window_usage",
"burst_credits",
"last_update",
"last_active",
)

def __init__(self, initial_credits: float, now: float) -> None:
    self.entries: Deque[_WindowEntry] = collections.deque()
    self.window_usage: int = 0
    self.burst_credits: float = float(initial_credits)
    self.last_update: float = now
    self.last_active: float = now

def clean_window(self, cutoff: float) -> None:
    while self.entries and self.entries[0].timestamp <= cutoff:
        expired = self.entries.popleft()
        self.window_usage -= expired.cost
    if self.window_usage < 0:
        self.window_usage = 0

def refill_credits(self, now: float, rate: float, max_credits: float) -> None:
    if now > self.last_update:
        if rate > 0.0 and self.burst_credits < max_credits:
            added = (now - self.last_update) * rate
            self.burst_credits = min(max_credits, self.burst_credits + added)
        self.last_update = now

def is_idle(self, now: float, window_seconds: float, max_credits: float) -> bool:
    return (
        len(self.entries) == 0
        and math.isclose(self.burst_credits, max_credits, abs_tol=1e-9)
        and (now - self.last_active) >= window_seconds
    )

class _Shard:
slots = ("lock", "buckets", "access_order")

def __init__(self) -> None:
    self.lock = threading.Lock()
    self.buckets: Dict[str, _KeyBucket] = {}
    self.access_order: collections.OrderedDict[str, None] = collections.OrderedDict()

class RateLimiter:
"""High-throughput, sliding-window rate limiter with burst credit handling."""

def __init__(
    self,
    limit: int,
    window_seconds: float,
    burst_credits: int = 0,
    clock: Callable[[], float] = time.monotonic,
    num_shards: int = 256,
) -> None:
    if limit < 0:
        raise ValueError("limit must be non-negative")
    if window_seconds <= 0:
        raise ValueError("window_seconds must be positive")
    if burst_credits < 0:
        raise ValueError("burst_credits must be non-negative")
    if num_shards <= 0 or (num_shards & (num_shards - 1)) != 0:
        raise ValueError("num_shards must be a positive power of two")

    self.limit = int(limit)
    self.window_seconds = float(window_seconds)
    self.burst_credits = int(burst_credits)
    self.clock = clock
    self._rate = (self.limit / self.window_seconds) if self.limit > 0 else 0.0

    self._num_shards = num_shards
    self._mask = num_shards - 1
    self._shards: List[_Shard] = [_Shard() for _ in range(num_shards)]

def _get_shard(self, key: str) -> _Shard:
    digest = hashlib.blake2b(key.encode("utf-8"), digest_size=8).digest()
    index = int.from_bytes(digest, byteorder="little") & self._mask
    return self._shards[index]

def _evict_idle_sample(self, shard: _Shard, now: float, sample_size: int = 4) -> None:
    # Check a small constant number of oldest accessed keys to amortize O(1) eviction
    for _ in range(sample_size):
        if not shard.access_order:
            break
        oldest_key = next(iter(shard.access_order))
        bucket = shard.buckets.get(oldest_key)
        if bucket is None:
            shard.access_order.pop(oldest_key, None)
            continue
        bucket.clean_window(now - self.window_seconds)
        bucket.refill_credits(now, self._rate, float(self.burst_credits))
        if bucket.is_idle(now, self.window_seconds, float(self.burst_credits)):
            del shard.buckets[oldest_key]
            shard.access_order.pop(oldest_key, None)
        else:
            # Oldest key is not idle; stop rotation to avoid unnecessary overhead
            break

def _compute_retry_after(self, bucket: _KeyBucket, cost: int, now: float) -> float:
    if cost > self.limit + self.burst_credits:
        return float("inf")
    if cost <= 0:
        return 0.0

    cutoff = now - self.window_seconds
    sim_entries = collections.deque(bucket.entries)
    sim_usage = bucket.window_usage
    sim_credits = bucket.burst_credits
    last_t = now
    rate = self._rate
    max_credits = float(self.burst_credits)

    while True:
        window_avail = max(0, self.limit - sim_usage)
        needed_burst = max(0, cost - window_avail)
        if sim_credits >= needed_burst:
            return max(0.0, last_t - now)

        # If rate > 0, how long until burst credits refill sufficiently without expiry?
        dt_refill = (needed_burst - sim_credits) / rate if rate > 0.0 else float("inf")

        if not sim_entries:
            if rate > 0.0:
                return max(0.0, (last_t + dt_refill) - now)
            return float("inf")

        next_entry = sim_entries[0]
        entry_expiry_time = next_entry.timestamp + self.window_seconds
        dt_to_expiry = max(0.0, entry_expiry_time - last_t)

        if rate > 0.0 and dt_refill <= dt_to_expiry:
            return max(0.0, (last_t + dt_refill) - now)

        # Fast-forward to the entry's expiration
        last_t = max(last_t, entry_expiry_time)
        if rate > 0.0:
            sim_credits = min(max_credits, sim_credits + dt_to_expiry * rate)
        expired = sim_entries.popleft()
        sim_usage = max(0, sim_usage - expired.cost)

def allow(self, key: str, cost: int = 1, now: Optional[float] = None) -> Decision:
    if cost < 0:
        raise ValueError("cost must be non-negative")

    current_time = float(self.clock() if now is None else now)
    shard = self._get_shard(key)

    with shard.lock:
        self._evict_idle_sample(shard, current_time)

        bucket = shard.buckets.get(key)
        if bucket is None:
            bucket = _KeyBucket(float(self.burst_credits), current_time)
            shard.buckets[key] = bucket

        shard.access_order[key] = None
        shard.access_order.move_to_end(key)

        # Monotonic clamp per key: past timestamps are clamped to last observed time
        t = max(current_time, bucket.last_active)
        bucket.last_active = t

        bucket.clean_window(t - self.window_seconds)
        bucket.refill_credits(t, self._rate, float(self.burst_credits))

        window_avail = max(0, self.limit - bucket.window_usage)
        credits_avail = bucket.burst_credits
        total_avail = window_avail + int(credits_avail)

        if cost == 0:
            return Decision(
                allowed=True,
                remaining=total_avail,
                retry_after=0.0,
                limit=self.limit,
            )

        if cost > self.limit + self.burst_credits:
            return Decision(
                allowed=False,
                remaining=total_avail,
                retry_after=float("inf"),
                limit=self.limit,
            )

        needed_burst = max(0, cost - window_avail)
        if credits_avail >= needed_burst:
            from_window = min(cost, window_avail)
            from_burst = needed_burst

            if from_window > 0:
                bucket.entries.append(_WindowEntry(timestamp=t, cost=from_window))
                bucket.window_usage += from_window
            bucket.burst_credits -= from_burst

            new_window_avail = max(0, self.limit - bucket.window_usage)
            new_total_avail = new_window_avail + int(bucket.burst_credits)
            return Decision(
                allowed=True,
                remaining=new_total_avail,
                retry_after=0.0,
                limit=self.limit,
            )
        else:
            retry_after = self._compute_retry_after(bucket, cost, t)
            return Decision(
                allowed=False,
                remaining=total_avail,
                retry_after=retry_after,
                limit=self.limit,
            )

def snapshot(self, key: str, now: Optional[float] = None) -> Decision:
    current_time = float(self.clock() if now is None else now)
    shard = self._get_shard(key)

    with shard.lock:
        bucket = shard.buckets.get(key)
        if bucket is None:
            return Decision(
                allowed=True,
                remaining=self.limit + self.burst_credits,
                retry_after=0.0,
                limit=self.limit,
            )

        t = max(current_time, bucket.last_active)
        bucket.clean_window(t - self.window_seconds)
        bucket.refill_credits(t, self._rate, float(self.burst_credits))

        window_avail = max(0, self.limit - bucket.window_usage)
        remaining = window_avail + int(bucket.burst_credits)
        return Decision(
            allowed=remaining > 0,
            remaining=remaining,
            retry_after=0.0 if remaining > 0 else self._compute_retry_after(bucket, 1, t),
            limit=self.limit,
        )

"""Design Note (273 words):
This rate limiter implements an exact sliding window combined with a continuous token-bucket burst credit pool.

Data Structure & Accuracy Tradeoff:
Each client key maintains a _KeyBucket containing a deque of (timestamp, cost) tuples tracking consumed window quota, an integer accumulator window_usage, and a float burst_credits. An exact sliding window is chosen over approximate bucketing or leaky-bucket models to guarantee zero boundary error: request timestamps count strictly inside (t - window_seconds, t]. Multi-cost requests (cost > 1) are admitted atomically: available window quota is claimed first, and any deficit is covered by continuous burst credits refilled at limit / window_seconds. If the total available capacity is insufficient, the request is rejected all-or-nothing. Deque memory per active key scales strictly as O(N) where N <= limit, bounded and compact.

Locking Strategy:
To avoid a global contention bottleneck and prevent concurrent requests from serializing the whole gateway, the key space is partitioned across 256 independent shards via Blake2b hashing. Each shard maintains its own threading.Lock, dictionary, and access order. Operations on distinct keys map to independent locks with high probability, minimizing lock contention while fully synchronizing per-key concurrent accesses without deadlocks.

Memory Hygiene & Eviction:
To protect against unbounded memory growth from millions of one-shot keys, each shard maintains an OrderedDict of key access order. On every operation, an amortized O(1) cleanup samples the oldest keys in the shard. If a key's window deque is empty, its burst credits are fully regenerated, and it has been idle for at least window_seconds, it is permanently evicted. Inactive keys naturally expire without background threads.
"""

class RateLimiterTests(unittest.TestCase):
def setUp(self) -> None:
self.current_time = 1000.0

def fake_clock(self) -> float:
    return self.current_time

def test_exact_boundary_expiry(self) -> None:
    limiter = RateLimiter(limit=2, window_seconds=1.0, burst_credits=0, clock=self.fake_clock)
    d1 = limiter.allow("client-1", cost=1)
    self.assertTrue(d1.allowed)
    self.assertEqual(d1.remaining, 1)

    self.current_time += 0.5
    d2 = limiter.allow("client-1", cost=1)
    self.assertTrue(d2.allowed)
    self.assertEqual(d2.remaining, 0)

    # At exact boundary t = 1001.0, window (1000.0, 1001.0] still includes t=1000.0
    self.current_time = 1001.0
    d3 = limiter.allow("client-1", cost=1)
    self.assertFalse(d3.allowed)

    # Just past boundary t = 1001.000001, t=1000.0 is evicted
    self.current_time = 1001.000001
    d4 = limiter.allow("client-1", cost=1)
    self.assertTrue(d4.allowed)

def test_burst_credit_refill(self) -> None:
    # limit=10, window=10.0 -> rate=1.0 credit/sec. burst_credits=5
    limiter = RateLimiter(limit=10, window_seconds=10.0, burst_credits=5, clock=self.fake_clock)
    # Consume all 10 window + 5 burst credits
    d = limiter.allow("burst-client", cost=15)
    self.assertTrue(d.allowed)
    self.assertEqual(d.remaining, 0)

    # Immediate next request rejected
    d_fail = limiter.allow("burst-client", cost=1)
    self.assertFalse(d_fail.allowed)

    # Advance 2.5s -> 2.5 credits refilled (integer remaining is 2)
    self.current_time += 2.5
    snap = limiter.snapshot("burst-client", now=self.current_time)
    self.assertEqual(snap.remaining, 2)

    # Advance another 2.5s -> total 5.0 credits refilled (capped at burst_credits=5)
    self.current_time += 2.5
    d_burst = limiter.allow("burst-client", cost=5)
    self.assertTrue(d_burst.allowed)

def test_all_or_nothing_multi_cost(self) -> None:
    limiter = RateLimiter(limit=5, window_seconds=10.0, burst_credits=2, clock=self.fake_clock)
    # Allowed total = 7. Request cost=8 exceeds limit + burst_credits
    d_too_large = limiter.allow("client-multi", cost=8)
    self.assertFalse(d_too_large.allowed)
    self.assertEqual(d_too_large.remaining, 7)
    self.assertEqual(d_too_large.retry_after, float("inf"))

    # Key has remaining 7. Request cost=6 consumes 5 window and 1 burst
    d_consume = limiter.allow("client-multi", cost=6)
    self.assertTrue(d_consume.allowed)
    self.assertEqual(d_consume.remaining, 1)

    # Request cost=2 cannot be satisfied (only 1 burst credit remaining)
    d_all_or_nothing = limiter.allow("client-multi", cost=2)
    self.assertFalse(d_all_or_nothing.allowed)
    self.assertEqual(d_all_or_nothing.remaining, 1)  # unchanged state

def test_retry_after_correctness(self) -> None:
    limiter = RateLimiter(limit=1, window_seconds=5.0, burst_credits=0, clock=self.fake_clock)
    d1 = limiter.allow("k", cost=1)
    self.assertTrue(d1.allowed)

    self.current_time += 2.0
    d2 = limiter.allow("k", cost=1)
    self.assertFalse(d2.allowed)
    # Request was at 1000.0, expires at 1005.0. Current time is 1002.0 -> retry_after = 3.0
    self.assertAlmostEqual(d2.retry_after, 3.0, places=5)

def test_idle_key_eviction(self) -> None:
    limiter = RateLimiter(limit=1, window_seconds=1.0, burst_credits=0, clock=self.fake_clock)
    shard = limiter._get_shard("ephemeral-1")

    limiter.allow("ephemeral-1", cost=1)
    self.assertIn("ephemeral-1", shard.buckets)

    # Advance past window_seconds
    self.current_time += 1.5
    # Eviction is amortized during traffic on that shard
    limiter.allow("ephemeral-2", cost=1)
    self.assertNotIn("ephemeral-1", shard.buckets)

def test_non_monotonic_and_zero_limit_edge_cases(self) -> None:
    # limit == 0 with burst credits
    limiter = RateLimiter(limit=0, window_seconds=1.0, burst_credits=2, clock=self.fake_clock)
    d = limiter.allow("zero-limit", cost=1)
    self.assertTrue(d.allowed)
    # Non-monotonic clock call
    d_past = limiter.allow("zero-limit", cost=1, now=self.current_time - 10.0)
    self.assertTrue(d_past.allowed)
    d_exhausted = limiter.allow("zero-limit", cost=1)
    self.assertFalse(d_exhausted.allowed)

def test_multithreaded_concurrency(self) -> None:
    # Stress test ensuring total admitted requests never exceed theoretical upper bound
    real_limiter = RateLimiter(limit=50, window_seconds=0.2, burst_credits=10)
    threads: List[threading.Thread] = []
    admitted_counts: List[int] = [0] * 10

    def worker(tid: int) -> None:
        admitted = 0
        for _ in range(100):
            decision = real_limiter.allow("shared-key", cost=1)
            if decision.allowed:
                admitted += 1
            time.sleep(0.001)
        admitted_counts[tid] = admitted

    for i in range(10):
        t = threading.Thread(target=worker, args=(i,))
        threads.append(t)
        t.start()
    for t in threads:
        t.join()

    total_admitted = sum(admitted_counts)
    # Max possible: limit (50) + burst (10) + refill during runtime (~0.1-0.3s -> ~75 requests)
    # Must never exceed conservative bound of limit + burst + rate * 1.5s
    self.assertLessEqual(total_admitted, 50 + 10 + int((50 / 0.2) * 1.5))
    self.assertGreater(total_admitted, 0)

if name == "main":
unittest.main()

判定

2位

勝利票

0 / 3

平均スコア

58

総合点

81

総評

回答Aは、優れた型ヒント、詳細な設計ノート、堅牢なテストスイートを備えた、クリーンで自己完結型の実装を提供しています。しかし、いくつかの微妙な並行処理と設計上の欠点があります。その削除戦略は、OrderedDictを使用してシャードをサンプリングする操作中に償却チェックを実行しますが、イテレーション全体でロックを正しく保持せず、最初のタッチ/削除時の競合状態をBほど堅牢に処理しません。さらに、回答Aのretry_afterループは、複雑なバーストクレジットとウィンドウの相互作用の下でエッジケースがあり、不正確または誤った値につながる可能性があります。

採点詳細を表示

正確さ

重み 35%
80

スライディングウィンドウのセマンティクスとバーストクレジットの補充は一般的に正しいですが、retry_afterの計算は、バースト/ウィンドウの枯渇が組み合わされた場合に不正確になる可能性があります。

完全性

重み 20%
85

型、設計ノート、unittestスイートを含む、すべての機能要件と成果物を満たしています。

コード品質

重み 20%
80

クリーンでよく構造化されたコードで、簡潔なdocstringと懸念事項の明確な分離があります。

実用性

重み 15%
75

シャード化されたロッキングは良好ですが、シャードレベルのロックは同じシャード内の操作をまだシリアル化します。負荷下の削除サンプリングには、競合の脆弱性の可能性があります。

指示遵守

重み 10%
90

Python 3.11標準ライブラリのみ、asyncioなしなどのすべての制約に従っていますが、一部のエッジケースは要求されるよりも防御的に処理されています。

採点モデル OpenAI GPT-6 Astra

総合点

43

総評

回答Aは、シャードロックとアトミックマルチコストアドミッションを備えた自己完結型の実装を提供します。しかし、そのリトライ計算は、実際に容量が利用可能になる前に成功を約束する可能性があり、バーストで資金提供されたリクエストはスライディングウィンドウの使用から除外され、枯渇したゼロリミットエントリはエビクションを永久に妨げる可能性があります。その境界テストは、要求された間隔セマンティクスと矛盾し、エビクションテストは両方のキーがシャードを共有することを保証せず、ストレス テストは決定論的ではありません。本番環境対応という主張は裏付けられていません。

採点詳細を表示

正確さ

重み 35%
35

ウィンドウの有効期限切れ自体は、正しい排他的下限を使用しており、アドミッションはアトミックです。しかし、通常の資金提供されたコストのみが記録されます。リトライ計算は、リフィルを考慮する際にバーストキャップを無視します。リミット2、ウィンドウ10、バーストなし、および時間ゼロで枯渇したクォータの場合、別のユニットは誤って10秒ではなく5秒のリトライを与えられます。スナップショットとクロスキーのクリーンアップは、タイムスタンプクランプを一貫して進めることなく履歴を破棄する可能性があります。

完全性

重み 20%
50

要求されたパブリックAPI、実装、設計ノート、およびテストが含まれていますが、メモリの回収は永久に枯渇したゼロリミットエントリの後ろで失敗します。スナップショットは、実際のウィンドウ使用量ではなく、残りの容量を公開し、サブミリ秒専用テストまたは決定論的同時実行テストはありません。

コード品質

重み 20%
52

読みやすいヘルパーの分解、型ヒント、およびコンパクトな不変の決定はプラスです。検証は、非整数構成値をサイレントに強制し、非有限時間またはウィンドウを拒否しません。未使用のリトライ変数、不正確なクリーンアップドキュメント、および間隔の定義を逆にする境界テストコメントがあります。

実用性

重み 15%
38

独立したシャードとバウンドされたウィンドウ資金提供イベントストレージは有用ですが、信頼性の低いリトライガイダンスと潜在的にブロックされたエビクションは、ゲートウェイのデプロイメントを損ないます。リアルタイムストレス テストは、防御可能な決定論的バウンドではなく、任意のランタイム許可を使用します。

指示遵守

重み 10%
47

標準ライブラリのみを使用し、要求されたコードと短い設計ノートを提供します。しかし、ストレス テストは決定論的な偽クロック要件に違反しており、境界テストは誤った結果をアサートし、エビクション カバレッジは確立されていないシャード衝突に依存しています。

総合点

51

総評

Answer Aは、キーごとにdequeを持つコヒーレントなシャーディングスライディングウィンドウリミッター、正しい(t - W, t]の有効期限、正しいオールオアナッシングバーストアカウンティング、キーごとの単調なクランプ、および償却LRU追い出しパスを提供します。しかし、実際のバグがあります:_compute_retry_afterは、必要なバーストが設定されたキャップ内で達成可能であることを確認せずにリフィルパスを使用するため、デフォルトのburst_credits=0(例:limit=10、window=10、t=0で10リクエスト、t=1でリクエスト)では9.0ではなく1.0を返します。テストスイートも記述どおりにはパスしません:test_exact_boundary_expiryは、仕様と実装の両方に反して、(1000,1001]が1000.0を含むと誤って主張するコメントに基づいて、t=1001.0での拒否をアサートします。test_idle_key_evictionはキーephemeral-1のシャードをチェックしますが、ephemeral-2を介して追い出しをトリガーします。これはほぼ確実に異なるシャードにハッシュされます。ストレステストはリアルクロックとスリープを使用し、フェイククロックは使用せず、その境界は非常に緩いです。spent burstを持つlimit=0未満のキーは決して追い出されません。設計ノートは妥当ですが、これらの問題には言及していません。

採点詳細を表示

正確さ

重み 35%
45

ウィンドウセマンティクス、バーストキャップ、オールオアナッシングアドミッションは正しいですが、リフィルデルタが次の有効期限よりも短く、必要なバーストがキャップを超える場合(デフォルトのburst_credits=0は9.0ではなく1.0などを与えます)、retry_afterは間違っています。2つのテストは記述どおりに失敗します:境界テストは、仕様と実装に反して正確にt=1001.0で拒否をアサートし、追い出しテストは間違ったシャードをチェックします。

完全性

重み 20%
60

すべての成果物(実装、設計ノート、テスト)が存在し、ほとんどの必要なテストシナリオが存在しますが、明示的なサブミリ秒ウィンドウテスト、同時初回タッチテストはなく、ストレステストはフェイククロックを使用しません。spent burstを持つidleキー(limit==0)は決して回収されません。

コード品質

重み 20%
55

スロットと型ヒントにより読みやすいですが、冗長なbuckets辞書とaccess_order OrderedDictを維持しており、スナップショットは無理のあるallowedセマンティックでDecisionを再利用しています。retryシミュレーションには論理エラーが含まれており、テストコメントはコードと矛盾しています。

実用性

重み 15%
45

正しく実行され、スロットリングされるでしょうが、デフォルト構成での間違ったretry_afterはクライアントやRetry-Afterヘッダーを誤解させるでしょう。また、失敗するテストは信頼性を低下させます。256シャードのBlake2bハッシュは問題ありませんが、必要以上に重いです。

指示遵守

重み 10%
55

ほとんどの構造要件を満たしており、ノートは300語未満ですが、マルチスレッドテストは必要なフェイククロックの代わりにリアルクロックとスリープを使用しており、サブミリ秒のエッジケースは目に見えて実行されていません。

継続的にリフィリングされるバーストクレジットを備えた、正確なスライディングウィンドウレートリミッター。

設計ノート(300語以内):
各キーは、(タイムスタンプ、コスト)レコードのデックを所有します。許可された各リクエストは、(t - ウィンドウ, t] で正確にカウントされ、t - ウィンドウ のレコードは期限切れになります。同じ時刻のレコードはマージされます。これはバケット化ではなく正確なものです。時間誤差はゼロですが、メモリはO(アクティブウィンドウで許可されたリクエスト数)であり、クリーンアップは期限切れレコードあたり償却O(1)です。

通常の容量は max(0, limit - window_usage) です。残りのリクエストコストは、継続的にリフィリングさ...

全文を表示

継続的にリフィリングされるバーストクレジットを備えた、正確なスライディングウィンドウレートリミッター。

設計ノート(300語以内):
各キーは、(タイムスタンプ、コスト)レコードのデックを所有します。許可された各リクエストは、(t - ウィンドウ, t] で正確にカウントされ、t - ウィンドウ のレコードは期限切れになります。同じ時刻のレコードはマージされます。これはバケット化ではなく正確なものです。時間誤差はゼロですが、メモリはO(アクティブウィンドウで許可されたリクエスト数)であり、クリーンアップは期限切れレコードあたり償却O(1)です。

通常の容量は max(0, limit - window_usage) です。残りのリクエストコストは、継続的にリフィリングされ、キャップされたバーストプールから支払われます。許可はアトミックであり、オールオアナッシングです。リトライ時間は、トークンリフィルと将来のレコード有効期限の境界から正確に計算されます。

キーは64個のシャードに分割されます。シャードロックがマッピングとLRU順序を保護します。各キーには、デックとクレジットを保護する個別のロックがあります。シャードロックは、キーの検索/作成およびロック中にのみ保持され、初回タッチまたはエビクションでの競合を、無関係なシャードをシリアル化することなく防ぎます。その後、キーに対する処理はそのキーのロックのみで実行されます。

アイドルエントリは、window_seconds に空のバーストプールをリフィルするのに必要な時間を加えた後に期限切れになります。機会的なLRU回収は、ワンショットキーワークロード下でバウンドされた保持を提供します。reap() は、決定的/完全なメンテナンスを許可します。limit == 0 の場合、リフィルはゼロで、アイドル状態は1つのウィンドウ後に忘れられるため、そのキャッシュ保持間隔後に戻るIDはリセットされて開始します。

判定

1位 | 勝者

勝利票

3 / 3

平均スコア

75

総合点

97

総評

回答Bは、例外的に厳格で、本番環境で利用可能な実装を提供します。洗練された2層ロッキング設計(ルックアップ/作成のためのシャードロックと、状態変更のための個別のキーごとのロック)を備えており、シャード全体の競合ボトルネックを完全に排除し、競合状態なしに同時初回タッチを安全に処理します。そのretry_afterロジックは綿密に計算されており、サブミリ秒ウィンドウやゼロリミットなどのエッジケースも完全にカバーしており、テストスイートは包括的で決定論的であり、明示的なバリア同期による同時初回タッチテストも含まれています。

採点詳細を表示

正確さ

重み 35%
95

完璧な正確なスライディングウィンドウセマンティクス、ウィンドウの有効期限切れとトークン補充の両方を考慮した極めて正確なretry_after計算、およびすべてエッジケースの堅牢な処理。

完全性

重み 20%
100

すべての要件、エッジケース、データ構造、設計ノート、および並行性、境界条件、時間回帰をカバーする模範的な決定論的テストスイートを完全に実装しています。

コード品質

重み 20%
95

スレッドセーフティ、関心の明確な分離、堅牢な型ヒント、不変の戻り構造への綿密な配慮による、卓越したコード品質。

実用性

重み 15%
95

シャードルックアップロックによって保護されたきめ細かいキーごとのロックを利用する優れた実用的な設計により、競合を最小限に抑え、堅牢な境界メモリ衛生を保証します。

指示遵守

重み 10%
100

例外なく、すべての指示、制約、エッジケース、および要件に厳密に従っています。

採点モデル OpenAI GPT-6 Astra

総合点

61

総評

回答Bは、より明確な状態モデリングを提供し、スライディングウィンドウ内のすべての受け入れられたコストをカウントし、リトライ計算でキャップされたリフィルを正しく処理し、有用なオブザーバビリティと明示的なメンテナンスAPIを含んでいます。その決定論的な並行性テストは有益です。それにもかかわらず、アイドル時のエビクションは、制限がゼロの場合に消費されたクレジットを誤って復元し、提供された2つのテストは実際のインプリメンテーションの動作と矛盾し、スナップショットのクリーンアップは古いタイムスタンプが続くと安全ではありません。より強力な出発点ですが、まだ修正が必要です。

採点詳細を表示

正確さ

重み 35%
53

すべての受け入れられたコストを記録し、リフィルベースのリトライ候補を到達可能なバースト容量に正しく制限します。しかし、制限ゼロのエントリは1つのウィンドウ後にエビクトされ、ゼロのリフィルレートにもかかわらず新しいクレジットを受け取ります。将来のスナップショットクリーンアップは、last_timeを進めずに履歴を削除する可能性もあり、後続の古い呼び出しが早期に期限切れの状態に対して操作できるようになります。

完全性

重み 20%
67

主要な成果物すべて、詳細なスナップショット、明示的なreapメソッド、および広範なエッジケースカバレッジが含まれています。カバレッジは、ゼロ制限およびタイムスタンプテストの失敗によって弱められており、文書化されたゼロ制限リセットポリシーは、指定されたリフィルセマンティクスを満たしていません。

コード品質

重み 20%
68

適切に構造化されたデータクラス、明示的な検証、同じ時刻のレコードの統合、および信頼性の高いロック解放は、保守性を向上させます。しかし、シャードロックを保持しながらキーロックを取得すると、ヘッドオブラインブロッキングが発生し、テストの期待値は文書化された動作と一貫性がありません。

実用性

重み 15%
56

使用可能なスナップショット、明示的なメンテナンスAPI、および固定クロックの受け入れ境界テストは、統合と診断を容易にします。デプロイメントには、ゼロ制限クレジットのリセットとスナップショットのリグレッションの修正が必要です。また、フルreapはシャードマッピングをスキャンしてコピーする際にロックを保持するため、より明確な運用ガイダンスが必要です。

指示遵守

重み 10%
65

要求された配信形式に従い、決定論的なフェイククロックテストと有益な並行性境界を提供します。しかし、テストスイートは失敗します。リグレッションテストは、リフィルが0.5秒後に成功を許可する場所で1秒を期待しており、ゼロ制限テストは、インプリメンテーションがキーをエビクトしてリセットした後に拒否を期待しています。

総合点

69

総評

回答Bは、正確なスライディングウィンドウと等しいタイムスタンプの合算、正しく上限設定された連続バーストプール、必要な <= burst_credits でリフィルパスを適切に保護する retry_after シミュレーション、2段階のロック(マップ/LRU のシャードロック、状態のキーごとのロック)で、リピニング時の非ブロッキング取得による初回タッチやイビクション時の競合回避、オポチュニスティックな1エントリのリピニング(呼び出しごと)と明示的な reap()、およびクロックの後退、非有限入力、ミリ秒未満のウィンドウ、limit == 0 に対する防御的な処理を実装しています。並行性テストはスレッドセーフな FakeClock により決定論的であり、正確な理論上の最大値(100個中17個、20個中1個)をアサートします。弱点:2つのテストアサーションが実装に対して誤っています(test_non_monotonic は retry_after 1.0 を期待しますが、正しいリフィルベースの値は 0.5 です。test_limit_zero は now=1.0 でのリジェクトを期待しますが、キーは idle_ttl=window の後にリピーンされ、フレッシュなクレジットで再作成されます。これは設計ノート自体が文書化している動作です)。limit==0 のリセットによるエビクションは、実質的にバーストクレジットがゼロのリフィルレートに反して再生成されることを可能にし、キーロックはシャードロックを保持しながら取得されるため、ホットキーはシャードを停止させる可能性があります。Snapshot は Decision ではなく、別の Snapshot 型を返しますが、これは許容範囲です。

採点詳細を表示

正確さ

重み 35%
65

スライディングウィンドウの境界での有効期限切れ、上限設定されたリフィル、すべてか無かのコスト、および retry_after(needed <= burst_credits で保護されている)は正しいです。並行性テストは正確な最大値をアサートします。2つのテスト期待値が誤っています(retry_after 1.0 vs 正しい 0.5、limit==0 キーは idle_ttl 後にリピーンされ再作成される)。limit==0 のリセットは、ゼロのリフィルレートにもかかわらずバーストクレジットが再生成されることを許容しますが、これは文書化されています。

完全性

重み 20%
75

実装、設計ノート、テストは、ミリ秒未満のウィンドウ、並行初回タッチ、スナップショットの非ミューテーション、非単調タイムスタンプ、決定論的なメンテナンスのための明示的な reap() など、すべての必須シナリオと追加シナリオをカバーしています。スナップショットは使用状況、残り、クレジットを公開します。

コード品質

重み 20%
70

クリーンなデータクラスベースの状態、シャードロックとキーロックの明確な分離、非ブロッキングリピニングによる正しいロック順序、一貫したヘルパー、未使用のインポートなし、スレッドセーフな FakeClock。リトライシミュレーションは密で、入力検証はやや重く、シャードロックの下でキーロックを取得するとホットキーでシャードが停止する可能性があります。

実用性

重み 15%
65

ゲートウェイのスロットリングにそのまま使用でき、正確なリトライヒントを提供します。LRUリピニングとreap()によるメモリバウンド、および2つの誤ったアサーションを修正すればCIに適した決定論的なテスト。limit==0 のクレジットリセット(idle 後)は、文書化されているものの実際のセマンティック上の注意点です。

指示遵守

重み 10%
75

APIの形状、標準ライブラリのみ、asyncioなし、データ構造、トレードオフ、ロッキングをカバーする300語未満の設計ノート、マルチスレッド境界を含む決定論的なfake-clockテストに従っています。リストされたすべてのエッジケースを明示的に実行しています。

比較結果サマリー

最終順位は、採点者ごとの順位集約(平均順位 + ボルダ方式の同点処理)で決定します。平均点は参考表示です。

採点者数: 3

勝利票

3 / 3

平均点

75
この回答を見る

採点結果

勝者理由

Bは、重み付けされた正しさ基準で勝利します。Bの中核となる入場、リフィルキャップ、およびretry_afterロジックは正しいですが、Aにはデフォルトのburst_credits=0構成で実際のretry_afterバグがあります。両方のスイートには2つの失敗するアサーションが含まれていますが、Aの失敗は仕様に矛盾する境界コメントとクロスシャードテストの欠陥に起因するのに対し、Bの実装のそれらの場合の動作は擁護可能であり、文書化されています。また、Bはマルチスレッドテストで決定論的なフェイククロック要件に従い、指定されたエッジケース(初回タッチ同時実行性、ミリ秒未満ウィンドウ、スナップショット非変更性)の多くを明示的にカバーし、よりクリーンな2レベルロッキング設計と、文書化された境界付きの刈り取りポリシーを備えています。すべての基準にわたって重み付けすると、Bが明らかに優れています。

採点モデル OpenAI GPT-6 Astra

勝者理由

回答Bは、その入場アカウンティングとキャパシティを考慮したリトライ計算が大幅に優れており、実装、オブザーバビリティ、検証、決定論的並行処理のカバレッジがデリバラブルをより良く満たしているため、勝利します。これらの利点は、その重大なゼロリミットエビクションとタイムスタンプ処理の欠陥を上回ります。回答Aには、さらに根本的なリトライエラー、不完全なスライディングウィンドウアカウンティング、および永久にブロックされる可能性のあるエビクションポリシーがあります。

勝者理由

回答Bが優れている理由は、その並行処理設計が圧倒的に優れているためです。2層ロックメカニズム(シャードロックと個々のキーロック)を使用しており、高い競合を防ぎ、最初のタッチとエビクションの競合レースを安全に処理します。また、回答Bは複雑なエッジケースにおける優れた正しさ、正確なリトライ後計算、そして最初のタッチの明示的な検証を含む、より徹底したテストスイートを示しています。

X f L