[问与答] 如何分析这段线程安全的代码？

最近看了一道面试题（先查缓存，缓存中没有再查数据库），其实很久以前就遇到过，我以为已经掌握了，
但是今天再看，分析起来总觉得有些吃力，有种拿着答案分析过程的感觉，没有真正理解。
根据我的经验，应该在大脑中形成一个足够抽象的结构图，下次遇到这类问题，都可以套用。
想问问 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());
}