Linux kernel compaction through cold code swapping

There is a growing trend to use general-purpose operating systems like Linux in embedded systems. Previous research focused on using compaction and specialization techniques to adapt a general-purpose OS to the memory-constrained environment, presented by most, embedded systems. However, there is still room for improvement: it has been shown that even after application of the aforementioned techniques more than 50% of the kernel code remains unexecuted under normal system operation. We introduce a new technique that reduces the Linux kernel code memory footprint, through on-demand code loading of infrequently executed code, for systems that support virtual memory. In this paper, we describe our general approach, and we study code placement algorithms to minimize the performance impact of the code loading. A code, size reduction of 68% is achieved, with a 2.2% execution speedup of the system-mode execution time, for a case study based on the MediaBench II benchmark suite

Inelastic scattering and heating in a molecular spin pump

We consider a model for a spin field-effect molecular transistor, where a directed pure spin current is controlled by an external electric field. Inelastic scattering effects of such molecular device are discussed within a framework of full counting statistics for a multi-level molecular system. We propose that the heating of the molecular junction can be controlled by external electric and magnetic fields. Characteristic features of the model are demonstrated by numerical calculations.Comment: 9 pages, 5 figure

User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Closed form solution for a double quantum well using Gr\"obner basis

Analytical expressions for spectrum, eigenfunctions and dipole matrix elements of a square double quantum well (DQW) are presented for a general case when the potential in different regions of the DQW has different heights and effective masses are different. This was achieved by Gr\"obner basis algorithm which allows to disentangle the resulting coupled polynomials without explicitly solving the transcendental eigenvalue equation.Comment: 4 figures, Mathematica full calculation noteboo

Mycophagous Beetle Females Do Not Behave Competitively During Intrasexual Interactions In Presence Of A Fungal Resource

Intrasexual interactions can determine which individuals within a population have access to limited resources. Despite their potential importance on fitness generally and mating success especially, female–female interactions are not often measured in the same species where male–male interactions are well-defined. In this study, we characterized female–female interactions in Bolitotherus cornutus, a mycophagous beetle species native to Northeastern North America. We used dyadic, behavioral assays to determine whether females perform directly aggressive or indirectly exclusionary competitive behaviors. Polypore shelf fungus, an important food and egg-laying resource for B. cornutus females, is patchily distributed and of variable quality, so we tested for competition over fungus as a resource. Behavior of females was assessed in three sets of dyadic trials with randomly paired female partners. Overall, females did not behave aggressively toward their female partner or perform exclusionary behaviors over the fungal resource. None of the behaviors performed by females were individually repeatable. Two scenarios may explain our lack of observed competition: our trial context may not induce competition, or female B. cornutus simply may not behave competitively in the wild. We compare our results to a similar study on male–male interactions in the same species and propose future studies on female–female interactions under different competitive contexts to expand the understanding of female competition

Evidence of Spin-Filtering in Quantum Constrictions with Spin-Orbit Interaction

A new type of blockade effect - spin-orbit blockade (SOB) - is found in the conduction of a quantum dot (QD) made of a material with spin-orbit interaction. The blockade arises from spin-filtering effect in a quantum point contact (QPC), which is a component of the QD. Hence the appearance of the blockade itself evidences the spin-filtering effect in the QPC. The lower bound of filtering efficiency is estimated to be above 80%.Comment: 4 pages, 4 figure

Coulomb drag between one-dimensional conductors

We have analyzed Coulomb drag between currents of interacting electrons in two parallel one-dimensional conductors of finite length $L$ attached to external reservoirs. For strong coupling, the relative fluctuations of electron density in the conductors acquire energy gap $M$. At energies larger than $\Gamma = const \times v_- \exp (-LM/v_-)/L + \Gamma_{+}$, where $\Gamma_{+}$ is the impurity scattering rate, and for $L>v_-/M$, where $v_-$ is the fluctuation velocity, the gap leads to an ``ideal'' drag with almost equal currents in the conductors. At low energies the drag is suppressed by coherent instanton tunneling, and the zero-temperature transconductance vanishes, indicating the Fermi liquid behavior.Comment: 5 twocolumn pages in RevTex, added 1 eps-Figure and calculation of trans-resistanc

Electron transport in Coulomb- and tunnel-coupled one-dimensional systems

We develop a linear theory of electron transport for a system of two identical quantum wires in a wide range of the wire length L, unifying both the ballistic and diffusive transport regimes. The microscopic model, involving the interaction of electrons with each other and with bulk acoustical phonons allows a reduction of the quantum kinetic equation to a set of coupled equations for the local chemical potentials for forward- and backward-moving electrons in the wires. As an application of the general solution of these equations, we consider different kinds of electrical contacts to the double-wire system and calculate the direct resistance, the transresistance, in the presence of tunneling and Coulomb drag, and the tunneling resistance. If L is smaller than the backscattering length l_P, both the tunneling and the drag lead to a negative transresistance, while in the diffusive regime (L >>l_P) the tunneling opposes the drag and leads to a positive transresistance. If L is smaller than the phase-breaking length, the tunneling leads to interference oscillations of the resistances that are damped exponentially with L.Comment: Text 14 pages in Latex/Revtex format, 4 Postscript figure