[08:07:45] <landgraf> vgodunko, 8-го приедем, потом в Зерноград, потом 11-го приедем и 12-го в Ставрполь ))
[10:35:10] <landgraf> /me сидит один в кабинете, хоть поработать можно в тишине
[10:44:11] <coopht> блин, а я как раз 8-го числа из ростова уезжаю
[10:44:22] <coopht> в московию
[10:44:32] <landgraf> :))
[11:13:26] <landgraf> http://www.adacore.com/2011/05/02/spark-nist/
[12:01:38] <vgodunko> Каждый дует в свою дуду ;-)
[12:04:21] <vgodunko> Нужно взять учебник SPARK и попробовать, а потом уже делать выводы.
[12:12:05] <landgraf> vgodunko, там все так плохо (мне просто интересно)
[12:12:49] <vgodunko> Нет, там не плохо. Просто там необычно и не более.
[12:13:29] <vgodunko> Это подмножество не очень подходит в целом для восременного desktop-программирования, если так можно сказать.
[12:13:50] <landgraf> ну и круто
[12:14:36] <vgodunko> Но очень неплохо для реально отвественных вещей. Например, кажется немцы, написали на Ada SHA-256 и доказали его корректность с помощью SPARK.
[12:15:39] <vgodunko> Отключив после этого все проверки времени исполнения (ведь доказано, что они проходят полностью) получили всего несколько процентов хуже производительность чем кажется OpenSSL
[12:16:11] <vgodunko> Пять процентов за отсутствие ошибок мне кажется есть очень очень хорошо.
[12:51:47] <vgodunko> landgraf: ну если будет желание и время звоните: +7-928-229-4623 или просто 229-46-23
[13:26:12] <coopht> А можно я позвоню ?
[13:33:02] <landgraf> ;)
[16:00:27] <coopht> на SIMD инструкции есть какой то стандарт ?
[16:08:12] <landgraf> что такое асинхронные селекты?
[18:32:28] <vgodunko> coopht: звонить можно всем
[18:32:38] <vgodunko> отвечать буду только избранным ;-)
[18:33:41] <vgodunko> coopht: Стандарт на SIMD инструкции есть, причём их очень много - у каждого производителя собственный взгляд на суть вопроса.
[18:34:21] <vgodunko> landgraf: а как это (асинхронные селекты) выглядит в коде?
[18:36:57] <landgraf> vgodunko, в том то и дело что не знаю, в какой-то доке читал на выходных, хотел спросить )
[18:37:29] <vgodunko> Есть asynchronous transfer of control, это то?
[18:37:49] <vgodunko> asynchronous больше не ассоциируется ни с чем :-(
[18:38:00] <landgraf> кажется это было в style guide
[18:38:24] <landgraf> типа use asyncrous selects  instead termination
[18:38:59] <vgodunko> ATC это конструкция вида
[18:39:42] <vgodunko> select
  X.Wait; --  вызов входа защищённого объекта

or
  do sometining;
end select;
[18:40:20] <vgodunko> Суть в том, что как только вход защищённого объекта открывается, производится остановка выполнения do something.
[18:41:17] <vgodunko> Конструкция скорее теоретическая, по сути своей небезопасная и срабатывать не обязана (классический пример - не всякая OS позволяет прервать выполнение операции ввода-вывода).
[18:41:42] <vgodunko> Но будучи аккуратно и корректно использована - может быть очень полезна.
[18:56:53] <landgraf> блин, хотел покодить спокойно целый день - не дали
[18:57:09] <landgraf> пришлось полдня письмами кидаться