Path Sensitive Cache Analysis Using Cache Miss Paths

Cache analysis plays a very important role in obtaining precise Worst Case Execution Time (WCET) estimates of programs for real-time systems. While Abstract Interpretation based approaches are almost universally used for cache analysis, they fail to take advantage of its unique requirement: it is not necessary to find the guaranteed cache behavior that holds across all executions of a program. We only need the cache behavior along one particular program path, which is the path with the maximum execution time. In this work, we introduce the concept of cache miss paths, which allows us to use the worst-case path information to improve the precision of AI-based cache analysis. We use Abstract Interpretation to determine the cache miss paths, and then integrate them in the IPET formulation. An added advantage is that this further allows us to use infeasible path information for cache analysis. Experimentally, our approach gives more precise WCETs as compared to AI-based cache analysis, and we also provide techniques to trade-off analysis time with precision to provide scalability.

In the elephant's seed shadow: the prospects of domestic bovids as replacement dispersers of three tropical Asian trees

As populations of the world's largest animal species decline, it is unclear how ecosystems will react to their local extirpation. Due to the unique ecological characteristics of megaherbivores such as elephants, seed dispersal is one ecosystem process that may be affected as populations of large animals are decimated. In typically disturbed South Asian ecosystems, domestic bovids (cattle, Bos primigenius, and buffalo, Bubalus bubalis) may often be the species most available to replace Asian elephants (Elephas maximus) as endozoochorous dispersers of large-fruited mammal-dispersed species. We use feeding trials, germination trials, and movement data from the tropical moist forests of Buxa Tiger Reserve (India) to examine whether domestic bovids are viable replacements for elephants in the dispersal of three largefruited species: Dillenia indica, Artocarpus chaplasha, and Careya arborea. We find that (1) once consumed, seeds are between 2.5 (C. arborea) and 26.5 (D. indica) times more likely to pass undigested into elephant dung than domestic bovid dung; and (2) seeds from elephant dung germinated as well as or better than seeds taken from bovid dung for all plant species, with D. indica seeds from elephant dung 1.5 times more likely to germinate. Furthermore, since wild elephants have less constrained movements than even free-roaming domestic bovids, we calculate that maximum dispersal by elephants is between 9.5 and 11.2 times farther than that of domestic bovids, with about 20% of elephant-dispersed seeds being moved farther than the maximum distance seeds are moved by bovids. Our findings suggest that, while bovids are able to disperse substantial numbers of seeds over moderate distances for two of the three study species, domestic bovids will be unable to routinely emulate the reliable, long-distance dispersal of seeds executed by elephants in this tropical moist forest. Thus while domestic bovids can attenuate the effects of losing elephants as dispersers, they may not be able to prevent the decline of various mammal-dispersed fruiting species in the face of overhunting, habitat fragmentation, and climate change.

Bi-Modal DRAM Cache: Improving Hit Rate, Hit Latency and Bandwidth

In this paper, we present Bi-Modal Cache - a flexible stacked DRAM cache organization which simultaneously achieves several objectives: (i) improved cache hit ratio, (ii) moving the tag storage overhead to DRAM, (iii) lower cache hit latency than tags-in-SRAM, and (iv) reduction in off-chip bandwidth wastage. The Bi-Modal Cache addresses the miss rate versus off-chip bandwidth dilemma by organizing the data in a bi-modal fashion - blocks with high spatial locality are organized as large blocks and those with little spatial locality as small blocks. By adaptively selecting the right granularity of storage for individual blocks at run-time, the proposed DRAM cache organization is able to make judicious use of the available DRAM cache capacity as well as reduce the off-chip memory bandwidth consumption. The Bi-Modal Cache improves cache hit latency despite moving the metadata to DRAM by means of a small SRAM based Way Locator. Further by leveraging the tremendous internal bandwidth and capacity that stacked DRAM organizations provide, the Bi-Modal Cache enables efficient concurrent accesses to tags and data to reduce hit time. Through detailed simulations, we demonstrate that the Bi-Modal Cache achieves overall performance improvement (in terms of Average Normalized Turnaround Time (ANTT)) of 10.8%, 13.8% and 14.0% in 4-core, 8-core and 16-core workloads respectively.

Of plants and pikas: evidence for a climate-mediated decline in forage and cache quality

Background: Animals that hoard food to mediate seasonal deficits in resource availability might be particularly vulnerable to climate-mediated reductions in the quality and accessibility of food during the caching season. Central-place foragers might be additionally impacted by climatic constraints on their already restricted foraging range. Aims: We sought evidence for these patterns in a study of the American pika (Ochotona princeps), a territorial, central-place forager sensitive to climate. Methods: Pika food caches and available forage were re-sampled using historical methods at two long-term study sites, to quantify changes over two decades. Taxa that changed in availability or use were analysed for primary and secondary metabolites. Results: Both sites trended towards warmer summers, and snowmelt trended earlier at the lower latitude site. Graminoid cover increased at each site, and caching trends appeared to reflect available forage rather than primary metabolites. Pikas at the lower latitude site preferred species higher in secondary metabolites, known to provide higher-nutrient winter forage. However, caching of lower-nutrient graminoids increased in proportion with graminoid availability at that site. Conclusions: If our results represent trends in climate, cache quality and available forage, we predict that pikas at the lower latitude site will soon face nutritional deficiencies.

