Андрей Викторович Столяров: сайт автора

Том 2, стр. 8

В дополнение к предыдущему комментарию (можно слить воедино). Четвертый абзац мелкого текста:

> ; во-вторых. личный авторитет отдельный лиц,

Точка вместо запятой.

Том 2, стр. 8

Начало второго абзаца:

> его рождение в виде "наколенной поделки" даёт себя знать

Должно быть "даёт о себе знать"?

Третий абзац:

> К счастью, Си для вас будет не первым языком программирования, так что вы уже избегли части опасностей, ...

Должно быть "избежали"?

Мощности множеств

Стр. 58 тома 1: "примером такой бесконечности может послужить множество всех множеств действительных чисел" (его мощность обозначают алеф-2)". Насколько я знаю, какой именно алеф там - зависит от используемой аксиоматики, в т.ч. от того, истинна, ложна или недоказуема в ней континуум-гипотеза.

немного занудства касательно названий ПО (т.1, стр.38)

Андрей Викторович, всех благ вам.

Простите за "тупые" замечания, возможно в книге всё верно, то есть написание соответствует вашим авторским "традициям". А может редактор недосмотрел.

Поэтому на всякий случай перечислю:

MSWord - понятно, но как-то непривычно, что MS и Word без пробела

Unix-подобных, и в тоже время unix-системами - выглядит непоследовательно с точки зрения большой буквы в названии Unix/unix. А ещё на просторах сети часто встречается сленговое "*nix" - типа избавились от такого вопроса.

Ну и редактор vim - его название у вас совпадает с командой вызова (отличаются только шрифтом). Это не согласуется с другими редакторами в книге (Nano, Joe - который вроде JOE по официальному сайту), и с самим редактором Vim (как он назван в программе и на его сайте).

Ну и "на закуску": Таблица 1.5. Наиболее употребительные команды редактора joe

Вот такие "пироги", как говорится, или у меня в голове "каша" - а у редакторов не было замечаний. Тогда не серчайте - мелочь, а глаз зацепился, чтение очень увлекло в мир Linux, излагаемый вами.

Триггер

Я электронщик, и меня триггерит то, как в первом томе изображена схема лампового триггера. В издании 2.9 это схема на странице 22 (Рис.1.1). Во-первых, там, где сходятся несколько проводников и между ними есть электрический контакт, должна быть жирная точка. На даном рисунке это все пересечения, кроме центрального перекрестья. Во-вторых, чтобы триггер действительно переключался, чтобы лампы запирались, потенциал сетки должен быть ниже потенциала катода. Поэтому либо катод должен быть заземлен, а два резистора и выключатель должны быть подключены к отрицательному напряжению, либо в цепи катодов должны стоять сопротивления смещения.

См. Книгу Бонч-Бруевич М.А. "Применение электронных ламп в экспериментальной физике", 3-е изд, 1955. Рис. 4.70 и 4.72.

Рыба с обложки

Хочу похвалить обложки книг, они довольно забавны и метафоричны. Но есть вопрос, а что на них обозначает рыба? С багом, костылями и прочим всё понятно, но вот то, какое отношение крылатая рыба имеет к программированию, никак понять не могу, а она так-то на каждой книге есть...

Утверждения о качестве rand

Здравствуйте!

На стр. 80 второго тома утверждается, что "в целом псевдослучайные числа имеют распределение, достаточно близкое к равномерному". Но для реализации функции rand из glibc наблюдаются довольно грубые отклонения от равномерности, делающие её совершенно непригодной не только для паролей, но и для научных и инженерных расчётов. Её старшие биты проваливают gap test из TAOCP2 с почти вековой историей. Если отслеживать интервалы (число членов последовательности) между псевдослучайными числами, старшие 10 бит которых равны 0, то картина получается очень далёкой от теоретической. Это очень легко воспроизвести с помощью вот такой короткой программы на ANSI C. Она строит гистограмму длин интервалов, рассчитывает статистику из критерия Пирсона и переводит её в нормально распределённую величину z (mu=0, sigma=1). Она очень упрощена, совсем не блещет стилем, не совсем точно обрабатывает некоторые граничные случаи, а нужный ГПСЧ выбирается редактированием строки. И на совсем уж ужасных генераторах программа может зависнуть. Но сравнить rand() и /dev/urandom с её помощью можно. Написано для 32-битного int и 31 или 32-битного выхода rand().

#include < stdio.h >
#include < stdlib.h >
#include < time.h >
#include < math.h >

#define BUFSIZE 1024

unsigned int rand_good(FILE *fp)
{
    static unsigned int buf[BUFSIZE], pos = BUFSIZE;
    if (pos >= BUFSIZE) {
        fread(buf, sizeof(unsigned int), BUFSIZE, fp);
        pos = 0;
    }
    return buf[pos++];
}

