Rust: Hot-Code-Ersatz

Es ist wirklich extrem schwierig, dies mit nativem Code zu tun, insbesondere auf plattformübergreifende Weise. VMs haben es leichter, da sie die volle Kontrolle über das Laden von Bytecode, die Codegenerierung, die Codeplatzierung usw. haben.

Ich bin nicht auf dem neuesten Stand der Forschung zu diesem Thema, aber ich fand Kitsune: Efficient, General Purpose Dynamic Software Updating for C (OOPSLA 2012) interessant.

besucht zur Triage, 17. Juli 2013. Hot-Swapping ist in der Tat knifflig, obwohl einige der dafür notwendigen Dinge (zB Seiten als ausführbar markieren; I-Cache-Flushing usw.) auch notwendig wären, um einen JIT-Compiler zu unterstützen.

Ich vermute, wir bräuchten auch positionsunabhängigen Code (PIC). Das Kitsune-Papier behandelt sogar noch aggressivere Transformationen, z. B. die Migration der Datenlayouts zwischen Versionen. (Ich habe das Papier bisher nur überflogen.)

Das wäre cool, aber ich fühle mich wohl, wenn ich sage, dass es wahrscheinlich nicht passieren wird. Ich denke, es gibt viele andere schwierige Probleme, die zwingender sind.

Es wurde ein paar Mal mit kompiliertem Code durch LLVM und dessen JIT durchgeführt. Was es in eine VM wirft und es ermöglicht, die gleichen Dinge zu tun, die Erlang in seiner VM tun kann ...
Inspiration: http://vimeo.com/36579366
Beispiele mit C++:

• https://www.youtube.com/watch?v=BrjV1ZgYbbA
• https://www.youtube.com/watch?v=imkVkRg-geI

Wenn jemand eine Low-Level-VM verwenden möchte, kann er dies wohl auch in Rust tun ... Damit so etwas funktioniert, müssen Sie sowieso das VM-Verhalten hinzufügen ...

Ich werde dies nur als Referenz hinzufügen http://runtimecompiledcplusplus.blogspot.co.uk/ und den Code https://github.com/RuntimeCompiledCPlusPlus/RuntimeCompiledCPlusPlus

und https://bentheelder.github.io/blog/rust-hotswap.html