The effect of replacement of soyabean meal with blood meal on the growth of mudfish Clarias anguillaris (L) fingerlings

Blood meal and full fat soyabean meal were mixed in different proportions to give 0%, 10%, 25%, 50%, 75%, 90% and 100% meal in the protein fraction of the diet and fed to Claria anguillaris fingerlings in floating hapas. The growth performance of the fingerlings were monitored for 84 days. At the end of the experiment the mean weight of the fingerlings increased in the level of blood meal up to 50% blood meal in the diet after which there was a decline in the mean weight of the fish. This same level of blood meal gave the best specific growth rate, feed conversion efficiency and protein efficiency ratio. Thus the nutritive value of blood meal was enhanced by the addition of an equal level of full fat soyabean meal in the diet

Engineered underdominance as a method of insect population replacement and reproductive isolation

Insect vector-borne diseases, such as malaria and dengue fever (both spread by mosquito vectors), continue to significantly impact health worldwide, despite the efforts put forth to eradicate them. Suppression strategies utilizing genetically modified disease-refractory insects have surfaced as an attractive means of disease control, and progress has been made on engineering disease-resistant insect vectors. However, laboratory-engineered disease refractory genes would probably not spread in the wild, and would most likely need to be linked to a gene drive system in order to proliferate in native insect populations. Underdominant systems like translocations and engineered underdominance have been proposed as potential mechanisms for spreading disease refractory genes. Not only do these threshold-dependent systems have certain advantages over other potential gene drive mechanisms, such as localization of gene drive and removability, extreme engineered underdominance can also be used to bring about reproductive isolation, which may be of interest in controlling the spread of GMO crops. Proof-of-principle establishment of such drive mechanisms in a well-understood and studied insect, such as Drosophila melanogaster, is essential before more applied systems can be developed for the less characterized vector species of interest, such as mosquitoes. This work details the development of several distinct types of engineered underdominance and of translocations in Drosophila, including ones capable of bringing about reproductive isolation and population replacement, as a proof of concept study that can inform efforts to construct such systems in insect disease vectors.

Partial replacement of fishmeal protein by soybean meal protein in the diet of mrigal, Cirrhinus cirrhosus (Ham.) fry

To find out a suitable balance diet for Cirrhinus. cirrhosus fry substituting fish meal protein by full-fat soybean meal protein as dietary protein source for C. cirrhosus fry (1.29g) was studied in 12 aquaria for 60 days. The fishes were fed with four iso-nitrogenous (30% protein) and iso-caloric experimental diets viz. diet 1 (100% fish meal protein), diet 2 (75% fishmeal protein and 25% soybean meal protein), diet 3 (50% fishmeal protein and 50% soybean meal protein) and diet 4 (25% fish meal protein and 75% soybean meal protein). Among the diets the best growth, FCR and PER were obtained with diet 3 fed fishes and no significant difference (p<0.05) was observed between diet 1 and 2 and diet 4 offered the worst performance. Therefore, considering fish growth, FCR and PER, it can be suggested that fish meal protein might be replaced 50% by soybean meal protein in the diet of C. cirrhosus fry for better growth.

Effect of adrenalectomy and corticosterone replacement on prepulse inhibition and locomotor activity in mice

1 Stress is a risk factor in psychiatric illnesses such as schizophrenia. The aim of the present study was to investigate the effect of different circulating levels of the adrenal steroid corticosterone (CORT) on locomotor hyperactivity and prepulse inhibition of acoustic startle, two behavioural animal models of aspects of schizophrenia. 2 Male C57BL/6J mice (n = 10 per group) were anaesthetised with isoflurane and sham-operated or adrenalectomised (ADX). ADX mice were implanted with 50 mg pellets consisting of 100% cholesterol, or 2, 10 or 50 mg of CORT mixed with cholesterol. CORT pellet implantation dose dependently increased plasma CORT levels 3 weeks after surgery. Starting 1 week after surgery, mice were tested for prepulse inhibition after injection of saline or 5 mg kg(-1) of haloperidol. 3 In intact mice and in mice implanted with 10 mg of CORT, haloperidol treatment significantly increased prepulse inhibition (average values from 38 - 42 to 52%). Similar results were observed when testing the mice for amphetamine-induced locomotor hyperactivity (5 mg kg(-1)). In contrast, there was no significant effect of haloperidol in mice implanted either with cholesterol or 2 or 50 mg of CORT. 4 These results in behavioural animal models of schizophrenia suggest an important role of the stress hormone CORT in modulating dopaminergic activity in this illness.