[CCC DEV] New list member

[Matt Jadud]

Hi all,

I'd like to introduce Zach Williams, a 3rd-year CS major here at
Allegheny College. This summer, we were planning on porting Carl's
wait-free, work-stealing scheduler to the Transterpreter. From
previous conversation on this topic (which was off-list, as it was
very speculative at the time), we kicked around two ideas, both
(ultimately) related to LLVM.

1. Add basic LLVM-based JIT to the TVM.

2. Compile the TVM with LLVM (through clang/llvm-gcc), and implement
the new scheduler using the LLVM atomic primitives. (Bonus marks if
this can then be refactored into a library for any program to use as a
scheduling backend.)

I suspect the core will "just work" when compiled with llvm-gcc, and
the POSIX wrapper may even "just work." (Part of our goal was to make
sure we could hit multicore ARM targets with our efforts, which LLVM
should still give us... so, that would make sense as a path to
pursue.)

On Friday, Zach mentioned that he will be presenting about his project
early this week (Tuesday). He has some questions regarding the new
scheduler, and some of his questions are not ones I can answer. For
example, he has (I think) some questions regarding motivation in the
design and implementation, which is something I don't have a good
sense for.

I'm going to encourage him to ask his questions here, and if we can
provide him with some insights, that would be wonderful. Beyond
Tuesday, we'll also use this as a space to carry out some discussion
about Zach's work this summer.

Cheers,
Matt