Commit Graph

27 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 0f38c940ad Detect lame delegations, and ignore servers producing such delegations. 2012-04-04 17:56:38 -04:00
Tony Garnock-Jones 6c8c6c5201 Track current-name, which we need to know to remove lame servers. 2012-04-04 17:55:33 -04: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 70b8d875b7 Switch to symbolic specification of relative timeouts 2012-02-19 17:09:07 -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 32bf05a9d4 Correction to contract 2012-02-18 12:31:03 -05:00
Tony Garnock-Jones 1d3cb6f094 It's really more like bad-answer than no-answer. 2012-02-18 11:16:17 -05:00
Tony Garnock-Jones 79254cc7f4 More debug output 2012-02-17 17:10:53 -05:00
Tony Garnock-Jones 231e297975 Handle abnormal response codes properly 2012-02-17 16:05:18 -05:00
Tony Garnock-Jones 0c3ebff5f1 Avoid output buffering; also improve debug output 2012-02-16 15:24:59 -05:00
Tony Garnock-Jones 313677acf7 Move deps on racket-matrix 2012-02-15 10:41:15 -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 1203d9a18c Only look up nameserver names as far as necessary 2012-02-08 17:36:26 -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 9c231ebe6c Rearrange timeout loop a little 2012-01-31 13:44:09 -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 c84ed33697 Measure RTT for network queries 2012-01-25 17:56:57 -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 1d110a1845 Timeouts 2012-01-25 15:06:49 -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
Renamed from network-query-unit.rkt (Browse further)