{
  "id": "php",
  "title": "Redis leaderboard with PHP",
  "url": "https://redis.io/docs/latest/develop/use-cases/leaderboard/php/",
  "summary": "Implement a Redis leaderboard in PHP with Predis and sorted sets",
  "tags": [
    "docs",
    "develop",
    "stack",
    "oss",
    "rs",
    "rc"
  ],
  "last_updated": "2026-04-28T13:01:52-05:00",
  "children": [],
  "page_type": "content",
  "content_hash": "e5ed89dafe39a4f2e123f0f578b9012eacb8e1ca1684e7e1f8e8bca319633882",
  "sections": [
    {
      "id": "overview",
      "title": "Overview",
      "role": "overview",
      "text": "This guide shows you how to implement a Redis-backed leaderboard in PHP with [Predis](https://redis.io/docs/latest/develop/clients/php). It uses a sorted set to store rank order, Redis hashes to store per-user metadata, and a small local web server so you can explore the leaderboard interactively in your browser."
    },
    {
      "id": "overview",
      "title": "Overview",
      "role": "overview",
      "text": "Leaderboards are a classic Redis pattern. A sorted set stores each member together with a numeric score, and Redis maintains the ranking order automatically.\n\nThat gives you:\n\n* Fast score updates for existing users\n* Simple top `n` leaderboard queries\n* Efficient queries for entries around a specific rank position\n* Straightforward trimming to a fixed leaderboard size\n* A clean separation between rank data and richer user metadata\n\nIn this example, the leaderboard score data is stored in a sorted set called `leaderboard:demo`, and each user's metadata is stored in a hash such as `leaderboard:demo:user:player-17`."
    },
    {
      "id": "how-it-works",
      "title": "How it works",
      "role": "content",
      "text": "The flow looks like this:\n\n1. Store each user ID in a sorted set with their score\n2. Store per-user metadata in a separate Redis hash keyed by user ID\n3. Fetch the highest-ranked users with a reverse range query\n4. Fetch users around a given rank by calculating a rank window\n5. Trim the leaderboard after updates so only the top configured entries remain\n\nSeparating rank data from metadata keeps leaderboard operations efficient while still letting the application render richer profile details."
    },
    {
      "id": "installation",
      "title": "Installation",
      "role": "setup",
      "text": "Install Predis using Composer:\n\n[code example]"
    },
    {
      "id": "the-php-class",
      "title": "The PHP class",
      "role": "content",
      "text": "The `RedisLeaderboard` class wraps common leaderboard operations\n([source](RedisLeaderboard.php)):\n\n[code example]"
    },
    {
      "id": "data-model",
      "title": "Data model",
      "role": "content",
      "text": "The implementation uses two Redis structures:\n\n[code example]\n\nThe score data lives in the sorted set, while the user details live in hashes keyed by the same user ID.\n\nThe implementation uses:\n\n* [`ZADD`](https://redis.io/docs/latest/commands/zadd) to add or update leaderboard scores\n* [`ZRANGE`](https://redis.io/docs/latest/commands/zrange) with the `REV` option to fetch the highest-ranked members\n* [`ZREVRANK`](https://redis.io/docs/latest/commands/zrevrank) to find a user's rank from the top\n* [`ZREMRANGEBYRANK`](https://redis.io/docs/latest/commands/zremrangebyrank) to trim the lowest-ranked overflow entries\n* [`HSET`](https://redis.io/docs/latest/commands/hset) and [`HGETALL`](https://redis.io/docs/latest/commands/hgetall) to store and load user metadata\n* [`DEL`](https://redis.io/docs/latest/commands/del) to remove metadata for trimmed or deleted users"
    },
    {
      "id": "leaderboard-implementation",
      "title": "Leaderboard implementation",
      "role": "content",
      "text": "The `upsertUser()` method writes the score, updates metadata, and then trims the board if it exceeds the configured limit:\n\n[code example]\n\nTo fetch users around a rank, the implementation converts the requested rank and count into a reverse range window:\n\n[code example]"
    },
    {
      "id": "metadata-design",
      "title": "Metadata design",
      "role": "content",
      "text": "The leaderboard stores only user IDs and scores in the sorted set. Richer details stay in a separate per-user hash. That means the same user ID can be ranked efficiently while still exposing extra fields such as:\n\n* Display name\n* Short description\n* Team or country\n* Avatar URL\n* Other lightweight profile fields\n\nThis is a useful pattern when the ranking view and the profile view need different data shapes."
    },
    {
      "id": "running-the-demo",
      "title": "Running the demo",
      "role": "content",
      "text": "A local demo server is included to show the leaderboard in action\n([source](demo_server.php)):\n\n[code example]\n\nThe demo provides an interactive web interface where you can:\n\n* Add or update a player score and metadata\n* Increase a player's score incrementally\n* View the top `n` players on the leaderboard\n* View the `n` players around a chosen rank\n* Change the maximum number of entries the leaderboard keeps\n* Reset the demo dataset to a known starting state\n\nThe demo assumes Redis is running on `localhost:6379` but you can specify a different host and port using the `REDIS_HOST` and `REDIS_PORT` environment variables:\n\n[code example]\n\nVisit `http://localhost:8080` in your browser to try it out."
    },
    {
      "id": "production-usage",
      "title": "Production usage",
      "role": "content",
      "text": "This guide uses a deliberately small local demo so you can focus on the Redis leaderboard pattern. In production, you will usually want to add more validation, tighter concurrency control, and application-specific lifecycle rules."
    },
    {
      "id": "decide-how-ties-should-behave",
      "title": "Decide how ties should behave",
      "role": "content",
      "text": "Redis sorted sets order primarily by score. When two members have the same score, Redis uses the member value as a secondary ordering rule. If your application needs a different tie-breaker, you may want to encode it in the score or store additional state."
    },
    {
      "id": "consider-how-you-expire-or-archive-old-data",
      "title": "Consider how you expire or archive old data",
      "role": "content",
      "text": "Some leaderboards are permanent, while others reset daily, weekly, or seasonally. Depending on your use case, you may want to:\n\n* Namespace keys by season or event\n* Snapshot historical results elsewhere\n* Rebuild the current leaderboard from upstream data"
    },
    {
      "id": "keep-metadata-lightweight",
      "title": "Keep metadata lightweight",
      "role": "content",
      "text": "Per-user hashes work best for small, frequently accessed profile details. Large profile documents or rarely used attributes are often better kept in another store, with Redis holding only the fields needed to render the leaderboard quickly."
    }
  ],
  "examples": [
    {
      "id": "installation-ex0",
      "language": "bash",
      "code": "composer require predis/predis",
      "section_id": "installation"
    },
    {
      "id": "the-php-class-ex0",
      "language": "php",
      "code": "<?php\n\nrequire __DIR__ . '/vendor/autoload.php';\n\nuse Predis\\Client;\n\n$redis = new Client([\n    'scheme' => 'tcp',\n    'host' => '127.0.0.1',\n    'port' => 6379,\n]);\n\n$board = new RedisLeaderboard(\n    redis: $redis,\n    key: 'leaderboard:demo',\n    maxEntries: 100\n);\n\n$entry = $board->upsertUser(\n    'player-1',\n    1200,\n    [\n        'name' => 'Ada',\n        'description' => 'Solves production incidents before breakfast.',\n    ]\n);\n\n$topPlayers = $board->getTop(5);",
      "section_id": "the-php-class"
    },
    {
      "id": "data-model-ex0",
      "language": "text",
      "code": "leaderboard:demo\n  player-1 => 1225\n  player-2 => 1180\n  player-3 => 1105\n\nleaderboard:demo:user:player-1\n  name = Ada\n  description = Solves production incidents before breakfast.",
      "section_id": "data-model"
    },
    {
      "id": "leaderboard-implementation-ex0",
      "language": "php",
      "code": "public function upsertUser(string $userId, float $score, array $metadata = []): array\n{\n    $payload = $this->coerceMetadata($metadata);\n\n    $pipeline = $this->redis->pipeline();\n    $pipeline->zadd($this->key, [$userId => $score]);\n    if ($payload !== []) {\n        $pipeline->hmset($this->metadataKey($userId), $payload);\n    }\n    $pipeline->execute();\n\n    $trimmedUserIds = $this->trimToMaxEntries();\n    $entry = $this->getUserEntry($userId);\n\n    return $entry === null\n        ? [\n            'rank' => 0,\n            'user_id' => $userId,\n            'score' => $score,\n            'metadata' => $payload,\n            'trimmed_user_ids' => $trimmedUserIds,\n        ]\n        : array_merge($entry, ['trimmed_user_ids' => $trimmedUserIds]);\n}",
      "section_id": "leaderboard-implementation"
    },
    {
      "id": "leaderboard-implementation-ex1",
      "language": "php",
      "code": "public function getAroundRank(int $rank, int $count): array\n{\n    $normalizedRank = $this->normalizePositiveInt($rank, 'rank');\n    $normalizedCount = $this->normalizePositiveInt($count, 'count');\n    $totalEntries = $this->getSize();\n\n    if ($totalEntries <= $normalizedCount) {\n        return $this->listAll();\n    }\n\n    $halfWindow = intdiv($normalizedCount, 2);\n    $start = max(0, $normalizedRank - 1 - $halfWindow);\n    $maxStart = $totalEntries - $normalizedCount;\n    if ($start > $maxStart) {\n        $start = $maxStart;\n    }\n    $end = $start + $normalizedCount - 1;\n\n    $entries = $this->zrangeWithScoresRev($start, $end);\n    return $this->hydrateEntries($entries, $start + 1);\n}",
      "section_id": "leaderboard-implementation"
    },
    {
      "id": "running-the-demo-ex0",
      "language": "bash",
      "code": "composer require predis/predis\nphp -S localhost:8080 demo_server.php",
      "section_id": "running-the-demo"
    },
    {
      "id": "running-the-demo-ex1",
      "language": "bash",
      "code": "REDIS_HOST=myhost REDIS_PORT=6380 php -S localhost:8080 demo_server.php",
      "section_id": "running-the-demo"
    }
  ]
}