Suchen Sie nach LLVM-basierten Sprache, die es ermöglicht, Teil der binären on-the-fly

Question

zu laden Sind die beliebigen GIL-losen LLVM-basierten Sprachen, vor allem für JIT-Ausführung, die es ermöglicht, Teil des Codes im laufenden Betrieb neu zu laden?

Wie 1 Klasse kompilieren und neu laden, ohne das gesamte Programm zu stoppen.

Wer hat das versucht?

Irgendeine Chance, das mit clang zu tun (sicherlich, mit viel Entwickler Vorsicht, Einschränkung und manuellen Zustand Handhabung)?

Answer 1

Ich denke, dass dies eine Dynamit Idee ist, und ein Feature, das ich gerne hätte! Haben Sie sich Gedanken darüber gemacht, wie Sie mit dem Feature interagieren möchten?

obj1 = Foo() 
compiler.Recompile(Foo, '/some/path/myapp/newsrc/foo.blah'); 
obj2 = Foo() 
// Would this be True? 
type(obj1) == type(obj2) 

Ich nehme an, dass Sie erwarten, dass vorhandene Instanzen durch die Neukompilierung unverändert bleiben? Dies scheint so zu sein, als wäre es einfacher mit Funktionen, solange sie den gleichen Prototyp behalten, aber es mit Klassen zu tun scheint, als würde es unordentlich werden.

Auch, was ist mit Threading zu tun?

Thread.start(wait 1; bar();); // bar is a function 
compiler.Recompile(bar, '/some/path/myapp/newsrc/bar.blah'); 

Lets sagen, dass wir in unserem Thread beginnen, "bar" während der Neukompilierung aufzurufen. Blockiert der Aufruf, bis die Neukompilierung abgeschlossen ist, und ruft dann die neue Funktion auf? Ist die alte Funktion noch vorhanden, bis die Kompilierung abgeschlossen ist? Was ist, wenn wir nach dem Kompilieren einen Funktionszeiger haben, wo zeigt er? Zu der ursprünglichen Funktion oder zu der neuen?

Hat jemand irgendwelche Gedanken darüber, wie dies in einer direkten Richtung umgesetzt werden könnte?

Answer 2

Hmm, mir fällt nichts ein. Das einzige Hauptprodukt, das ich mir vorstellen kann, ist JRebel, aber das ist für Java.

Answer 3

Scheinbar existiert es noch nicht.