Execution History Guided Instruction Prefetching

The increasing gap in performance between processors and main memory has made effective instructions prefetching techniques more important than ever. A major deficiency of existing prefetching methods is that most of them require an extra port to I-cache. A recent study by Rivers et al. [19] shows that this factor alone explains why most modern microprocessors do not use such hardware-based I-cache prefetch schemes. The contribution of this paper is two-fold. First, we present a method that does not require an extra port to I-cache. Second, the performance improvement for our method is greater than the best competing method BHGP [23] even disregarding the improvement from not having an extra port. The three key features of our method that prevent the above deficiencies are as follows. First, late prefetching is prevented by correlating misses to dynamically preceding instructions. For example, if the I-cache miss latency is 12 cycles, then the instruction that was fetched 12 cycles prior to the miss is used as the prefetch trigger. Second, the miss history table is kept to a reasonable size by grouping contiguous cache misses together and associated them with one preceding instruction, and therefore, one table entry. Third, the extra I-cache port is avoided through efficient prefetch filtering methods. Experiments show that for our benchmarks, chosen for their poor I-cache performance, an average improvement of 9.2% in runtime is achieved versus the BHGP methods [23], while the hardware cost is also reduced. The improvement will be greater if the runtime impact of avoiding an extra port is considered. When compared to the original machine without prefetching, our method improves performance by about 35% for our benchmarks.     

An Innovative Approach to Tissue Processing and Cell Sorting of Fixed Cells for Subsequent Single-Cell RNA Sequencing

Although single-cell RNA sequencing (scRNA-seq) is currently the gold standard for the analysis of cell-specific expression profiles, the options for processing, staining, and preserving fresh cells remain very limited. Immediate and correct tissue processing is a critical determinant of scRNA-seq success. One major limitation is the restricted compatibility of fixation approaches, which must not destabilize or alter antibody labeling or RNA content or interfere with cell integrity. An additional limitation is the availability of expensive, high-demand cell-sorting equipment to exclude debris and dead or unwanted cells before proceeding with sample sequencing. The goal of this study was to develop a method that allows cells to be fixed and stored prior to FACS sorting for scRNA-seq without compromising the quality of the results. Finally, the challenge of preserving as many living cells as possible during tissue processing is another crucial issue addressed in this study. Our study focused on pancreatic ductal adenocarcinoma samples, where the number of live cells is rather limited, as in many other tumor tissues. Harsh tissue dissociation methods and sample preparation for analysis can negatively affect cell viability. Using the murine pancreatic cancer model Pan02, we evaluated the semi-automated mechanical/enzymatic digestion of solid tumors by gentleMACS Dissociator and compared it with mechanical dissociation of the same tissue. Moreover, we investigated a type of cell fixation that is successful in preserving cell RNA integrity yet compatible with FACS and subsequent scRNA-sequencing. Our protocol allows tissue to be dissociated and stained in one day and proceeds to cell sorting and scRNA-seq later, which is a great advantage for processing clinical patient material.     

Formal methods for verification and validation of partial specifications: A case study

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety-critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for IV&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product, that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.     

Citywide: Supporting Interactive Digital Experiences Across Physical Space

The Citywide project is exploring ways in which technology can provide people with rich and engaging digital experiences as they move through physical space, including historical experiences, performances and games. This paper describes some initial results and experiences with this project based upon two prototype demonstrators. In the first, we describe an application in which a search party explores an archaeological site, uncovering enacted scenes within the virtual world that are of a historical relevance to their particular physical location. In the second, we describe a museum experience where participants explore an outdoors location, hunting for buried virtual artifacts that they then bring back to a museum for a more detailed study. Our demonstrators employ a varied set of devices, including mobile wireless interfaces for locating hotspots of virtual activity when outdoors, to give different experiences of the virtual world depending upon location, task, available equipment and accuracy of tracking. We conclude by discussing some of the potential advantages of using an underlying shared virtual world to support interactive experiences across extended physical settings.     

Elucidation of structural difference in theaflavins for modulation of starch digestion

The relationship between structure and activity of theaflavins against human pancreatic α-Amylase was investigated by in vitro and in silico methods. The IC₅₀ and total energy value showed that inhibitory effects followed the order: theaflavin-3, 3’-di-O-gallate > theaflavin-3’-O-gallate > theaflavin-3-O-gallate > theaflavin. Inhibitory activity was depended on hydroxyl groups and galloyl moieties of theaflavins to interact with the catalytic residues of the active site of α-Amylase by hydrogen bonds and π–π (aromatic–aromatic) interactions. The galloylated theaflavin has higher binding affinity with α-Amylase than non-galloylated theaflavin. The study showed that theaflavins might act as natural enzyme inhibitors with potential health benefits, which provide a foundation for designing novel functional food for effective controlling of starch digestion and postprandial glucose levels.     

