-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathserver.py
More file actions
195 lines (158 loc) · 5.11 KB
/
Copy pathserver.py
File metadata and controls
195 lines (158 loc) · 5.11 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
#!/usr/bin/env python3
"""
03: GET/SET — In-memory key-value store with proper command dispatch.
Now that the parser works, wire up the smallest useful command set:
SET, GET, DEL, EXISTS, PING. Storage is a plain Python dict.
Usage:
uv run python 03-get-set/server.py
redis-cli -p 6380
> SET name Param
OK
> GET name
"Param"
> DEL name
(integer) 1
"""
from __future__ import annotations
import socket
HOST = "127.0.0.1"
PORT = 6380
CRLF = b"\r\n"
# --- Store ---
STORE: dict[str, str] = {}
# --- RESP parser + encoder (same as step 2, kept inline so each module is self-contained) ---
def parse_resp(buf: bytes):
if not buf:
return None
type_byte = buf[0:1]
end = buf.find(CRLF)
if end < 0:
return None
header = buf[1:end].decode("ascii")
after = end + 2
if type_byte == b"+":
return header, after
if type_byte == b"-":
return Exception(header), after
if type_byte == b":":
return int(header), after
if type_byte == b"$":
n = int(header)
if n == -1:
return None, after
end_payload = after + n
if len(buf) < end_payload + 2:
return None
return buf[after:end_payload].decode("utf-8"), end_payload + 2
if type_byte == b"*":
count = int(header)
if count == -1:
return None, after
items = []
cursor = after
for _ in range(count):
r = parse_resp(buf[cursor:])
if r is None:
return None
v, c = r
items.append(v)
cursor += c
return items, cursor
raise ValueError(f"Unknown RESP type byte: {type_byte!r}")
def encode_simple(s): return b"+" + s.encode("ascii") + CRLF
def encode_error(s): return b"-" + s.encode("ascii") + CRLF
def encode_integer(n): return b":" + str(n).encode("ascii") + CRLF
def encode_bulk(s):
if s is None:
return b"$-1\r\n"
data = s.encode("utf-8")
return b"$" + str(len(data)).encode("ascii") + CRLF + data + CRLF
# --- Command dispatch ---
def cmd_ping(args):
return encode_simple("PONG") if not args else encode_bulk(args[0])
def cmd_set(args):
if len(args) < 2:
return encode_error("ERR wrong number of arguments for 'set'")
key, value = args[0], args[1]
STORE[key] = value
return encode_simple("OK")
def cmd_get(args):
if len(args) != 1:
return encode_error("ERR wrong number of arguments for 'get'")
return encode_bulk(STORE.get(args[0]))
def cmd_del(args):
if not args:
return encode_error("ERR wrong number of arguments for 'del'")
deleted = 0
for k in args:
if k in STORE:
del STORE[k]
deleted += 1
return encode_integer(deleted)
def cmd_exists(args):
if not args:
return encode_error("ERR wrong number of arguments for 'exists'")
return encode_integer(sum(1 for k in args if k in STORE))
def cmd_keys(args):
# Simple star-pattern only: KEYS * returns everything.
if not args:
return encode_error("ERR wrong number of arguments for 'keys'")
if args[0] != "*":
return encode_error("ERR only KEYS * is supported in this workshop")
keys = list(STORE.keys())
parts = [b"*" + str(len(keys)).encode("ascii") + CRLF]
for k in keys:
parts.append(encode_bulk(k))
return b"".join(parts)
def cmd_command(args):
# Stub: redis-cli sends COMMAND DOCS at startup; we just return an empty array
return b"*0\r\n"
COMMANDS = {
"PING": cmd_ping,
"SET": cmd_set,
"GET": cmd_get,
"DEL": cmd_del,
"EXISTS": cmd_exists,
"KEYS": cmd_keys,
"COMMAND": cmd_command,
}
def handle_command(frame) -> bytes:
if not isinstance(frame, list) or not frame:
return encode_error("ERR expected array of bulk strings")
name = frame[0]
if not isinstance(name, str):
return encode_error("ERR command name must be string")
handler = COMMANDS.get(name.upper())
if handler is None:
return encode_error(f"ERR unknown command '{name}'")
return handler(frame[1:])
# --- Server ---
def handle_client(client: socket.socket, addr) -> None:
print(f" [conn] {addr} connected")
buf = b""
with client:
while True:
chunk = client.recv(4096)
if not chunk:
break
buf += chunk
while True:
result = parse_resp(buf)
if result is None:
break
command, consumed = result
buf = buf[consumed:]
print(f" [recv] {addr}: {command!r}")
client.sendall(handle_command(command))
print(f" [conn] {addr} disconnected")
def main() -> None:
with socket.socket(socket.AF_INET, socket.SOCK_STREAM) as server:
server.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
server.bind((HOST, PORT))
server.listen(1)
print(f"key-value server listening on {HOST}:{PORT}")
while True:
client, addr = server.accept()
handle_client(client, addr)
if __name__ == "__main__":
main()