Commit Graph

47 Commits

Author SHA1 Message Date
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