[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: generalising oxenstored for unix nodes too

On Wed, Feb 15, 2012 at 1:52 PM, Richard Mortier
<Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:
> On 14 Feb 2012, at 23:00, Anil Madhavapeddy wrote:
>> Raphael has been hacking away at the Mirage control stack, which
>> will keep *bidirectional* dependencies for most data structures.
> as this is something i think is (a) a very good thing and (b) a very 
> interesting thing, any more news on it? Âhow's it coming along, where's it 
> live, what's the plan, etc? :)

There are some early experiments at https://github.com/avsm/ocaml-ld

In the ARP example
(https://github.com/avsm/ocaml-ld/blob/master/examples/arp-fast/arp.ml), the
query function has type
val query: ?timeout:float -> ipv4_addr -> ethernet_mac option Froc_sa.t

It means that the result of a query is not a static mac address it's a
changeable (Froc_sa.t, sa stands for self-adjusting) one. Hence one can build a
value that depends on this address. Such a value is guaranteed to be recomputed
whenever the ARP entry associated with the queried IP address changes.

Thus you can open a TCP connection and be given a closure. The actual code
executed when calling is updated so has to fill the packet headers (and among
them the MAC destination field of the ethernet frame) correctly.




Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.