SEWiki - Вклад участника [ru]

SE Wiki

2012-11-14T15:21:16Z

Sergey.kazenyuk: /* Учебная информация */

== Учебная информация ==
[http://mit.spbau.ru/ru/scheduleSE Расписание]

5 курс:
* [[Базы_данных_2012|Базы данных]]
* [[Алгебраические_структуры_2012|Алгебраические структуры]]
* [[Алгоритмы_и_структуры_данных_2012|Алгоритмы и структуры данных]]
* [[Операционные_системы_2012|Операционные системы]]
* [[Основы_программной_инженерии_2012|Основы программной инженерии]]
* [[Теория_графов_2012|Теория графов]]
* [[Комбинаторика_2012|Комбинаторика]]
* [[Мат_логика_2012|Мат. логика]]
* [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]
* [[C___2012|С++]]
* [[Технологический_семинар_2012|Технологический семинар]]
* [[НИР_2012|НИР]]

6 курс: 
[http://www.google.com/calendar/embed?mode=WEEK&src=9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com&color=%23060D5E&src=e0hc0uakdjbknh05tcr5fomct8%40group.calendar.google.com&color=%232F6309&src=notnpt47cf0g3cufakpqpcecp5nt1505%40import.calendar.google.com&color=%235A6986&ctz=Europe%2FMoscow Расписание в гугл календаре (html)] [http://www.google.com/calendar/ical/9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com/public/basic.ics (ical)]
 
* [[Виртуальные_машины_2012|Виртуальные машины]]
* [[Машинное_обучение_2012|Машинное обучение]]
* <strike>[[UML_2012|UML]]</strike>
* [[Компьютерная_графика_2012|Компьютерная графика]]
* [[Параллельные_и_распределенные_вычисления_2012|Параллельные и распределенные вычисления]]
* [[Программирование_в_ядре_Windows_2012|Программирование в ядре Windows]]
* [[Тестирование_ПО_2012|Тестирование ПО]]
* [[Анализ_данных_2012| Анализ данных]]
* [[Формальные_языки_2012|Формальные языки]]
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]
* [[Разработка_интерактивных_интерфейсов_2012|Разработка интерактивных интерфейсов]]
* [[SCALA_2012|Scala]]
* [[Сетевые технологии]]
* [[Обобщенное и генеративное программирование]]

== Dev Days ==

* [[Devdays2h2012| Dev days Осень 2012]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

Участник:Sergey.Kazenyuk

2012-11-09T12:19:27Z

Sergey.kazenyuk: переименовал «Участник:Sergey.kazenyuk» в «Участник:Sergey.Kazenyuk»

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Activities =

* Fall 2011: Recommender System
* Spring 2012: [[НИР#Конфигуратор контейнеров AndroidVM|AndroidVM Configurator]], [[AVMConf_Kazenyuk|Weekly reports]]

Участник:Sergey.kazenyuk

2012-11-09T12:19:27Z

Sergey.kazenyuk: переименовал «Участник:Sergey.kazenyuk» в «Участник:Sergey.Kazenyuk»

#перенаправление [[Участник:Sergey.Kazenyuk]]

SE Wiki

2012-09-13T14:41:19Z

Sergey.kazenyuk: /* Учебная информация */

== Учебная информация ==

* [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

Методы формальной верификации программ 2012

2012-09-13T14:39:41Z

Sergey.kazenyuk: Новая страница: «== Некоторые материалы == http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/»

== Некоторые материалы ==

http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/

SE Wiki

2012-09-13T14:37:33Z

Sergey.kazenyuk: /* Учебная информация */

== Учебная информация ==

[[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]

[[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

SE Wiki

2012-09-13T14:37:03Z

Sergey.kazenyuk: /* Учебная информация */

== Учебная информация ==

[[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]
[[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

FunctionalProgramming

2012-06-26T21:10:00Z

Sergey.kazenyuk: /* Практические задания - группа Москвина */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]] 30.03.2012
* [[Медиа:Fpc08.pdf|Лекция №8]] 06.04.2012
* [[Медиа:Fpc09.pdf|Лекция №9]] 13.04.2012
* [[Медиа:Fpc10.pdf|Лекция №10]] 27.04.2012
* [[Медиа:Fpc12.pdf|Лекция №12]] 18.05.2012
* [[Медиа:Fpc11.pdf|Лекция №13(11)]] 25.05.2012

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]] ([[Медиа:Fp07.hs.bz2|Пример]])
* [[Медиа:Fpc08pr.pdf|Задание №8]] ([[Медиа:Fp08.hs.bz2|Пример]])
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])
* Задание №11 ([[Медиа:Fp11.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Файл:Fpc11.pdf

2012-06-26T21:08:57Z

Sergey.kazenyuk: Functional Programming Lecture (Spring 2012)

Functional Programming Lecture (Spring 2012)

Файл:Fpc12.pdf

2012-06-26T21:08:23Z

Sergey.kazenyuk: Functional Programming Lecture (Spring 2012)

Functional Programming Lecture (Spring 2012)

FunctionalProgramming

2012-06-26T21:06:55Z

Sergey.kazenyuk: /* Лекции */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]] 30.03.2012
* [[Медиа:Fpc08.pdf|Лекция №8]] 06.04.2012
* [[Медиа:Fpc09.pdf|Лекция №9]] 13.04.2012
* [[Медиа:Fpc10.pdf|Лекция №10]] 27.04.2012
* [[Медиа:Fpc12.pdf|Лекция №12]] 18.05.2012
* [[Медиа:Fpc11.pdf|Лекция №13(11)]] 25.05.2012

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]] ([[Медиа:Fp07.hs.bz2|Пример]])
* [[Медиа:Fpc08pr.pdf|Задание №8]] ([[Медиа:Fp08.hs.bz2|Пример]])
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Итераторы и алгоритмы

2012-06-11T02:43:40Z

Sergey.kazenyuk: /* Общие алгоритмы */

== Итераторы ==

''Итератор'' --- это объект, указывающий на некоторый элемент цепочки элементов, позволяющий перебирать элементы цепочки с помощью некоторого набора операций. Процесс перебора элементов цепочки называется ''итерированием''.

Наиболее очевидный пример итератора --- это указатель: указывает на объект, позволяет итерировать массив через инкремент и декремент. В C++ синтаксис итераторов заимствован у указателей.

=== Классификация ===

Выделяют пять типов итераторов. Ниже представлены итераторы в порядке убывания их силы.

# ''Random Access''. Это наиболее мощный тип итераторов. Random access поддерживает произвольный доступ к последовательности элементов. По сути равносилен указателем: поддерживает операции инкремента(<tt>++</tt>), декремента (<tt>--</tt>), прибавления целого числа (<tt>+ val</tt>, <tt>- val</tt>), разыменования (<tt>*</tt>), разыменования со сдвигом (<tt>[]</tt>), доступа к члену (<tt>-></tt>). Как пример, итераторы такого типа предоставляет <tt>vector</tt>.
# ''Bidirectional''. Двунаправленный итератор является более слабым типом итераторов: позволяет двигаться только вперед и назад, проходя через каждый элемент. Операции: <tt>++</tt>, <tt>--</tt>, <tt>*</tt>, <tt>-></tt>. Как пример, итераторы такого типа предоставляет <tt>list</tt>.
# ''Forward''. Однонаправленный итератор позволяет двигаться только в одном направлении. Операции: <tt>++</tt>, <tt>*</tt>, <tt>-></tt>
# ''Input''. Однонаправленный итератор, позволяющий только считывать данные, но не записывать.
# ''Output''. Однонаправленный итератор, позволяющий только записывать данные, но не считывать.

Вне данной классификации лежит ''Reverse iterator''. Reverse iterator обращает направление для bidirectional и random access итераторов. Для получения начала и конца итератора необходимо вызвать <tt>rbegin()</tt> и <tt>rend()</tt> соответственно.
Reverse iterator реализует функцию <tt>base()</tt>, возвращающую обычный итератор. Для того, чтобы получить из обычного (bidirectional и random access) итератора reverse, достаточно использовать оператор присваивания.

<source lang="cpp">
set< int > s;
set< int > :: reverse_iterator i = s.rbegin();
set< int > :: iterator j = i.base();
i = j
</source>

'''Внимание, вопрос.''' Почему в одну сторону можно написать <tt>i = j</tt>, а в другую только <tt>j = i.base()</tt>? 
'''Внимание, вопрос.''' Почему нельзя менять значения в set? 

=== Служебная информация ===

Для описания итератора в С++ существует шаблон <tt>iterator_traits</tt>. Стандартные алгоритмы получают необходимую информацию об итераторах из специализаций этого шаблона для конкретного итератора.

Определение iterator_traits выглядит следующим образом.
<source lang="cpp">
template <class Iterator> struct iterator_traits {
typedef typename Iterator::difference_type difference_type;
typedef typename Iterator::value_type value_type;
typedef typename Iterator::pointer pointer;
typedef typename Iterator::reference reference;
typedef typename Iterator::iterator_category iterator_category;
}
</source>

* <tt>difference_type</tt> описывает тип разности итераторов.
* <tt>value_type</tt> --- тип объекта, на который указывает итератор.
* <tt>pointer</tt> --- тип указателя на объект
* <tt>reference</tt> --- тип ссылки
* <tt>iterator_category_tag</tt> --- категория итератора. Может быть
** <tt>input_iterator_tag</tt>
** <tt>output_iterator_tag</tt>
** <tt>forward_iterator_tag</tt>
** <tt>bidirectional_iterator_tag</tt>
** <tt>random_access_iterator_tag</tt>

=== Стандартные функции ===

<tt>advance(iterator, n)</tt> --- сдвигает итератор на n элементов. Для random access и bidirectional значение n может быть отрицательным. Работает со всеми типами итераторов вплоть до input. Для random access сдвигается сразу на n элементов, для остальных --- использует инкремент (или декремент).

<tt>distance(iterator first, iterator last)</tt> находит число элементов между first и last. Для radnom access использует значение разности итераторов, для остальных --- использует линейный поиск.

== Алгоритмы ==

C++ поддерживает набор функций, позволяющий работать с последовательностями элементов (range of elements). Джентльменский набор таких функций объявлен в хедере <algorithm>.

Каждый алгоритм может работать только с определенными типами итераторов. Необходимый тип будет указываться в качестве типа аргумента.
Например, запись <tt>count(Input p, Input q, T value)</tt> означает, что функция <tt>count</tt> принимает на вход итератор типа <tt>Input</tt>.
Запись <tt>sort(RandomAccess p, RandomAccess q[, Comparator cmp])</tt> означает, что у функции <tt>sort</tt> есть дополнительный необязательный параметр <tt>cmp</tt>. В данном случае --- это компаратор: сущность, которая сравнивает два элемента и возврашает меньше ли первый аргумент второго.

Под записью "итератор на элемент" следует понимать "итератор, указывающий на элемент".

=== Общие алгоритмы ===

<tt>swap(T& a, T& b)</tt> меняет местами значения объектов.

<tt>iter_swap(Forward1 a, Forward2 b)</tt> меняет местами значения, на которые указывают итераторы (равносилен <tt>swap(*a, *b)</tt>).

<tt>swap_ranges(Forward p1, Forward q1, Forward p2)</tt> меняет местами значение каждого элемента последовательности из <tt>[p1, q1)</tt> со значением соответствующего элемента из <tt>[p2, ...)</tt>.

<tt>min(const T& a, const T&b [, Compare cmp ])</tt> находит минимум двух элементов и возвращает ссылку на минимальный. Может на вход принимать третий аргумент: компаратор, т.е. функций, которой надо сравнивать элементы.

<tt>max(const T& a, const T&b [, Compare cmp ])</tt> аналогичен минимуму.

''Замечание'' В хедере win.h есть дефайны min и max. Если нужны функции из STL-а, стоит отключить <tt>min</tt> и <tt>max</tt> через <tt>undef</tt>.

=== Немодифицирующие алгоритмы ===

<tt>count(Input p, Input q, T value)</tt> находит число вхождений элемента <tt>value</tt> в коллекцию <tt>[p, q)</tt>.

<tt>count_if(Input p, Input q, UnaryPredicate pred)</tt> находит число элементов коллекции <tt>[p, q)</tt>, удовлетворяющий унарному предикату <tt>pred</tt>.

<tt>for_each(Input p, Input q, Func f)</tt> вызывает последовательно функцию <tt>f</tt> для каждого элемента коллекции <tt>[p, q)</tt>. Возвращает <tt>f</tt>.

<tt>equal(Input p1, Input q1, Input p2 [, BinaryPredicate pr])</tt> сравнивает две последовательности <tt>[p1, q1)</tt>, <tt>[p2, ?)</tt>. Возвращает <tt>true</tt>, если первая является префиксом второй, т.е. элементы из <tt>[p1, q1)</tt> совпадают с первыми <tt>q1 - p1</tt> элементами <tt>[p2, ?)</tt>. В качестве дополнительного аргумента можно передать бинарный предикат равенства. Если вторая последовательность оказывается короче первой, поведение функции не определено.

<tt>mismatch(Input p1, Input q1, Input p2[, BPredicate pr])</tt> сравнивает две последовательности <tt>[p1, q1)</tt>, <tt>[p2, ?)</tt>. Возвращает пару итераторов, указывающих на первое различие. Если <tt>[p1, q1)</tt> является префиксом <tt>[p2, ?)</tt>, то <tt>mismatch</tt> возвращает пару <tt>(q1, q2)</tt>, где <tt>q2</tt> является элементов соответствующим <tt>q1</tt> в <tt>[p2, ?)</tt>.

<tt>lexicographical_compare(Input p1, Input q1, Input p2, Input q2[, Compare cmp])</tt> возвращает меньше ли лексикографически <tt>[p1, q1)</tt> чем <tt>[p2, q2)</tt>. Имеет дополнительный аргумент: компаратор cmp, сравнивающий два элемента последовательностей. Возвращает <tt>bool<tt>.

<tt>min_element(Forward p1, Forward q1[, Compare cmp])</tt> возвращает итератор, указывающий на минимальный элемент в последовательности <tt>[p1, q1)</tt>. Имеет дополнительный аргумент: компаратор <tt>cmp</tt>.

<tt>max_element(Forward p1, Forward q1[, Compare cmp])</tt> аналогичен <tt>min_element</tt>.

<tt>search(Forward1 p1, Forward q1, Forward p2, Forward q2[, BPredicate pred])</tt> находит первое вхождение последовательности <tt>[p2, q2)</tt> в <tt>[p1, q1)</tt>.

<tt>search_n(Forward1 p1, Forward q1, Size size, T& val[, BPredicate pred])</tt> находит первое вхождение последовательности size элементов равных <tt>val</tt> в <tt>[p2, q2)</tt>. Можно передать свой компаратор в качестве пятого параметра <tt>pred</tt>.

<tt>adjacent_find(Forward1 p1, Forward q1, Size size, T& val[, BPredicate pred])</tt> находит первое вхождение двух равных элементов в последовательности <tt>[p1, q1)</tt>. Можно передать свой компаратор в качестве пятого параметра <tt>pred</tt>.

<tt>find(Forward1 p1, Forward q1, T& val), find_if(Forward1 p1, Forward q1, UPredicate pr)</tt> находят первое вхождение равное <tt>val</tt> или удовлетворяющее предикату <tt>pr</tt>.

<tt>find_first_of( Forward p1, Forward q1, Forward p2, Forward q2[, BPredicate pr])</tt> находит первое вхождение последовательности <tt>[p2, q2)</tt> в <tt>[p1, q1)</tt>. Можно передать свой компаратор в качестве пятого параметра <tt>pred</tt>.

<tt>find_end( Forward p1, Forward q1, Forward p2, Forward q2[, BPredicate pr])</tt> находит последнее вхождение последовательности <tt>[p2, q2)</tt> в <tt>[p1, q1)</tt>. Можно передать свой компаратор в качестве пятого параметра <tt>pred</tt>.

==== Алгоритмы для отсортированных последовательностей (бинарный поиск) ====

<tt>lower_bound(Forward p1, Forward q1, const T& value), lower_bound(Forward p1, Forward q1, const T& value, Comparator cmp)</tt> возвращает итератор, указывающий на первый элемент <tt>[p1, q1)</tt> не меньший <tt>value</tt> или не удовлетворяющий компаратору <tt>cmp(_, value)</tt> (под <tt>_</tt> подставляются элементы последовательности).

<tt>upper_bound(Forward p1, Forward q1, const T& value), upper_bound(Forward p1, Forward q1, const T& value, Comparator cmp)</tt> возвращает итератор, указывающий на первый элемент <tt>[p1, q1)</tt> больший <tt>value</tt> или удовлетворяющий компаратору <tt>cmp(value, _)</tt> (под <tt>_</tt> подставляются элементы последовательности).

<tt>equal_range(Forward p1, Forward q1, const T& value), equal_range(Forward p1, Forward q1, const T& value, Comparator cmp)</tt> возвращает пару итераторов, указывающих на начало и конец подпоследовательности элементов, равных <tt>value</tt>. Можно передать собственный компаратор.

<tt>binary_search(Forward p1, Forward q1, const T& value), binary_search(Forward p1, Forward q1, const T& value, Comparator cmp)</tt> возвращает, есть ли элемент, равный <tt>value</tt> в последовательности <tt>[p1, q1)<tt>. Можно передать собственный компаратор.

=== Модифицирующие алгоритмы ===

<tt>copy(Input p1, Input q1, Output res)</tt> копирует последовательность <tt>[p1, q1)</tt> в <tt>res</tt>.

<tt>copy_backward(Bidirectional p1, Bidirectional q1, Bidirectional res)</tt> копирует последовательность <tt>[p1, q1)</tt> в <tt>res</tt> с конца. При этом <tt>res</tt> указывает на последний элемент контейнера, и копирование элементы копируются от <tt>q1 - 1</tt> элемента к <tt>p1</tt> элементу.

<tt>transform(Input p1, Input q1, Output res, UnaryFunctor f), transform(Input p1, Input q1, Input p2, Output res, BinaryFunctor f)</tt> записывает в <tt>res</tt> последовательное применение функции <tt>f</tt> к каждому элементу последовательности <tt>[p1, q1)</tt>. Есть перегрузка функции для бинарной функции. В этом случае передается дополнительный параметр, указывающий на первый элемент последовательности вторых аргументов <tt>[p2, ...)</tt>.

<tt>replace(Forward p1, Forward q1, const T& oldValue, const T& newValue), replace_if(Forward p1, Forward q1, UnaryPredicate pred, const T& newValue)</tt> заменяет элементы последовательности <tt>[p1, q1)</tt>, равные <tt>oldValue</tt> или удовлетворяющие предикату <tt>pred</tt>, на <tt>newValue</tt>.

<tt>replace_copy(Input p1, Input q1, Output res, const T& oldValue, const T& newValue), replace_copy_if(Input p1, Input q1, Output res, UnaryPredicate pred, const T& newValue)</tt> --- клоны <tt>replace</tt> и <tt>replace_if</tt>. Записывают результат работы в <tt>res</tt>.

<tt>fill(Forward p1, Forward q1, const T& value), fill_n(Output p1, Size n, const T& value)</tt> заполняет последовательность <tt>[p1, q1)</tt> или <tt>[p1, p1 + n)</tt> значением <tt>value</tt>.

<tt>generate(Forward p1, Forward q1, Functor f), generate_n(Output p1, Size n, Functor f)</tt> аналогичны <tt>fill</tt> и <tt>fill_n</tt>. Только элементам последовательности присваивается результат работы функтора <tt>f</tt>.

<tt>remove(Forward p1, Forward q1, const T& value), remove_if(Forward p1, Forward q1, UnaryPredicate pred)</tt> удаляют элементы последовательности <tt>[p1, q1)</tt>, равные <tt>value</tt> или удовлетворяющие предикату <tt>pred</tt>

<tt>remove(Forward p1, Forward q1, const T& value), remove_if(Forward p1, Forward q1, UnaryPredicate pred)</tt> удаляют элементы последовательности <tt>[p1, q1)</tt>, равные <tt>value</tt> или удовлетворяющие предикату <tt>pred</tt>.

<tt>remove_copy(Forward p1, Forward q1, Output res, const T& value), remove_copy_if(Forward p1, Forward q1, Output res, UnaryPredicate pred)</tt> --- клоны <tt>remove</tt> и <tt>remove_if</tt>. Записывают результат работу в <tt>res</tt>.

<tt>reverse(Bidirectional p1, Bidirectional q1), reverse_copy(Bidirectional p1, Bidirectional q1, Output res)</tt> переворачивает последовательность <tt>[p1, q1)</tt>. <tt>reverse_copy</tt> записывает результат работы в <tt>res</tt>.

<tt>random_shuffle(RandomAccess p1, RandomAccess q1), random_shuffle(RandomAccess p1, RandomAccess q1, RandomNumberGenerator& rnd)</tt> перемешивают случайным образом последовательность <tt>[p1, q1)</tt>. Можно передать свой генертор случайных чисел в качестве дополнительного параметра. Генератор на вход принимает число <tt>n</tt> и генерирует случайные числа в диапазоне <tt>[0, n)</tt>.

<tt>unique(Input p1, Input q1), unique(Input p1, Input q1, BinaryPredicate pred)</tt> удаляет из последовательности <tt>[p1, q1)</tt> цепочки равных элеметов, оставляя только один. Пример: <tt>(1,2,2,3,3,2,2) -> (1,2,3,2)</tt>. Можно передать собственный предикат сравнения <tt>pred</tt>. Возвращает итератор, указывающий на конец новой последовательности.

<tt>unique_copy(Input p1, Input q1, Output res), unique_copy(Input p1, Input q1, Output res, BinaryPredicate pred)</tt> --- клон <tt>unique</tt>. Записывает результат своей работы в <tt>res</tt>.

<tt>partition(Bidirectional p1, Bidirectional q1, Predicate pred)</tt> упорядочивает элементы последовательности <tt>[p1, q1)</tt> так, что сначала идут элементы удовлетворяющие предикату <tt>pred</tt>, а потом --- нет. Возвращает итератор на первый элемент, не удовлетворяющий <tt>pred</tt> или <tt>q1</tt>, если таких не оказалось.

<tt>stable_partition(Bidirectional p1, Bidirectional q1, Predicate pred)</tt> аналог <tt>partition</tt>. Сохраняет порядок следования элементов внутри удовлетворяющих и не удовлетворяющих <tt>pred</tt> подпоследовательностях. Возвращает также указатель на первый элемент, не удовлетворяющий <tt>pred</tt>.

==== Алгоритмы для отсортированных последовательностей (операции над множествами) ====

<tt>merge(Input p1, Input q1, Input p2, Input q2, Output res[, Comparator cmp])</tt> записывает в <tt>res</tt> упорядоченную последовательность элементов в <tt>res</tt>, померджив отсортированные последовательности <tt>[p1, q1)</tt> и <tt>[p2, q2)</tt>. Можно передать собственный компаратор. Возвращает итератор, указывающий на конец последовательности <tt>res</tt>.

<tt>inplace_merge(Bidirectional p1, Bidirectional mid, Bidirectional q1[, Comparator cmp])</tt> мерджит на месте отсортированные последовательности <tt>[p1, mid)</tt> и <tt>[mid, q1)</tt>. Можно передать собственный компаратор.

<tt>includes(Input p1, Input q1, Input p2, Input q2[, Comparator cmp])</tt> определяет, есть ли в последовательности <tt>[p1, q1)</tt> подпоследовательность, равная <tt>[p2, q2)</tt>. Последовательности равны есть каждый элемент первой равен соответствующему элементу второй и их длины равны. Можно передать свой собственный компаратор. Возвращает <tt>bool</tt>.

<tt>(set_union, set_intersection, set_difference, set_symmetric_difference)(Input p1, Input q1, Input p2, Input q2, Output res[, Comparator cmp])</tt> семейство функций, позволяющих производить стандартные операции над множествами. Множества представлены в отсортированных последовательностях <tt>[p1, q1)</tt> и <tt>[p2, q2)</tt>. Результат записывается в <tt>res</tt>. Результат --- множество, представленное в виде отсортированной последовательности. Чтобы результат совпадал с ожидаемым, в последовательностях не должно быть равных элементов. Можно передать свой компаратор. Функция возвращает итератор, указывающий на конец последовательности <tt>res</tt>.

==== Сортировки, кучи и перестановки ====

===== Сортировка =====
<tt>sort(RandomAccess p1, RandomAccess q1[, Comparator cmp])</tt> сортирует элементы последовательности <tt>[p1, q1)</tt>. Можно передать свой компаратор.

<tt>stable_sort(RandomAccess p1, RandomAccess q1[, Comparator cmp])</tt> --- версия стабильной сортировки.

<tt>partition_sort(RandomAccess p1, RandomAccess mid, RandomAccess q1[, Comparator cmp])</tt> переставляет последовательность <tt>[p1, q1)</tt> так, что первые <tt> mid - p1</tt> идут в начале в возрастающем порядке, тогда как остальные идут в произвольном. Можно передать собственный компаратор.

<tt>partition_sort(Input p1, Input q1, RandomAccess p2, RandomAccess q2[, Comparator cmp])</tt> копирует первые <tt>q2 - p2</tt> минимальных элементов из <tt>[p1, q1)</tt> в <tt>[p2, q2)</tt> в отсортированном порядке. <tt>[p1, q1)</tt> остается неизмененной.

<tt>nth_element(RandomAccess p1, RandomAccess nth, RandomAccess q1[, Comaparator cmp])</tt> переставляет последовательность <tt>[p1, q1)</tt> так, что на позиции <tt>nth</tt> находится элемент, который находился бы там в случае сортировки всей последовательности. При этом все элементы до и после <tt>nth</tt> могут идти в произвольном порядке. Можно передать свой собственный компаратор.

===== Перестановки =====

<tt>next_permutation, prev_permutation(Bidirectional p1, Bidirectional q1[, Comparator cmp])</tt> переставляет элементы последовательности получая следующую и предыдущую перестановку в лексикографическом порядке. Можно передать свой компаратор. Порядок зациклен, то есть после последней перестановки идет первая.

===== Кучи =====

Куча здесь используется в смысле структуры данных. Последовательность <tt>[0, n)</tt> --- куча, если для любого <tt>0 <= i < n</tt> верно <tt>a[i] <= a[2 * i + 1]</tt> и <tt>a[i] <= a[2 * i + 2]</tt>. Более подробно можно посмотреть в Кормене.

<tt>push_heap(RandomAccess p1, RandomAccess q1[, Comparator cmp])</tt> расширяет кучу <tt>[p1, q1 - 1)</tt> до <tt>[p1, q1)</tt>, добавляя элемент <tt>q1 - 1</tt>. Можно передать свой компаратор.

<tt>pop_heap(RandomAccess p1, RandomAccess q1[, Comparator cmp])</tt> переставляет кучу <tt>[p1, q1)</tt> так, что первый элемент оказывается на <tt>q1 - 1</tt> позиции, а <tt>[p1, q1 - 1)</tt> снова образует кучу.

<tt>make_heap(RanddomAccess p1, RandomAccess q1[, Comparator cmp])</tt> переставляет последовательность <tt>[p1, q1)</tt> так, чтобы она представляла кучу.

<tt>sort_heap(RanddomAccess p1, RandomAccess q1[, Comparator cmp])</tt> сортирует кучу.

=== Алгоритмы для работы с численными последовательностями ===

Функции, описанные ниже, находятся в хедере <tt>numeric</tt>

<tt>accumulate(Input p1, Input q1, T init[, BinaryOperation op])</tt> суммирует последовательно от <tt>p1</tt> к <tt>q1</tt> все элементы последовательности начиная со значения T. Пример: <tt>((1,2,3), 10) -> 16</tt>. Вместо суммы можно передать собственную операцию <tt>op</tt>. Элементы последовательности будут передаваться <tt>op</tt> в качестве второго аргумента.

<tt>adjacent_difference(Input p1, Input q1, Output res[, BinaryOperation op])</tt> записывает в <tt>res</tt> частичные разности <tt>[p1, q1)</tt>. Так если <tt>[p1, q1) = (x0, x1, x2)</tt>, то в <tt>res</tt> будет записано <tt>(x0, x1 - x0, x2 - x1)</tt>. Вместо разности можно передать собственную операцию <tt>op</tt>. Возвращает итератор, указывающий на конец <tt>res</tt>.

<tt>inner_product(Input p1, Input q1, Input p2, T init[, BinaryOperation1 add, BinaryOperation2 mult])</tt> находит сумму попарных произведений элементов последовательностей <tt>[p1, q1)</tt> и <tt>[p2, ...)</tt> плюс начальное значение <tt>init</tt>. Можно задать свои операции сложения и умножения <tt>add</tt> и <tt>mult</tt>.

<tt>partial_sum(Input p1, Input q1, Output res[, BinaryOperation op])</tt> находит частичные суммы последовательности <tt>[p1, q1)</tt> и записывает их в res. Можно задать свою операцию сложения <tt>op</tt>. Возвращает итератор, указывающий на конец <tt>res</tt>.

== Внешние источники ==

[http://cplusplus.com/reference/algorithm/ Референс по алгоритмам]

[http://cplusplus.com/reference/std/iterator/ Об итераторах на английском]

Обзор библиотеки Boost

2012-06-11T01:17:49Z

Sergey.kazenyuk: /* Итераторы */

Мы рассмотрим несколько полезных модулей библиотеки Boost,

== Умные указатели ==

Все рассмотренные в прошлом семестре <<умные> указатели [http://www.boost.org/doc/libs/1_46_1/libs/smart_ptr/smart_ptr.htm представлены]
в библиотеке Boost.

* <code>scoped_ptr</code> и <code>scoped_array</code>,
* <code>shared_ptr</code> и <code>shared_array</code>,
* <code>weak_ptr</code> --- ссылка на объект, который находится под управлением <code>shared_ptr</code>. Следует отметить, что через этот указатель нельзя обратиться к объекту напрямую --- можно только создать <code>shared_ptr</code>, указывающий на этот объект, с помощью метода <code>lock()</code> --- если объект уже уничтожен, то возвращается пустой <code>shared_ptr</code>.
* <code>intrusive_ptr<T></code> --- аналог <code>shared_ptr<T></code>; требует, чтобы у типа <code>T</code> были определены методы intrusive_ptr_add_ref() и intrusive_ptr_release(). У <code>intrusive_ptr</code>, по крайней мере, два преимущества перед <code>shared_ptr</code>:
** размер объекта <code>intrusive_ptr</code> совпадает с размером указателя,
** объекта <code>intrusive_ptr<T></code> можно проинициализировать от произвольного <code>T*</code>.

Версия <<умного>> указателя с суффиксом <code>_array</code> управляет временем жизни массива, а не
отдельного объекта

== Строковые алгоритмы ==

[http://www.boost.org/doc/libs/1_46_1/doc/html/string_algo/quickref.html Строковые алгоритмы] Boost являются
обобщением и расширением методов строковых классов STL и алгоритмов STL, предназначенных для работы с последовательностями.

* Преобразование регистра: <code>to_upper(input)</code> и <code>to_lower(iput)</code>.
* Удаление пробельных символов в начале и в конце строки <code>trim_left[_if](input [, predicate])</code>, <code>trim_right[_if](input[, predicate]</code> и <code>trim[_if](input[, predicate])</code>.
* Предикаты: <code>[i]strarts_with(range1, range2 [, comp])</code>, <code>[i]ends_with(range1, range2 [, comp])</code>, <code>[i]contains(range1, range2 [, comp])</code>, <code>[i]equals(range1, range2 [, comp])</code>, <code>[i]lexicographical_compare(range1, range2 [, comp])</code>.
* Алгоритмы поиска: <code>[i]find_first(input, search)</code>, <code>[i]find_last(input, search)</code>, <code>[i]find_nth(input, search)</code>, <code>[i]find_regex(input, regex)</code>.
* Алгоритмы замены: <code>[i][replace|erase]_first(input, search [, format])</code>, <code>[i][replace|erase]_last(input, search [, format])</code>, <code>[i][replace|erase]_nth(input, search [, format])</code>, <code>[i][replace|erase]_regex(input, regex [,format])</code>.
* <code>split[_regex](result, input [, predicate | regex])</code> и <code>join(input, separator)</code>.
* Функторы-классификаторы символов

Существуют версии этих алгоритмов с суффиксом <code>_copy</code>, которые выполняют те же действия над копией входной строки и возвращают ее.

== Итераторы ==

Библиотека [http://www.boost.org/doc/libs/1_46_1/libs/iterator/doc/index.html итераторов] Boost расширяет концепцию итераторов STL.

* <code>counting_iterator<Incrementable></code> --- реализует концепцию <<ленивой>> последовательности --- итератор получает новое значение, выполняя операцию <code>Incrementable::operator++</code> над обернутым объектом.
* <code>filter_iterator<Predicate, Iterator></code> --- итерирует подмножество значений обернутого итератора.
* <code>function_output_iterator<UnaryFunction></code> --- преобразует записываемое в итератор значение с помощью указанной функции.
* <code>indirect_iterator<Iterator></code> --- итерирует объекты, на которые указывают значения другого итератора.
* <code>permutation_iterator<ElementIterator, IndexIterator></code> --- итерирует по перестановкам значений итераторя ElementIterator, задаваемым итератором IndexIterator.
* <code>reverse_iterator<Iterator></code> --- расширение стандартного обратного итератора.
* <code>shared_container_iterator<Container></code> --- продлевает жизнь захваченному контейнеру: пока существует итератор контейнер не будет уничтожен.
* <code>transform_iterator<UnaryFunction, Iterator></code> --- вызывает UnaryFunction над значением обернутого итератора при каждом разыменовании м возвращает результат.
* <code>zip_iterator<IteratorTuple></code> --- итерирует множество итераторов.

== <code>bind</code> и <code>lambda</code> ==

Модуль [http://www.boost.org/doc/libs/1_46_1/libs/bind/bind.html <code>bind</code>] библиотеки Boost является обобщением функций <code>std::bind1st</code> и <code>std::bind2nd</code>.

<source lang="cpp">
bind(g, _1, _1, _1)(x, y, z); // g(x, x, x)
</source>

Модуль [http://www.boost.org/doc/libs/1_46_1/doc/html/lambda/using_library.html <code>lambda</code>] библиотеки Boost вводит концепцию безымянных функций.

Перегрузка операторов new и delete. Павел Синай

2012-06-11T00:51:18Z

Sergey.kazenyuk: /* Возможные проблемы */

== Для чего это нужно ==
* Организация кэширования памяти.
* Организация сборщика мусора.
* Поиск утечек памяти.

== Перегрузка операторов new и delete в классах ==
Как это делается:

<source lang="cpp">
struct A
{
int a;

void * operator new(size_t size)
{
return malloc(size);
}

void operator delete(void *p)
{
free(p);
}
};
</source>
Эти операторы являются '''static'''.

В оператор new передается параметр size, указывающий сколько памяти нужно выделить. Это сделано для возможности наследования от нашего класса - наследникам скорее всего понадобится больше памяти, и мы должны ее выделить.
Возвращаемое значение оператора new '''void*''', а не '''A*''', так как на момент его работы объект еще не существует. Конструктор будет вызван только после успешной отработки оператора new.

Перегрузка операторов для создания и удаления массива объектов производится отдельно:

<source lang="cpp">
void * operator new[](size_t size)
{
return malloc(size);
}

void operator delete[](void *p)
{
free(p);
}
</source>

В оператор new передается размер блока памяти, предназначенного для хранения '''всех''' объектов в массиве. После выполнения оператора new[] производится последовательный вызов конструкторов для объектов из массива.
Перед выполнением оператора delete[] производится последовательный вызов деструкторов для всех объектов.

== Возможные проблемы ==
<source lang="cpp">
struct B : A
{
int b;
};

B *pb = new B[10];
A *pa = pb; //Ошибки не будет

delete [] pa; //Ошибка - пытаемся вызвать 10 раз деструктор
// для объекта класса A, но там объект класса B.
pa++; //Ошибка - указатель сдвинется на размер класса A,
// но поскольку в массиве лежат объекты класса B
// другого размера pa будет указывать не на
// следующий объект, а непонятно куда.
</source>

== Перегрузка глобальных операторов new и delete ==
Если перегрузить операторы вне класса, то будет произведена перегрузка всех соответствующих операторов, находящихся как внутри классов так и глобальных.

<source lang="cpp">
void * operator new(size_t size)
{
return malloc(size);
}

void operator delete(void *p)
{
free(p);
}
</source>

Для перегрузки глобальных операторов также нужно перегружать отдельно операторы new и new[], delete и delete[].

== Дополнительные параметры оператора new ==
Обычно, при ошибке во время выполнения оператора new кидается исключение. Можно сделать так, чтобы исключение не кидалось, а вместо этого оператор возвращал NULL:
<source lang="cpp">
int *pi = new(std::no_throw) int;
</source>

Для оператора delete такой возможности не предусмотрено, так как он в любом случае не кидает исключений.

Кроме того, можно создавать объект на уже выделенной памяти:
<source lang="cpp">
int *A = new(pi)A();
</source>
Эту операцию нужно производить осторожно - размера выделенной заранее памяти должно хватить для размещения объекта A.
В данном примере класс A содержит единственное поле int a, так что места для него будет достаточно.

Возможные применения:
* Работа при сильно ограниченной памяти.
* Необходимость создать объект по строго определенному адресу в памяти (например при работе со встраиваемой системой, если нужно создать объект для управления неким аппаратным ресурсом, расположенном по известному адресу).
* Реализация паттерна "Феникс".

Перегрузка операторов new и delete. Павел Синай

2012-06-11T00:50:48Z

Sergey.kazenyuk: /* Возможные проблемы */

== Для чего это нужно ==
* Организация кэширования памяти.
* Организация сборщика мусора.
* Поиск утечек памяти.

== Перегрузка операторов new и delete в классах ==
Как это делается:

<source lang="cpp">
struct A
{
int a;

void * operator new(size_t size)
{
return malloc(size);
}

void operator delete(void *p)
{
free(p);
}
};
</source>
Эти операторы являются '''static'''.

В оператор new передается параметр size, указывающий сколько памяти нужно выделить. Это сделано для возможности наследования от нашего класса - наследникам скорее всего понадобится больше памяти, и мы должны ее выделить.
Возвращаемое значение оператора new '''void*''', а не '''A*''', так как на момент его работы объект еще не существует. Конструктор будет вызван только после успешной отработки оператора new.

Перегрузка операторов для создания и удаления массива объектов производится отдельно:

<source lang="cpp">
void * operator new[](size_t size)
{
return malloc(size);
}

void operator delete[](void *p)
{
free(p);
}
</source>

В оператор new передается размер блока памяти, предназначенного для хранения '''всех''' объектов в массиве. После выполнения оператора new[] производится последовательный вызов конструкторов для объектов из массива.
Перед выполнением оператора delete[] производится последовательный вызов деструкторов для всех объектов.

== Возможные проблемы ==
<source lang="cpp">
struct B : A
{
int b;
};

B *pb = new B[10];
A *pa = pb; //ошибки не будет

delete [] pa; //ошибка - пытаемся вызвать 10 раз деструктор
// для объекта класса A, но там объект класса B.
pa++; //ошибка - указатель сдвинется на размер класса A,
// но поскольку в массиве лежат объекты класса B
// другого размера pa будет указывать не на
// следующий объект, а непонятно куда.
</source>

== Перегрузка глобальных операторов new и delete ==
Если перегрузить операторы вне класса, то будет произведена перегрузка всех соответствующих операторов, находящихся как внутри классов так и глобальных.

<source lang="cpp">
void * operator new(size_t size)
{
return malloc(size);
}

void operator delete(void *p)
{
free(p);
}
</source>

Для перегрузки глобальных операторов также нужно перегружать отдельно операторы new и new[], delete и delete[].

== Дополнительные параметры оператора new ==
Обычно, при ошибке во время выполнения оператора new кидается исключение. Можно сделать так, чтобы исключение не кидалось, а вместо этого оператор возвращал NULL:
<source lang="cpp">
int *pi = new(std::no_throw) int;
</source>

Для оператора delete такой возможности не предусмотрено, так как он в любом случае не кидает исключений.

Кроме того, можно создавать объект на уже выделенной памяти:
<source lang="cpp">
int *A = new(pi)A();
</source>
Эту операцию нужно производить осторожно - размера выделенной заранее памяти должно хватить для размещения объекта A.
В данном примере класс A содержит единственное поле int a, так что места для него будет достаточно.

Возможные применения:
* Работа при сильно ограниченной памяти.
* Необходимость создать объект по строго определенному адресу в памяти (например при работе со встраиваемой системой, если нужно создать объект для управления неким аппаратным ресурсом, расположенном по известному адресу).
* Реализация паттерна "Феникс".

Приведение типов. RTTI

2012-06-11T00:40:17Z

Sergey.kazenyuk: /* dynamic_cast */

==Приведение типов==
Приведение типов делится на C style cast и C++ style cast
===Приведение в стиле C===
Синтаксис приведения:
* (тип_к_которому_приводим) переменная
* тип_к_которому_приводим (переменная)

Примеры:
<source lang="cpp">
int i = 10;
double d = (double) i;
float f = float(i);
char const* ch = "hello";
string str = (string) ch;
</source>

===Приведение в стиле С++===
В С++ для приведения типов используются следующие функции:
* const_cast
* reinterpret_cast
* static_cast
* dynamic_cast
Во всех случаях синтаксис приведения будет выглядеть следующим образом:
..._cast <тип_к_которому_приводим> (переменная)

Рассмотрим первые три более подробно (dynamic_cast рассматривается в разделе RTTI).
====const_cast====
Добавляет/убирает у объекта константность. Если убрать константность у объекта, который был объявлен как константный, то при записи может возникнуть undefined behavior (в зависимости от типа объекта).

Рассмотрим ситуацию, когда нам может пригодиться const_cast.
Предположим у нас класс A, в котором хранятся элементы типа Т. Пусть требуется реализовать метод get (константный и не константный), который по индексу i будет возвращать i-ый элемент. Можно описать реализацию только одного метода (константного), а второй реализовать через вызов первого при помощи const_cast:
<source lang="cpp">
T const& get (int i) const;
T& get (int i) {
return const_cast<T&> (const_cast<A const*> (this).get(i) );
}
</source>
====reinterpret_cast====
Приводит любой указатель к любому указателю.

Пример:
<source lang="cpp">
struct Point3 {
double x;
double y;
double z;
};
...
Point3* p = ...;
double* p_x = reinterpret_cast<double*> (p);
</source>
Замечание: приведенный пример отработает корректно в случае если структура Point3 плотно упакована в памяти (см. опции компилятора).
====static_cast====
Используется для приведения
* числовых типов (аналогично C-style cast)
* указателей и ссылок для классов связанных наследованием
* пользовательских преобразований
Преобразование выполняется в момент компиляции и run-time проверки (как это есть в dynamic_cast) приведения типов нет, поэтому сложные приведения типов следует делать очень аккуратно.

Пример:
<source lang="cpp">
struct A {};
struct B : A {};
...
B* b;
A* a = static_cast<A*> (b);
b = static_cast<B*> (a);
</source>

Замечание: static_cast меняет указатель в зависимости от того какое у классов наследование (в отличии от reinterpret_cast), поэтому если будет forward declaration, то static_cast выдаст ошибку (на этапе компиляции):
<source lang="cpp">
struct A;
struct B;
B* b;
A* a = static_cast<A*>(b); // ошибка!
</source>

===Общее замечание по разделу Приведение типов===
При программировании на С++ рекомендуется использовать C-style cast только в случаях приведения элементарных типов друг к другу.

==RTTI==
RTTI расшифровывается как Run-time type information. Это механизм, позволяющий определять тип объекта в момент выполнения программы. В С++ данный механизм реализуется при помощи следующих элементов:
* оператор dynamic_cast (используется для преобразования полиморфных типов)
* оператор typeid (для точного определения типа объекта)
* класс type_info (для хранения информации, возвращаемой оператором typeid)

Рассмотрим применение и синтаксис typeid и type_info на примере:
<source lang="cpp">
#include <typeinfo>
...
A* a;
type_info& ti = typeid(a);
std::cout << ti.name() << std::endl;
</source>
Более сложный пример:

<source lang="cpp">
#include <typeinfo>
struct A {};
struct B : A {};
...
A* a = new B();
typeid(a); // A*
typeid(*a); // B
</source>

У класса type_info помимо метода name (возвращающего строку - char*, характеризующую тип объекта) и операторов равенства/неравенства есть еще метод before, который позволяет упорядочивать экземпляры type_info и хранить их, например, в map.

===dynamic_cast===
Позволяет приводить указатель или объект одного типа к указателю или ссылке на другой класс (связанный с первым через наследование).
В отличии от static_cast выполняется в run-time.
При ошибке приведения к указателю на тип dynamic_cast возвращает нулевой указатель, при ошибке приведения к ссылке на тип выбрасывается исключение bad_cast.

Пример использования:
<source lang="cpp">
struct A {
virtual void f() {}
};
struct B : A {
virtual void f() {}
};

...
A* pa = new B;
A* pa2 = new A;

B* pb = dynamic_cast<B*>(pa); // pb указывает на B
B* pb2 = dynamic_cast<B*>(pa2); // pb2 указывает на А, а не на В!

pb->f();
pb2->f(); // ошибка на этапе исполнения!
</source>

Замечание: При приведении к указателю на void возвращается указатель на начало блока.

=== Общие замечания по разделу RTTI ===
* почти всегда можно обойтись без RTTI и чаще всего использование этого механизма говорит об ошибке проектирования
* на этапе отладки применение RTTI бывает полезно.

Приведение типов. RTTI

2012-06-11T00:34:31Z

Sergey.kazenyuk: /* =Общее замечание по разделу Приведение типов */

==Приведение типов==
Приведение типов делится на C style cast и C++ style cast
===Приведение в стиле C===
Синтаксис приведения:
* (тип_к_которому_приводим) переменная
* тип_к_которому_приводим (переменная)

Примеры:
<source lang="cpp">
int i = 10;
double d = (double) i;
float f = float(i);
char const* ch = "hello";
string str = (string) ch;
</source>

===Приведение в стиле С++===
В С++ для приведения типов используются следующие функции:
* const_cast
* reinterpret_cast
* static_cast
* dynamic_cast
Во всех случаях синтаксис приведения будет выглядеть следующим образом:
..._cast <тип_к_которому_приводим> (переменная)

Рассмотрим первые три более подробно (dynamic_cast рассматривается в разделе RTTI).
====const_cast====
Добавляет/убирает у объекта константность. Если убрать константность у объекта, который был объявлен как константный, то при записи может возникнуть undefined behavior (в зависимости от типа объекта).

Рассмотрим ситуацию, когда нам может пригодиться const_cast.
Предположим у нас класс A, в котором хранятся элементы типа Т. Пусть требуется реализовать метод get (константный и не константный), который по индексу i будет возвращать i-ый элемент. Можно описать реализацию только одного метода (константного), а второй реализовать через вызов первого при помощи const_cast:
<source lang="cpp">
T const& get (int i) const;
T& get (int i) {
return const_cast<T&> (const_cast<A const*> (this).get(i) );
}
</source>
====reinterpret_cast====
Приводит любой указатель к любому указателю.

Пример:
<source lang="cpp">
struct Point3 {
double x;
double y;
double z;
};
...
Point3* p = ...;
double* p_x = reinterpret_cast<double*> (p);
</source>
Замечание: приведенный пример отработает корректно в случае если структура Point3 плотно упакована в памяти (см. опции компилятора).
====static_cast====
Используется для приведения
* числовых типов (аналогично C-style cast)
* указателей и ссылок для классов связанных наследованием
* пользовательских преобразований
Преобразование выполняется в момент компиляции и run-time проверки (как это есть в dynamic_cast) приведения типов нет, поэтому сложные приведения типов следует делать очень аккуратно.

Пример:
<source lang="cpp">
struct A {};
struct B : A {};
...
B* b;
A* a = static_cast<A*> (b);
b = static_cast<B*> (a);
</source>

Замечание: static_cast меняет указатель в зависимости от того какое у классов наследование (в отличии от reinterpret_cast), поэтому если будет forward declaration, то static_cast выдаст ошибку (на этапе компиляции):
<source lang="cpp">
struct A;
struct B;
B* b;
A* a = static_cast<A*>(b); // ошибка!
</source>

===Общее замечание по разделу Приведение типов===
При программировании на С++ рекомендуется использовать C-style cast только в случаях приведения элементарных типов друг к другу.

==RTTI==
RTTI расшифровывается как Run-time type information. Это механизм, позволяющий определять тип объекта в момент выполнения программы. В С++ данный механизм реализуется при помощи следующих элементов:
* оператор dynamic_cast (используется для преобразования полиморфных типов)
* оператор typeid (для точного определения типа объекта)
* класс type_info (для хранения информации, возвращаемой оператором typeid)

Рассмотрим применение и синтаксис typeid и type_info на примере:
<source lang="cpp">
#include <typeinfo>
...
A* a;
type_info& ti = typeid(a);
std::cout << ti.name() << std::endl;
</source>
Более сложный пример:

<source lang="cpp">
#include <typeinfo>
struct A {};
struct B : A {};
...
A* a = new B();
typeid(a); // A*
typeid(*a); // B
</source>

У класса type_info помимо метода name (возвращающего строку - char*, характеризующую тип объекта) и операторов равенства/неравенства есть еще метод before, который позволяет упорядочивать экземпляры type_info и хранить их, например, в map.

===dynamic_cast===
Позволяет приводить указатель или объект одного типа к указателю или ссылке на другой класс (связанный с первым через наследование).
В отличии от static_cast выполняется в run-time.
При ошибке приведения к указателю на тип dynamic_cast возвращает нулевой указатель, при ошибке приведения к ссылке на тип выбрасывается исключение bad_cast.

Пример использования:
<source lang="cpp">
struct A {
virtual void f() {}
};
struct B : A {
virtual void f() {}
};

...
A* pa = new B;
A* pa2 = new A;

B* pb = dynamic_cast<B*>(pa); // pb указывает на B
B* pb2 = dynamic_cast<B*>(pa2); // pb2 указывает на А, а не на В!

pb->f();
pb2->f(); // ошибка на этапе исполнения!
</source>

Замечание: При приведении к указателю на void возвращается указатель на начало блока.

----
Общие замечания по разделу RTTI:
* почти всегда можно обойтись без RTTI и чаще всего использование этого механизма говорит об ошибке проектирования
* на этапе отладки применение RTTI бывает полезно.

Приведение типов. RTTI

2012-06-11T00:34:10Z

Sergey.kazenyuk: /* Приведение в стиле С++ */

==Приведение типов==
Приведение типов делится на C style cast и C++ style cast
===Приведение в стиле C===
Синтаксис приведения:
* (тип_к_которому_приводим) переменная
* тип_к_которому_приводим (переменная)

Примеры:
<source lang="cpp">
int i = 10;
double d = (double) i;
float f = float(i);
char const* ch = "hello";
string str = (string) ch;
</source>

===Приведение в стиле С++===
В С++ для приведения типов используются следующие функции:
* const_cast
* reinterpret_cast
* static_cast
* dynamic_cast
Во всех случаях синтаксис приведения будет выглядеть следующим образом:
..._cast <тип_к_которому_приводим> (переменная)

Рассмотрим первые три более подробно (dynamic_cast рассматривается в разделе RTTI).
====const_cast====
Добавляет/убирает у объекта константность. Если убрать константность у объекта, который был объявлен как константный, то при записи может возникнуть undefined behavior (в зависимости от типа объекта).

Рассмотрим ситуацию, когда нам может пригодиться const_cast.
Предположим у нас класс A, в котором хранятся элементы типа Т. Пусть требуется реализовать метод get (константный и не константный), который по индексу i будет возвращать i-ый элемент. Можно описать реализацию только одного метода (константного), а второй реализовать через вызов первого при помощи const_cast:
<source lang="cpp">
T const& get (int i) const;
T& get (int i) {
return const_cast<T&> (const_cast<A const*> (this).get(i) );
}
</source>
====reinterpret_cast====
Приводит любой указатель к любому указателю.

Пример:
<source lang="cpp">
struct Point3 {
double x;
double y;
double z;
};
...
Point3* p = ...;
double* p_x = reinterpret_cast<double*> (p);
</source>
Замечание: приведенный пример отработает корректно в случае если структура Point3 плотно упакована в памяти (см. опции компилятора).
====static_cast====
Используется для приведения
* числовых типов (аналогично C-style cast)
* указателей и ссылок для классов связанных наследованием
* пользовательских преобразований
Преобразование выполняется в момент компиляции и run-time проверки (как это есть в dynamic_cast) приведения типов нет, поэтому сложные приведения типов следует делать очень аккуратно.

Пример:
<source lang="cpp">
struct A {};
struct B : A {};
...
B* b;
A* a = static_cast<A*> (b);
b = static_cast<B*> (a);
</source>

Замечание: static_cast меняет указатель в зависимости от того какое у классов наследование (в отличии от reinterpret_cast), поэтому если будет forward declaration, то static_cast выдаст ошибку (на этапе компиляции):
<source lang="cpp">
struct A;
struct B;
B* b;
A* a = static_cast<A*>(b); // ошибка!
</source>

===Общее замечание по разделу Приведение типов==
При программировании на С++ рекомендуется использовать C-style cast только в случаях приведения элементарных типов друг к другу.

==RTTI==
RTTI расшифровывается как Run-time type information. Это механизм, позволяющий определять тип объекта в момент выполнения программы. В С++ данный механизм реализуется при помощи следующих элементов:
* оператор dynamic_cast (используется для преобразования полиморфных типов)
* оператор typeid (для точного определения типа объекта)
* класс type_info (для хранения информации, возвращаемой оператором typeid)

Рассмотрим применение и синтаксис typeid и type_info на примере:
<source lang="cpp">
#include <typeinfo>
...
A* a;
type_info& ti = typeid(a);
std::cout << ti.name() << std::endl;
</source>
Более сложный пример:

<source lang="cpp">
#include <typeinfo>
struct A {};
struct B : A {};
...
A* a = new B();
typeid(a); // A*
typeid(*a); // B
</source>

У класса type_info помимо метода name (возвращающего строку - char*, характеризующую тип объекта) и операторов равенства/неравенства есть еще метод before, который позволяет упорядочивать экземпляры type_info и хранить их, например, в map.

===dynamic_cast===
Позволяет приводить указатель или объект одного типа к указателю или ссылке на другой класс (связанный с первым через наследование).
В отличии от static_cast выполняется в run-time.
При ошибке приведения к указателю на тип dynamic_cast возвращает нулевой указатель, при ошибке приведения к ссылке на тип выбрасывается исключение bad_cast.

Пример использования:
<source lang="cpp">
struct A {
virtual void f() {}
};
struct B : A {
virtual void f() {}
};

...
A* pa = new B;
A* pa2 = new A;

B* pb = dynamic_cast<B*>(pa); // pb указывает на B
B* pb2 = dynamic_cast<B*>(pa2); // pb2 указывает на А, а не на В!

pb->f();
pb2->f(); // ошибка на этапе исполнения!
</source>

Замечание: При приведении к указателю на void возвращается указатель на начало блока.

----
Общие замечания по разделу RTTI:
* почти всегда можно обойтись без RTTI и чаще всего использование этого механизма говорит об ошибке проектирования
* на этапе отладки применение RTTI бывает полезно.

Указатели на функции

2012-06-10T23:35:03Z

Sergey.kazenyuk: /* Указатели на функции в С++ */

== Указатели на функции в С ==
Рассмотрим метод qsort, который имеет прототип:
<source lang="cpp">
void qsort(void *base, size_t nmemb, size_t size,
int (*compare)(const void *, const void *));
</source>
где
<source lang="cpp">
int (*compare)(const void *a, const void *b)
</source>
указатель на функцию, которая имеет 2 параметра, и возращает значение:
* > 0, если a > b
* = 0, если a == b
* < 0, если a 
struct Person {
int m_age;
}
</source>
Создадим объект структуры Person.
<source lang="cpp">
Person *m;
qsort(m, count, sizeof(Person), &(byage));
</source>

Определим функцию byage:
<source lang="cpp">
int byage(void const *p1, void const *p2) {
return ((Person *)p1)->age - ((Person *)p2)->age;
}
</source>

Замечание:

В С нет проверки типов.

Замечание:
* При объявлении указателя на функцию можем не писать параметры, то есть
<source lang="cpp">
int(*)(void const *, void const *);
</source>
* Можно присвоить указателю на функцию значение 0
<source lang="cpp">
void (*f)(void *, size_t , size_t , int (*)(const void *, const void *)) = 0;
</source>
При этом для таких конструкций можно использовать typedef <...>, где второе имя не будет указано, так как в его роли выступит f в левой части выражения.
* Присваивание
<source lang="cpp">
f = &qsort;
</source>
* Вызов
<source lang="cpp">
f(m, count, sizeof(Person), &byage);
</source>

== Указатели на функции в С++ ==

Одно из отличий С и С++ - в С++ есть перегрузка. Тогда получается
<source lang="cpp">
F f = qsort; // должна вызываться та, что подойдет лучше всего
</source>
Вопрос:

Как происходит работа с шаблонными функциями?

Ответ:

Рассмотрим два примера.

Пример 1:

<source lang="cpp">
template <class It, class F> void A(It p, It q, F f);
A(v.begin(), v.end(), (int(*)(int))sqrt); // необходимо приведение типов
</source>

Пример 2:
<source lang="cpp">
template <class T> T sqrt(T *);
</source>
Нам необходимо проинстанциировать функцию, для этого существует несколько способов:
*<source lang="cpp">
sqrt(0);
</source>
*<source lang="cpp">
template sqrt<int>; // явно для T = int
</source>
В результате, метод A мы можем вызывать:
<source lang="cpp">
A(v.begin(), v.end(), sqrt<int>);
</source>

Вопрос:
Как получить указатели на члены класса?
Ответ:
Рассмотрим пример:
<source lang="cpp">
struct Person {
int m_age;
int m_salary;
string m_name;
string name() {
return m_name;
}
}
</source>

Тогда
<source lang="cpp">
int Person::(*p) = &Person::m_age;
string (Person::*f)() const = &Person::name;
</source>

Далее имеем
<source lang="cpp">
Person pers;
(pers.*p) = 10;
(pers.*f)();
</source>

Вопрос:

Мы имеем указатель на член класса. Можем ли мы его передавать как параметр функции?

Ответ:

Да, можем. Пример,

<source lang="cpp">
struct by_field {
by_field(int Person::*field)
}
</source>

Замечание:
Указатели на члены класса не приводяться ни к чему. Они могут проверяться на равенство 0.

Указатели на функции

2012-06-10T23:21:51Z

Sergey.kazenyuk: /* Указатели на функции в С */

== Указатели на функции в С ==
Рассмотрим метод qsort, который имеет прототип:
<source lang="cpp">
void qsort(void *base, size_t nmemb, size_t size,
int (*compare)(const void *, const void *));
</source>
где
<source lang="cpp">
int (*compare)(const void *a, const void *b)
</source>
указатель на функцию, которая имеет 2 параметра, и возращает значение:
* > 0, если a > b
* = 0, если a == b
* < 0, если a 
struct Person {
int m_age;
}
</source>
Создадим объект структуры Person.
<source lang="cpp">
Person *m;
qsort(m, count, sizeof(Person), &(byage));
</source>

Определим функцию byage:
<source lang="cpp">
int byage(void const *p1, void const *p2) {
return ((Person *)p1)->age - ((Person *)p2)->age;
}
</source>

Замечание:

В С нет проверки типов.

Замечание:
* При объявлении указателя на функцию можем не писать параметры, то есть
<source lang="cpp">
int(*)(void const *, void const *);
</source>
* Можно присвоить указателю на функцию значение 0
<source lang="cpp">
void (*f)(void *, size_t , size_t , int (*)(const void *, const void *)) = 0;
</source>
При этом для таких конструкций можно использовать typedef <...>, где второе имя не будет указано, так как в его роли выступит f в левой части выражения.
* Присваивание
<source lang="cpp">
f = &qsort;
</source>
* Вызов
<source lang="cpp">
f(m, count, sizeof(Person), &byage);
</source>

== Указатели на функции в С++ ==

Одно из отличий С и С++ - в С++ есть перегрузка. Тогда получается
<source lang="cpp">
F f = qsort; // должна вызываться та, что подойдет лучше всего
</source>
Вопрос:

Как происходит работа с шаблонными функциями?

Ответ:

Рассмотрим два примера.

Пример 1:

<source lang="cpp">
template <class It, class F> void A(It p, It q, F f);
A(v.begin(), v.end(), (int(*)(int))sqrt); // необходимо приведение типов
</source>

Пример 2:
<source lang="cpp">
template <class T> T sqrt(T *);
</source>
Нам необходимо проинстанциировать функцию, для этого существует несколько способов:
*<source lang="cpp">
sqrt(0);
</source>
*<source lang="cpp">
template sqrt<int>; // явно для T = int
</source>
В результате, метод A мы можем вызывать:
<source lang="cpp">
A(v.begin(), v.end(), sqrt<int>);
</source>

Вопрос:
Как получить указатели на члены класса?
Ответ:
Рассмотрим пример:
<source lang="cpp">
struct Person {
int m_age;
int m_salary;
string m_name;
string name() {
return m_name;
}
}
</source>

Тогда
<source lang="cpp">
int Person::(*p) = &Person::m_age;
string (Person::*f)() const = &Person::name;
</source>

Далее имеем
<source lang="cpp">
Person pers;
(pers.*p) = 10;
(pers.*f)();
</source>

Вопрос:

Мы имеем указатель на мембер класса. Можем ли мы его передавать как параметр функции?

Ответ:

Да, можем. Пример,

<source lang="cpp">
struct by_field {
by_field(int Person::*field)
}
</source>

Замечание:
Указатели на мемберы не приводяться ник чему. Они могут проверяться на равенство 0.

Функторы. Namespaces

2012-06-10T23:04:19Z

Sergey.kazenyuk: /* Namespaces */

== Функторы ==

<source lang="cpp">
find_if (p, q, Func); //ищет первый элемент, для которого функтор вернёт true

// Реализация функтора, который проверяет деление на 7.
struct Divby7 {
bool operator()(int i) const {
return i%7==0;
}
};

// Реализация функтора, который проверяет деление на любое число, которое будет передано в конструктор.
struct Divby {
Divby(int k) : k(k){}
bool operator()(int i) const {
return i%k==0;
}
const int k;
};
</source>

Можно писать find_if(p, q, Divby(5)), тогда в последовательности будет найден первый элемент, делящийся на 5.

<source lang="cpp">
stable_sort(p, qcomp_by_abs());

struct comp_by_abs {
bool operator()(int a, int b) const {
return abs(a) < abs(b);
}
};
</source>

Divby - унарный предикат (одноместный функтор).
comp_by_abs - бинарный предикат.

<source lang="cpp">
transform(p,q,out, add(7));

struct add {
add(int k): k(k) {}
int operator()(int a) const {
return a+7;
}
};
</source>

Это уже непосредственно функтор (не предикат, поскольку возвращает не 0/1).

Стандартные функторы: minus, plus, divides, modulus, multiplies, logical_and, logical_or, logical_not.
Бинарные предикаты(шаблонные): less, greater, less_equal, greater_equal, not_equal_to, equal_to.

<source lang="cpp">
find_if(p, q, bind1st(not_equal_to<int>(), 7)); // первый элемент, не равный 7
find_if(p, q, bind2nd(greater<int>(), 7)); // первый элемент, больший 7
</source>

Кроме bind1st, bind2nd есть еще not1, not2.
Для того, чтобы пользовательские функторы можно было биндить, необходимо наследовать их от стандартных классов.
<source lang="cpp">
struct Divby : unary_function<int, bool> {
...
}
struct comp_by_abs : binary_function<int, int, bool>;
</source>

mem_fun - обёртка для member-функций (для указателей).
mem_fun_ref - то же самое для ссылок.
ptr_fun - обёртка для любой функции.

<source lang="cpp">
for_each(p, q, mem_fun_ref(vector<int>::clear));
not1(ptr_fun(is_add()));
</source>

Библиотека boost::bind:
<source lang="cpp">
boost::bind(vector<int>::resize,_1, 100,3);
</source>

== Namespaces ==

<source lang="cpp">
int max(int, int);
double max(double, double);
namespace au {
void f(){}
}
</source>

Чтобы вызвать f, нужно написать au::f();

<source lang="cpp">
namespace noc {
void g(){}
}
namespace au {
void g(){}
}
</source>

namespace не является чем-то целостным. Пространства имён можно вкладывать друг в друга.

<source lang="cpp">
namespace Ru {
namespace Spb {
namespace au {
int f();
}
}
namespace Msk {
}
}

Ru::spb::au::f();
::f(); //функция из глобального namespace
</source>

Если в Msk будет еще Ru, то чтобы вызвать функцию из spb из msk, надо будет писать не Ru::spb, а ::Ru::spb (коллизия двух Ru).

Поиск:
* ищет имя в текущем namespace;
* если не нашли, переходим выше;
* если нашли, запускаем перегрузку.
При этом поиск просматривает ВСЕ имена (переменные, функции, классы...), так как синтаксически не ясно, что именно требуется. Функции находятся независимо от количества параметров. Если искали функцию, а наткнулись на соответствующие имя класса, происходит ошибка.

<source lang="cpp">
namespace Ru {
// определена g(a,b)
namespace spb {
// определена g(a)
namespace spbtele {
// вызываем g(a,b)
}
}
namespace msk {}
}
</source>

В предыдущем примере поиск остановиться в spb. Поскольку там тоже есть g. Чтобы избежать такое, надо в spb записать:
<source lang="cpp">
using ::Ru::g;
</source>

НЕ НАДО=НЕЛЬЗЯ писать using namespaсe std;

Безымянный namespace:

<source lang="cpp">
namespace {
struct test {
...
};
}
</source>

Появится уникальный namespace для каждого .cpp файла. Это позвляет создавать маленькие структуры, не боясь перекрытия имен. Компилятор авторматически добавит после него:

<source lang="cpp">
using namespace <name>;
</source>

Пространствам имён можно задавать псевдонимы:
<source lang="cpp">
namespace a = ru::spb::au;
a::f();
</source>

ADL - argument dependent lookup:

<source lang="cpp">
namespace g {
struct complex {};
complex operator+();
}
g::complex a, b;
a = a + b; //как ни странно, это сработает :)
а = g::operator+(a, b);
</source>

Поиск имён происходит там, где мы находимся, а также и в namespace аргументов (это первый шаг). Этот поиск называется поиском Кёнига.

Функторы. Namespaces

2012-06-10T23:02:03Z

Sergey.kazenyuk: /* Namespaces */

== Функторы ==

<source lang="cpp">
find_if (p, q, Func); //ищет первый элемент, для которого функтор вернёт true

// Реализация функтора, который проверяет деление на 7.
struct Divby7 {
bool operator()(int i) const {
return i%7==0;
}
};

// Реализация функтора, который проверяет деление на любое число, которое будет передано в конструктор.
struct Divby {
Divby(int k) : k(k){}
bool operator()(int i) const {
return i%k==0;
}
const int k;
};
</source>

Можно писать find_if(p, q, Divby(5)), тогда в последовательности будет найден первый элемент, делящийся на 5.

<source lang="cpp">
stable_sort(p, qcomp_by_abs());

struct comp_by_abs {
bool operator()(int a, int b) const {
return abs(a) < abs(b);
}
};
</source>

Divby - унарный предикат (одноместный функтор).
comp_by_abs - бинарный предикат.

<source lang="cpp">
transform(p,q,out, add(7));

struct add {
add(int k): k(k) {}
int operator()(int a) const {
return a+7;
}
};
</source>

Это уже непосредственно функтор (не предикат, поскольку возвращает не 0/1).

Стандартные функторы: minus, plus, divides, modulus, multiplies, logical_and, logical_or, logical_not.
Бинарные предикаты(шаблонные): less, greater, less_equal, greater_equal, not_equal_to, equal_to.

<source lang="cpp">
find_if(p, q, bind1st(not_equal_to<int>(), 7)); // первый элемент, не равный 7
find_if(p, q, bind2nd(greater<int>(), 7)); // первый элемент, больший 7
</source>

Кроме bind1st, bind2nd есть еще not1, not2.
Для того, чтобы пользовательские функторы можно было биндить, необходимо наследовать их от стандартных классов.
<source lang="cpp">
struct Divby : unary_function<int, bool> {
...
}
struct comp_by_abs : binary_function<int, int, bool>;
</source>

mem_fun - обёртка для member-функций (для указателей).
mem_fun_ref - то же самое для ссылок.
ptr_fun - обёртка для любой функции.

<source lang="cpp">
for_each(p, q, mem_fun_ref(vector<int>::clear));
not1(ptr_fun(is_add()));
</source>

Библиотека boost::bind:
<source lang="cpp">
boost::bind(vector<int>::resize,_1, 100,3);
</source>

== Namespaces ==

<source lang="cpp">
int max(int, int);
double max(double, double);
namespace au {
void f(){}
}
</source>

Чтобы вызвать f, нужно написать au::f();

<source lang="cpp">
namespace noc {
void g(){}
}
namespace au {
void g(){}
}
</source>

namespace не является чем-то целостным. Пространства имён можно вкладывать друг в друга.

<source lang="cpp">
namespace Ru {
namespace Spb {
namespace au {
int f();
}
}
namespace Msk {
}
}

Ru::spb::au::f();
::f(); //функция из глобального namespace
</source>

Если в Msk будет еще Ru, то чтобы вызвать функцию из spb из msk, надо будет писать не Ru::spb, а ::Ru::spb (коллизия двух Ru).

Поиск:
* ищет имя в текущем namespace;
* если не нашли, переходим выше;
* если нашли, запускаем перегрузку.
При этом поиск просматривает ВСЕ имена (переменные, функции, классы...), так как синтаксически не ясно, что именно требуется. Функции находятся независимо от количества параметров. Если искали функцию, а наткнулись на соответствующие имя класса, происходит ошибка.

<source lang="cpp">
namespace Ru {
// определена g(a,b)
namespace spb {
// определена g(a)
namespace spbtele {
// вызываем g(a,b)
}
}
namespace msk {}
}
</source>

В предыдущем примере поиск остановиться в spb. Поскольку там тоже есть g. Чтобы избежать такое, надо в spb записать:
<source lang="cpp">
using ::Ru::g;
</source>

НЕ НАДО=НЕЛЬЗЯ писать using namespaсe std;

Безымянный namespace:

<source lang="cpp">
namespace {
struct test {
...
};
}
</source>

Появится уникальный namespace для каждого .cpp файла. Это позвляет создавать маленькие структуры, не боясь перекрытия имен. Компилятор авторматически добавит после него:

<source lang="cpp">
using namespace <name>;
</source>

Пространствам имён можно задавать псевдонимы:
<source lang="cpp">
namespace a = ru::spb::au;
a::f();.
</source>

ADL = argument dependent lookup.

<source lang="cpp">
namespace g {
struct complex {};
complex operator+();
}
g::complex a, b;
a = a + b; //как ни странно, это сработает :)
а = g::operator+(a, b);
</source>

Поиск имён происходит там, где мы находимся, а также и в namespace аргументов (это первый шаг). Этот поиск называется поиском Кёнига.

Функторы. Namespaces

2012-06-10T22:55:12Z

Sergey.kazenyuk: /* Namespaces */

== Функторы ==

<source lang="cpp">
find_if (p, q, Func); //ищет первый элемент, для которого функтор вернёт true

// Реализация функтора, который проверяет деление на 7.
struct Divby7 {
bool operator()(int i) const {
return i%7==0;
}
};

// Реализация функтора, который проверяет деление на любое число, которое будет передано в конструктор.
struct Divby {
Divby(int k) : k(k){}
bool operator()(int i) const {
return i%k==0;
}
const int k;
};
</source>

Можно писать find_if(p, q, Divby(5)), тогда в последовательности будет найден первый элемент, делящийся на 5.

<source lang="cpp">
stable_sort(p, qcomp_by_abs());

struct comp_by_abs {
bool operator()(int a, int b) const {
return abs(a) < abs(b);
}
};
</source>

Divby - унарный предикат (одноместный функтор).
comp_by_abs - бинарный предикат.

<source lang="cpp">
transform(p,q,out, add(7));

struct add {
add(int k): k(k) {}
int operator()(int a) const {
return a+7;
}
};
</source>

Это уже непосредственно функтор (не предикат, поскольку возвращает не 0/1).

Стандартные функторы: minus, plus, divides, modulus, multiplies, logical_and, logical_or, logical_not.
Бинарные предикаты(шаблонные): less, greater, less_equal, greater_equal, not_equal_to, equal_to.

<source lang="cpp">
find_if(p, q, bind1st(not_equal_to<int>(), 7)); // первый элемент, не равный 7
find_if(p, q, bind2nd(greater<int>(), 7)); // первый элемент, больший 7
</source>

Кроме bind1st, bind2nd есть еще not1, not2.
Для того, чтобы пользовательские функторы можно было биндить, необходимо наследовать их от стандартных классов.
<source lang="cpp">
struct Divby : unary_function<int, bool> {
...
}
struct comp_by_abs : binary_function<int, int, bool>;
</source>

mem_fun - обёртка для member-функций (для указателей).
mem_fun_ref - то же самое для ссылок.
ptr_fun - обёртка для любой функции.

<source lang="cpp">
for_each(p, q, mem_fun_ref(vector<int>::clear));
not1(ptr_fun(is_add()));
</source>

Библиотека boost::bind:
<source lang="cpp">
boost::bind(vector<int>::resize,_1, 100,3);
</source>

== Namespaces ==

<source lang="cpp">
int max(int, int);
double max(double, double);
namespace au {
void f(){}
}
</source>

Чтобы вызвать f, нужно написать au::f();

<source lang="cpp">
namespace noc {
void g(){}
}
namespace au {
void g(){}
}
</source>

namespace не является чем-то целостным. Пространства имён можно вкладывать друг в друга.

<source lang="cpp">
namespace Ru {
namespace Spb {
namespace au {
int f();
}
}
namespace Msk {
}
}

Ru::spb::au::f();
::f(); //функция из глобального namespace
</source>

Если в Msk будет еще Ru, то чтобы вызвать функцию из spb из msk, надо будет писать не Ru::spb, а ::Ru::spb (коллизия двух Ru).

Поиск:
* ищет имя в текущем namespace;
* если не нашли, переходим выше;
* если нашли, запускаем перегрузку.
При этом поиск просматривает ВСЕ имена (переменные, функции, классы...), так как синтаксически не ясно, что именно требуется. Функции находятся независимо от количества параметров. Если искали функцию, а наткнулись на соответствующие имя класса, происходит ошибка.

<source lang="cpp">
namespace Ru {
// определена g(a,b)
namespace spb {
// определена g(a)
namespace spbtele {
// вызываем g(a,b)
}
}
namespace msk {}
}
</source>

В предыдущем примере поиск остановиться в spb. Поскольку там тоже есть g. Чтобы избежать такое, надо в spb записать:
<source lang="cpp">
using ::Ru::g;
</source>

НЕ НАДО=НЕЛЬЗЯ писать using namespaсe std;

Безымянный namespace:

<source lang="cpp">
namespace {
struct test {
...
};
}
</source>

Появится уникальный namespace для каждого .cpp файла. Это позвляет создавать маленькие структуры, не боясь перекрытия имен. Компилятор авторматически добавит после него:

<source lang="cpp">
using namespace <name>;
</source>

Пространствам имён можно задавать псевдонимы:
<source lang="cpp">
namespace a = ru::spb::au;
a::f();.
</source>

ADL = argument dependent lookup.

<source lang="cpp">
namespace g {
struct complex {};
complex operator+();
}
g::complex a, b;
a = a + b; //как ни странно, это сработает :)
а = g::operator+(a, b);

Поиск имён происходит там, где мы находимся, а также и в namespace аргументов (это первый шаг). Этот поиск называется поиском Кёнига.

FunctionalProgramming

2012-05-12T10:35:03Z

Sergey.kazenyuk: /* Практические задания - группа Москвина */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]] 13.04.2012
* [[Медиа:Fpc10.pdf|Лекция №10]] 27.04.2012

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]] ([[Медиа:Fp07.hs.bz2|Пример]])
* [[Медиа:Fpc08pr.pdf|Задание №8]] ([[Медиа:Fp08.hs.bz2|Пример]])
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Файл:Fpc09pr.pdf

2012-05-12T10:34:11Z

Sergey.kazenyuk: Functional Programming Spring 2012 (Practice 9)

Functional Programming Spring 2012 (Practice 9)

FunctionalProgramming

2012-05-12T10:33:33Z

Sergey.kazenyuk: /* Лекции */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]] 13.04.2012
* [[Медиа:Fpc10.pdf|Лекция №10]] 27.04.2012

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]]
* [[Медиа:Fpc08pr.pdf|Задание №8]]
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Файл:Fpc10.pdf

2012-05-12T10:32:41Z

Sergey.kazenyuk: Functional Programming Spring 2012 (Lecture 10)

Functional Programming Spring 2012 (Lecture 10)

Файл:Fpc10pr.pdf

2012-05-12T10:31:39Z

Sergey.kazenyuk: Functional Programming Spring 2012 (Practice 10)

Functional Programming Spring 2012 (Practice 10)

FunctionalProgramming

2012-05-12T10:30:40Z

Sergey.kazenyuk: /* Лекции */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]]
* [[Медиа:Fpc10.pdf|Лекция №10]] 27.04.2012

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]]
* [[Медиа:Fpc08pr.pdf|Задание №8]]
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

