According to the safety -critical java specification, priority ceiling emulation is a requirement for implementations, as it has preferable properties, such as avoiding priority inversion and being deadlock free on un...
详细信息
ISBN:
(纸本)9781479987818
According to the safety -critical java specification, priority ceiling emulation is a requirement for implementations, as it has preferable properties, such as avoiding priority inversion and being deadlock free on uni-core systems. In this paper we explore our hardware supported implementation of priority ceiling emulation on the multicore java optimized processor, and compare it to the existing hardware locks on the java optimized processor. We find that the additional overhead for priority ceiling emulation on a multicore processor is several times higher than simpler, non-premplive locks, mainly due to slow access to shared memory. We also find that PCE is mostly viable with large critical sections.
In java programs, access modifiers are used to control the accessibility of fields and methods from other objects. Choosing appropriate access modifiers is one of the key factors to improve program quality and to redu...
详细信息
ISBN:
(纸本)9781479984695
In java programs, access modifiers are used to control the accessibility of fields and methods from other objects. Choosing appropriate access modifiers is one of the key factors to improve program quality and to reduce potential vulnerability. In our previous work, we presented a static analysis method named Accessibility Excessiveness (AE) detection for each field and method in java program. We have also developed an AE analysis tool named ModiChecker that analyzes each field and method of the input java programs, and reports their excessiveness. In this paper, we have applied ModiChecker to several OSS repositories to investigate the evolution of AE over versions, and identified transition of AE status and the difference in the amount of AE change between major version releases and minor ones. Also we propose when to evaluate source code with AE analysis.
Debugging sessions require a methodical process of finding causes and reducing the number of software problems. During such sessions, developers run a software project, traversing method invocations, setting breakpoin...
详细信息
ISBN:
(纸本)9781467375269
Debugging sessions require a methodical process of finding causes and reducing the number of software problems. During such sessions, developers run a software project, traversing method invocations, setting breakpoints, stopping or restarting executions. In these sessions, developers explore different parts of the code and create knowledge about them. When debugging sessions are over, it is likely that such knowledge is lost, and developers cannot use it in other sessions or sharing it with collaborators. We have developed Swarm Debugging, a new approach for visualizing and sharing information obtained during debugging sessions, providing interactive and real-time visualization techniques, and several searching tools. Through usage scenarios, we demonstrate that it can aid developers to decrease the required time for deciding where to toggle a breakpoint and locate bug causes. We show how Swarm Debugging offers more useful support for many typical development tasks than a traditional debugger tool.
Recent advancements in the field of e-learning and virtual learning have changed the face of education. An important part of learning process is evaluation of student learning through examinations. This paper suggests...
详细信息
Today, any application that requires processing information gathered from the Web will likely require a parallel processing approach to be able to scale. While writing such applications, the developer should be able t...
详细信息
Today, any application that requires processing information gathered from the Web will likely require a parallel processing approach to be able to scale. While writing such applications, the developer should be able to exploit several types of parallelism paradigms in a natural way. Most of the available development tools are focused on just one of these parallelism types, e.g. the data parallelism, stream processing, etc. In this paper, we introduce ProcessFast, a java framework for the development of concurrent/distributed applications, designed to allow the developer to integrate both stream/task parallelism and data parallelism in the same application and to seamlessly combine solutions to sub-problems where each solution exploits a specific programming model.
The ubiquitously-installed java Runtime Environment (JRE) provides a complex, flexible set of mechanisms that support the execution of untrusted code inside a secure sandbox. However, many recent exploits have success...
详细信息
The paper deals with the description of a software tool to be used for aircraft preliminary design and optimization. The software tool, called ADOpT (Aircraft Design and Optimization Tool) has been developed in order ...
详细信息
The exception handling policy of a system comprises the set of design rules that specify its exception handling behavior (how exceptions should be handled and thrown). Such policy is usually undocumented and implicitl...
详细信息
ISBN:
(纸本)1891706373
The exception handling policy of a system comprises the set of design rules that specify its exception handling behavior (how exceptions should be handled and thrown). Such policy is usually undocumented and implicitly defined by the system architect. For this reason, developers may think that by just including catch-blocks in the code they can deal with exception conditions. This lack of information may turn the exception handling into a generalized "goto" mechanism making the program more complex and less reliable. This work proposes a domain-specific language called ECL (Exception Contract language) to specify the exception handling policy and a runtime monitoring tool which dynamically checks this policy. The monitoring tool is implemented in the form of an aspect library, which can be added to any java system without the need to change the application source code. We applied this approach to a large-scale web-based system and to a set of versions of the well-known JUnit framework. The results indicate that this approach can be used to express and to automatically check the exception handling policy of a system, and consequently support the development of more robust java systems.
Research has proved that there is a high correlation between high class attendance and academic performance. Learning is a progressive activity which builds upon those of the previous day(s). Reading material and work...
详细信息
This paper describes the SDMLib solution to the java Refactoring case for TTC2015 [2]. SDMLib provides a mechanism for generating an abstraction model of a provided java program. In addition, SDMLib provides code gene...
详细信息
暂无评论