Cтраница 2
Серьезной проблемой в этом смысле является обеспечение гарантии того, что два ( или более) процесса не осуществят одновременно модификацию разделяемых данных. По мнению автора разработчик языка программирования должен по крайней мере предоставить в распоряжение программиста средства, позволяющие решать вышеназванную проблему. [16]
Операции также бывают встроенными и задаваемыми. Встроенные операции определены разработчиками языка программирования и имеются в нем изначально. [17]
Эта книга должна быть полезна всем, кого интересует производство надежного программного обеспечения. Наибольшую пользу из нее смогут извлечь те, кто непосредственно связан с этим процессом: программисты, аналитики, персонал групп тестирования, руководители отделов программирования и обработки данных. Разработчиков языков программирования могут заинтересовать разделы о языках, стиле программирования и архитектуре ЭВМ. Пользователи программного обеспечения, в особенности те, кто отвечает за покупку программных систем или подготовку контрактов на разработку новых систем, познакомятся с идеями надежности и их влиянием на вычислительные системы. [18]
Для такой тревоги есть некоторые основания, но на практике преимущества от участия пользователя значительно перевешивают эти возможные неудобства. Бывает, например, так, что в проектировании операционной системы участвуют люди, сами никогда не использовавшие операционных систем. Есть разработчики языков программирования, никогда не пробовавшие реализовать прикладную систему на языке высокого уровня. Есть разработчики систем управления базами данных, которые никогда не пытались исполь - зовать базу данных в прикладной программе. Это не может не вести к серьезным ошибкам в программном обеспечении. [19]
Большинство языков программирования было разработано, исходя из ориентации на определенную область применения, что, конечно же, не исключает возможности их успешного использования в других областях применения. Знание намерений разработчиков языка программирования и философии, которой придерживались они в процессе создания этого языка программирования, существенно облегчает восприятие и понимание структуры этого языка программирования. [20]
Как уже было сказано выше, авторы глубоко убеждены в том, что структура программ определяется в основном парадигмой программирования, заложенной в соответствующий язык программирования его разработчиками. Поэтому идеальным было бы непосредственное сравнение имеющихся у разработчиков тех или иных языков программирования представлений о том, как должны писаться программы, и, возможно, обсуждение того, до какой степени каждый из сравниваемых языков программирования поддерживает соответствующие представления своих разработчиков. К сожалению, в большинстве случаев сведения о намерениях разработчиков языков программирования очень кратки или вообще отсутствуют. Кроме того, представления разработчиков языков программирования о том, как должны писаться программы, необязательно должны быть явными и облеченными в словесную форму. Понятие ядра языка программирования представляет собой попытку найти способ выражения восстановленных кем-либо намерений разработчиков этого языка программирования. [21]
В первую очередь это, конечно, интерфейс с внешними устройствами. Но даже в этой области необходимо стремиться к более высокому уровню функционального описания. До тех пор, пока это не станет принято повсеместно, разработчикам языков программирования настоятельно рекомендуется включать в языки программирования средства, позволяющие выделять модули, содержащие зависимость от используемых устройств. Такие средства, будучи хорошо спроектированы, устранят до сих пор существующую и широко распространенную практику использования нескольких языков программирования различных уровней в процессе реализации больших программных комплексов. Это очень важный момент, имеющий большое практическое значение, поскольку организация интерфейса между программами, написанными на разных языках программирования ( так же, впрочем, как и организация интерфейса между различными операционными системами), является именно тем местом, где программист будет вынужден спуститься на уровень манипулирования битами, являющимися единственной общей точкой для реализации разных языков программирования. [22]
Автор глубоко убежден, что реальный прогресс не может быть достигнут, пока программисты не научатся ясно различать язык программирования ( его официальное описание) и реализацию этого языка программирования в терминах транслятора с этого языка программирования и используемой ЭВМ. Причем первое должно быть понятно без знания второго. А ожидать того, что программисты научатся ясно различать это, можно лишь в том случае, если разработчики языков программирования будут ставить перед собой такую цель, а те, Кто занимается реализацией языков программирования и созданием документации, не будут препятствовать ее, достижению. [23]
Как уже было сказано выше, авторы глубоко убеждены в том, что структура программ определяется в основном парадигмой программирования, заложенной в соответствующий язык программирования его разработчиками. Поэтому идеальным было бы непосредственное сравнение имеющихся у разработчиков тех или иных языков программирования представлений о том, как должны писаться программы, и, возможно, обсуждение того, до какой степени каждый из сравниваемых языков программирования поддерживает соответствующие представления своих разработчиков. К сожалению, в большинстве случаев сведения о намерениях разработчиков языков программирования очень кратки или вообще отсутствуют. Кроме того, представления разработчиков языков программирования о том, как должны писаться программы, необязательно должны быть явными и облеченными в словесную форму. Понятие ядра языка программирования представляет собой попытку найти способ выражения восстановленных кем-либо намерений разработчиков этого языка программирования. [24]
Авторы убеждены, что при сравнении ядер языков программирования ( и только в этом случае) удается избежать уймы глупых и очень личных аргументов, связанных с указыванием пальцем и личным вкусом. Да, р МОЕМ языке программирования конструкция X в явном виде отсутствует, но то же самое в нем можно сделать с помощью конструкции Y, которая. Хотя такого рода дискуссии могут представлять интерес для некоторых разработчиков языков программирования, они проливают мало света на реальные достоинства каждого из обсуждаемых языков программирования. [25]
Первым критерием, которому должна удовлетворять реализация любого языка программирования, является то, что транслятор с любого языка программирования должен быть абсолютно надежен. Это требование выступает в трех. Во-первых, это требование означает, что для каждой транслируемой транслятором с некоторого языка программирования программы ( написанной на этом языке программирования) будет проверена ее правильность с точки зрения всех без исключения правил этого языка программирования. Это, в свою очередь, означает, что ни одна некорректная программа, написанная на этом языке программирования, не пройдет этап трансляции без выявления ее некорректности. Во-вторых, это требование означает, что любая корректная программа, написанная на этом языке программирования, будет оттранслирована транслятором с него корректно. В-третьих, это требование означает, что не должно существовать таких некорректных программ, написанных на этом языке программирования, которые приводили бы к поломке транслятора с него при их трансляции. Это очень жесткие условия не только для тех, кто занимается созданием трансляторов с языков программирования, но и для разработчиков языков программирования. Поскольку в соответствии с этим требованием трудности одних возрастают по экспоненте в результате определенных действий других. [26]