Open Source & Linux Lab

It's better when it's simple

User Tools

Site Tools


courses:high_performance_computing:lock_free

Lock-free контейнер

Необходимо реализовать в lock-free стиле следующий интерфейс:

/**
 * Lock-Free множество.
 * @param <T> Тип ключей
 */
public interface Set<T extends Comparable<T>> {
    /**
     * Добавить ключ к множеству
     *
     * Алгоритм должен быть как минимум lock-free
     *
     * @param value значение ключа
     * @return false если value уже существует в множестве, true если элемент был добавлен
     */
    boolean add(T value);
 
 
    /**
     * Удалить ключ из множества
     *
     * Алгоритм должен быть как минимум lock-free
     *
     * @param value значение ключа
     * @return false если ключ не был найден, true если ключ успешно удален
     */
    boolean remove(T value);
 
 
    /**
     * Проверка наличия ключа в множестве
     *
     * Алгоритм должен быть как минимум wait-free
     *
     * @param value значение ключа
     * @return true если элемент содержится в множестве, иначе - false
     */
    boolean contains(T value);
 
 
    /**
     * Проверка множества на пустоту
     *
     * Алгоритм должен быть как минимум lock-free
     *
     * @return true если множество пусто, иначе - false
     */
    boolean isEmpty();
 
    /**
     * Возвращает lock-free итератор для множества
     *
     * @return новый экземпляр итератор для множества
     */
    java.util.Iterator<T> iterator();
}

Дополнительные условности:

  1. Имя класса реализации - LockFreeSet
  2. Класс должен иметь конструктор без параметров
  3. Pull Request должен содержать в части тестирования проходящие:
    • Нагрузочные тесты на основе jcstress
    • Тесты корректности на основе lincheck
  4. В реализации не предполагается увидеть стандартные контейнеры из java.util.concurrent
courses/high_performance_computing/lock_free.txt · Last modified: 2019/06/15 08:20 by kel