A Note on Fil-C
Filip Pizlo recently released a (solo!) project called Fil-C that adds a memory-safety instrumentation pass to clang (for spatial safety -- out-of-bounds accesses), along with a runtime support library and a concurrent GC (for temporal safety -- use after free). It is, by the standards of such tools, highly compatible with existing code -- so much so that building a full linux distro userspace seems likely within reach with only modest patching effort. The stated performance overheads (measured by Dan Bernstein at "about 1-4x cycles") are by modern standards "probably tolerable" for many workloads (EDIT: also see a few initial measurements I made with the "optfilc" tools -- I did less-micro benchmarks and found a wider range), especially stuff that's IO bound or not otherwise straining for maximum performance.
What's Your Reaction?
Like
0
Dislike
0
Love
0
Funny
0
Angry
0
Sad
0
Wow
0
