A map that associates each key with at most one value, safe under the platform's concurrency model: concurrent getOrPut calls for the same key always return the same instance, making it safe to store mutable values.