Types and associated type families for hardware simulation and synthesis

In this article we overview the design and implementation of the second generation of Kansas Lava. Driven by the needs and experiences of implementing telemetry decoders and other circuits, we have made a number of improvements to both the external API and the internal representations used. We have retained our dual shallow/deep representation of signals in general, but now have a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals. We introduce these abstractions, as well as our abstractions for reading and writing memory. Internally, we found the need to represent unknown values inside our circuits, so we made aggressive use of associated type families to lift our values to allow unknowns, in a principled and regular way. We discuss this design decision, how it unfortunately complicates the internals of Kansas Lava, and how we mitigate this complexity. Finally, when connecting Kansas Lava to the real world, the standardized idiom of using named input and output ports is provided by Kansas Lava using a new monad, called Fabric. We present the design of this Fabric monad, and illustrate its use in a small but complete example.     

Environmental-aware virtual data center network

Cloud computing services have recently become a ubiquitous service delivery model, covering a wide range of applications from personal file sharing to being an enterprise data warehouse. Building green data center networks providing cloud computing services is an emerging trend in the Information and Communication Technology (ICT) industry, because of Global Warming and the potential GHG emissions resulting from cloud services. As one of the first worldwide initiatives provisioning ICT services entirely based on renewable energy such as solar, wind and hydroelectricity across Canada and around the world, the GreenStar Network (GSN) was developed to dynamically transport user services to be processed in data centers built in proximity to green energy sources, reducing Greenhouse Gas (GHG) emissions of ICT equipments. Regarding the current approach, which focuses mainly in reducing energy consumption at the micro-level through energy efficiency improvements, the overall energy consumption will eventually increase due to the growing demand from new services and users, resulting in an increase in GHG emissions. Based on the cooperation between Mantychore FP7 and the GSN, our approach is, therefore, much broader and more appropriate because it focuses on GHG emission reductions at the macro-level. This article presents some outcomes of our implementation of such a network model, which spans multiple green nodes in Canada, Europe and the USA. The network provides cloud computing services based on dynamic provision of network slices through relocation of virtual data centers.     

Vectorized garbage collection

Garbage collection can be done in vector mode on supercomputers like the CRAY-2 and the Cyber 205. Both copying collection and mark-and-sweep can be expressed as breadth-first searches in which the queue can be processed in parallel. We have designed a copying garbage collector whose inner loop works entirely in vector mode. We give performance measurements of the algorithm as implemented for Lisp CONS cells on the Cyber 205. Vector-mode garbage collection performs up to nine times faster than scalar-mode collection-a worthwhile improvement.Supported in part by NSF Grants DCR-8603543 and CCR-8806121, and by a Digital Equipment Corp. Faculty Incentive Grant.Supported by the NSF Research Experiences for Undergraduates program.     

Randomized function evaluation on a ring

LetR be a unidirectional asynchronous ring ofn identical processors each with a single input bit. Letf be any cyclic nonconstant function ofn boolean variables. Moran and Warmuth (1986) prove that anydeterministic algorithm that evaluatesf onR has communication complexity (n logn) bits. They also construct a family of cyclic nonconstant boolean functions that can be evaluated inO(n logn) bits by a deterministic algorithm.This contrasts with the following new results:

NMR studies of a D2 single crystal in the ordered phase

We report the first experimental study of the NMR lineshape anisotropy in the orientationally ordered cubic phase of a D₂ single crystal. The para-D₂ concentration covered the range 0.72<X<0.82. The observed line shapes were obtained by means of Fourier transform techniques from the solid echoes recorded with a pulsed NMR spectrometer operating at 5.9 MHz. Theoretical line shapes and their second moments forp-D₂ (with angular momentumJ=1 and spinI=1) and foro-D₂ (withJ=0, I=2) were calculated as a function of the applied field direction from the theory by A. B. Harris. Good agreement was obtained for all directions, provided that, just as for solid H₂, a Gaussian function for the distribution of molecular axial alignment was assumed with an rms spreading angle of 6 deg forX=0.77. No change in the anisotropy of the second moment in the disordered phase was detected between the initial (hcp) crystal and after repeated thermal cyclings through the martensitic transition. This result implies no change in the orientation of the plane for the sliding nets during repeated passages through the transition. Furthermore, we report measurements of the longitudinal relaxation time for bothp-D₂ ando-H₂ versusT over the temperature range 0.5<T<3.5 K. The complex behavior reported previously for both H₂ and D₂ was confirmed. Measurements of the relaxation times as a function of the applied field direction in the ordered phase at 1.2 K showed no anisotropy within experimental error, and this result is discussed in the light of predictions by Hardy and Berlinsky. Finally, the polarization of theJ=0 molecules is studied as a function of the concentrationX of theJ=1 molecules and their state of orientational order over a wide range ofX andT in the ordered and disordered states. The results are compared with predictions of A. B. Harris and with previous data on polycrystalline samples.     

Thermal transport properties and size effects in very dilute superfluid mixtures of3He in4He

The effective thermal conductivity _eff has been measured for 1.6 K for mixtures with 10^–6–2. Both _eff and the derived impurity mass diffusion coefficient D_iso show an unexpected dependence on the height h of the fluid layer. A scaled representation of D_iso leads to a purely phenomenological model involving an effective length scale, proportional to X^–1 and temperature independent. The relations so obtained are consistent with the observations as well as with the observed transition curve Q_C(X) to non-linear behavior.     

The dielectric response of doped semiconducting glasses

Measurements are reported of the dielectric properties of two semiconducting glasses of composition SiO₂ · Na₂O with admixtures of Sb_{2O 5} and SnO₂, covering a wide range of temperatures and a range of six decades of frequency 10^–2 to 10⁴ Hz. Both glasses show a gradual evolution of growing low frequency dispersion (LFD) with increasing temperature, with both the real and imaginary components of the complex susceptibility following a power law of the type ^n–1, with n 1 at the lowest frequencies. There are also clear indications of reversible phase transitions taking place which manifest themselves by changes in the spectral shape of the dielectric response.     

Discrete logarithms inGF(p)

Several related algorithms are presented for computing logarithms in fieldsGF(p),p a prime. Heuristic arguments predict a running time of exp((1+o(1)) ) for the initial precomputation phase that is needed for eachp, and much shorter running times for computing individual logarithms once the precomputation is done. The running time of the precomputation is roughly the same as that of the fastest known algorithms for factoring integers of size aboutp. The algorithms use the well known basic scheme of obtaining linear equations for logarithms of small primes and then solving them to obtain a database to be used for the computation of individual logarithms. The novel ingredients are new ways of obtaining linear equations and new methods of solving these linear equations by adaptations of sparse matrix methods from numerical analysis to the case of finite rings. While some of the new logarithm algorithms are adaptations of known integer factorization algorithms, others are new and can be adapted to yield integer factorization algorithms.     

Analysis and tuning of adaptive generalized predictive control

The adaptive Generalized Predictive Controller (Clarke et al., 1987a, b) is capable of controlling plants with variable dead-time, unknown model orders and unstable poles and zeros. This paper shows how the GPC control law can be written in an equivalent general linear transfer function form which simplifies closed-loop (eg. root locus) analysis. Three recommended strategies for selecting the design parameters during the commissioning stage allow the user to adjust the closed-loop speed of response on-line using only a single active tuning parameter. Experimental runs confirm the ability of adaptive GPC to provide a consistent closed-loop response in spite of large process changes.