Java 2 micro edition
Download
1 / 54

Java 2 Micro Edition - PowerPoint PPT Presentation


  • 98 Views
  • Uploaded on

Лаборатория информационных технологий (ИТЛаб). При поддержке фирмы Intel . Java 2 Micro Edition. Проект ТЭЛМА. Жерздев С.В. Технология Java. Технологический цикл обработки Java-программ. Технологический цикл.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Java 2 Micro Edition' - carsyn


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Java 2 micro edition

Лаборатория информационных технологий (ИТЛаб)

При поддержке фирмы Intel

Java 2 Micro Edition

Проект ТЭЛМА

Жерздев С.В.

Технология Java

1 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition

Технологический цикл обработки Java-программ

2 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Технологический цикл Java-программ

  • В случае с Java приложения исполняются не на конкретной аппаратно-программной платформе, а в рамках исполняющей среды. Это обеспечивает платформонезависимость и безопасность Java-приложений, во многом решает вопрос борьбы с ненадежностью приложений. Основные составляющие платформы Java:

    • виртуальная Java машина Java Virtual Machine (JVM);

    • загрузчик классов ;

    • верификатор классов ;

    • менеджер безопасности;

    • Java API.

3 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Виртуальная Java машина Java-программ

  • JVM отвечает за ряд существенных моментов языка java , которые виртуальная машина должна поддерживать:

    • проверка приведения ссылок на различные типы данных;

    • структурированный доступ к памяти (отсутствие указателей);

    • автоматическая "сборка мусора";

    • проверка границ массивов;

    • проверка ссылок по адресу null.

4 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Надежность и безопасность Java-программ

  • Вышеприведенные особенности java значительным образом сказываются на надежности и безопасности языка.

    • надежность кода. Сбои приложений могут негативно сказываться на работе системы в целом. Особенно это актуально для встроенных систем.

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

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

5 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Загрузчик классов Java-программ

  • Загрузчик классов Java играет одну из ведущих ролей в обеспечении безопасности. В виртуальной машине загрузчик классов отвечает за импорт бинарных данных, которые содержат классы и интерфейсы программы.

  • Существует два типа загрузчиков классов: встроенный загрузчик и загрузчик-объект. Первый из них всегда существует в JVM в единственном числе и является частью JVM. Классы, загруженным таким загрузчиком, обычно являются частью Java API и им оказывается особое доверие.

6 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Пользовательский загрузчик Java-программ

  • Загрузчики классов - объекты пишутся на языке java, компилируются в классы и по большому счету являются частью java приложения. Поскольку загрузчики-объекты написаны на Java, то загружать классы можно множеством различных способов: через сеть, из локальных или удаленных баз данных и т.п.

7 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Пространство имен Java-программ

  • Классы могут видеть другие классы только если они загружены одним и тем же загрузчиком или в программе есть строгое указание где и что искать. Таким образов появляется возможность организации нескольких пространств имен в одном Java приложении.

  • Классы загруженные в различные пространства имен не могут взаимодействовать, если это строго не оговорено в приложении. Несомненно, это служит существенным препятствием нарушению безопасности функционирующих Java приложений.

8 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Верификатор классов Java-программ

  • Каждая JVM имеет верификатор классов, который проверяет корректность внутренней структуры загруженного файла. Можно выделить две фазы верификации классов. Первая фаза имеет место сразу, как только файл оказывается загруженным, вторая - во время исполнения кода.

9 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Верификатор классов Java-программ

  • Во время первой фазы верифицируются формат, внутренняя структура файла, некоторые основополагающие правила языка Java, безопасность инструкций для исполнения. Если верификатор классов находит какое-то нарушение, то вырабатывается ошибка и класс никогда не поступает на выполнение. Кроме того, выявляется ряд других возможных ошибок java , которые по идее должен был отследить компилятор.

10 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Верификатор классов Java-программ

  • Вторая фаза является частью процесса динамического связывания. На этом этапе проверяются символьные ссылки, обнаруженные в файле. Динамическое связывание - это процесс замены символьных ссылок на прямые ссылки по адресам:

    • находится класс, на который есть ссылка (если он не загружен, то загружается) ;

    • символьная ссылка замещается прямой ссылкой на класс, переменную или метод.

  • Когда JVM преобразует символьную ссылку, верификатор классов проверяет эту ссылку на корректность.

