verisimilitudes

Multics used segments and Lisp Machines had a single address space. UNIX breaks down quickly without multiple fake single address spaces for each program.

> Programs just have to be compiled relocatable.

Yes, and with unrestricted memory access, one program can crash the entire system.

> You know, like what happens with shared libraries: which are written in C, and get loaded at different addresses in the same space, yet access their own functions and variables just fine.

That is except when one piece manipulates global state in a way with which another piece can't cope, and at best the whole thing crashes. Dynamic linking in UNIX is so bad some believe it can't work, and instead use static linking exclusively.

> But this isn't state of the process image that needs to be serialised, it's state of the connection between two hosts and some kernel configuration on those hosts. Programming language doesn't play into it at all.

It is because UNIX is written in the C language that there are even multiple flat address spaces instead of segments or a single address space systemwide. The fact that the kernel exists at all is also due to this. It has everything to do with the implementation language.

> Languages "such as Lisp" will have the exact same problem, for the same reason.

Under UNIX, yes.

> Collecting all of the "components" of the connection and sending them to a different host won't make the other host start sending packets to the new recipient, or replay the in-flight packets (which is state on intermediate routers, different computers than the connected ones entirely), or fix the ARP tables on the neighbouring hosts. None of that is available, and certainly isn't writeable, to the host doing the serialising.

It may very well require some specialized machinery, but not nearly so much as one may think to be necessary.

> To play some silly semantics games, this isn't so much about _serialising_ a connection as it is about _deserialising_ the connection and having it work afterwards.

That's implicit. I needn't write of deserializing when writing of serializing, as one is worthless without the other, at least in most cases.

> That act has literally nothing to do with programming language.

Look at what Lisp and Smalltalk systems could do before UNIX existed and tell me that again.

Some languages provide serialization of most anything by default, such as Lisp. Now, even in Lisp there are objects which don't make sense to serialize, including a TCP connection; however, the components thereof can be collected and sent across the wire or wherever else in a standardized way. The C language, in comparison, offers a few serialization routines for non-structured types, and that's about all.

So, my point is the ability to take running state, serialize it, and reinstate it elsewhere is only impressive to those who have misused computers for so long that they don't understand this was something basic in 1970 at the latest.

So, this is making a TCP Connection serializable in an ad hoc fashion.

> It is natural to want those connections to follow the container to its new host, preferably without the remote end even noticing that something has changed, but the Linux networking stack was not written with this kind of move in mind.

Yes, it was written in the C language.

Watching advertisements is completely optional.

This is right up my alley as it were. I'm not going to read the entire document, but I can remark on how the assembler language model is inferior to something I've created. Details are in my user page. In brief, an assembler language is not only a batch tool, but hides details from the hacker. Optimizing machine code requires the ability to use instructions as data when the opportunity be noticed, but that requires noticing it at all, which requires seeing the numerical values; and an assembler language also makes it difficult to do things such as put labels in the middle of an instruction. Assembler languages often introduce arbitrary name arithmetic and special names to handle this and other cases, but I found that to be inelegant; I've found such to be unnecessary; merely naming individual octets is generally sufficient.

Hey, Dang. Why do I keep getting flagged or killed? I was told to start posting about things other than my website, but all of those end up dead just the same? What am I doing wrong here?