The java (TM) programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platform-specific functions, such as the ge...
详细信息
The java (TM) programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platform-specific functions, such as the generation of machine code. We have created reliable assemblers for SPARC (TM), AMD64, IA32 and PowerPC which support all user mode and privileged instructions and with 64 bit mode support for all but the latter. These assemblers are generated as java source code by our extensible assembler framework, which itself is written in the java language. The assembler generator also produces javadoc comments that precisely specify the legal values for each operand. Our design is based on the Klein Assembler System written in Self. Assemblers are generated from a specification, as are table-driven disassemblers and unit tests. The specifications that drive the generators are expressed as javalanguage objects. Thus no extra parsers are needed and developers do not need to learn any new syntax to extend the framework for additional ISAs. Every generated assembler is tested against a preexisting assembler by comparing the output of both. Each instruction's test cases are derived from the cross product of its potential operand values. The majority of tests are positive (i.e., result in a legal instruction encoding). The framework also generates negative tests, which are expected to cause an error detection by an assembler. As with the Klein Assembler,System, we have found bugs in the external assemblers as well as in ISA reference manuals. Our framework generates lens of millions of tests. For symbolic operands, our tests include all applicable predefined constants. For integral operands, the important boundary values, such as the respective minimum, maximum, 0, 1 and -1, are tested. Full testing can take hours to run but gives us a high degree of confidence regarding correctness. (C) 2007 Sun Microsystems Inc. Published by Elsevier B.V. All rights reserved.
As mobile devices and mobile Internet cover large area, the development of mobile learning also got bigger. This article mainly expounds the java mobile learning system under the environment of development and impleme...
详细信息
ISBN:
(纸本)9781509023134
As mobile devices and mobile Internet cover large area, the development of mobile learning also got bigger. This article mainly expounds the java mobile learning system under the environment of development and implementation, combined with domestic and international theory research results, elaborated the development trend of mobile learning and mobile learning system design principle, the image and voice in the process of the mobile learning software development and how to realize the real-time transmission.
暂无评论