Differences

This shows you the differences between two versions of the page.

--- courses:high_performance_computing:lock_free [2018/10/28 19:10] – kel
+++ courses:high_performance_computing:lock_free [2019/04/28 13:18] – kel
@@ Line 4: / Line 4: @@
 <code java>
 /**
- * Lock-Free очередь с приоритетами
+ * Lock-Free множество.
- * @param <T> Тип элементов
+ * @param <T> Тип ключей
  */
-public interface PriorityQueue<E extends Comparable<E>> extends Queue<E> {
+public interface LockFreeSet<T extends Comparable<T>> {
+    /**
+     * Добавить ключ к множеству
+     *
+     * Алгоритм должен быть как минимум lock-free
+     *
+     * @param value значение ключа
+     * @return false если value уже существует в множестве, true если элемент был добавлен
+     */
+    boolean add(T value);
     /**
-     * Проверка очереди на пустоту
+     * Удалить ключ из множества
      *
-     * Метод должен быть lock-free (wait-free для уверенных в себе)
+     * Алгоритм должен быть как минимум lock-free
      *
-     * @return true если очередь пуста, иначе - false
+     * @param value значение ключа
+     * @return false если ключ не был найден, true если ключ успешно удален
+     */
+    boolean remove(T value);
+    /**
+     * Проверка наличия ключа в множестве
+     *
+     * Алгоритм должен быть как минимум wait-free
+     *
+     * @param value значение ключа
+     * @return true если элемент содержится в множестве, иначе - false
+     */
+    boolean contains(T value);
+    /**
+     * Проверка множества на пустоту
+     *
+     * Алгоритм должен быть как минимум wait-free
+     *
+     * @return true если множество пусто, иначе - false
      */
     boolean isEmpty();
+    /**
+     * Возвращает lock-free итератор для множества
+     *
+     * @return новый экземпляр итератор для множества
+     */
+    java.util.Iterator<T> iterator();
 }
 </code>
 //Дополнительные условности://
-  - Имя класса реализации - //LockFreePriorityQueue//
+  - Имя класса реализации - //LockFreeSet//
   - Класс должен иметь конструктор без параметров
   - Pull Request должен содержать в части тестирования проходящие:
     * Нагрузочные тесты на основе [[http://openjdk.java.net/projects/code-tools/jcstress/|jcstress]]
     * Тесты корректности на основе [[https://github.com/Devexperts/lin-check|lincheck]]
   - В реализации не предполагается увидеть стандартные контейнеры из java.util.concurrent
-  - Не обязательно учитывать "ограниченность" размера контейнера, в этом смысле методы "add" и "offer" эквивалентны