11 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Менеджер безопасности Java-программ

  • Менеджер безопасности отвечает за безопасность вне JVM. Он определяет права загруженного кода на взаимодействие с внешними объектами. Любая инструкция исполняемого кода прежде чем отправиться на исполнение проверяется менеджером безопасности (если он установлен).

  • Менеджер безопасности - это класс, наследник класса java.lang.SecurityManager. Он написан на Java и потому является легко модифицируемым. Такой подход дает возможность для каждого конкретного приложения создавать собственный менеджер безопасности.

12 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Менеджер безопасности Java-программ

  • Традиционно менеджер безопасности следит за:

    • сетевыми соединениями;

    • модификацией потока (изменением его приоритета и т.п.);

    • созданием нового загрузчика классов;

    • созданием нового процесса;

    • загрузкой динамических библиотек, содержащих машинно-зависимые методы;

    • загрузкой класса из определенного пакета;

    • доступом и модификацией системных установок;

    • чтением и запиью файлов.

13 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition

Структура JVM Java-программ

14 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Структура JVM Java-программ

  • Спецификация описывает абстрактную JVM. В спецификации определен лишь набор правил, которым виртуальная машина должна удовлетворять.

  • Компилированные Java приложения представлены двоичными данными в платформонезависимом формате (class). Этот формат однозначно определяет представление классов и интерфейсов.

  • Корректная JVM должна обеспечивать чтение файлов формата class и выполнение описанных в нем операций.

15 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Структура JVM Java-программ

  • Виртуальная машина в процессе работы поддерживает несколько областей данных различного назначения. Некоторые из них являются общими, создаются при запуске JVM и освобождаются при ее завершении. Другие принадлежат отдельным потокам и имеют соответствующее время жизни.

  • Конкретная реализация распределения областей памяти, алгоритма сбора мусора и оптимизация выполнения инструкций оставлена на усмотрение разработчиков.

16 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Типы данных Java-машины Java-программ

  • Как и язык программирования Java, виртуальная машина поддерживает два вида типов: простые типы и ссылочные типы. Соответственно, два вида значений могут храниться в переменных, передаваться как аргументы, возвращаться методами и быть операндами: простые значения и ссылочные значения.

  • Операции виртуальной машины однозначно определяет типы операндов, над которыми они производятся. Например, iadd и dadd - инструкции виртуальной машины, обеспечивающие сложение для int и double соответственно.

17 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Типы данных Java-машины Java-программ

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

  • Существует три вида ссылочного типа: типы классов, массивов и интерфейсов. Кроме того, ссылочное значение может быть специальной ссылкой null.

18 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Регистры Java-программ

  • Каждый обрабатываемый JVM поток имеет собственный регистр pc (program counter). Этот регистр содержит адрес текущей исполняемой инструкции JVM.

19 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Стеки Java-программ

  • Каждый обрабатываемый JVM поток имеет собственный стек, в котором содержатся фреймы. В стеке размещаются локальные переменные, промежуточные результаты, он применяется при вызове методов.

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

20 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Куча Java-программ

  • Куча виртуальной машины разделяется между всеми исполняемыми потоками. Куча является областью данных для размещения экземпляров классов и массивов. Куча создается при запуске виртуальной машины.

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

21 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Область методов Java-программ

  • Область методов используется виртуальной машиной для хранения исполняемого кода. Она содержит для каждого класса приложений соответствующие структуры, такие как набор констант, данные полей, код методов и конструкторов.

  • Область методов создается при запуске виртуальной машины. Она может быть реализована на базе динамического или фиксированного блока памяти. Непрерывности адресного пространства не требуется.

22 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Набор констант Java-программ

  • Область набора констант (Runtime Constant Pool) содержит доступное во время исполнения представление констант класса или интерфейса. Каждая область набора констант содержится в соответствующей части области методов.