/* 10.1073/pnas.17.12.684 */
double chi2_to_stdnorm(double x, double f)
{
    double s2 = 2.0 / (9.0 * f);
    double mu = 1.0 - s2;
    return (pow(x/f, 1.0/3.0) - mu) / sqrt(s2);
}

void process_freq(const int *o, int maxlen, int ngaps, double p)
{
    double e_i = (double) ngaps * p;
    double chi2_emp = 0.0, df = maxlen - 1.0;
    int i;
    for (i = 0; i < maxlen; i++) {
        chi2_emp += pow(o[i] - e_i, 2.0) / e_i;
        e_i *= (1.0 - p);
    }
    printf("chi2emp = %g; df = %g\n", chi2_emp, df);
    printf("z = %g\n", chi2_to_stdnorm(chi2_emp, df));
}

int main()
{
    int maxlen = 5000, ngaps = 5000000, i, gaplen = 0;
    double p = 1.0 / 1024.0;
    time_t tic, toc;
    int *o = calloc(maxlen + 1, sizeof(int));
    FILE *fp = fopen("/dev/urandom", "rb");
    if (fp == NULL) {
        printf("Cannot open /dev/urandom\n");
        return 1;
    }
    tic = time(NULL);
    srand(tic);
    for (i = 0; i < ngaps; i++) {
        if (i % 1000 == 0)
            printf("%.1f %% completed\r", 100.0 * i / ngaps);
        do {
            unsigned int x = /*rand();*/rand_good(fp);
            if (((x >> (31 - 10)) & 0x3FF) == 0) {
                o[(gaplen <= maxlen) ? gaplen : maxlen]++;
                gaplen = 0;
            } else {
                gaplen++;
            }
        } while (gaplen != 0);
    }
    toc = time(NULL);
    printf("\nTime elapsed: %u sec\n", (unsigned int) (toc - tic));
    process_freq(o, maxlen, ngaps, p);
    fclose(fp);
    free(o);
    return 0;
}

Результаты выполнения программы на Lubuntu 22.04.5 LTS:

rand():
100.0 % completed
Time elapsed: 70 sec
chi2emp = 6084.94; df = 4999
z = 10.1638

/dev/urandom:
Time elapsed: 53 sec
chi2emp = 4899.76; df = 4999
z = -0.99245

Видно, что rand() тест не проходит, а /dev/urandom - проходит. Более того, /dev/urandom оказался БЫСТРЕЕ rand(), т.к. внутри rand() есть мьютексы. Правда, в методе Монте-Карло /dev/urandom использовать нельзя, т.к. он невоспроизводим. Также очень грубые отклонения от равномерности для функции rand из glibc можно выявить тестами вроде одномерного Birthday Spacings, а также BCFN из PractRand. Первый из них вообще можно чуть ли не на IBM PC XT реализовать. В musl генератор другой и gap test проходит, но для его "разоблачения" оказывается снова достаточно IBM PC XT и другого теста.

Также ссылка [2] ведёт на второе издание книги Numerical Recipes, ГПСЧ из которого столь же ужасны, как и в функции rand(). Есть более новое третье издание, в котором один из рекомендованных генераторов оказался пригоден в качестве генератора общего назначения (и нет, это не RC4).

Предположительно ошибка

Том 1, стр. 191, конец 2-го абзаца параграфа 3.3.6. Написано:

Так, если в стек занести три четырёхбайтных параметра, а потом вызвать процедуру, то адрес возврата будет лежать в памяти по адресу [esp], ну а параметры, очевидно, окажутся доступны по адресам [esp+4], [esp+8] и [esp+12]. Если же разместить в стеке локальные четырёхбайтные переменные, то они окажутся доступны по адресам [esp-4], [esp-8] и т. д.

Имеется ли в виду во втором предложении изначальное (сразу после вызова подпрограммы) значение ESP? Если нет, то здесь ошибка, ведь если поместить в стек локальные четырёхбайтные перменные, то значение ESP изменится и эти переменные будут доступны по адресам [esp], [esp+4] и т. д.

Синтаксические ошибки в примере

Внизу страницы 136, пример удаления всех отрицательных значений из списка содержит ошибки в операторах:

while first <> nil then

и

if first^.data < 0 do.

А остаток примера убежал на другую страницу.

Том 2, стр. 84, п. 4.11.3, строка 12

На FreeBSD указанная команда man attr к желаемому результату не приводит, вместо неё нужная страница ищется через man curs_attr.

Предположительно ошибка

На стр. 189 в первом предложении параграфа 3.3.1 написано:

