如何分析这段线程安全的代码？

最近看了一道面试题（先查缓存，缓存中没有再查数据库），其实很久以前就遇到过，我以为已经掌握了，

但是今天再看，分析起来总觉得有些吃力，有种拿着答案分析过程的感觉，没有真正理解。

根据我的经验，应该在大脑中形成一个足够抽象的结构图，下次遇到这类问题，都可以套用。

想问问 v 友们如何分析这类问题？思维过程是怎样的？会在大脑中构建图像吗？```
private final Map<Long, Shop> shopCache = new ConcurrentHashMap<>();

public Shop getShopById(Long shopId) {
// 1. 先查本地缓存
Shop shop = shopCache.get(shopId);
if (shop != null) {
return shop;
}

// 2. 同一个 shopId 加锁
synchronized (getLock(shopId)) {

// 3. 双重检查
shop = shopCache.get(shopId);
if (shop != null) {
return shop;
}

// 4. 缓存没有，查数据库
shop = shopMapper.selectById(shopId);

// 5. 放入本地缓存
if (shop != null) {
shopCache.put(shopId, shop);
}

return shop;
}
}

private final Map<Long, Object> locks = new ConcurrentHashMap<>();

private Object getLock(Long shopId) {
return locks.computeIfAbsent(shopId, k -> new Object());
}