23 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Native method stacks
Native Method Stacks Java-программ

  • Реализация виртуальной машины может использовать стеки обычного вида для поддержки методов, написанных на других языках. Кроме того, такой стек может использоваться самой виртуальной машиной в процессе интерпретации инструкций.

  • Если такие стеки реализуются, то они, как правило, создаются для каждого потока.

24 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Фреймы Java-программ

  • Фреймы применяются для хранения данных, динамического связывания, возврата значений из методов и обработки исключений.

  • Новый фрейм создается при каждом вызове метода и уничтожается при его завершении (нормальном или с возбуждением исключения).

  • Каждый фрейм содержит набор локальных переменных, стек операндов и ссылку на набор констант того класса, чей метод был вызван. В зависимости от реализации JVM фрейм может быть содержать дополнительную информацию, используемую, например, для отладки.

25 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Фреймы Java-программ

  • Фреймы размещаются в стеке соответствующего потока. Размеры набора локальных переменных и стека операндов определяются на этапе компиляции и размещаются с кодом самого метода. Таким образом, вся необходимая память может быть выделена непосредственно при вызове метода.

  • В каждый момент времени для данного потока активным является только один фрейм. Этот фрейм называется текущим, ему соответствует текущий метод. Класс, в котором определен текущий метод, называется текущим классом.

26 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Локальные переменные Java-программ

  • Локальные переменные адресуются своими индексами и образуют массив. Каждая локальная переменная может иметь тип boolean, byte, char, short, int, float, reference или returnAddress. Последовательная пара локальных переменных используется для хранения значений типов long и double.

  • Локальные переменные, переданные как параметры при вызове метода, имеют индексы, начиная с 0. Для не статических методов локальная переменная 0 всегда содержит ссылку на объект, чей метод был вызван.

27 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Стек операндов Java-программ

  • Стек операндов пуст при создании фрейма. JVM поддерживает операции загрузки констант, значений локальных переменных и полей в стек операндов. Другие инструкции JVM извлекают операнды из стека, обрабатывают их и помещают результат обратно в стек.

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

28 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Динамическое связывание Java-программ

  • Для поддержки динамического связывания кода метода каждый фрейм содержит ссылку на область констант для соответствующего класса. Код в файле класса содержит указание на вызываемые методы и используемые переменные в виде символических ссылок. Динамическое связывание переводит эти символические ссылки в реальные, загружает необходимые классы и привязывает обращения к переменным к соответствующим смещениям в областях хранения данных.

29 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition

Система команд Java-машины Java-программ

30 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Система команд Java-машины Java-программ

  • Инструкции виртуальной машины Java состоят из однобайтового кода операции и следующих за ним нуля или более операндов. Количество и размер операндов однозначно определяются кодом операции. Операнды, превышающие один байт, записываются со старших байт.

  • Для большинства типизированных инструкций тип представляется буквой в мнемокоде операции: i (int), l (long), s (short), b (byte), c (char), f (float), d (double), a (reference). Исключение составляют операции, специфические для определенного типа (работа с массивами, передача управления).

31 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Инструкции загрузки и сохранения

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

    • Загрузить локальную переменную в стек операндов: iload, iload_<n>, lload, lload_<n>, fload, fload_<n>, dload, dload_<n>, aload, aload_<n>.

    • Сохранить значение из стека операндов в локальной переменной: istore, istore_<n>, lstore, lstore_<n>, fstore, fstore_<n>, dstore, dstore_<n>, astore, astore_<n>.

    • Загрузить константу в стек операндов: bipush, sipush, ldc, ldc_w, ldc2_w, aconst_null, iconst_m1, iconst_<i>, lconst_<l>, fconst_<f>, dconst_<d>.

32 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Арифметические инструкции сохранения

  • Арифметические инструкции вычисляют результат операции над элементами стека операндов и помещают его в стек операндов. Все целочисленные операции манипулируют значениями типа int.

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