Sandwich enzyme-linked immunosorbent assay (ELISA) for detection of cashew nut in foods

The presence of undeclared cashew can pose a health risk to cashew-allergic consumers. The food industry has the responsibility to declare the presence of cashews on packaged foods even when trace residues are or might be present. The objective of this study was to develop a rapid, sensitive, and specific enzyme-linked immunosorbent assay (ELISA) for the detection of cashew residues. Raw and roasted cashews were defatted and used separately to immunize sheep, goats, and rabbits. The cashew ELISA was developed using sheep and rabbit polyclonal anti-roasted cashew sera as capture and detector reagents, respectively, with visualization through an alkaline phosphatase-mediated substrate reaction. The cashew ELISA was shown to have a limit of quantification of 1 ppm (1 μg cashew/g). The ELISA was highly specific except that substantial cross-reactivity was noted with pistachio and a lesser degree of cross-reactivity was noted with hazelnut. The performance of the ELISA was assessed by manufacturing cookies, ice cream, and milk chocolate with added known amounts (0 to 1000 ppm) of cashew. The mean percent recoveries for ice cream, cookies, and milk chocolate were 118%± 2.9%, 84.3%± 4.0%, and 104%± 3.0%, respectively. In a limited retail survey, 4/5 retail samples with cashew declared on ingredient labels tested positive for cashew compared to 5/36 samples of foods with precautionary labels indicating the possible presence of one or more tree nuts and 0/18 samples without cashew declared on the label in any manner. The cashew ELISA can be used to detect undeclared cashew residue in foods and as a potential tool for the food industry to assess the effectiveness of allergen control strategies and to guarantee compliance with food labeling regulatory requirements.     

Effect of coupled dissolution and redox reactions on Cr(VI)aq attenuation during transport in the sediments under hyperalkaline conditions

Aluminum-rich, hyperalkaline (pH > 13.5) and saline high-level nuclear waste (HLW) fluids at elevated temperatures (>50 degrees C), that possibly contained as much as 0.41 mol L(-1) Cr(VI), accidentally leaked to the sediments at the Hanford Site, WA. These extreme conditions promote base-induced dissolution of soil minerals which may affect Cr(VI)aq mobility. Our objective was to investigate Cr(VI)aq transport in sediments leached with HLW simulants at 50 degrees C, under CO2 and O2 free conditions. Results demonstrated that Cr(VI)aq fate was closely related to dissolution, and Cr(VI)aq mass loss was negligible in the first pore volumes but increased significantly thereafter. Similar to dissolution, Cr(VI)aq attenuation increased with increasing fluid residence time and NaOH concentration but decreased with Al concentrations in the leaching solutions. Aqueous Cr(VI) removal rate half-lives varied from 1.2 to 230 h with the fastest at the highest base concentration, lowest Al concentration, greatest reaction time, and lowest Cr(VI) concentration in the leaching solution. The rate of Cr(VI) removal (normalized to 1 kg of solution) varied from 0.83 x 10(-9) (+/-0.44 x 10(-9)) to 9.16 x 10(-9) (+/-1.10 x 10(-9)) mol s(-1). The predominant mechanism responsible for removing Cr(VI) from the aqueous phase appears to be homogeneous Cr(VI) reduction to Cr(III) by Fe(II) released during mineral dissolution. Cr(VI)aq removal was time-limited probably because it was controlled by the rate of Fe(II) release into the soil solution upon mineral dissolution, which was also a time-limited process, and other processes that may act to lower Fe(II)aq activity.     

控制器局域网(CAN)的原理及其实施

CAN总线(控制器局域网)是适用于多数以CAN与ISO 11898作为物理层的理想的高级工业协议。其成本、性能及可升级性都为系统设计提供了极大的灵活性;LIN总线(局域互联网络)是一种低成本的新型串行通信系统,适用于汽车中的分布式电子控制系统,完善了现有的各种汽车多路网络。从本期开始,我们将精选部分有关CAN／LIN的技术文章,连续刊登在“CAN／LIN专栏”中,供广大读者参考。