Differences

This shows you the differences between two versions of the page.

--- dev:crosscompiler:linker32 [2015/04/18 07:57] – [Create System Table] ursgraf
+++ dev:crosscompiler:linker32 [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Linker32 ======
-The linker32 is written for 32 bit platforms. The linker performs various tasks like:
-  * Place code in the memory
-  * Create type descriptors and constant blocks
-  * Create system table
-  * Create target image
-===== Initialization =====
-As a first step the linker must be initialized with the method //init()//. What happens is:
-  * Determine size of //java/lang/Object// and add this size to string header
-  * Search segments for the system table
-  * Delete previous target image
-===== Create Constant Block =====
-Each class has a constant block. Certain interfaces need a reduced constant block and arrays just need a type descriptor, see [[.:type_descriptor|Type Descriptor]]. The constant block holds information about the class, which is constant:
-  * Header (base, size, ...)
-  * Global pointer list
-  * Type descriptor
-  * String pool
-  * Constant pool
-  * Checksum
-[{{ .:constblock.png?450&direct | Structure of the constant pool for a class }}]\\
-The //const pool// contains values of type //float// and //double// which are not placed directly into the code. After all elements are added the //constBlockSize// can be determined and the indices (''Item.index'') of all elements will be fixed. It's important to note that all elements, which are addresses (''AddressItem'', ''ConstantBlockItem'', ...), simply contain a reference to the according item. Only later, after address fixing, can the real addresses be inserted!\\
-When the system ist starting up, the [[..:rts:start|Runtime System]] reads the start addresses of the constant block for all classes from the //System Table// (see below). With the predefined offset //cblkClinitAddrOffset// the address of the class constructor can be fetched in order to load a class. With another offset the heap manager can read the global references of this class. This information is used by the garbage collection. //codeBase// holds the start address of code of a class whereas //codeSize// is the size of the code. Methods, which are defined in the configuration as system methods and which are assigned a fixed offset are excluded from //codeSize// (Exception Handlers).
-In the compiler the constant block is modeled as linked list of ''ch.ntb.inf.deep.linker.ConstBlkEntry''. Depending on the type of entry one of the following classes is used.
-  * **''AddressEntry''**: For entries representing an address.
-  * **''ConstantEntry''**: For entries representing a constant (StdConstant).
-  * **''FixedValueEntry''**: For entries representing a fixed value (e.g. a size).
-  * **''InterfaceEntry''**: For entries representing an interface entry (id and offset).
-  * **''StringEntry''**: For entries representing a constant string (StringLiteral).
-  * **''OffsetEntry''**: For entries representing an offset to the table with all instance references.
-==== Type Descriptor ====
-The structure and purpose of the [[Type Descriptor]] is described separately.
-==== String pool ====
-The string pool holds the constant strings of a class. They are stored as follows (also see [[strings|Strings]]:
-  [ tag                ]
-  [ stringClassAddress ]
-  [ Object             ]
-  [ nofChars           ]
-  [ chars              ]
-  [ ⋮                  ]
-The characters of the string are stored in 2-Byte-Unicode.
-==== Constant Pool ====
-The constant pool holds the constants of a class. Currently we only store there floating point numbers (//float// and //double//). Integer numbers are packed into the instructions directly (even //long//). Floating point numbers are stored in IEEE 754 format, the high word of a 64 bit //double// is at the lower address (bid endian).
-**Example:**
-  [40490FDB] 3.1415927 (float)
-  [401921FB] 6.283185307179586 (double)
-  [54442D18]
-===== Calculate Size and Offsets =====
-[{{  .:linker_code_methods.png?350px&direct|Machine Code: Size and Offsets}}]
-Before the memory map can be fixed, a couple sizes and offsets must be calculated for each class:
-  * ''void calculateCodeSizeAndOffsets(Class)'': This methods determines the size of the machine code of the whole class and sets the field //offset// of each method of this class. //offset// is the byte offset of the machine code of a method in the memory starting from the start address of the code of this class. If a method offset is given by the configuration (e.g. exception handlers), then this method is not included in the culculation of the code size. The offset given by the configuration is not relative to the base of a class but to the base of the appropriate segment.
-  * ''void calculateGlobalConstantTableSize()'': This method calculates the size of the global constant table.
-===== Create System Table =====
-The linker assembles a system table for the whole system. This table must be loaded to a prefixed address in the target system and holds information for the [[..:rts:start|Runtime System]]. Various settings must be handled:
-  - The system runs from the flash
-  - The system runs from the RAM.
-  - The base system is in the flash. Further classes are later loaded into the RAM. This case needs two system tables. The flash holds a system table which contains only classes which are present in the flash. The system table in the RAM must hold all classes. IMPORTANT This feature is not implemented yet IMPORTANT
-In the compiler the system table is modeled as list. as elements it uses the same blocks as for the constant block. Additionally ''SysTabEntry'' is used to reference the constant block of a class.
-The structure of the system table is:
-[{{ .:systemtable.png?450&direct |//Structure of the system table// }}]
-First, the class constructor of the class kernel must be found. For this, the class name of the kernel is fetched from the configuration and the method //<clinit>// is searched. Then, the table can be built. The offset to the addresses with the constant blocks is placed at the beginning. Heap and stack information is added. For each class the address of the constant block must be entered. The table ends with the value 0.
-The references to the constant blocks are assembled as follows. First come the classes with class constructors. These classes are already sorted in correct order as described in [[class_initialization|Initialization]]. Classes without initialization follow afterwards. Arrays and interfaces have no constant block and are not listed. The exception to this rule are interfaces with class constructor, see [[.:interfaces|Interfaces]].
-===== Fix Memory Map =====
-[{{  .:linker_code.png?350px&direct|Fixing the memory map}}]
-In this step the code is placed in the memory, as well as the class variables and the constants. First, each class is assigned a memory segment for the code (''Class.codeSegment''), class variables (''Class.varSegment'') and constants (''Class.constSegment''). Which segments to use can be read from the configuration. The linker traverses the possible segments and choses a suitable one. While doing this, the used space of each segment is stored (''Segment.usedSize'') and the appropriate offsets are set (''Class.codeOffset'', ''Class.varOffset'' and ''Class.constOffset''). Arrays and interfaces must be handled as well. Further, the size of the segment for the system table has to be set and also the size of the segment for the global constant table.
-Now, the base address of each used segment can be determined. \\
-IMPORTANT System methods with offsets given by the configuration must be placed in their appropriate segments. This leads to holes. Such holes could be eliminated by a more efficient allocation, which is currently not done.
-===== Calculate Absolute Addresses =====
-First, the addresses of static fields are fixed. For this the linker traverses the list ''Class.classFields'' and sets ''Item.address''. This address has only to be set for non-constant fields. Next, the addresses of methods are set. Here again, methods which are placed at absolute position by the configuration must be handled separately. Third, addresses of the constants in the constant pool and strings in the string pool can be fixed. To conclude, the address of the class itself (''Class.address'') will be set to the field //size// in the type descriptor.
-===== Refresh Constant Block =====
-After calculating absolute addresses the constant block has to be refreshed.  ''void updateConstantBlock(Class)'' fixes the base address of the code (//codeBase//). After this the base address of the class variables (''varBase'') and their size (''varSize'') is written. As a last step the size of an object of this class (field //size//) in the type descriptor is written.
-===== Create Global Constant Table =====
-This table holds constants which do not belong to a specific class. To give an example: Certain constants are needed to convert an //int// to a //float//.
-===== Create Target Image =====
-Finally, the target image is put together. For each method of each class and for each constant block (one for each class, array or interface) a target segment is created and inserted into a list.

deep

User Tools

Site Tools

Differences

Page Tools