about summary refs log tree commit diff stats
path: root/html/092socket.mu.html
blob: 062217fefd36a8ede39f9e9bac3b5770c1bbf3c7 (plain) (blame)
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
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - 092socket.mu</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="none">
<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
* { font-size: 12pt; font-size: 1em; }
.muData { color: #ffff00; }
.muControl { color: #c0a020; }
.Delimiter { color: #800080; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.Special { color: #c00000; }
.CommentedCode { color: #6c6c6c; }
.muRecipe { color: #ff8700; }
.muScenario { color: #00af00; }
-->
</style>

<script type='text/javascript'>
<!--

-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="Comment"># Wrappers around socket primitives that take a 'local-network' object and are</span>
<span class="Comment"># thus easier to test.</span>
<span class="Comment">#</span>
<span class="Comment"># The current semantics of fake port-connections don't match UNIX socket ones,</span>
<span class="Comment"># but we'll improve them as we learn more.</span>

<span class="muData">container</span> local-network [
  data:&amp;:@:port-connection
]

<span class="Comment"># Port connections represent connections to ports on localhost.</span>
<span class="Comment"># Before passing a local-network object to network functions</span>
<span class="Comment"># `start-reading-socket` and `start-writing-socket`, add port-connections to</span>
<span class="Comment"># the local-network.</span>
<span class="Comment">#</span>
<span class="Comment"># For reading, `receive-from-socket` will check for a</span>
<span class="Comment"># port-connection on the port parameter that's been passed in. If there's</span>
<span class="Comment"># no port-connection for that port, it will return nothing and log an error.</span>
<span class="Comment"># If there is a port-connection for that port, it will transmit the contents</span>
<span class="Comment"># to the provided sink.</span>
<span class="Comment">#</span>
<span class="Comment"># For writing, `start-writing-socket` returns a sink connecting the</span>
<span class="Comment"># caller to the socket on the passed-in port.</span>
<span class="muData">container</span> port-connection [
  port:num
  contents:text
]

<span class="muRecipe">def</span> new-port-connection port:num, contents:text<span class="muRecipe"> -&gt; </span>p:&amp;:port-connection [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  p:&amp;:port-connection<span class="Special"> &lt;- </span>new <span class="Constant">port-connection:type</span>
  *p<span class="Special"> &lt;- </span>merge port, contents
]

<span class="muRecipe">def</span> new-fake-network<span class="muRecipe"> -&gt; </span>n:&amp;:local-network [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  n:&amp;:local-network<span class="Special"> &lt;- </span>new <span class="Constant">local-network:type</span>
  local-network-ports:&amp;:@:port-connection<span class="Special"> &lt;- </span>new <span class="Constant">port-connection:type</span>, <span class="Constant">0</span>
  *n<span class="Special"> &lt;- </span>put *n, <span class="Constant">data:offset</span>, local-network-ports
]

<span class="muScenario">scenario</span> write-to-fake-socket [
  <span class="Constant">local-scope</span>
  single-port-network:&amp;:local-network<span class="Special"> &lt;- </span>new-fake-network
  sink:&amp;:sink:char, writer:num/routine<span class="Special"> &lt;- </span>start-writing-socket single-port-network, <span class="Constant">8080</span>
  sink<span class="Special"> &lt;- </span>write sink, <span class="Constant">120/x</span>
  close sink
  wait-for-routine writer
  tested-port-connections:&amp;:@:port-connection<span class="Special"> &lt;- </span>get *single-port-network, <span class="Constant">data:offset</span>
  tested-port-connection:port-connection<span class="Special"> &lt;- </span>index *tested-port-connections, <span class="Constant">0</span>
  contents:text<span class="Special"> &lt;- </span>get tested-port-connection, <span class="Constant">contents:offset</span>
  <span class="Constant">10</span>:@:char/<span class="Special">raw &lt;- </span>copy *contents
  memory-should-contain [
    <span class="Constant">10</span>:array:character<span class="Special"> &lt;- </span><span class="Constant">[x]</span>
  ]
]

<span class="muRecipe">def</span> start-reading-from-network resources:&amp;:resources, host:text, path:text<span class="muRecipe"> -&gt; </span>contents:&amp;:source:char [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> resources
    <span class="Comment"># real network</span>
    socket:num<span class="Special"> &lt;- </span>$open-client-socket host, <span class="Constant">80/http-port</span>
    assert socket, <span class="Constant">[contents]</span>
    req:text<span class="Special"> &lt;- </span>interpolate <span class="Constant">[GET _ HTTP/1.1]</span>, path
    request-socket socket, req
    contents:&amp;:source:char, sink:&amp;:sink:char<span class="Special"> &lt;- </span>new-channel <span class="Constant">10000</span>
    start-running receive-from-socket socket, sink
    <span class="muControl">return</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># fake network</span>
<span class="CommentedCode">#?   i:num &lt;- copy 0</span>
<span class="CommentedCode">#?   data:&amp;:@:resource &lt;- get *fs, data:offset</span>
<span class="CommentedCode">#?   len:num &lt;- length *data</span>
<span class="CommentedCode">#?   {</span>
<span class="CommentedCode">#?     done?:bool &lt;- greater-or-equal i, len</span>
<span class="CommentedCode">#?     break-if done?</span>
<span class="CommentedCode">#?     tmp:resource &lt;- index *data, i</span>
<span class="CommentedCode">#?     i &lt;- add i, 1</span>
<span class="CommentedCode">#?     curr-filename:text &lt;- get tmp, name:offset</span>
<span class="CommentedCode">#?     found?:bool &lt;- equal filename, curr-filename</span>
<span class="CommentedCode">#?     loop-unless found?</span>
<span class="CommentedCode">#?     contents:&amp;:source:char, sink:&amp;:sink:char &lt;- new-channel 30</span>
<span class="CommentedCode">#?     curr-contents:text &lt;- get tmp, contents:offset</span>
<span class="CommentedCode">#?     start-running transmit-from-text curr-contents, sink</span>
<span class="CommentedCode">#?     return</span>
<span class="CommentedCode">#?   }</span>
  <span class="muControl">return</span> <span class="Constant">0/not-found</span>
]

<span class="muRecipe">def</span> request-socket socket:num, s:text<span class="muRecipe"> -&gt; </span>socket:num [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  write-to-socket socket, s
  $write-to-socket socket, <span class="Constant">13/cr</span>
  $write-to-socket socket, <span class="Constant">10/lf</span>
  <span class="Comment"># empty line to delimit request</span>
  $write-to-socket socket, <span class="Constant">13/cr</span>
  $write-to-socket socket, <span class="Constant">10/lf</span>
]

<span class="muRecipe">def</span> start-writing-socket network:&amp;:local-network, port:num<span class="muRecipe"> -&gt; </span>sink:&amp;:sink:char, routine-id:num [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  source:&amp;:source:char, sink:&amp;:sink:char<span class="Special"> &lt;- </span>new-channel <span class="Constant">30</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> network
    socket:num<span class="Special"> &lt;- </span>$open-server-socket port
    session:num<span class="Special"> &lt;- </span>$accept socket
    <span class="Comment"># TODO Create channel implementation of write-to-socket.</span>
    <span class="muControl">return</span> sink, <span class="Constant">0/routine-id</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># fake network</span>
  routine-id<span class="Special"> &lt;- </span>start-running transmit-to-fake-socket network, port, source
]

<span class="muRecipe">def</span> transmit-to-fake-socket network:&amp;:local-network, port:num, source:&amp;:source:char<span class="muRecipe"> -&gt; </span>network:&amp;:local-network, source:&amp;:source:char [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Comment"># compute new port connection contents</span>
  buf:&amp;:buffer<span class="Special"> &lt;- </span>new-buffer <span class="Constant">30</span>
  <span class="Delimiter">{</span>
    c:char, done?:bool, source<span class="Special"> &lt;- </span>read source
    <span class="muControl">break-unless</span> c
    buf<span class="Special"> &lt;- </span>append buf, c
    <span class="muControl">break-if</span> done?
    <span class="muControl">loop</span>
  <span class="Delimiter">}</span>
  contents:text<span class="Special"> &lt;- </span>buffer-to-array buf
  new-port-connection:&amp;:port-connection<span class="Special"> &lt;- </span>new-port-connection port, contents
  <span class="Comment"># Got the contents of the channel, time to write to fake port.</span>
  i:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
  port-connections:&amp;:@:port-connection<span class="Special"> &lt;- </span>get *network, <span class="Constant">data:offset</span>
  len:num<span class="Special"> &lt;- </span>length *port-connections
  <span class="Delimiter">{</span>
    done?:bool<span class="Special"> &lt;- </span>greater-or-equal i, len
    <span class="muControl">break-if</span> done?
    current:port-connection<span class="Special"> &lt;- </span>index *port-connections, i
    current-port:num<span class="Special"> &lt;- </span>get current, <span class="Constant">port:offset</span>
    ports-match?:bool<span class="Special"> &lt;- </span>equal current-port, port
    i<span class="Special"> &lt;- </span>add i, <span class="Constant">1</span>
    <span class="muControl">loop-unless</span> ports-match?
    <span class="Comment"># Found an existing connection on this port, overwrite.</span>
    put-index *port-connections, i, *new-port-connection
    <span class="muControl">reply</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># Couldn't find an existing connection on this port, initialize a new one.</span>
  new-len:num<span class="Special"> &lt;- </span>add len, <span class="Constant">1</span>
  new-port-connections:&amp;:@:port-connection<span class="Special"> &lt;- </span>new <span class="Constant">port-connection:type</span>, new-len
  put *network, <span class="Constant">data:offset</span>, new-port-connections
  i:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
  <span class="Delimiter">{</span>
    done?:bool<span class="Special"> &lt;- </span>greater-or-equal i, len
    <span class="muControl">break-if</span> done?
    tmp:port-connection<span class="Special"> &lt;- </span>index *port-connections, i
    put-index *new-port-connections, i, tmp
  <span class="Delimiter">}</span>
  put-index *new-port-connections, len, *new-port-connection
]

<span class="muRecipe">def</span> receive-from-socket session:num, sink:&amp;:sink:char<span class="muRecipe"> -&gt; </span>sink:&amp;:sink:char [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Delimiter">{</span>
    req:text, eof?:bool<span class="Special"> &lt;- </span>$read-from-socket session, <span class="Constant">4096/bytes</span>
    bytes-read:num<span class="Special"> &lt;- </span>length *req
    i:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
    <span class="Delimiter">{</span>
      done?:bool<span class="Special"> &lt;- </span>greater-or-equal i, bytes-read
      <span class="muControl">break-if</span> done?
      c:char<span class="Special"> &lt;- </span>index *req, i  <span class="Comment"># todo: unicode</span>
      sink<span class="Special"> &lt;- </span>write sink, c
      i<span class="Special"> &lt;- </span>add i, <span class="Constant">1</span>
      <span class="muControl">loop</span>
    <span class="Delimiter">}</span>
    <span class="muControl">loop-unless</span> eof?
  <span class="Delimiter">}</span>
  sink<span class="Special"> &lt;- </span>close sink
]

<span class="muRecipe">def</span> write-to-socket socket:num, s:text [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  len:num<span class="Special"> &lt;- </span>length *s
  i:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
  <span class="Delimiter">{</span>
    done?:bool<span class="Special"> &lt;- </span>greater-or-equal i, len
    <span class="muControl">break-if</span> done?
    c:char<span class="Special"> &lt;- </span>index *s, i
    $write-to-socket socket, c
    i<span class="Special"> &lt;- </span>add i, <span class="Constant">1</span>
    <span class="muControl">loop</span>
  <span class="Delimiter">}</span>
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->