syndicate-lang
/
racket-dns-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • d1ad3d7086 Try the nameservers we have addresses for before looking up any more nameserver addresses. Tony Garnock-Jones 2012-01-25 17:45:53 -0500
  • 7217768b9a Ignore duplicate requests while still processing an earlier repeat Tony Garnock-Jones 2012-01-25 15:07:33 -0500
  • 1d110a1845 Timeouts Tony Garnock-Jones 2012-01-25 15:06:49 -0500
  • 47a6607981 Silence the proxy's debug output a little Tony Garnock-Jones 2012-01-25 14:20:20 -0500
  • 9770f0570b Move big-bang-driver.rkt to driver.rkt. Tony Garnock-Jones 2012-01-25 13:56:47 -0500
  • de6ad4c065 Remove obsolete driver code. Tony Garnock-Jones 2012-01-25 13:56:06 -0500
  • 26aa40053b Convert network-query to evented style and implement proxy. Create os-dns.rkt from code in big-bang-driver.rkt. Tony Garnock-Jones 2012-01-25 13:50:49 -0500
  • a447ddfd7d Remove unneeded signature file Tony Garnock-Jones 2012-01-25 12:01:31 -0500
  • e7f3e79053 CPS-convert resolve-from-zone to expose network I/O actions. Tony Garnock-Jones 2012-01-24 14:19:25 -0500
  • f07495520e Remove misleading and wrong (answer-available?) predicate Tony Garnock-Jones 2012-01-24 14:18:42 -0500
  • 58b8d9c35b Switch "exn?" to "exn:fail?" in a few important spots, to avoid catching SIGINT Tony Garnock-Jones 2012-01-23 11:27:51 -0500
  • 43a6f52cd8 Fix a type error: DNS packets need to stay in the DNS layer Tony Garnock-Jones 2012-01-23 11:22:52 -0500
  • eebab5387b Switch from one ad-hoc ground language to another, but eliminate HIDs. This removes a bug in the design: metamessages wouldn't have been dispatched properly in more general types of metanetwork than the Racket CMLish framework. Tony Garnock-Jones 2012-01-20 18:32:59 -0500
  • 1dcf34bd56 Remove HID counter and HIDs; extract common searchHandlers function Tony Garnock-Jones 2012-01-20 13:46:22 -0500
  • a4113f7608 Elucidating the types Tony Garnock-Jones 2012-01-20 10:54:10 -0500
  • fd64c460a4 Remove dependency on functional-queue.rkt Tony Garnock-Jones 2012-01-19 13:38:11 -0500
  • 9ef1165c9a Add compiled-zone?. Tony Garnock-Jones 2012-01-17 16:17:42 -0500
  • 1f969de125 Use a nested-vm in big-bang-driver to split the UDP and DNS layers Tony Garnock-Jones 2012-01-16 18:33:00 -0500
  • ad7b823e6e Make pattern-predicate an optional keyword argument to make-vm Tony Garnock-Jones 2012-01-16 18:29:53 -0500
  • 16b4dc413e Rename meta-message-handler to ground-message-handler Tony Garnock-Jones 2012-01-16 18:29:32 -0500
  • d24ca2a2c8 os-big-bang version of simplified-driver.rkt Tony Garnock-Jones 2012-01-16 18:12:26 -0500
  • af4cb50104 Make userland spawn raw by default, for better interop between it and big-bang Tony Garnock-Jones 2012-01-16 17:38:00 -0500
  • c6f9545817 The simplified-driver doesn't need any UDP operations Tony Garnock-Jones 2012-01-16 17:20:10 -0500
  • 744c963abb Testing for big-bang; evented UDP example Tony Garnock-Jones 2012-01-16 16:54:57 -0500
  • 3d0a635b62 Better representation of local address. Still limited by BSD sockets API. Tony Garnock-Jones 2012-01-16 16:17:47 -0500
  • 3415e910f8 Crude emulation of 2htdp/universe's big-bang using os-big-bang. Tony Garnock-Jones 2012-01-13 23:09:23 -0500
  • 3c1c36facc Flatten actions, to permit '() and lists of actions Tony Garnock-Jones 2012-01-13 21:19:10 -0500
  • 37f242874b Match state rather than straight binding it Tony Garnock-Jones 2012-01-13 18:01:38 -0500
  • b96114f774 Make raw spawning the default. Tony Garnock-Jones 2012-01-13 17:05:01 -0500
  • 989ae4499f Cosmetic Tony Garnock-Jones 2012-01-13 17:01:13 -0500
  • e11db78096 Use (== expr) pattern in matches Tony Garnock-Jones 2012-01-13 17:01:06 -0500
  • a4eb28f5c5 Split out call to ground-vm from definition of main Tony Garnock-Jones 2012-01-13 16:48:43 -0500
  • 66f74dbe63 Make both userland and big-bang able to spawn raw siblings Tony Garnock-Jones 2012-01-13 16:46:33 -0500
  • 1fae9c95e3 Remove struct runnable; provide default pattern-predicate; make os-big-bang virtualizable Tony Garnock-Jones 2012-01-13 16:42:03 -0500
  • 28452b10f3 Spice up the example a little Tony Garnock-Jones 2012-01-13 16:22:31 -0500
  • 79741ab7b6 Big bang analogue Tony Garnock-Jones 2012-01-13 16:14:51 -0500
  • 9382da7631 UDP drivers Tony Garnock-Jones 2012-01-11 17:47:05 -0500
  • c4d74d2cab Make rpc-service take multiple patterns Tony Garnock-Jones 2012-01-11 17:46:53 -0500
  • e8e87e338d Split example into beginnings of stdlib Tony Garnock-Jones 2012-01-11 17:07:13 -0500
  • 9f3003fc40 DRY (by using wait-until-time) Tony Garnock-Jones 2012-01-11 16:38:53 -0500
  • d44f0fb14c Fix up provided bindings. Tony Garnock-Jones 2012-01-11 16:25:40 -0500
  • 43a76580d6 Note re poll vs presence Tony Garnock-Jones 2012-01-11 16:20:28 -0500
  • 5b9714b4e9 Delimited-continuation-based userland and example program Tony Garnock-Jones 2012-01-11 16:19:06 -0500
  • 591082fa01 Act on outbound ground metamessages before checking for inertness. Tony Garnock-Jones 2012-01-11 16:05:53 -0500
  • 85709e4a0d Split out (and elaborate) example Tony Garnock-Jones 2012-01-10 16:57:46 -0500
  • d67e258e7a Remove polling support. no-polling Tony Garnock-Jones 2012-01-10 13:40:36 -0500
  • b16d723450 More concision. Tony Garnock-Jones 2012-01-10 13:29:25 -0500
  • 6c66e632f4 Concision. Tony Garnock-Jones 2012-01-10 13:21:54 -0500
  • 818cfed24a Remove some debug output Tony Garnock-Jones 2012-01-10 12:23:20 -0500
  • be4bd64d2c Fix metamessage dispatch Tony Garnock-Jones 2012-01-10 12:22:31 -0500
  • dea5eeb3e9 WIP: Plan for straightening out metaevents Tony Garnock-Jones 2012-01-10 09:19:20 -0500
  • fdeb257d46 Small fix to message-handler invocation Tony Garnock-Jones 2012-01-10 09:18:53 -0500
  • a56f70bc9a It's better-named "pattern" than "matcher". Tony Garnock-Jones 2012-01-09 19:41:35 -0500
  • 18ad15001c Forgot to check this file in. Tony Garnock-Jones 2012-01-09 19:30:37 -0500
  • ad20706194 Almost there! Tony Garnock-Jones 2012-01-09 18:19:44 -0500
  • 82229e28f1 First round of trivial-bug fixes and tweaks Tony Garnock-Jones 2012-01-09 12:20:47 -0500
  • 114595257c Another step closer to a metacircular driver. Tony Garnock-Jones 2012-01-06 14:22:43 -0500
  • 4ced01301e Steps toward a generalised big-bang Tony Garnock-Jones 2012-01-05 16:07:55 -0500
  • 0c0e920356 Redistribute rules and comments to appropriate locations. Tony Garnock-Jones 2011-12-30 14:50:10 -0500
  • ba92bbb1ff Split resolver algorithm from network-query implementation Tony Garnock-Jones 2011-12-30 13:57:54 -0500
  • 171aea110c Whoops Tony Garnock-Jones 2011-12-30 13:33:50 -0500
  • 4fb9480532 Refactor and document network-query/addresses Tony Garnock-Jones 2011-12-30 13:30:58 -0500
  • f4a63a0832 Prepare to switch to the unit-based resolver in the proxy Tony Garnock-Jones 2011-12-28 13:53:19 -0500
  • 0dc5f5a885 Split out resolver into a separate unit and signature Tony Garnock-Jones 2011-12-28 12:27:27 -0500
  • 73da8f3999 Almost complete rewrite of the resolver. Tony Garnock-Jones 2011-12-22 17:51:39 -0500
  • 70ff41e188 Add accidentally-omitted clause in RData definition. Tony Garnock-Jones 2011-12-22 17:50:59 -0500
  • 198cafba3c Steps toward a working proxy. Next: another stab at the resolution algorithm Tony Garnock-Jones 2011-12-22 14:12:31 -0500
  • 6c8727f15c Split out RRs for testing into a separate module Tony Garnock-Jones 2011-12-21 17:49:18 -0500
  • 8c09bafdd4 Place CNAMEs first in each section. Tony Garnock-Jones 2011-12-21 17:48:15 -0500
  • faaa81b310 Move (and generalise) resolver logic from server into zonedb.rkt for reuse by proxy. Tony Garnock-Jones 2011-12-21 17:00:12 -0500
  • b62e7d8bf4 Notes on error-detection and handling in an outbound relay Tony Garnock-Jones 2011-12-21 16:58:42 -0500
  • 7f44278cf6 More consistent naming (event -> message, etc) Tony Garnock-Jones 2011-12-16 11:42:06 -0500
  • 97ca27fb16 Rename ClassifiedPacket to Message. Tony Garnock-Jones 2011-12-16 11:35:17 -0500
  • 94486f4dba Add unparsing of packets, symmetrically with what used to be called classification. Tony Garnock-Jones 2011-12-16 11:30:18 -0500
  • 5181e0fce0 Pull out event-handling stub, to show where future hooks will go Tony Garnock-Jones 2011-12-15 16:21:07 -0500
  • 7e56c9bf12 Generalise event handlers: extensible event types, fixed set of handlers. Tony Garnock-Jones 2011-12-15 13:02:10 -0500
  • a601234fba transparent -> prefab Tony Garnock-Jones 2011-12-15 13:00:37 -0500
  • b15ce583e3 Push packet reencoding back into the chassis too Tony Garnock-Jones 2011-12-15 12:22:59 -0500
  • 2599833904 Start experimenting with packet classification Tony Garnock-Jones 2011-12-15 12:18:14 -0500
  • 92ec4c4815 DNS server expressed in terms of simple-udp-service.rkt Tony Garnock-Jones 2011-12-15 11:43:45 -0500
  • 68d2195146 Remove error handling from simple-utp-service, until I get a better handle on it Tony Garnock-Jones 2011-12-14 15:15:36 -0500
  • b72b78119f Sketch of simple 1-in,1-out UDP chassis, with error handling Tony Garnock-Jones 2011-12-14 14:21:19 -0500
  • ac1d493528 Commentary Tony Garnock-Jones 2011-12-13 15:20:21 -0500
  • ea0b338b0f Start splitting out and deriving a proxy-server implementation from driver.rkt Tony Garnock-Jones 2011-12-13 11:57:42 -0500
  • 39c86414d4 Experiments in the direction of a "functional operating system" Tony Garnock-Jones 2011-12-09 14:09:43 -0500
  • 491eaed2e2 Correct data definition for CompiledZone. Tony Garnock-Jones 2011-12-05 11:44:25 -0500
  • e63391d8fc Split out zone utilities Tony Garnock-Jones 2011-12-05 11:41:40 -0500
  • 07f5abfbff Fix cut-and-paste error Tony Garnock-Jones 2011-12-02 14:33:50 -0500
  • 665ca900fa Don't swallow break exceptions. Tony Garnock-Jones 2011-11-06 08:16:12 -0500
  • 41c4ecacb1 Add roar.example record. Tony Garnock-Jones 2011-11-03 14:15:56 -0400
  • 212455442a Add demo TXT record. Tony Garnock-Jones 2011-10-31 17:35:57 -0400
  • 18ca049ec3 Temporarily use relative paths Tony Garnock-Jones 2011-10-03 16:07:28 -0400
  • 50f52c6b6d Catch errors in service; dump-bytes! utility Tony Garnock-Jones 2011-09-19 17:39:48 -0400
  • 7bc67b0c7f Cosmetic Tony Garnock-Jones 2011-09-19 17:38:47 -0400
  • 0d015c6e9c Steps toward proper handling of CNAMEs Tony Garnock-Jones 2011-09-19 14:36:32 -0400
  • 127601c357 Referrals. Tony Garnock-Jones 2011-09-19 14:03:27 -0400
  • 5b45abf1d2 Comment against name-error Tony Garnock-Jones 2011-09-19 14:02:54 -0400
  • 1ddd5dbd31 Better summary output Tony Garnock-Jones 2011-09-19 12:43:59 -0400
  • 2a9a4f60c8 for/sum isn't available in racket 5.1.3 apparently Tony Garnock-Jones 2011-09-19 12:42:04 -0400
  • 30590bb41a Crude imperative drivers, to get a feel for the system Tony Garnock-Jones 2011-09-19 12:34:04 -0400