Re: generalising oxenstored for unix nodes too

[Raphael Proust <raphlalou@xxxxxxxxx>]

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.



-- 
_______
Raphael