Java zaawansowane #15: struktury danych bezpieczne wątkowo

Na koniec cyku wpisów związanych z wielowątkowością, warto przyjrzeć się, jakie gotowe rozwiązania oferuje Java programistą. Okazuje się, że wiele problemów zostało już dawno przez kogoś rozwiązane (co jest dość częste w programowaniu).

Klasy niemodyfikowalne

Pierwszym rodzajem struktur przydatnych do pracy z wątkami są klasy niemodyfikowalne. Są one szczególnie przydatne we wszelkich obiektach immutable*. Główną cechą takich klas, jest fakt, iż po jej utworzeniu instancje nie może się zmieniać. Pozornie taka kolekcja nie ma żadnego sensu. Czasem jednak Twój kod może wymagać, aby utworzyć nowy zbiór z finalnymi wartościami, które nie będzie już mógł nikt przypadkiem aktualizować.

List<String> shoes = new ArrayList<>();  
Collections.addAll(shoes, "Adidas", "Nike", "New balance");  
List<String> finalListOfShoes = Collections.unmodifiableList(shoes);  
System.out.println("Unmodifiable list of shoes: " + finalListOfShoes);  
finalListOfShoes.add("Reebok"); 

Po odpaleniu takiego kodu, wyrzuci on spodziewany wyjątek:

Unmodifiable list of shoes: [Adidas, Nike, New balance]
Exception in thread "main" java.lang.UnsupportedOperationException
	at java.util.Collections$UnmodifiableCollection.add(Collections.java:1057)
	at advanced.lesson15.ThreadsafeStructure.main(ThreadsafeStructure.java:14)

Tu istnieje jednak ryzyko, bo jeśli wrzucić do kolekcji niemodyfikowalnej inną referencje, to wciąż można modyfikować jej zawartość właśnie przez nią. Spójrz na kolejny przykład:

shoes.add("Reebok");
System.out.println("Modifiable list of shoes: " + finalListOfShoes); 
Modifiable list of shoes: [Adidas, Nike, New balance, Reebok]

Niemodyfikowalna kolekcja uległa modyfikacji. 😉 Wniosek jest bardzo prosty, po „opakowaniu” w kolekcje modyfikowalną wciąż możesz zmieniać poprzednia kolekcję, przez co lista niemodyfikowalna ulegnie też zmianie.

Kolejki blokujące

Z kolejek blokujących niejawnie korzystałem już podczas używania egzekutorów. Interfejs BlockingQueue posiada wiele implementacji, których możesz używać. Na tej lekcji skupię się tylko na jednej z nich, mianowicie na LinkedBlockingQueue. Taka kolejka świetnie rozwiązuje znany w informatyce, producent – konsument**.

Poniżej przedstawiam Ci praktyczne zastosowanie takiej struktury:

public class Producer implements Runnable{
	private BlockingQueue<Integer> queue;
	
	public Producer(BlockingQueue<Integer> queue) {
		this.queue = queue;
	}

	@Override
	public void run() {
		System.out.println("Start producing");
        try {
        	for(int i=0; i<100; i++) {
        	     System.out.println("Produce " + i);
                     queue.put(i);
                     Thread.sleep(100);
        	}
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

Producent przyjmuje współdzieloną kolejkę blokującą za pomocą konstruktora. Następnie w pętli for, wypełnia ją kolejnymi wartościami całkowitymi (sleep służy tu tylko, aby zauważyć efekt na konsoli).

public class Consumer implements Runnable{
	private BlockingQueue<Integer> queue;

	public Consumer(BlockingQueue<Integer> queue) {
		this.queue = queue;
	}

	@Override
	public void run() {
		System.out.println("Start consuming");
        try {
        	while(!queue.isEmpty()) {
                System.out.println("Consume " + queue.take());
        	}
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

Kolejna klasa, dokonuje pobrania w pętli while wartości z tej samej kolejki, aż do momentu, kiedy wartości będą dostępne***.

public static void main(String[] args) throws InterruptedException {
    BlockingQueue<Integer> queue = new LinkedBlockingQueue<Integer>();

    Producer producer = new Producer(queue);
    Consumer consumer1 = new Consumer(queue);
    Consumer consumer2 = new Consumer(queue);

    new Thread(producer).start();

    Thread.sleep(4000);
    new Thread(consumer1).start();
    new Thread(consumer2).start();
}

W metodzie main startujesz jednego producenta, a po pewnym czasie dołącza do niego dwóch konsumentów. Jeśli spojrzysz na wynik na konsoli, zobaczysz, że oba konsumenci są wstanie pobierać wartości od producenta bez blokowania się wzajemnie. Spróbuj teraz przetestować powyższy kod dla zwykłej kolejki (interfejs Queue). Prawdopodobnie oba konsumenci zablokują się już przy pobieraniu pierwszego elementu.

Klasa CopyOnWriteArrayList

Klasa ta korzysta z techniki, zapewniającej bezpieczeństwo wielowątkowe, poprzez kopiowanie wartości całej zawartości struktury do nowej kopii wewnętrznej. Dzieje się to jednak tylko, gdy wykorzystujesz którąś operację modyfikacji – takie jak add lub remove.

Klasa ConcurrentHashMap

Ostatnia z omawianych kolekcji, przydaje się, gdy potrzebujesz operować na mapach. ConcurrentHashMap zapewnia, że niezależnie ile wątków pracuje na nie, jej struktura nie zostanie uszkodzona. Oczywiście niektóre wątki mogą być czasowo blokowane. Kolekcja ta posiada szereg metod, które działają w sposób atomowy, takich jak: compute, reduce, etc.

Inne kolekcje

  • ConcurrentSkipListMap
  • ConcurrentSkipListSet
  • ConcurrentHashSet
  • NavigableMap
  • CopyOnWriteArraySet

Przestarzałe struktury

Wszystkie poniższe kolekcje są zdezaktualizowane i jeśli nie musisz, to postaraj się ich unikać.

  • Vector – synchronizowana alternatywa dla ArrayList. Zamiast niego lepiej użyć synchronizedList z pakietu Collections.
  • Stack – kolejna przestarzała struktura, która miała odzwierciedlać działanie stosu. Obecnie możesz spokojnie zastąpić ją poprzez skorzystanie z Deque lub BlockingDeque.
  • Hashtable – synchronizowana hash mapa. Lepiej zamiast niej wybrać synchronizedMap.

*Java zaawansowane #12: obiekty niezmienne (immutable)

**Więcej na temat problemu konsument – producent: https://pl.wikipedia.org/wiki/Problem_producenta_i_konsumenta

***Przeczytaj o problemie zagłodzenia: https://en.wikipedia.org/wiki/Starvation_(computer_science)

Link do lekcji: https://github.com/developeronthego/java-advanced/tree/master/src/main/java/advanced/lesson15

Może Ci się również spodoba

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *