Open Source & Linux Lab

It's better when it's simple

User Tools

Site Tools


courses:high_performance_computing:lock_free

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
courses:high_performance_computing:lock_free [2017/10/21 21:16]
kel
courses:high_performance_computing:lock_free [2021/11/15 02:19] (current)
kel
Line 7: Line 7:
  * @param <T> Тип ключей  * @param <T> Тип ключей
  */  */
-public interface ​LockFreeSet<T extends Comparable<​T>>​ {+public interface ​Set<T extends Comparable<​T>>​ {
     /**     /**
      * Добавить ключ к множеству      * Добавить ключ к множеству
Line 17: Line 17:
      */      */
     boolean add(T value);     boolean add(T value);
 +
  
     /**     /**
Line 27: Line 28:
      */      */
     boolean remove(T value);     boolean remove(T value);
 +
  
     /**     /**
      * Проверка наличия ключа в множестве      * Проверка наличия ключа в множестве
      *      *
-     * Алгоритм должен быть как минимум lock-free+     * Алгоритм должен быть как минимум ​wait-free для типов конечной размерноости и lock-free ​для остальных
      *      *
      * @param value значение ключа      * @param value значение ключа
Line 37: Line 39:
      */      */
     boolean contains(T value);     boolean contains(T value);
 +
  
     /**     /**
      * Проверка множества на пустоту      * Проверка множества на пустоту
      *      *
-     * Алгоритм должен быть ​wait-free (достаточно lock-free, wait-free для сильно уверенных в себе)+     * Алгоритм должен быть ​как минимум ​lock-free
      *      *
      * @return true если множество пусто, иначе - false      * @return true если множество пусто, иначе - false
      */      */
     boolean isEmpty();     boolean isEmpty();
 +    ​
 +    /**
 +     * Возвращает lock-free итератор для множества
 +     *
 +     * Итератор должен быть линеаризуем в терминах представления когда-либо существовавшего вместе набора элементов
 +     *
 +     * @return итератор для множества
 +     */
 +    java.util.Iterator<​T>​ iterator();
 } }
 </​code>​ </​code>​
  
-Имя класса реализации - //LockFreeSetImpl//+//​Дополнительные условности://​ 
 +  - Имя класса реализации - //SetImpl// 
 +  - Класс должен иметь конструктор без параметров 
 +  - Pull Request должен содержать в части тестирования проходящие тесты корректности на основе [[https://​github.com/​Kotlin/​kotlinx-lincheck|lincheck]] 
 +  - В реализации не предполагается увидеть стандартные контейнеры из java.util.concurrent 
 +  - Гарантировать исполнение на JDK 11
courses/high_performance_computing/lock_free.1508609819.txt.gz · Last modified: 2017/10/21 21:16 by kel