Синхронизация на двух или более объектов (Java)

Question

У меня есть код, похожий на следующий:

public class Cache{ 
private final Object lock = new Object(); 
private HashMap<Integer, TreeMap<Long, Integer>> cache = 
    new HashMap<Integer, TreeMap<Long, Integer>>(); 
private AtomicLong FREESPACE = new AtomicLong(102400); 

private void putInCache(TreeMap<Long, Integer> tempMap, int fileNr){ 
    int length; //holds the length of data in tempMap 
    synchronized(lock){ 
    if(checkFreeSpace(length)){ 
    cache.get(fileNr).putAll(tmpMap); 
    FREESPACE.getAndAdd(-length); 
    } 
    } 
} 

private boolean checkFreeSpace(int length){  
    while(FREESPACE.get() < length && thereIsSomethingToDelete()){ 
    // deleteSomething returns the length of deleted data or 0 if 
    // it could not delete anything 
    FREESPACE.getAndAdd(deleteSomething(length)); 
    } 
    if(FREESPACE.get() < length) return true; 
    return false; 
} 
} 

putInCache называется около 139 потоков в секунду. Могу ли я быть уверенным, что эти два метода будут синхронизироваться как на cache, так и на FREESPACE? Кроме того, есть checkFreeSpace() многопоточный сейф. Могу ли я быть уверенным, что будет только один вызов этого метода за раз? Можно ли улучшить «многопоточность» этого кода?

Answer 1

Обычно вы не синхронизируете поля, для которых вы хотите напрямую контролировать доступ. Поля, к которым вы хотите синхронизировать доступ, должны быть доступны только из синхронизированных блоков (на одном и том же объекте), которые считаются потокобезопасными. Вы уже делаете это в putInCache(). Поэтому, поскольку checkFreeSpace() получает доступ к общему состоянию несинхронизированным образом, он не является потокобезопасным.

Answer 2

Чтобы полностью ответить на ваш вопрос, вам нужно будет показать реализации методов thereIsSomethingToDelete() и deleteSomething().

Учитывая, что checkFreeSpace является общедоступным методом (действительно ли он должен быть?) И несинхронизирован, возможно, он может быть вызван другим потоком, пока выполняется синхронизированный блок в методе putInCache(). Это само по себе не может сломать что-либо, так как кажется, что метод checkFreeSpace может только увеличить объем свободного места, а не уменьшать его.

Что было бы более серьезным (и образец кода не позволяет нам это определить), если методы thereIsSomethingToDelete() и deleteSomething() не правильно синхронизируют их доступ к объекту кеша, используя тот же объект блокировка, используемая putInCache().