XIA-for-Linux icon indicating copy to clipboard operation
XIA-for-Linux copied to clipboard

any math theory behind XIA?

Open cypa opened this issue 4 years ago • 4 comments

I've found no math formulae in PhD thesis available in your wiki - have you did any math theory elaboration? Any theorem proving XIA is efficient and complete network stack? ... any network models used?

cypa avatar Jul 07 '19 08:07 cypa

Hi @cypa,

I've tried to work out an analytical model of computer networks to highlight the evolution aspect embedded in XIA. But I haven't been able to get a result that carries enough meaning. Without a meaningful theorem behind it, I don't see a model persuading other researchers. An analogy of the problem I've hit goes like this: if Turing had not proved bold statements about computability with his machine, why would other researchers have bothered with his model?

I hope I'm not shutting down your motivation. I'm just relating my experience.

AltraMayor avatar Jul 09 '19 15:07 AltraMayor

If you share your model and any considerations it would be interesting, though I'm not a mathematician myself.

cypa avatar Jul 09 '19 15:07 cypa

I've found this https://mafiadoc.com/distributed-solving-of-markov-chains-for-computer-network-citeseerx_59a8dc6e1723ddbdc56028cd.html so far. Also I see we can implement some ideas transparently, for example, get rid of DHCP-server in LAN and compute IP-addreses with hash function of hostname.

cypa avatar Jul 09 '19 16:07 cypa

Due to the lack of a meaningful result, I haven't put my notes into a publishable format.

Our team has put XIA on the back burner to finish up and deploy Gatekeeper, a DDoS protection system. We expect that, besides being an effective solution against DDoS attacks, Gatekeeper will nurture motivations for an evolvable network like XIA.

AltraMayor avatar Jul 09 '19 16:07 AltraMayor