C to Go translation tool supporting Go toolchain migration(github.com)
github.com
C to Go translation tool supporting Go toolchain migration
https://github.com/rsc/c2go
7 comments
I love the simplicity of the main function:
rewriteTypes(cfg, prog)
rewriteSyntax(cfg, prog)
rewriteLen(cfg, prog)
fixGoTypes(cfg, prog)
renameDecls(cfg, prog)
exportDecls(cfg, prog)
writeGoFiles(cfg, prog)
Plan9 style.
GopherCon 2014 had a talk on "Go, from C to Go" by Russ Cox. Here's the slide deck and video for those interested [1, 2].
[1] http://talks.golang.org/2014/c2go.slide#1
[2] https://www.youtube.com/watch?v=QIE5nV5fDwA
[1] http://talks.golang.org/2014/c2go.slide#1
[2] https://www.youtube.com/watch?v=QIE5nV5fDwA
For me, this was a key part of the sides:
"Goal: Automated conversion of our C code to Go. Target: our C code, not all C code."
"Goal: Automated conversion of our C code to Go. Target: our C code, not all C code."
And the slides cite a paper from 1977: http://dl.acm.org/citation.cfm?id=321999
Nice to see that somebody knows how to dig through history.
Nice to see that somebody knows how to dig through history.
Would be nice if this could be made into a more general tool, would be a cool way to modernize older libraries and reinvigorate new development into them
Friend of mine does fully automatic translation from C to Java, including automatic OO reengineering.
Some demos are available on his page: https://www.mtsystems.ch
This work is based on the stuff he did for his PhD. I think his largest test case so far is a full translation of VIM.
Some demos are available on his page: https://www.mtsystems.ch
This work is based on the stuff he did for his PhD. I think his largest test case so far is a full translation of VIM.
Main author of the tool here. If you have questions feel free to contact me: [email protected]
I'd certainly be happy if someone wants to do that. I'm not planning to. For this kind of thing my instinct is that the delta from "useful tool that gets you 90-99% of the way there" to "general tool that just works" is at least 2x if not 10x the effort. For what I'm doing, the 90-99% is fine and then I can fix the rest by hand.
That's been proposed, but it won't happen. There's too many edge cases, and it only works on the Go compiler because it has a particularly constrained style and rsc can make the relevant hacks as a one-off effort.
Why not? There's not that much of a difference between translating C to assembler or a high level language like Java/C#/Go. The main challenge is to make the code readable.
But basically someone just has to sit down and do it right.
Most libraries that are still in C are in C so that people can embed them from many languages, or because they need to be used in scenarios where GC is unacceptable. I don't think many libraries that have remained in C (and not used e.g. D, or OCaml, or Haskell) will be suitable for migration into Go.
I already reused part of this a few months ago to automatically refactor a large body of C code (around 10k LOC)[1]. Some time ago, Go converted (by hand) the various Plan 9 linkers used into a library, and I had to do the same for the arm64 linker.
I'm not sure if I saved time or not (I think I did) for the effective work, but I definitely saved time (and stress) overall, as the conversion was without bugs. I know for sure that I would have introduced a lot of bugs if I did this manually.
Tools that understand source code are great, and I'm really excited about the new Go compilers.
[1] https://code.google.com/p/rbits/source/browse/7lfix/main.go
I'm not sure if I saved time or not (I think I did) for the effective work, but I definitely saved time (and stress) overall, as the conversion was without bugs. I know for sure that I would have introduced a lot of bugs if I did this manually.
Tools that understand source code are great, and I'm really excited about the new Go compilers.
[1] https://code.google.com/p/rbits/source/browse/7lfix/main.go
This should be written in C and have sufficient C language coverage to understand and translate itself. Functional tests for free :)
This translator produces a VERY literal translation, as the intention is for future human passes to clean it up and convert it to more idiomatic go.
See here for the full plan: https://docs.google.com/document/d/1P3BLR31VA8cvLJLfMibSuTdw...