Tony Garnock-Jones
|
345965e473
|
Make handlers etc *required* to return a transition structure.
|
2012-07-23 17:21:31 -04:00 |
Tony Garnock-Jones
|
bfab626708
|
Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro.
|
2012-07-23 15:22:18 -04:00 |
Tony Garnock-Jones
|
43d5fb9231
|
Update to use sequence-actions instead of extend-transition.
|
2012-07-04 16:28:44 -04:00 |
Tony Garnock-Jones
|
f79bf86111
|
Initial translation of proxy and network-query to os2
|
2012-05-03 16:00:43 -04:00 |
Tony Garnock-Jones
|
d85237674a
|
Transparent -> prefab, for unify.rkt to work
|
2012-05-03 15:10:32 -04:00 |
Tony Garnock-Jones
|
f86c372baa
|
Fix dangling-subscription bug
|
2012-03-06 14:33:36 -05:00 |
Tony Garnock-Jones
|
b22f7edbd0
|
Use newly-added debug register from os.rkt to dump entire stack state
|
2012-03-05 18:30:17 -05:00 |
Tony Garnock-Jones
|
ef9078e1a3
|
Distinguish between NS and CNAME subquestions.
|
2012-02-21 15:49:52 -05:00 |
Tony Garnock-Jones
|
6226ed01d5
|
Switch to using the racket logger instead of the equivalent of printf.
|
2012-02-21 15:31:33 -05:00 |
Tony Garnock-Jones
|
c6dc9db715
|
Cope with excessive gluelessness.
|
2012-02-21 12:45:36 -05:00 |
Tony Garnock-Jones
|
70b8d875b7
|
Switch to symbolic specification of relative timeouts
|
2012-02-19 17:09:07 -05:00 |
Tony Garnock-Jones
|
e8c13053f1
|
Supply explicit time from container to zone-expire-name
|
2012-02-19 12:37:32 -05:00 |
Tony Garnock-Jones
|
863ecf50b6
|
More debug output
|
2012-02-19 11:14:47 -05:00 |
Tony Garnock-Jones
|
f3d96227b0
|
Debug on referral incorporation
|
2012-02-19 10:56:45 -05:00 |
Tony Garnock-Jones
|
2490431364
|
Compute context for each question to break NS cycles.
|
2012-02-18 15:57:07 -05:00 |
Tony Garnock-Jones
|
776e4ad58b
|
Turn on the DNS spy for now
|
2012-02-17 21:33:19 -05:00 |
Tony Garnock-Jones
|
33939ba1f0
|
Better debug messages
|
2012-02-17 21:33:10 -05:00 |
Tony Garnock-Jones
|
bee10f5cdd
|
More debug
|
2012-02-17 20:28:26 -05:00 |
Tony Garnock-Jones
|
79254cc7f4
|
More debug output
|
2012-02-17 17:10:53 -05:00 |
Tony Garnock-Jones
|
3dd3370b4b
|
Cosmetic
|
2012-02-17 16:05:31 -05:00 |
Tony Garnock-Jones
|
8571900d29
|
The timer-driver and timer-relay now need names to be given explicitly.
|
2012-02-17 15:34:24 -05:00 |
Tony Garnock-Jones
|
b79ca309c4
|
Fix cache TTL poisoning; save and load zone data
|
2012-02-17 13:42:17 -05:00 |
Tony Garnock-Jones
|
4e7cc96d1b
|
Proper datatype for domain-names -> case-insensitive comparison
|
2012-02-17 12:12:48 -05:00 |
Tony Garnock-Jones
|
f95f8c9603
|
Correct comment.
|
2012-02-16 15:25:59 -05:00 |
Tony Garnock-Jones
|
8d715290ee
|
Sending an empty packet to the proxy causes it to dump its current cache contents, for debugging
|
2012-02-16 15:25:43 -05:00 |
Tony Garnock-Jones
|
0c3ebff5f1
|
Avoid output buffering; also improve debug output
|
2012-02-16 15:24:59 -05:00 |
Tony Garnock-Jones
|
83cf8f53a8
|
Fix bug in loop-detection: the new TTL-updating was confusing the set
|
2012-02-16 15:24:21 -05:00 |
Tony Garnock-Jones
|
313677acf7
|
Move deps on racket-matrix
|
2012-02-15 10:41:15 -05:00 |
Tony Garnock-Jones
|
720ca052be
|
Remove unused dependency
|
2012-02-15 10:25:28 -05:00 |
Tony Garnock-Jones
|
969bc2646e
|
Age and expire cached RRs properly
|
2012-02-09 16:31:31 -05:00 |
Tony Garnock-Jones
|
a891956867
|
Introduce subscribe/fresh and use it in some places.
|
2012-02-08 17:36:27 -05:00 |
Tony Garnock-Jones
|
3b98769e8d
|
Fix stupid test-direction-problem in cname expansion
|
2012-02-08 17:36:27 -05:00 |
Tony Garnock-Jones
|
40ef38963b
|
Clear cache every N seconds (until I build a better mechanism)
|
2012-02-08 17:36:27 -05:00 |
Tony Garnock-Jones
|
4b7c931527
|
Rearrange resolver/network-query interaction, in particular making
network-query a separate os.rkt process.
|
2012-02-08 17:35:56 -05:00 |
Tony Garnock-Jones
|
e6568d49b5
|
Make network-query no longer directly aware of CompiledZones.
|
2012-01-31 08:11:31 -05:00 |
Tony Garnock-Jones
|
d1ad3d7086
|
Try the nameservers we have addresses for before looking up any more nameserver addresses.
|
2012-01-25 17:45:53 -05:00 |
Tony Garnock-Jones
|
7217768b9a
|
Ignore duplicate requests while still processing an earlier repeat
|
2012-01-25 15:07:33 -05:00 |
Tony Garnock-Jones
|
1d110a1845
|
Timeouts
|
2012-01-25 15:06:49 -05:00 |
Tony Garnock-Jones
|
47a6607981
|
Silence the proxy's debug output a little
|
2012-01-25 14:20:20 -05:00 |
Tony Garnock-Jones
|
26aa40053b
|
Convert network-query to evented style and implement proxy.
Create os-dns.rkt from code in big-bang-driver.rkt.
|
2012-01-25 13:50:49 -05:00 |
Tony Garnock-Jones
|
e7f3e79053
|
CPS-convert resolve-from-zone to expose network I/O actions.
|
2012-01-24 14:25:44 -05:00 |
Tony Garnock-Jones
|
58b8d9c35b
|
Switch "exn?" to "exn:fail?" in a few important spots, to avoid catching SIGINT
|
2012-01-23 11:27:51 -05:00 |
Tony Garnock-Jones
|
0c0e920356
|
Redistribute rules and comments to appropriate locations.
|
2011-12-30 14:50:10 -05:00 |
Tony Garnock-Jones
|
f4a63a0832
|
Prepare to switch to the unit-based resolver in the proxy
|
2011-12-28 13:53:19 -05:00 |
Tony Garnock-Jones
|
198cafba3c
|
Steps toward a working proxy. Next: another stab at the resolution algorithm
|
2011-12-22 14:12:31 -05:00 |
Tony Garnock-Jones
|
faaa81b310
|
Move (and generalise) resolver logic from server into zonedb.rkt for reuse by proxy.
|
2011-12-21 17:50:28 -05:00 |
Tony Garnock-Jones
|
ea0b338b0f
|
Start splitting out and deriving a proxy-server implementation from driver.rkt
|
2011-12-13 11:57:42 -05:00 |