Как мы уже знаем, под стеком в программировании подразумевают структуру данных

Ранее в книге (стр. 134, параграф 2.10.5) было объяснено, что называть стек (а также очередь) структурой данных - некорректно.

offtop

Андрей Викторович, здравствуйте!

Несколько минут назад узнал о выходе электронного издания книги и хочу сказать, что Вы глыба!

Простите меня, если метафора Вам не понравится.

Я 74-го года рождения, программирование для меня некоторая страсть, но профессионально я не смог сделать это своим занятием, кривая жизни увела в сторону.

It doesn't matter.

Это не Ваша проблема.

Не хватает слов для выражения чувств возврата к 90-м, того "духа" пионерии в электронике и в вычислительной технике, восхищения от Вашего энтузиазма, профессионализма, преданности делу, в конце-концов от того, как Вы перекидываете мост между "тогда" и "сегодня".

Будьте здоровы и успехов Вам во всём!

P.S.

Как-то я писал Вам комментарий, в попытке указать на какую-то ошибку в издании и прошу простить за это, она была неуместныой и неудачной.

Тот комментарий Вы, скорее всего "похоронили" и это хорошо.

Содержание

В новом издании «Содержание» подписано как (второе) «Оглавление». Интересно, как так вышло.

Процедуры reset/rewrite

Здравствуйте, Андрей Викторович! Объясните, пожалуйста, следующий момент в Вашей книге: В 2.9.3 "Типизированные файлы" 1-го тома указано, что для режима "только запись" нужно в переменную filemode внести значение 1 и использовать процедуру reset. При этом выше по тексту книги написано, что переменная filemode влияет на процедуру reset, но не влияет на процедуру rewrite. Далее в главе 2.9.4 "Блочный ввод-вывод" в коде примера block_cp.pas перед открытием файла dest на запись мы заносим в переменную filemode 1 и используем процедуру rewrite, хотя это противоречит ранее изложенному. Правильно я понимаю, что в данном случае всё-таки должна применяться процедура reset? P.S. Спасибо Вам за книги и удачи в Ваших начинаниях.

Файлы

А где файлы с примерами?

Задачник

Андрей Викторович, подскажите, задачник для второго издания учебника применим к новому изданию?

Errata

В издании 2.9 в 1 томе на странице 36 есть сноска номер 21. В ней слово "ps" должно быть напечатано другим шрифтом.

Печать издания 2.9

Издание 2.9 очень сложно распечатать, т.к. там что-то не то с размерами страниц :(

Том 1, стр 44

Я вас надеюсь не сильно заспамил комментариями? Комментарии/ошибки/неточности лучше в одном комменте или отдельно?

> При выполнении заданий практикума

Видно, что скопировано из методички без редактирования. Можно конечно так и оставить, но немного некрасиво.

Кстати и часть про логин в линуксе через putty или иксы где-то раньше тоже мне показалась странной, но я только сейчас осознал, что она тоже скопирована из какой-то методички без изменений. Там речь идёт о дисплейном классе, а в книге вроде как предполагается самостоятельно установленный линукс.

Ну и до кучи, echo "" "$3" "$2" "$1" можно было бы заменить на printf, чтобы избежать неаккуратного пробела, но я думаю то за ошибку не считается, так что я не стал писать сразу.

$ foo() { printf "%s\n" "$3 $2 $1"; }
$ foo 1 2 -3
-3 2 1

Том 1, стр 38

VI — это шесть римскими цифрами, а редактор таки vi

Том 1, стр 27

> flash-брелке

По идее правильно будет с буквой о, flash-брелоке. Я тоже удивился, что оно так склоняется, но вот так.

Изменения в издании 2.9

Извините, а какие есть ключевые изменения в новом издании?

Стр 23, том 1

"без малого полвека" — уже не "без малого", а чуток больше полвека. Декабрь 1974 — появление Альтаира 8800, то есть ровно полвека - декабрь 2024.

Адресная арифметика в паскале

На странице 14 написано "за исключением разве что адресной арифметики" в отношении паскаля, но в гостевой книге есть примеры с таковой на паскале.

Интересно, адресная арифметика появилась только в Free Pascal или в TP и Delphi уже была?

Второе издание, которое вы держите в руках

На странице 17 в параграфе "Структура книги и используемые обозначения" во втором абзаце написано: "Второе издание, которые вы держите в руках...", хотя речь идёт про электронное издание 2.9.

Аннотация

На второй странице учебника в аннотации дважды повторяется: "Первый том учебника содержит три части, охватывающие базис знаний о программировании как виде деятельности" в конце первого и начале второго абзацев.

В прошлом издании фраза была только в первом абзаце, поэтому, возможно, оно было добавлено во второй абзац случайно.