33 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Арифметические инструкции сохранения

  • Сложение: iadd, ladd, fadd, dadd.

  • Вычитание: isub, lsub, fsub, dsub.

  • Умножение: imul, lmul, fmul, dmul.

  • Деление: idiv, ldiv, fdiv, ddiv.

  • Остаток: irem, lrem, frem, drem.

  • Инвертирование знака: ineg, lneg, fneg, dneg.

  • Сдвиг: ishl, ishr, iushr, lshl, lshr, lushr.

  • Побитовое OR: ior, lor.

  • Побитовое AND: iand, land.

  • Побитовое исключающее OR: ixor, lxor.

  • Инкремент локальной переменной: iinc.

  • Сравнение: dcmpg, dcmpl, fcmpg, fcmpl, lcmp.

34 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Инструкции приведения типа сохранения

  • Расширяющее преобразование типа:

    • int к long, float, или double (i2l, i2f, i2d)

    • long к float или double (l2f, l2d)

    • float к double (f2d)

  • Сужающее преобразование типа:

    • int к byte, short, или char (i2b, i2c, i2s)

    • long к int (l2i)

    • float к int или long (f2i, f2l)

    • double к int, long, или float (d2i, d2l, d2f)

  • Сужающее преобразование целых типов сохраняет младшие биты, отбрасывая старшие.

35 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Инструкции приведения типа сохранения

  • Приведение вещественных к целому выполняется следующим образом:

    • NaN переходит в- целочисленный 0.

    • вещественное значение округляется до целого. В случае выхода за границы диапазона используется максимальное или минимальное значение соответствующего целого типа.

  • Преобразование double к float выполняется в соответствии со стандартом IEEE 754. При переполнении снизу происходит замена нулем со знаком, при переполнении свеху - бесконечностью со знаком. NaN всегда переходит в NaN.

36 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Поддержка объектов сохранения

  • Экземпляры класса, и массивы являются объектами.

    • Создать новый экземпляр класса: new.

    • Создать массив: newarray, anewarray, multianewarray.

    • Доступ к полям: getfield, putfield, getstatic, putstatic.

    • Загрузить компонент массива в стек операндов: baload, caload, saload, iaload, laload, faload, daload, aaload.

    • Сохранить значение из стека операндов в элементе массива: bastore, castore, sastore, iastore, lastore, fastore, dastore, aastore.

    • Получить длину массива: arraylength.

    • Проверить свойства объекта: instanceof, checkcast.

37 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Операции над стеком операндов сохранения

  • Непосредственные операции над стеком операндов обеспечивают инструкции: pop, pop2, dup, dup2, dup_x1, dup2_x1, dup_x2, dup2_x2, swap.

38 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Управление выполнением сохранения

  • Управление потоком выполнения инструкций и обработка исключений осуществляется с помощью операций:

    • Условного перехода: ifeq, iflt, ifle, ifne, ifgt, ifge, ifnull, ifnonnull, if_icmpeq, if_icmpne, if_icmplt, if_icmpgt, if_icmple, if_icmpge, if_acmpeq, if_acmpne.

    • Компактного условного перехода: tableswitch, lookupswitch.

    • Безусловного перехода: goto, goto_w, jsr, jsr_w, ret.

  • Сравнение значений типов boolean, byte, char, short осуществляются приведением типов. Результат сравнения значений long, float, double реализуется набором инструкций.

39 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Вызов методов и возврат значений сохранения

  • Существует четыре операции вызова метода:

    • invokevirtual вызывает реализацию метода объекта

    • invokeinterface вызывает метод интерфейса, осуществляя поиск реализации по типу объекта

    • invokespecial вызывает метод, требующий специальной обработки - метод инициализации экземпляра, метод private, или метод суперкласса

    • invokestatic вызывает метод класса (static)

  • Операции возврата управления зависят от типа возвращаемого значения и включают ireturn, lreturn, freturn, dreturn, areturn. Иструкция return осуществляет возврат без передачи значения.

40 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Возбуждение исключений сохранения

  • Исключение возбуждается с помощью инструкции athrow.

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

41 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Особенности реализации сохранения

  • Некоторые из классов не могут быть реализованы без взаимодействия с виртуальной машиной:

    • Загрузка и создание классов и интерфейсов (класс ClassLoader)

    • Связывание и инициализация классов и интерфейсов (класс ClassLoader)

    • Безопасность, классы из java.security и класс SecurityManager.

    • Многопоточность, класс Thread

