Filos is a project mainly written in C, it's free.
Distributed semaphore dining philosopher problem
This is a README file.