DART: A Lock-free Two-layer Hashed ART Index for Disaggregated Memory | Synapse