Intro to Stateful Services or How to get 1 million RPS from a single node

Transcript

1. Intro to Stateful Services by Anton Moldovan (@antyadev)
2. https://nbomber.com
3. https://github.com/stereodb
4. AGENDA - Intro to Stateful Services - Why stateless is slow and less reliable - Tools for building stateful services
5. DISCLAIMER Stateful has limited applicability but is worth looking into. Usually, it's high-loaded systems with very predictable dataset/memory footprint.
6. PART I intro to sportsbook domain and how we come to stateful
7. Real Madrid vs Chelsea 2 : 1 Red card Score changed Odds changed PUSH PULL
8. Real Madrid vs Chelsea 2 : 1 Red card Score changed Odds changed PUSH PULL - quite big payloads: 30 KB compressed data (1.5 MB uncompressed) - update rate: 2K RPS (per tenant) - user query rate: 3-4K RPS (per tenant) - live data is very dynamic: no much sense to cache it - data should be queryable: simple KV is not enough - we need secondary indexes
9. Real Madrid vs Chelsea 2 : 1 Red card Score changed Odds changed PUSH PULL - quite big payloads: 30 KB compressed data (1.5 MB uncompressed) - update rate: 2K RPS (per tenant) - user query rate: 3-4K RPS (per tenant) - live data is very dynamic: no much sense to cache it - data should be queryable: simple KV is not enough - we need secondary indexes At pick to handle big load for 1 tenant we have: 5-10 nodes, 0.5-2 CPU, 6GB RAM
10. 20 KB payload for concurrent read and write REDIS, single node: 4vcpu - 8gb redis_write: 4K RPS, p99 = 842 ms redis read: 7K RPS, p99 = 1597 ms
11. API API API DB classical stateless architecture
12. API Cache DB but Cache is not queryable
13. API + DB Stateful Service
14. state state state Stateful Service Stateful Service Stateful Service How do we keep a state synchronized between nodes?
15. state state state
16. CDC (Debezium) DB state state state
17. How to handle a case when your data is larger than RAM? 10 GB 30 GB state
18. Solution 1: use memory DB that supports data larger than RAM 10 GB 20 GB state
19. UA PL US Solution 2: use partition by tenant
20. Solution 3: use range-based sharding users (1-500) users (501-1000) shard A shard B
21. PART II why stateless is slow
24. API Cache DB Basic request handling: 1) Get record by ID (Network cost) 2) Deserialize compressed record payload (CPU cost) 3) Filter, enrich record, build projection 4) Serialize response payload (CPU cost) 5) Send the response to the user CPU cost for serialization
25. Basic request handling: 1) Query record by ID or build projection 2) Serialize response payload (CPU cost) 3) Send the response to the user API + DB Stateful Service CPU cost for serialization
27. 1) get by ID (full record) 2) receive small projection API Cache DB Overreads mobile client
29. Latency Numbers Changes over years 2010 2020 Compress 1KB with Zippy 2μs 2μs Read 1 MB sequentially from RAM 30μs 3μs Read 1 MB sequentially from SSD 494μs 49μs Read 1 MB sequentially from disk 3ms 825μs Round trip within same datacenter 500μs 500μs Send packet CA -> Netherlands -> CA 150ms 150ms https://colin-scott.github.io/personal_website/research/interactive_latency.html
30. API + DB Stateful Service API Cache DB 1) try to get record by ID 2) get record from DB 3) deserialize record 4) serialize record and insert to Cache Network Latency
32. Object hit rate vs Transactional hit rate
35. A B C API In order to fulfill our transactional flow we need to fetch records: A, B, C Record A and B will not impact our latency Overall Latency = Latency of record C
36. Most existing cache eviction algorithms focus on maximizing object hit rate, or the fraction of single object requests served from cache. However, this approach fails to capture the inter-object dependencies within transactions.
37. async / await
38. public void SimpleMethod() { var k = 0; for (int i = 0; i < Iterations; i++) { k = Add(i, i); } } [MethodImpl(MethodImplOptions.NoInlining)] private int Add(int a, int b) => a + b;
39. public async Task SimpleMethodAsync() { var k = 0; for (int i = 0; i < Iterations; i++) { k = await AddAsync(i, i); } } private Task<int> AddAsync(int a, int b) { return Task.FromResult(a + b); }
40. public async Task SimpleMethodAsyncYield() { var k = 0; for (int i = 0; i < Iterations; i++) { k = await AddAsync(i, i); } } private async Task<int> AddAsync(int a, int b) { await Task.Yield(); return a + b; }
41. public async Task SimpleMethodAsyncYield() { var k = 0; for (int i = 0; i < Iterations; i++) { k = await AddAsync(i, i); } } private async Task<int> AddAsync(int a, int b) { await Task.Yield(); return await Task.Run(() => a + b); }
44. PART III why stateless is less reliable
45. API Cache DB API + DB Stateful Service We have a higher probability of failure
46. API Cache DB circuit breaker retry fallback timeout bulkhead isolation circuit breaker retry fallback timeout bulkhead isolation API + DB Stateful Service
48. At least 4 out of 15 major outages in the last decade at Amazon Web Services were caused by metastable failures.
49. - Metastable failures occur in open systems with an uncontrolled source of load where a trigger causes the system to enter a bad state that persists even when the trigger is removed. - Paradoxically, the root cause of these failures is often features that improve the efficiency or reliability of the system. - The characteristic of a metastable failure is that the sustaining effect keeps the system in the metastable failure state even after the trigger is removed.
52. API Cache DB What about cache invalidation and data consistency? API + DB Stateful Service
53. API Cache DB What about the predictable scale-out? Will your RPS increase if you add an additional API or Cache node? API + DB Stateful Service
54. PART IV tools for building stateful services
55. distributed log with sync replication
56. In-process memory DB SQL OLAP
59. StereoDB Benchmarks Pure KV workload benchmark (in-process only, without persistence). In this benchmark, we run concurrently: 3 million random reads and 100K random writes in 892 ms.
60. Transactions StereoDB transactions allow the execution of a group of commands in a single step. StereoDB provides Read-Only and Read-Write transactions. • Read-Only allows you only read data. Also, they are multithreaded. • Read-Write allows you read and write data. They are running in a single-thread fashion. What to expect from transactions in StereoDB: • they are blazingly fast and cheap to execute. • they guarantee you atomic and consistent updates (you can update several tables including secondary indexes in one transaction and no other concurrent transaction will read your data partially; the transaction cannot be observed to be in progress by another database client). • they don't support rollback since supporting rollbacks would have a significant impact on the simplicity and performance of StereoDB.
61. // defines a Book type that implements IEntity<TId> public record Book : IEntity<int> { public int Id { get; init; } public string Title { get; init; } public int Quantity { get; init; } } public class BooksSchema { public ITable<int, Book> Table { get; init; } }
62. var db = StereoDb.Create(new BooksSchema()); // WriteTransaction: it's a read-write transaction: // we can query and mutate data db.WriteTransaction(ctx => { var books = ctx.UseTable(ctx.Schema.Books.Table); foreach (var id in Enumerable.Range(0, 10)) { var book = new Book {Id = id, Title = $"book_{id}", Quantity = 1}; books.Set(book); } });
63. // ReadTransaction: it's a read-only transaction: // we can query multiple tables at once var bookId = 42; var result = db.ReadTransaction(ctx => { var books = ctx.UseTable(ctx.Schema.Books.Table); return books.TryGet(1, out var book) ? book : null; });
64. var result = db.ReadTransaction(ctx => { var books = ctx.UseTable(ctx.Schema.Books.Table); var bookIdIndex = ctx.Schema.Orders.BookIdIndex; var quantityIndex = ctx.Schema.Orders.QuantityRangeIndex; // example of RangeScanIndex var booksRange = quantityIndex.SelectRange(0, 5).ToArray(); // example of ValueIndex if (books.TryGet(1, out var book)) { var orders = bookIdIndex.Find(book.Id).ToArray(); return (book, orders); } return (null, null); });
65. var result = db.ReadTransaction(ctx => { var books = ctx.UseTable(ctx.Schema.Books.Table); var bookIdIndex = ctx.Schema.Orders.BookIdIndex; var quantityIndex = ctx.Schema.Orders.QuantityRangeIndex; // example of RangeScanIndex var booksRange = quantityIndex.SelectRange(0, 5).ToArray(); // example of ValueIndex if (books.TryGet(1, out var book)) { var orders = bookIdIndex.Find(book.Id).ToArray(); return (book, orders); } return (null, null); });
66. let result = db.ExecSql<SubBook> "SELECT Id, Quantity FROM Books WHERE Id <= 3" db.ExecSql "UPDATE Books SET Quantity = 222 WHERE Id = 8" db.ExecSql "DELETE FROM Books WHERE Id = 7"
67. LINKS Fast key-value stores: An idea whose time has come and gone https://dl.acm.org/doi/pdf/10.1145/3317550.3321434 Maximizing Transactional Cache Hit Rate https://www.usenix.org/system/files/osdi23-cheng.pdf Metastable Failures in Distributed Systems https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s11-bronson.pdf Faster: A Concurrent Key-Value Store with In-Place Updates https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf StereoDB https://github.com/StereoDB/StereoDB
68. THANKS always benchmark https://twitter.com/antyadev