]>
Commit | Line | Data |
---|---|---|
f89c3a35 | 1 | # Tcl clinet library - used by test-redis.tcl script for now |
2 | # Copyright (C) 2009 Salvatore Sanfilippo | |
3 | # Released under the BSD license like Redis itself | |
4 | # | |
5 | # Example usage: | |
6 | # | |
7 | # set r [redis 127.0.0.1 6379] | |
8 | # $r lpush mylist foo | |
9 | # $r lpush mylist bar | |
10 | # $r lrange mylist 0 -1 | |
11 | # $r close | |
686bc0ac | 12 | # |
13 | # Non blocking usage example: | |
14 | # | |
15 | # proc handlePong {r type reply} { | |
16 | # puts "PONG $type '$reply'" | |
17 | # if {$reply ne "PONG"} { | |
18 | # $r ping [list handlePong] | |
19 | # } | |
20 | # } | |
21 | # | |
22 | # set r [redis] | |
23 | # $r blocking 0 | |
24 | # $r get fo [list handlePong] | |
25 | # | |
26 | # vwait forever | |
f89c3a35 | 27 | |
f1a930bb | 28 | package require Tcl 8.5 |
f89c3a35 | 29 | package provide redis 0.1 |
30 | ||
31 | namespace eval redis {} | |
32 | set ::redis::id 0 | |
33 | array set ::redis::fd {} | |
686bc0ac | 34 | array set ::redis::blocking {} |
5eedc9c6 | 35 | array set ::redis::deferred {} |
686bc0ac | 36 | array set ::redis::callback {} |
37 | array set ::redis::state {} ;# State in non-blocking reply reading | |
6fcb1800 | 38 | array set ::redis::statestack {} ;# Stack of states, for nested mbulks |
f89c3a35 | 39 | |
5eedc9c6 | 40 | proc redis {{server 127.0.0.1} {port 6379} {defer 0}} { |
f89c3a35 | 41 | set fd [socket $server $port] |
42 | fconfigure $fd -translation binary | |
43 | set id [incr ::redis::id] | |
44 | set ::redis::fd($id) $fd | |
686bc0ac | 45 | set ::redis::blocking($id) 1 |
5eedc9c6 | 46 | set ::redis::deferred($id) $defer |
686bc0ac | 47 | ::redis::redis_reset_state $id |
f89c3a35 | 48 | interp alias {} ::redis::redisHandle$id {} ::redis::__dispatch__ $id |
49 | } | |
50 | ||
51 | proc ::redis::__dispatch__ {id method args} { | |
52 | set fd $::redis::fd($id) | |
686bc0ac | 53 | set blocking $::redis::blocking($id) |
5eedc9c6 | 54 | set deferred $::redis::deferred($id) |
686bc0ac | 55 | if {$blocking == 0} { |
56 | if {[llength $args] == 0} { | |
57 | error "Please provide a callback in non-blocking mode" | |
58 | } | |
59 | set callback [lindex $args end] | |
60 | set args [lrange $args 0 end-1] | |
61 | } | |
f89c3a35 | 62 | if {[info command ::redis::__method__$method] eq {}} { |
00cf82c0 PN |
63 | set cmd "*[expr {[llength $args]+1}]\r\n" |
64 | append cmd "$[string length $method]\r\n$method\r\n" | |
65 | foreach a $args { | |
66 | append cmd "$[string length $a]\r\n$a\r\n" | |
f89c3a35 | 67 | } |
00cf82c0 PN |
68 | ::redis::redis_write $fd $cmd |
69 | flush $fd | |
70 | ||
5eedc9c6 PN |
71 | if {!$deferred} { |
72 | if {$blocking} { | |
73 | ::redis::redis_read_reply $fd | |
74 | } else { | |
75 | # Every well formed reply read will pop an element from this | |
76 | # list and use it as a callback. So pipelining is supported | |
77 | # in non blocking mode. | |
78 | lappend ::redis::callback($id) $callback | |
79 | fileevent $fd readable [list ::redis::redis_readable $fd $id] | |
80 | } | |
686bc0ac | 81 | } |
f89c3a35 | 82 | } else { |
83 | uplevel 1 [list ::redis::__method__$method $id $fd] $args | |
84 | } | |
85 | } | |
86 | ||
686bc0ac | 87 | proc ::redis::__method__blocking {id fd val} { |
88 | set ::redis::blocking($id) $val | |
89 | fconfigure $fd -blocking $val | |
90 | } | |
91 | ||
5eedc9c6 PN |
92 | proc ::redis::__method__read {id fd} { |
93 | ::redis::redis_read_reply $fd | |
94 | } | |
95 | ||
941c9fa2 PN |
96 | proc ::redis::__method__write {id fd buf} { |
97 | ::redis::redis_write $fd $buf | |
98 | } | |
99 | ||
100 | proc ::redis::__method__flush {id fd} { | |
101 | flush $fd | |
102 | } | |
103 | ||
f89c3a35 | 104 | proc ::redis::__method__close {id fd} { |
105 | catch {close $fd} | |
106 | catch {unset ::redis::fd($id)} | |
686bc0ac | 107 | catch {unset ::redis::blocking($id)} |
108 | catch {unset ::redis::state($id)} | |
6fcb1800 | 109 | catch {unset ::redis::statestack($id)} |
686bc0ac | 110 | catch {unset ::redis::callback($id)} |
f89c3a35 | 111 | catch {interp alias {} ::redis::redisHandle$id {}} |
112 | } | |
113 | ||
114 | proc ::redis::__method__channel {id fd} { | |
115 | return $fd | |
116 | } | |
117 | ||
118 | proc ::redis::redis_write {fd buf} { | |
119 | puts -nonewline $fd $buf | |
120 | } | |
121 | ||
122 | proc ::redis::redis_writenl {fd buf} { | |
123 | redis_write $fd $buf | |
124 | redis_write $fd "\r\n" | |
125 | flush $fd | |
126 | } | |
127 | ||
128 | proc ::redis::redis_readnl {fd len} { | |
129 | set buf [read $fd $len] | |
130 | read $fd 2 ; # discard CR LF | |
131 | return $buf | |
132 | } | |
133 | ||
134 | proc ::redis::redis_bulk_read {fd} { | |
135 | set count [redis_read_line $fd] | |
136 | if {$count == -1} return {} | |
137 | set buf [redis_readnl $fd $count] | |
138 | return $buf | |
139 | } | |
140 | ||
141 | proc ::redis::redis_multi_bulk_read fd { | |
142 | set count [redis_read_line $fd] | |
143 | if {$count == -1} return {} | |
144 | set l {} | |
145 | for {set i 0} {$i < $count} {incr i} { | |
146 | lappend l [redis_read_reply $fd] | |
147 | } | |
148 | return $l | |
149 | } | |
150 | ||
151 | proc ::redis::redis_read_line fd { | |
152 | string trim [gets $fd] | |
153 | } | |
154 | ||
155 | proc ::redis::redis_read_reply fd { | |
156 | set type [read $fd 1] | |
157 | switch -exact -- $type { | |
158 | : - | |
159 | + {redis_read_line $fd} | |
160 | - {return -code error [redis_read_line $fd]} | |
161 | $ {redis_bulk_read $fd} | |
162 | * {redis_multi_bulk_read $fd} | |
163 | default {return -code error "Bad protocol, $type as reply type byte"} | |
164 | } | |
165 | } | |
686bc0ac | 166 | |
167 | proc ::redis::redis_reset_state id { | |
168 | set ::redis::state($id) [dict create buf {} mbulk -1 bulk -1 reply {}] | |
6fcb1800 | 169 | set ::redis::statestack($id) {} |
686bc0ac | 170 | } |
171 | ||
172 | proc ::redis::redis_call_callback {id type reply} { | |
173 | set cb [lindex $::redis::callback($id) 0] | |
174 | set ::redis::callback($id) [lrange $::redis::callback($id) 1 end] | |
175 | uplevel #0 $cb [list ::redis::redisHandle$id $type $reply] | |
176 | ::redis::redis_reset_state $id | |
177 | } | |
178 | ||
179 | # Read a reply in non-blocking mode. | |
180 | proc ::redis::redis_readable {fd id} { | |
181 | if {[eof $fd]} { | |
182 | redis_call_callback $id eof {} | |
183 | ::redis::__method__close $id $fd | |
184 | return | |
185 | } | |
186 | if {[dict get $::redis::state($id) bulk] == -1} { | |
187 | set line [gets $fd] | |
188 | if {$line eq {}} return ;# No complete line available, return | |
189 | switch -exact -- [string index $line 0] { | |
190 | : - | |
191 | + {redis_call_callback $id reply [string range $line 1 end-1]} | |
192 | - {redis_call_callback $id err [string range $line 1 end-1]} | |
193 | $ { | |
194 | dict set ::redis::state($id) bulk \ | |
195 | [expr [string range $line 1 end-1]+2] | |
196 | if {[dict get $::redis::state($id) bulk] == 1} { | |
197 | # We got a $-1, hack the state to play well with this. | |
198 | dict set ::redis::state($id) bulk 2 | |
199 | dict set ::redis::state($id) buf "\r\n" | |
200 | ::redis::redis_readable $fd $id | |
201 | } | |
202 | } | |
6fcb1800 | 203 | * { |
204 | dict set ::redis::state($id) mbulk [string range $line 1 end-1] | |
205 | # Handle *-1 | |
206 | if {[dict get $::redis::state($id) mbulk] == -1} { | |
207 | redis_call_callback $id reply {} | |
208 | } | |
209 | } | |
686bc0ac | 210 | default { |
211 | redis_call_callback $id err \ | |
212 | "Bad protocol, $type as reply type byte" | |
213 | } | |
214 | } | |
215 | } else { | |
216 | set totlen [dict get $::redis::state($id) bulk] | |
217 | set buflen [string length [dict get $::redis::state($id) buf]] | |
218 | set toread [expr {$totlen-$buflen}] | |
219 | set data [read $fd $toread] | |
220 | set nread [string length $data] | |
221 | dict append ::redis::state($id) buf $data | |
222 | # Check if we read a complete bulk reply | |
223 | if {[string length [dict get $::redis::state($id) buf]] == | |
224 | [dict get $::redis::state($id) bulk]} { | |
225 | if {[dict get $::redis::state($id) mbulk] == -1} { | |
226 | redis_call_callback $id reply \ | |
227 | [string range [dict get $::redis::state($id) buf] 0 end-2] | |
228 | } else { | |
229 | dict with ::redis::state($id) { | |
230 | lappend reply [string range $buf 0 end-2] | |
231 | incr mbulk -1 | |
232 | set bulk -1 | |
233 | } | |
234 | if {[dict get $::redis::state($id) mbulk] == 0} { | |
235 | redis_call_callback $id reply \ | |
236 | [dict get $::redis::state($id) reply] | |
237 | } | |
238 | } | |
239 | } | |
240 | } | |
241 | } |