Общая память

Переменные соседа не видны никому. Ячейка видна всем, кто к ней подключён — на этом и строят разделение труда

среднийНужно знать: Запись в ячейку, Связи и getlink

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

шагтик 0

Информация0

=

 у

Ввод1

@counter0number

медьnullnull

На карте два процессора. Верхний спрашивает склад и кладёт ответ в ячейку; нижний берёт его оттуда и печатает. Связи у них разные: у верхнего склад и ячейка, у нижнего — ячейка и табло. Общая у них только ячейка.

Заметка

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

Поэтому смотреть надо кнопкой «пуск»: «шаг» двигает только показанный процессор, а нижний в это время стоит, и надпись на табло не меняется.

Зачем делить работу

Запас инструкций у процессора свой — @ipt за тик, — и потратить его можно только на себя. Два процессора работают параллельно, и это единственный способ ускорить логику:

• медленная часть (обход связей, поиск радаром) живёт в одном процессоре и кладёт итог в память;
• быстрая часть (рисование на дисплее, ведение юнита) живёт в другом и берёт готовое.

Второй при этом не ждёт первого: он читает то, что лежит, и если там прошлое значение — работает с ним.

Договариваться приходится самим

Ячейка не умеет сказать «данные свежие» или «сейчас идёт запись». Всё, что есть, — места и значения; смысл им придаёт уговор между программами, и записан он только в голове автора.

Отсюда простое правило: адреса стоит подписать — комментарием в программе или на бумаге.

Адрес	Что лежит
0	меди на складе
1	сколько ждём
2	флаг: нужен подвоз

Скрытая ошибка

Читатель может успеть между двумя записями. Если первый процессор кладёт три числа подряд, второй способен прочитать их в тот момент, когда записаны только два. Данные окажутся полусвежими, и заметить это тяжело: ошибка мигает раз в сотню итераций.

Лечится сговором: последним пишется признак готовности, а читатель начинает с него.

write 0 cell1 3
write медь cell1 0
write норма cell1 1
write 1 cell1 3

Что ещё годится общим

• Ячейка — 64 места, размер 1×1: хватает на уговор из нескольких чисел.
• Блок памяти — 512 мест: списки, очереди, таблицы.
• Сам процессор — переменные соседа по именам, без лишнего блока на карте; об этом следующий урок.
• Блок сообщений — только текст и только для человека: программа читать его не умеет.

Обратная сторона: любой процессор, подключённый к ячейке, может в неё писать. Защиты нет, и случайная запись по чужому адресу выглядит как «данные портятся сами».

Запомнить

• Переменные у каждого процессора свои; общее — то, что стоит на карте.
• Ячейка и блок памяти видны всем, кто к ним подключён, и писать в них может каждый.
• Делить работу стоит по скорости: медленное считает один, быстрое берёт готовое.
• Ячейка не знает, что в ней лежит: смысл адресов — уговор между программами.
• Признак готовности пишут последним, а читают первым.

Задание

Поменяйте в верхнем процессоре адрес записи с 0 на 1 и запустите. Надпись станет на складе 0: нижний по-прежнему читает нулевое место, а там теперь ничего не появляется.

Верните адрес и уберите у верхнего процессора строку sensor вовсе. Надпись станет на складе null: писать он продолжит на каждой итерации, только писать будет пустоту — переменной медь теперь неоткуда взяться.