Programming Multicore Machines

Our research is aimed at developing techniques that enable writing
software for multicore machines that both works correctly and uses the
available concurrency effectively. Earlier work in the group led to
Silo, a very high performance in-memory database system, and work on
Silo is continuing. In addition we are investigating Software
Transactional Memory (STM), an approach that helps with the
correctness problem but at the expense of performance. We are
designing an extension of STM that overcomes the performance problem
and we plan to study the effectiveness of our approach by using it to
reimplement Silo.

Contact Barbara Liskov at for more information.