Platform Independent Analysis of Probabilities on Multithreaded Programs

2013 ◽  
Vol 1 (3) ◽  
pp. 48-65
Author(s):  
Yuting Chen
Keyword(s):  
Operating System ◽  
Static Analysis ◽  
Main Idea ◽  
Experimental Results ◽  
Machine To Machine ◽  
Concurrent Program ◽  
Acceptable Accuracy ◽  
Multithreaded Programs ◽  
Independent Analysis ◽  
And Performance

A concurrent program is intuitively associated with probability: the executions of the program can produce nondeterministic execution program paths due to the interleavings of threads, whereas some paths can always be executed more frequently than the others. An exploration of the probabilities on the execution paths is expected to provide engineers or compilers with support in helping, either at coding phase or at compile time, to optimize some hottest paths. However, it is not easy to take a static analysis of the probabilities on a concurrent program in that the scheduling of threads of a concurrent program usually depends on the operating system and hardware (e.g., processor) on which the program is executed, which may be vary from machine to machine. In this paper the authors propose a platform independent approach, called ProbPP, to analyzing probabilities on the execution paths of the multithreaded programs. The main idea of ProbPP is to calculate the probabilities on the basis of two kinds of probabilities: Primitive Dependent Probabilities (PDPs) representing the control dependent probabilities among the program statements and Thread Execution Probabilities (TEPs) representing the probabilities of threads being scheduled to execute. The authors have also conducted two preliminary experiments to evaluate the effectiveness and performance of ProbPP, and the experimental results show that ProbPP can provide engineers with acceptable accuracy.

Effects of openings on the seismic behavior and performance level of concrete shear walls

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin
Keyword(s):  
Static Analysis ◽  
Cross Section ◽  
Seismic Behavior ◽  
Shear Walls ◽  
Shear Wall ◽  
Constant Cross Section ◽  
Added Resistance ◽  
Different Shapes ◽  
And Performance ◽  
Abaqus Software

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.

KylinX

2021 ◽  
Vol 37 (1--4) ◽  
pp. 1-27
Author(s):  
Yiming Zhang ◽  
Chengfei Zhang ◽  
Yaozheng Wang ◽  
Kai Yu ◽  
Guangtao Xue ◽  
...  
Keyword(s):  
Operating System ◽  
Virtual Machine ◽  
Web Server ◽  
Experimental Results ◽  
Similar Performance ◽  
Dynamic Mapping ◽  
Memory Footprint ◽  
Dynamic Library ◽  
High Flexibility

Unikernel specializes a minimalistic LibOS and a target application into a standalone single-purpose virtual machine (VM) running on a hypervisor, which is referred to as (virtual) appliance . Compared to traditional VMs, Unikernel appliances have smaller memory footprint and lower overhead while guaranteeing the same level of isolation. On the downside, Unikernel strips off the process abstraction from its monolithic appliance and thus sacrifices flexibility, efficiency, and applicability. In this article, we examine whether there is a balance embracing the best of both Unikernel appliances (strong isolation) and processes (high flexibility/efficiency). We present KylinX, a dynamic library operating system for simplified and efficient cloud virtualization by providing the pVM (process-like VM) abstraction. A pVM takes the hypervisor as an OS and the Unikernel appliance as a process allowing both page-level and library-level dynamic mapping. At the page level, KylinX supports pVM fork plus a set of API for inter-pVM communication (IpC, which is compatible with conventional UNIX IPC). At the library level, KylinX supports shared libraries to be linked to a Unikernel appliance at runtime. KylinX enforces mapping restrictions against potential threats. We implement a prototype of KylinX by modifying MiniOS and Xen tools. Extensive experimental results show that KylinX achieves similar performance both in micro benchmarks (fork, IpC, library update, etc.) and in applications (Redis, web server, and DNS server) compared to conventional processes, while retaining the strong isolation benefit of VMs/Unikernels.

scholarly journals Microcontroller Based Flexible Modulation Scheme of MLI Operation for Selective Lower Levels: A Knowledge Based Approach

2016 ◽  
Vol 2016 ◽  
pp. 1-11
Author(s):  
R. K. Dhatrak ◽  
R. K. Nema ◽  
D. M. Deshpande
Keyword(s):  
Pulse Generation ◽  
Multilevel Inverter ◽  
Experimental Results ◽  
Modulation Scheme ◽  
Inductive Load ◽  
Medium Voltage ◽  
Knowledge Based ◽  
Common Mode Voltage ◽  
Power Modules ◽  
And Performance

In today’s industrial world multilevel inverter (MLI) got a significant importance in medium voltage application and also a very potential topic for researchers. It is experienced that studying and comparing results of multilevel inverter (MLI) at distinct levels are a costlier and time consuming issue for any researcher if he fabricate different inverters for each level, as designing power modules simultaneously for different level is a cumbersome task. In this paper a flexible quotient has been proposed to recognize possible conversion of available MLI to few lower level inverters by appropriately changing microcontroller programming. This is an attempt to obtain such change in levels through simulation using MATLAB Simulink on inductive load which may also be applied to induction motor. Experimental results of pulse generation using dsPIC33EP256MC202 demonstrate the feasibility of proposed scheme. Proposed flexible quotient successfully demonstrates that a five-level inverter may be operated as three and two levels also. The paper focuses on odd levels only as common mode voltage (CMV) can be reduced to zero and performance of drives is better than even level. Simulated and experimental results are given in paper.

scholarly journals The Impact of Operating System on Bandwidth in Open VPN Technology

