Estructura de Datos Concurrente para Cache de Catálogo en Marketplace Bogotano

Implementa en Rust dos variantes: una con std::sync::RwLock<HashMap> y otra con DashMap. Soporta operaciones get, insert, invalidate y bulk_invalidate por prefijo. Diseña tests con loom para verificar la corrección bajo interleavings adversariales, y benchmarks con criterion para medir lecturas y escrituras concurrentes. Compara contra el Mutex<HashMap> baseline en 4 y 16 threads. Discute trade-offs (RwLock puede sufrir writer starvation; DashMap tiene overhead por bucket). Entrega ambas variantes, los tests loom, el reporte criterion y un memo de 4 páginas con recomendación.