Научно-исследовательская работа на кафедре сапр спбгэту «лэти»

Синхронность и булева логика
Синхронность в современных процессорах есть прямое следствие использования исключительно двоичной булевой логики. «Врождённый порок» (согласно В.И. Варшавскому), которым страдает двоичная логика, состоит в том, что она не включает в себя условие завершения выполнения функции; она может существовать, как уже отмечалось, только на фоне соответствующей временной диаграммы, развёртывающей процесс выполнения во времени. Иными словами, булева логика не представляет собой символически законченную логическую систему (symbolically completed), поскольку ей для завершения недостаточно собственного потока логических переменных (в данном случае, «completed» означает «самодостаточная»). Булеву логику делают таковой посредством привлечения внешнего управления.
На этом и построены все современные процессоры. Резюмируя, следует сказать, что двоичная схема не является вполне двоичной, она не может корректно функционировать без управления во времени, осуществляющего синхронизацию (за пределами простейших релейных схем).
Синхронизация не просто некоторое удобство, позволяющее обеспечить правильное срабатывание логической цепи. В этом техническом приёме находит отражение основной принцип организации вычислений – ориентация на обработку чисел, полученных посредством измерения в определённых точках времени.
Следует заметить, что с позиций философии, исследующей свойства науки как одной из форм познания реального, научный подход был разработан по вполне определённому сценарию, сформулированному в трудах Платона и Аристотеля. Эйнштейн, как физик и философ, опираясь, в основном, на теорию множеств Кантора, настаивал на том, что эта форма познания является единственной как для описания, так и для практической работы в реальности. Его главным оппонентом ещё в ту пору были физик Бор и философ Бергсон, которые считали, что содержание реальности не исчерпывается каким-либо одним теоретическим языком.
Бергсон делает вывод, что наука по отношению к природе действует подобно кинематографической съёмке: она дискретизирует время и производит замер или съёмку состояния природы, фиксируя, таким образом, наблюдения. Чтобы воспроизвести движение, съёмка многократно повторяется, но всё равно время преобразуется в последовательность точек, возможно очень густо поставленных.
Этот принцип открывает доступ к использованию счёта, измерению, когда время (это независимая переменная) дискретное, а объекты определяются по своему положению в пространстве (т. е. по величине амплитуды). Этот способ объективизации непосредственно воспроизводится в аппаратуре цепями синхронизации, разбивающими время на последовательные такты. Именно поэтому архитектура современной аппаратуры вычислительной техники – это архитектура формирования состояний и переходов из одного состояния в другое состояние. Бергсон обосновывает другой способ познания движения природных объектов, основанный на непрерывном потоке времени. Он показывает, что движение в широком смысле этого слова (становление, эволюция) реализуется в природе организационными методами и осуществляется в виде последовательности событий, следующих друг за другом, а не состояний. В области эволюции время существует как длительность, играя ключевую роль в становлении и развитии.
В работе идеи Бергсона излагаются применительно к построению аппаратуры организационного плана, ядром которой являются межкомпонентные взаимодействия, согласования совместной работы отдельных подсистем, а не вычисления. Эта аппаратура функционирует в режиме непрерывного изменения входных сигналов, т. е. в режиме асинхронной передачи.