Research Frontiers in Kernel Support for Dependency Tracking and Cache Invalidation
Investigation of kernel mechanisms for tracking data and control dependencies, implementing lazy invalidation of caches, and optimizing distributed consistency protocols.