Miscellaneous Rust projects

[brson]

Here are more ideas I pulled out of the Rust issue tracker.

• Add compiler-inserted yield checks - task scheduling is totally unfair, and part of the problem is that tasks don't yield automatically yet unless they are using library functions that must yield for correctness. Insert yield checks at appropriate places rust-lang/rust#524
• Add static crate linking - there is some bitrotted code for this already. Support static linking crates rust-lang/rust#552
• Add a 1:1 task:thread scheduling mode, collect some performance numbers. Add 1:1 Scheduling Mode rust-lang/rust#595
• Add config files, build-generated lists of attributes that are merged into the crate attributes. Create a mechanism to merge config files into the crate compilation environment rust-lang/rust#612
• Fix debug info. Rust code can't really be debugged in gdb because it doesn't emit the proper DWARF info. This is mostly about applying the LLVM APIs correctly, but will involve low-level debugging. Fun stuff.
• Get gcov working (code coverage). Probably depends on the above. Generate gcov coverage data rust-lang/rust#690
• Add a task monitor. This would probably be a named service that can be queried for the task state, can provide messages on task lifecycle events. Also give tasks useful names.
• Write or finish a pygments lexer, upstream it, and get github to use it to syntax highlight Rust code. Write a pygments lexer so that we get syntax highlighting on github rust-lang/rust#1198
• Improve cargo, Rust's package manager. This is an open-ended problem, as we don't have a firm design in mind.
• Improve rustdoc, Rust's documentation generator. As above, the tool exists, but isn't great.
• Add command-line configuration of runtime environment. rt: Add a way to configure the runtime environment from the command line rust-lang/rust#1497
• Improve the formal rust grammar and make it testable. Grammar tests rust-lang/rust#2234

[sanxiyn]

1198 is done now. cargo is now rustpkg.

[brson]

Closing this grab-bag of old stuff.