FunctionalProgramming

2012-05-12T10:28:55Z

Sergey.kazenyuk: /* Практические задания - группа Москвина */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]]

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]]
* [[Медиа:Fpc08pr.pdf|Задание №8]]
* [[Медиа:Fpc09pr.pdf|Задание №9]] ([[Медиа:Fp09.hs.bz2|Пример]])
* [[Медиа:Fpc10pr.pdf|Задание №10]] ([[Медиа:Fp10.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Алгоритмы и структуры данных

2012-05-05T22:58:08Z

Sergey.kazenyuk: /* Интересное в сети */

== Интересное в сети ==
*[http://habrahabr.ru/post/113642/ Быстрое умножение многочленов при помощи преобразования Фурье с оптимизациями и примерами применения]
*[http://habrahabr.ru/post/140837/ Нечеткий кластерный анализ на примере социально-экономических показателей крупных городов России] (Machine Learning)
*[http://www.lektorium.tv/course/?id=22823 Видео-курс лекций за 1 семестр из CSC]
*[http://www.lektorium.tv/course/?id=22843 Видео-курс лекций за 2 семестр из CSC]

Участник:Sergey.Kazenyuk

2012-04-17T19:18:43Z

Sergey.kazenyuk:

DevDays

2012-04-17T19:17:37Z

Sergey.kazenyuk:

[https://twitter.com/#!/search/%23AUDevDays #AUDevDays]

==Команды==
* [[Android_Accelerometer|Акселерометр в Android]]: Мария Фофанова, Алина Певзнер
* [[Cheque_recognizer|Cheque (Receipt) recognizer]]: Дмитрий Шерставин, Залим Башоров, Семен Мартынов, Сергей Казенюк
* [[Android_Notification|Оповещения с Android]]: Михаил Кринкин, Алексей Коровин, Александр Опейкин, Сергей Лазарев, Ксения Крашенинникова
* [[Geo_Time_Tracker|Geo Time Tracker for Android]]: Евгений Краско, Алексей Кудинкин, Анна Ждан, Сорокин Артём, Ярослав Лепенькин
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]: Василий Кононенко, Дмитрий Бандурин

==Описание Проектов==
* [[Android_Accelerometer|Акселерометр в Android]]
* [[Cheque_recognizer|Chèque (Receipt) recognizer]]
* [[Android_Notification|Оповещения с Android]]
* [[Geo_Tracker|Geo Tracker]]
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]

FunctionalProgramming

2012-04-12T21:54:19Z

Sergey.kazenyuk: /* Практические задания - группа Москвина */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]]

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])
* [[Медиа:Fpc07pr.pdf|Задание №7]]
* [[Медиа:Fpc08pr.pdf|Задание №8]]

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Файл:Fpc08pr.pdf

2012-04-12T21:53:37Z

Sergey.kazenyuk: Functional Programming Practice #8 (Spring 2012)

Functional Programming Practice #8 (Spring 2012)

Файл:Fpc07pr.pdf

2012-04-12T21:53:11Z

Sergey.kazenyuk: Functional Programming Practice #7 (Spring 2012)

Functional Programming Practice #7 (Spring 2012)

FunctionalProgramming

2012-04-12T21:51:42Z

Sergey.kazenyuk: /* Лекции */

== Лекции ==
* [[Медиа:Fpc01.pdf|Лекция №1]] 10.02.2012
* [[Медиа:Fpc02.pdf|Лекция №2]] 17.02.2012
* [[Медиа:Fpc03.pdf|Лекция №3]] 24.02.2012
* [[Медиа:Fpc04.pdf|Лекция №4]] 02.03.2012
* [[Медиа:Fpc05.pdf|Лекция №5]] 11.03.2012
* [[Медиа:Fpc06.pdf|Лекция №6]] 23.03.2012
* [[Медиа:Fpc07.pdf|Лекция №7]]
* [[Медиа:Fpc08.pdf|Лекция №8]]
* [[Медиа:Fpc09.pdf|Лекция №9]]

== Практические задания - группа Москвина ==
* [[Медиа:Fpc01pr.pdf|Задание №1]]
* [[Медиа:Fpc02pr.pdf|Задание №2]]
* [[Медиа:Fpc03pr.pdf|Задание №3]]
* [[Медиа:Fpc04pr.pdf|Задание №4]] ([[Медиа:Fp04.hs.bz2|Пример]])
* [[Медиа:Fpc05pr.pdf|Задание №5]] ([[Медиа:Fp05.hs.bz2|Пример]])
* [[Медиа:Fpc06pr.pdf|Задание №6]] ([[Медиа:Fp06.hs.bz2|Пример]])

*[https://docs.google.com/spreadsheet/ccc?key=0AoUO7sfz2x3ydFdfTFZNMmlUajdldmVDdlNZaFdTU0E&pli=1#gid=0 Результаты]

== Практические задания - группа Исаева ==
* [http://docs.google.com/spreadsheet/ccc?key=0AiOIfVRpxaJ4dDNZOFV3MEZSWUN0QmZ2N2VhbXNKRVE#gid=0 Результаты]

* [[Медиа:Fph02i.pdf|Домашнее задание 2]] ([[Медиа:Fpp02i.pdf|Практическое занятие 2]])
* [http://docs.google.com/file/d/0ByOIfVRpxaJ4LVNWS3M2ZEpRYk83SEVROV9rZUV2QQ/edit?pli=1 Домашнее задание 3] ([http://docs.google.com/file/d/0ByOIfVRpxaJ4WE9Uc0pJaUxSa1NqRDlTY0ViZEZmZw/edit Практическое занятие 3])
* [[Медиа:Fph04i.pdf|Домашнее задание 4]]
* [[Медиа:Fph05i.pdf|Домашнее задание 5]]

== Программа курса ==
[http://mit.spbau.ru/sewiki/images/9/93/FPCourseOutline.pdf FPCourseOutline.pdf]

== Список литературы ==
[http://mit.spbau.ru/sewiki/images/6/6b/Books.pdf Books.pdf]

Файл:Fpc09.pdf

2012-04-12T21:50:45Z

Sergey.kazenyuk: Functional Programming Lecture #9 (Spring 2012)

Functional Programming Lecture #9 (Spring 2012)

Файл:Fpc08.pdf

2012-04-12T21:50:25Z

Sergey.kazenyuk: Functional Programming Lecture #8 (Spring 2012)

Functional Programming Lecture #8 (Spring 2012)

Файл:Fpc07.pdf

2012-04-12T21:49:58Z

Sergey.kazenyuk: Functional Programming Lecture #7 (Spring 2012)

Functional Programming Lecture #7 (Spring 2012)

Участник:Sergey.Kazenyuk

2012-04-11T11:28:57Z

Sergey.kazenyuk: /* Research Projects */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

* Fall 2011: Recommender System
* Spring 2012: [[НИР#Конфигуратор контейнеров AndroidVM|AndroidVM Configurator]], [[AVMConf_Kazenyuk|Weekly reports]]

Участник:Sergey.Kazenyuk

2012-04-11T11:28:35Z

Sergey.kazenyuk: /* Research Projects */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

* Fall 2011: Recommender Systems
* Spring 2012: [[НИР#Конфигуратор контейнеров AndroidVM|AndroidVM Configurator]], [[AVMConf_Kazenyuk|Weekly reports]]

НИР

2012-04-11T11:24:40Z

Sergey.kazenyuk: /* Конфигуратор контейнеров AndroidVM */

== Карта дорог ==
Руководитель: Лесин 
Ссылка на проект: 
Команда:
* Иванов Антон
* Сорокин Артем
* Кононенко Василий
Отчёт:
* 6.03.2012 - Первая встреча.
** Задачи на неделю:
** Кононенко: подготовить результаты прошлого семестра для коллективного проекта.
** Сорокин, Иванов: разобраться с базовыми алгоритмами поиска кратчайших путей.
* 20.03.2012 - Третья встреча.
** Обсудили структуру проекта. Определили "первые шаги" реализации.
** Задачи на неделю:
** Кононенко: Презентация (reaches), организация проекта, загрузка OSM формата, reaches preprocessing.
** Сорокин: создать wiki, github, разобраться с визуализатором и написать алг. Дейкстры, презентация?
** Иванов: web интерфейс (client-side), работающий сервер обрабатывающий запросы поиска евклидова расстояния между 2мя точками
** ?- допишите на какую тему презентации плиз.
* 27.03.2012
** Была проведена презентация Артема Сорокина по алгоритмам на графах (? уточни плз. название алгоритмов)
** Задачи на неделю:
** Иванов: закончить предыдущее задание. (ServerSide договорились делать на python'e, клиент уже почти написан на javascript'e с использованием openLayers api)

== MyFit ==
Руководитель: EMC 
Ссылка на проект:
* [http://osll.spb.ru/projects/myfit/ трекер]
* [http://code.google.com/p/myfit/ репозиторий]
Команда:
* Опейкин Александр
* Певзнер Алина
* Башоров Залим

==== 09.03.2012 ====
Выполнено 2 тестовых задания на Java и на GWT. 
Получены следующие задачи:
* [http://redmine.osll.spb.ru/issues/3155 Опейкин] (Готово)
* [http://redmine.osll.spb.ru/issues/3156 Певзнер] (Готово)
* [http://redmine.osll.spb.ru/issues/3157 Башоров] (Готово)

==== 12.03.2012 ====
Получены следующие задачи:
* [http://redmine.osll.spb.ru/issues/3175 Башоров]
* [http://redmine.osll.spb.ru/issues/3177 Опейкин]
* [http://redmine.osll.spb.ru/issues/3176 Певзнер]

==== 27.03.2012 ====
Митинг в EMC -- обсудили текущие задачи и тестовые задания. 
Закоммитили рабочие версии кода по задачам, ожидаем ревью. 
(задачи: [http://redmine.osll.spb.ru/issues/3175 Башоров], [http://redmine.osll.spb.ru/issues/3177 Опейкин], [http://redmine.osll.spb.ru/issues/3176 Певзнер])

== GPU ==
Руководитель: Рубен Артурович Гиргидов 
Ссылка на проект: 
Команда:
* Коровин Алексей
* Лазарев Сергей
* Кормишин Сергей
Отчёт: 
*1я встреча нам были выданы вводные задачи:
** Разобраться с CUDA, установить и настроить окружение. Написать простенький алгоритм. (Коровин А.)
** Вспомнить "всё" о регулярных выражениях: какие бывают, как пишутся (Лазарев С.)
** Найти обработчики регулярных выражений (Matcher'ы), разобраться в их строении и принципе работы. (Кормишин С.)
*2я встреча:
** Обсудили наши предыдущие задания, расписали план выполнения проекта, цели и др.
** Выданы следующие задачи:
**# Реализовать обработчик РВ на Cuda для одной и n строк (Коровин А.)
**# Найти обработчики РВ на CPU на C++ и адаптировать его для n строк (Кормишин С.)
**# Реализовать обработчик РВ нa cuBLAS (Лазарев С.)
*3я встреча:
** Обсудили наши успехи, искали нужное представление автомата в виде матрицы для задачи реализации РВ на cuBLAS
** Решили какие паттерны РВ будут в бенчмарках
** По CUDA на неделю нужно было реализовать простейшую схему распараллеливания существующих реализаций регулярных выражений(Regexp9, Cuda paper code) и посмотреть на производительность.
*4я встреча:
** Портированная библиотека работать не хочет и разобраться без отладчика - очень трудно. Попытались настроить удалённую отладку на CUDA. Всё настроилось, но софт (Nsight) очень сырой, происходят непонятные ошибки и они нигде не журналируются и не объясняются. (Коровин А.)
*5я встреча:
** Реализован поиск с помощью регулярных выражений на основе матричных вычислений с использованием библиотеки cuBLAS. Пока сделан поиск в одной строке. Дальше надо распараллелить на несколько строк. (Лазарев С.)
** Портированная библиотека после длительной отладки начала матчить строку с регулярным выражением. Задача 1 выражение - 1 строка решена. Следующая задача задействовать все ядра видеокарты и научиться матчить N строк на одно регулярное выражение. (Коровин А.)
** Реализовн поиск с помощью re2 одной строки на одном ядре. Теперь нужно сделать для n строк на к ядрах.

== Syrop ==
Руководитель: Смаль Александр Владимирович 
Ссылка на проект: [https://github.com/avsmal/Syrop Syrop] 
Wiki проекта: [https://github.com/avsmal/Syrop/wiki Github] 
Команда:
* Кринкин Михаил
* Мартынов Семён
* Крашенинникова Ксения
* Великий Алексей
Отчёт:
* 27/feb/2011 - Первая встреча. Обсуждение цели проекта, способов реализации и внутри командного взаимодействия. Разделение задач. Создан репозиторий проекта на GitHub. Открытый вопрос - применение методологий разработки в проекте.
* 01/mar/2011 - Сode review.
* 05/mar/2011 - Введение договоренностей о code style, оформлении документации, спецификация на интерфейсы. Показ первого GUI, уточнение новых задач.
* 12/mar/2011 - Всё хорошо.
* 19/mar/2011 - Снова всё хорошо - работаем.
* 26/mar/2011 - Семен у нас большой шутник, см. список задач на трекере

== Дублирующий код ==
Руководитель: Иваницкий 
Ссылка на проект: http://code.google.com/p/aptu-practice-code-duplication/ 
Команда:
* Бандурин Дима (Project manager)
* Лепенькин Ярослав (Поиск дублирующего кода в C++)
* Фофанова Маша (Поиск дублирующего кода в Java)

Отчёт:

===28.02.2012 - Вводная встреча===
* Распределение ролей в команде
:Бандурин Дима (Project manager)
:Лепенькин Ярослав. Изучение специфики C++ для поиска дублирующего кода
:Фофанова Маша. Изучение специфики Java для поиск дублирующего кода.
* Уточнение функционала
* Организационные вопросы

===06.03.2012 - Контрольная встреча===
* Изучение существующих решений
** Michael Wise's Greedy String Tiling algorithm
** Преобразование Барроуза-Уиллера
** Алгоритм Рабина-Карпа
** Механизм использующийся в IntelliJ IDEA
[[Файл:Solutions.pdf|краткое описание]]

===15.03.2012===
В рамках НИР необходимо ответить на три вопроса.
* Научная новизна
** Список существующих решений для нашей задачи.(Ярослав)
** Способы оценки существующих решений.(Маша)
** Библиотеки, для проведения испытания (исследуемая выборка) (Дмитрий)
* Рабочий прототип. Решено делать плагин на базе IntelliJ IDEA. Функциональность плагина будет выяснена дальше.
* Этапы разработки
Решено разбить разработку на три этапа.
# Определение требований к разрабатываемой программе.(3 недели)
# Создание прототипа (2 недели)
# Разработка плагина (4 недели)
## Основная функциональность (2 недели)
## Тестирование и доведение (2 неделя)
## Документирование и создание презентационных материалов (1 неделя параллельно со вторым пунктом.)
Итого 9 недель. Предположительный срок завершения проекта : 21 мая

===21.03.2012===
*Возможные метрики для сравнения алгоритмов поиска дубликатов
** Время работы, используемая память, CPU
** Число правильно найденных дубликатов
*** Необходимо учитывать длину каждого дубликата, чтобы учитывать возможную вложенность. Длина дубликата определяется числом символов в нем.
** Число неправильно найденных дубликатов
*Метрики для алгоритмов замены дубликатов
** Объем кода, получающегося после замены найденных дубликатов на вызовы соответствующих методов
** Релевантность участка кода. Код считается иррелевантным, если его замена на предлагающийся код слишком трудоемка и не имеет смысла.
*Стоит также определить, на каких констукциях дубликатов алгоритмы работают лучше, а на каких хуже.

== Конфигуратор контейнеров AndroidVM ==
Руководитель: Кринкин К.В.

Команда:
* Владислав Савельев
* Дмитрий Шеставин
* Сергей Казенюк ([[AVMConf_Kazenyuk|отчёты]])

Отчёт:

13 марта. Встреча с разработчиками проекта. Поставлены задачи.
: Владислав: Послушал лекцию Кирилла Владимировича про QT. Подумал об интерфейсе конфигуратора. Написал очень черновой вариант, создающий и запускающий контейнеры. Начал смотреть видео лекций Кирилла Владимировича про QT и шаблон MVC, а также читать про QML.

27 марта.
: Владислав: Написал интерфейс с лейаутами, правильно создающий контейнеры. Для создания добавил диалоговое окно (с валидацией адреса и прочих штук).

10 апреля.
: Владислав: Переписал интерфейс с использованием «модели — представления — модели представления». Нарисовал иконок и спроектировал внешний вид приложения в перспективе для презентации Жени Баталова на предзащите.
: Добавил в программный интерфейс конфигуратора возможность для получения от устройства информации о списке контейнеров.

== Поиск дублирующих сообщений об ошибках ==

Команда:
* Ждан Анна
* Краско Евгений
* Кудинкин Алексей

Отчет 03.03 - 11.03
* Настроено окружение: проект в MPS, проект в IDEA
* Описана модель данных на языке dnq
* Написан rest api для админки и для добавления в базу новых сообщений об ошибках
* Написан парсер сообщений об ошибках
* Написана первая версия алгоритма сравнения сообщений об ошибках
* Написаны базовые классы для запуска тестов (различные заглушки для методов сервлет-контейнера, создание контекста для бинов и тп)
* Написаны тесты на парсер и алгоритм сравнения
* Частично написаны тесты на rest api (jmeter)

Отчет 11.03 - 18.03
* Улучшена первая версия алгоритма сравнения сообщений об ошибках
* Реализован альтернативный алгоритм сравнения сообщений об ошибках.
* Написаны тесты на оба алгоритма
* Реализован парсер сообщений об ошибках для языка C#. Парсер рассчитан на формат, принятый в Решарпере
* Написаны тесты на парсер
* В язык для рестовых тестов добавлена возможность проверять хереды респонса
* Добавлен ui для администрирования приложение
* Начата реализация JobProcessor'a, обрабатывающего сообщения об ошибках на предмет поиска дубликатов.

Отчет 19.03 - 25.03
* Написан классификатор, разбивающий сообщения об ошибках на кластеры.
* Добавлены новые возможности web-интерфейса для администрирования приложения.

Отчет 25.03 - 7.04
* Написан JobProcessor, разбивающий сообщения об ошибках на кластеры.
* Написаны тесты на JobProcessor
* Начата реализация интеграции приложения с Ютрэком
* Осуществлен переход на более новую версию библиотеки jersey

AVMConf Kazenyuk

2012-04-11T11:24:07Z

Sergey.kazenyuk: /* Weekly reports */

== Weekly reports ==
; WW11 (12.03-18.03)
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12 (19.03-25.03)
: File system subtree librsync-based synchronizer preliminary implementation

; WW13 (26.03-01.04)
: Skeleton file system Linux kernel module implementation

; WW14 (02.04-08.04)
: Skeleton file system LKM management interface (through sysfs)

Участник:Sergey.Kazenyuk

2012-04-11T11:11:24Z

Sergey.kazenyuk:

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

* Fall 2011: Recommender Systems
* Spring 2012: [[AVMConf_Kazenyuk|AVM Container Configurator]]

AVMConf Kazenyuk

2012-04-11T11:09:09Z

Sergey.kazenyuk: Новая страница: «== Weekly reports == ; WW11 : File synchronization libraries and file system subtree snapshotting approaches research ; WW12 : File system subtree librsync-based sy…»

== Weekly reports ==
; WW11
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12
: File system subtree librsync-based synchronizer preliminary implementation

; WW13
: Skeleton file system Linux kernel module implementation

; WW14
: Skeleton file system LKM management interface (through sysfs)

Участник:Sergey.Kazenyuk

2012-04-11T11:08:08Z

Sergey.kazenyuk: /* Research Projects */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

[[AVMConf_Kazenyuk]]

== AVM Container FS snapshotting ==
; WW11
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12
: File system subtree librsync-based synchronizer preliminary implementation

; WW13
: Skeleton file system Linux kernel module implementation

; WW14
: Skeleton file system LKM management interface (through sysfs)

Участник:Sergey.Kazenyuk

2012-04-11T11:07:51Z

Sergey.kazenyuk: /* Research Projects */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

[AVMConf_Kazenyuk]

== AVM Container FS snapshotting ==
; WW11
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12
: File system subtree librsync-based synchronizer preliminary implementation

; WW13
: Skeleton file system Linux kernel module implementation

; WW14
: Skeleton file system LKM management interface (through sysfs)

Участник:Sergey.Kazenyuk

2012-04-11T11:06:53Z

Sergey.kazenyuk: /* == AVM Container FS snapshotting */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

= Research Projects =

== AVM Container FS snapshotting ==
; WW11
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12
: File system subtree librsync-based synchronizer preliminary implementation

; WW13
: Skeleton file system Linux kernel module implementation

; WW14
: Skeleton file system LKM management interface (through sysfs)

Участник:Sergey.Kazenyuk

2012-04-11T11:05:53Z

Sergey.kazenyuk: /* Сергей Казенюк */

= Сергей Казенюк =
[mailto:sergey.kazenyuk@spbau.se sergey.kazenyuk@spbau.se]

=== AVM Container FS snapshotting =

; WW11
: File synchronization libraries and file system subtree snapshotting approaches research

; WW12
: File system subtree librsync-based synchronizer preliminary implementation

; WW13
: Skeleton file system Linux kernel module implementation

; WW14
: Skeleton file system LKM management interface (through sysfs)