2016 ◽  
Vol 13 (1) ◽  
pp. 204-211
Author(s):  
Baghdad Science Journal
Keyword(s):  
Operating System ◽  
Operating Systems ◽  
Data Privacy ◽  
The Internet ◽  
Sensitive Data ◽  
Privacy And Security ◽  
Basic Source ◽  
Basic Functions ◽  
And Performance ◽  
The Impact

The internet is a basic source of information for many specialities and uses. Such information includes sensitive data whose retrieval has been one of the basic functions of the internet. In order to protect the information from falling into the hands of an intruder, a VPN has been established. Through VPN, data privacy and security can be provided. Two main technologies of VPN are to be discussed; IPSec and Open VPN. The complexity of IPSec makes the OpenVPN the best due to the latter’s portability and flexibility to use in many operating systems. In the LAN, VPN can be implemented through Open VPN to establish a double privacy layer(privacy inside privacy). The specific subnet will be used in this paper. The key and certificate will be generated by the server. An authentication and key exchange will be based on standard protocol SSL/TLS. Various operating systems from open source and windows will be used. Each operating system uses a different hardware specification. Tools such as tcpdump and jperf will be used to verify and measure the connectivity and performance. OpenVPN in the LAN is based on the type of operating system, portability and straightforward implementation. The bandwidth which is captured in this experiment is influenced by the operating system rather than the memory and capacity of the hard disk. Relationship and interoperability between each peer and server will be discussed. At the same time privacy for the user in the LAN can be introduced with a minimum specification.

The 3D graph approach for breakdown voltage calculation in BaTiO3 ceramics

2021 ◽  
pp. 2150103
Author(s):  
Vojislav V. Mitic ◽  
Branislav Randjelovic ◽  
Ivana Ilic ◽  
Srdjan Ribar ◽  
An-Lu Chun ◽  
...  
Keyword(s):  
Graph Theory ◽  
Crystal Structures ◽  
Breakdown Voltage ◽  
Main Idea ◽  
Experimental Results ◽  
Grain Structure ◽  
Mathematical Approach ◽  
Electronic Parameters ◽  
Mathematical Graph

After pioneering attempts for the introduction of graph theory in the field of ceramics and microstructures, where 1D and 2D graphs were used, in this paper we applied 3D graphs for the breakdown voltage calculation in BaTiO3 sample with some predefined constraints. We have described the relations between grains in the sample and established a mathematical approach for the calculation of breakdown voltage using experimental results. As a result, we introduced mapping between the property of sample and grain structure, then between the grain structure and mathematical graph, using various crystal structures. The main idea was to apply 3D graph theory for the distribution of electronic parameters between the neighboring grains. With this study, we successfully confirmed the possibilities for applications of graphs as a tool for the determination of properties even at the intergranular level.

Effects of Multi-Robot Team Formations on Distributed Area Coverage

2019 ◽  
pp. 1192-1219
Author(s):  
Prithviraj Dasgupta ◽  
Taylor Whipple ◽  
Ke Cheng
Keyword(s):  
Mobile Robots ◽  
Area Coverage ◽  
Experimental Results ◽  
Wheel Slip ◽  
Robot System ◽  
Multiple Mobile Robots ◽  
Unknown Environment ◽  
Robot Teams ◽  
And Performance ◽  
Multi Robot

This paper examines the problem of distributed coverage of an initially unknown environment using a multi-robot system. Specifically, focus is on a coverage technique for coordinating teams of multiple mobile robots that are deployed and maintained in a certain formation while covering the environment. The technique is analyzed theoretically and experimentally to verify its operation and performance within the Webots robot simulator, as well as on physical robots. Experimental results show that the described coverage technique with robot teams moving in formation can perform comparably with a technique where the robots move individually while covering the environment. The authors also quantify the effect of various parameters of the system, such as the size of the robot teams, the presence of localization, and wheel slip noise, as well as environment related features like the size of the environment and the presence of obstacles and walls on the performance of the area coverage operation.

Extensibility safety and performance in the SPIN operating system

1995 ◽  
Vol 29 (5) ◽  
pp. 267-283 ◽  
Author(s):  
B. N. Bershad ◽  
S. Savage ◽  
P. Pardyak ◽  
E. G. Sirer ◽  
M. E. Fiuczynski ◽  
...  
Keyword(s):  
Operating System ◽  
And Performance

A New Dynamic Protocol Analysis Model

2013 ◽  
Vol 765-767 ◽  
pp. 1761-1765
Author(s):  
Fu Lin Li ◽  
Jie Yang ◽  
Hong Wei Zhou ◽  
Ying Liu
Keyword(s):  
Static Analysis ◽  
Theorem Proving ◽  
Protocol Analysis ◽  
Experimental Results ◽  
Analysis Model ◽  
Formal Validation ◽  
Analysis Methods

Traditional static analysis methods such as formal validation and theorem proving were used to analyze protocols security previously. These methods can not measure and evaluate actual security of protocols accurately for the setting and suppose are far from the actual conditions. This paper proposes a new dynamic protocol analysis model. The system based on the model can be used to active test in actual running conditions, analyze known protocols security, integrity, robustness, and analyze unknown protocols online, provide support for protocol designer. The systems structure, working flow and implementation of key modules are described. The experimental results validate the validity of the models design.

Extensibility safety and performance in the SPIN operating system

1995 ◽  
Author(s):  
B. N. Bershad ◽  
S. Savage ◽  
P. Pardyak ◽  
E. G. Sirer ◽  
M. E. Fiuczynski ◽  
...  
Keyword(s):  
Operating System ◽  
And Performance
Sign in / Sign up

Export Citation Format

Share Document