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

В развитие механизмов, направленных на достижение предельной производительности процессоров, анализируется новый подход к формированию и организации опережающей выборки данных (А-процесса) в быструю локальную память процессора. Подход базируется на принципе конвейеризации А-процесса “сверху”, по результатам анализа программ на стандартных языках высокого уровня (ЯВУ), а также на принципе “интеллектуализации” А-процесса – на рациональном наделении его функциями обработки части выбираемых данных; эти принципы реализуются в результате формализованного анализа и преобразования ЯВУ-программ (А-анализа). А-процессы, формируемые на основе А-анализа, обеспечивают существенное сокращение (на десятки процентов) времени обработки данных в центральном процессоре.