GSRC Student Profile:
Research Overview: Memory Consistency Models of Multi-core Systems
Modern multicore systems implement optimizations such as store-buffer, caches, and out-of-order
executions, which relax the order memory operations are observed by different threads.
These relaxations are captured by memory consistency models. Reasoning about memory consistency models is important for tools for concurrent software such as optimizing compilers.
My research focuses on developing a framework and tools for specifying, testing and reasoning about memory consistency models.
|