42 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Особенности реализации сохранения

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

    • Интерпретирующие виртуальные машины, преобразующие Java код в инструкции другой виртуальной машины.

    • Виртуальные машины, преобразующие Java код в машинные коды в процессе загрузки или выполнения - just-in-time (JIT) code generation.

43 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition

Создание, инициализация, поддержка и уничтожение объектов

44 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Создание и инициализация объектов

  • Виртуальная машина Java динамически загружает, связывает и инициализирует классы и интерфейсы.

  • Загрузка - процесс поиска двоичного представления класса или интерфейса по его имени и создание этого класса или интерфейса по его представлению.

  • Связывание - процесс комбинирования класса или интерфейса с текущим состоянием виртуальной машины для последующего исполнения.

  • Инициализация класса или интерфейса состоит в вызове его метода инициализации.

45 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Запуск виртуальной машины объектов

  • Виртуальная машина Java начинает работу с создания и инициализации классов, которые являются зависимыми от реализации, с помощью первичного загрузчика классов (bootstrap class loader).

  • Затем виртуальная машина связывает и инициализирует исходный класс, и вызывает его метод main(). Вызов этого метода определяет все последующее выполнение. В зависимости от реализации, исходный класс может быть указан различными способами или быть фиксированным для данной виртуальной машины.

46 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Создание и загрузка объектов

  • Создание класса или интерфейса С с именем N состоит в формировании внутреннего представления С в области методов виртуальной машины.

  • Если С не является массивом, он создается путем загрузки двоичного представления С. Массивы не имеют внешнего двоичного представления.

47 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Создание и загрузка объектов

  • Существует два типа загрузчиков классов: определенные пользователем и первичный, поддерживаемый виртуальной машиной.

  • Каждый пользовательский загрузчик является экземпляром подкласса абстрактоного класса ClassLoader. Приложения реализуют загрузчики классов, чтобы расширить набор способов, которыми виртуальная машина может загружать и создавать классы. Класс может быть загружен по сети, из пользовательских исходных файлов, сформирован в процессе выполнения или извлечен из зашифрованного файла.

48 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Создание и загрузка объектов

  • Загрузчик классов L может создать С непосредственно или поручить это другому загрузчику. Во время исполнения класс определяется не своим именем, а парой из его полного имени и его загрузчика <N, L>.

  • Массивы создаются непосредственно виртуальной машиной, но загрузчик класса используется при создании классов массивов.

49 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Связывание объектов

  • Связывание класса или интерфейса включает проверку и подготовку самого класса или интерфейса, его непосредственного суперкласса, его непосредственных суперинтерфейсов и типов его элементов (если это массивы). Разрешение символических ссылок класса или интерфейса является необязательной частью процесса связывания.

50 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Проверка объектов

  • Представление класса или интерфейса проверяется, чтобы убедится в корректности структуры его двоичного представления. Проверка может вызвать дополнительные загрузки классов или интерфейсов, но не вызывает их проверки или подготовки.

  • Любая попытка инициализации класса должна предваряться его проверкой.

51 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Подготовка объектов

  • Подготовка включает создание статических полей класса или интерфейса инициализация их значениями по умолчанию. Подготовка не выполняет никакого кода Java за исключением статических блоков.

52 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Разрешение объектов

  • Процесс динамического определения конкретных значений символических ссылок называется разрешением.

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

  • Выполнение инструкций anewarray, checkcast, getfield, getstatic, instanceof, invokeinterface, invokespecial, invokestatic, invokevirtual, multianewarray, new, putfield, putstatic требует разрешения символических ссылок.

53 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.


Java 2 micro edition
Инициализация объектов

  • Инициализация класса или интерфейса состоит из вызовов статических блоков инициализации, определенных в этом классе и выполняется только в результате:

    • Выполнения любой из операций виртуальной машины (new, getstatic, putstatic, invokestatic), которые ссылаются на класс или интерфейс. При этом класс инициализируется, только если он еще не инициализирован.

    • Инициализации одного из его подклассов.

    • Если класс определен как начальный при запуске JVM.

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

54 (с) ИТЛаб, ННГУ, ВМК, 2003г Java 2 Micro EditionЖерздев С.В.