Performance Evaluation of Two-Shadow Speculative Concurrency Control

Speculative Concurrency Control (SCC) [Best92a] is a new concurrency control approach especially suited for real-time database applications. It relies on the use of redundancy to ensure that serializable schedules are discovered and adopted as early as possible, thus increasing the likelihood of the timely commitment of transactions with strict timing constraints. In [Best92b], SCC-nS, a generic algorithm that characterizes a family of SCC-based algorithms was described, and its correctness established by showing that it only admits serializable histories. In this paper, we evaluate the performance of the Two-Shadow SCC algorithm (SCC-2S), a member of the SCC-nS family, which is notable for its minimal use of redundancy. In particular, we show that SCC-2S (as a representative of SCC-based algorithms) provides significant performance gains over the widely used Optimistic Concurrency Control with Broadcast Commit (OCC-BC), under a variety of operating conditions and workloads.

Speculative Concurrency Control for Real-Time Databases

In this paper, we propose a new class of Concurrency Control Algorithms that is especially suited for real-time database applications. Our approach relies on the use of (potentially) redundant computations to ensure that serializable schedules are found and executed as early as possible, thus, increasing the chances of a timely commitment of transactions with strict timing constraints. Due to its nature, we term our concurrency control algorithms Speculative. The aforementioned description encompasses many algorithms that we call collectively Speculative Concurrency Control (SCC) algorithms. SCC algorithms combine the advantages of both Pessimistic and Optimistic Concurrency Control (PCC and OCC) algorithms, while avoiding their disadvantages. On the one hand, SCC resembles PCC in that conflicts are detected as early as possible, thus making alternative schedules available in a timely fashion in case they are needed. On the other hand, SCC resembles OCC in that it allows conflicting transactions to proceed concurrently, thus avoiding unnecessary delays that may jeopardize their timely commitment.

Timeliness via Speculation for Real-Time Databases

Various concurrency control algorithms differ in the time when conflicts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency Control (PCC and OCC) alternatives represent two extremes. PCC locking protocols detect conflicts as soon as they occur and resolve them using blocking. OCC protocols detect conflicts at transaction commit time and resolve them using rollbacks (restarts). For real-time databases, blockages and rollbacks are hazards that increase the likelihood of transactions missing their deadlines. We propose a Speculative Concurrency Control (SCC) technique that minimizes the impact of blockages and rollbacks. SCC relies on the use of added system resources to speculate on potential serialization orders and to ensure that if such serialization orders materialize, the hazards of blockages and roll-backs are minimized. We present a number of SCC-based algorithms that differ in the level of speculation they introduce, and the amount of system resources (mainly memory) they require. We show the performance gains (in terms of number of satisfied timing constraints) to be expected when a representative SCC algorithm (SCC-2S) is adopted.

Value-cognizant Speculative Concurrency Control

A problem with Speculative Concurrency Control algorithms and other common concurrency control schemes using forward validation is that committing a transaction as soon as it finishes validating, may result in a value loss to the system. Haritsa showed that by making a lower priority transaction wait after it is validated, the number of transactions meeting their deadlines is increased, which may result in a higher value-added to the system. SCC-based protocols can benefit from the introduction of such delays by giving optimistic shadows with high value-added to the system more time to execute and commit instead of being aborted in favor of other validating transactions, whose value-added to the system is lower. In this paper we present and evaluate an extension to SCC algorithms that allows for commit deferments.

Variations in total and differential milk somatic cell counts and plasmin levels and their role in proteolysis and quality of milk and cheese

Increased plasmin and plasminogen levels and elevated somatic cell counts (SCC) and polymorphonuclear leucocyte levels (PMN) were evident in late lactation milk. Compositional changes in these milks were associated with increased SCC. The quality of late lactation milks was related to nutritional status of herds, with milks from herds on a high plane of nutrition having composition and clotting properties similar to, or superior to, early-mid lactation milks. Nutritionally-deficient cows had elevated numbers of polymorphonuclear leucocytes (PMNs) in their milk, elevated plasmin levels and increased overall proteolytic activity. The dominant effect of plasmin on proteolysis in milks of low SCC was established. When present in elevated numbers, somatic cells and PMNs in particular had a more significant influence on the proteolysis of both raw and pasteurised milks than plasmin. PMN protease action on the caseins showed proteolysis products of two specific enzymes, cathepsin B and elastase, which were also shown in high SCC milk. Crude extracts of somatic cells had a high specificity on αs1-casein. Cheeses made from late lactation milks had increased breakdown of αs1-casein, suggestive of the action of somatic cell proteinases, which may be linked to textural defects in cheese. Late lactation cheeses also showed decreased production of small peptides and amino acids, the reason for which is unknown. Plasmin, which is elevated in activity in late lactation milk, accelerated the ripening of Gouda-type cheese, but was not associated with defects of texture or flavour. The retention of somatic cell enzymes in cheese curd was confirmed, and a potential role in production of bitter peptides identified. Cheeses made from milks containing high levels of PMNs had accelerated αs1-casein breakdown relative to cheeses made from low PMN milk of the same total SCC, consistent with the demonstrated action of PMN proteinases. The two types of cheese were determined significantly different by blind triangle testing.

Reformulating time-dependent density functional theory with non-orthogonal localized molecular orbitals.

Time-dependent density functional theory (TDDFT) has broad application in the study of electronic response, excitation and transport. To extend such application to large and complex systems, we develop a reformulation of TDDFT equations in terms of non-orthogonal localized molecular orbitals (NOLMOs). NOLMO is the most localized representation of electronic degrees of freedom and has been used in ground state calculations. In atomic orbital (AO) representation, the sparsity of NOLMO is transferred to the coefficient matrix of molecular orbitals (MOs). Its novel use in TDDFT here leads to a very simple form of time propagation equations which can be solved with linear-scaling effort. We have tested the method for several long-chain saturated and conjugated molecular systems within the self-consistent charge density-functional tight-binding method (SCC-DFTB) and demonstrated its accuracy. This opens up pathways for TDDFT applications to large bio- and nano-systems.

Time-reversal ultrawideband breast imaging: pulse design criteria considering multiple tumors with unknown tissue properties

Pulse design is investigated for time-reversal (TR) imaging as applied to ultrawideband (UWB) breast cancer detection. Earlier it has been shown that a suitably-designed UWB pulse may help to improve imaging performance for a single-tumor breast phantom with predetermined lesion properties. The current work considers the following more general and practical situations: presence of multiple malignancies with unknown tumor size and dielectric properties. Four pulse selection criteria are proposed with each focusing on one of the following aspects: eliminating signal clutter generated by tissue inhomogeneities, canceling mutual interference among tumors, improving image resolution, and suppressing artifacts created by sidelobe of the target response. By applying the proposed criteria, the shape parameters of UWB waveforms with desirable characteristics are identified through search of all the possible pulses. Simulation example using a numerical breast phantom, comprised of two tumors and structured clutter distribution, demonstrates the effectiveness of the proposed approach. Specifically, a tradeoff between the image resolution and signal-to-clutter contrast (SCC) is observed in terms of selection of the excitation waveforms.

Applications of statistical models in proportioning medium strength self-compacting concrete

Self-compacting concrete (SCC) is generally designed with a relatively higher content of finer, which includes cement, and dosage of superplasticizer than the conventional concrete. The design of the current SCC leads to high compressive strength, which is already used in special applications, where the high cost of materials can be tolerated. Using SCC, which eliminates the need for vibration, leads to increased speed of casting and thus reduces labour requirement, energy consumption, construction time, and cost of equipment. In order to obtain and gain maximum benefit from SCC it has to be used for wider applications. The cost of materials will be decreased by reducing the cement content and using a minimum amount of admixtures. This paper reviews statistical models obtained from a factorial design which was carried out to determine the influence of four key parameters on filling ability, passing ability, segregation and compressive strength. These parameters are important for the successful development of medium strength self-compacting concrete (MS-SCC). The parameters considered in the study were the contents of cement and pulverised fuel ash (PFA), water-to-powder ratio (W/P), and dosage of superplasticizer (SP). The responses of the derived statistical models are slump flow, fluidity loss, rheological parameters, Orimet time, V-funnel time, L-box, JRing combined to Orimet, JRing combined to cone, fresh segregation, and compressive strength at 7, 28 and 90 days. The models are valid for mixes made with 0.38 to 0.72 W/P ratio, 60 to 216 kg/m3 of cement content, 183 to 317 kg/m3 of PFA and 0 to 1% of SP, by mass of powder. The utility of such models to optimize concrete mixes to achieve good balance between filling ability, passing ability, segregation, compressive strength, and cost is discussed. Examples highlighting the usefulness of the models are presented using isoresponse surfaces to demonstrate single and coupled effects of mix parameters on slump flow, loss of fluidity, flow resistance, segregation, JRing combined to Orimet, and compressive strength at 7 and 28 days. Cost analysis is carried out to show trade-offs between cost of materials and specified consistency levels and compressive strength at 7 and 28 days that can be used to identify economic mixes. The paper establishes the usefulness of the mathematical models as a tool to facilitate the test protocol required to optimise medium strength SCC.

Filling Ability and Passing Ability of Self-Consolidating Concrete

This paper reviews statistical models obtained from a composite factorial design study, which was carried out to determine the influence of three key parameters of mixture composition on filling ability and passing ability of self-consolidating concrete (SCC). This study was a part of the European project “Testing SCC”- GRD2-2000-30024. The parameters considered in this study were the dosages of water and high-range water-reducing admixture (HRWRA), and the volume of coarse aggregates. The responses of the derived statistical models were slump flow, T50 , T60, V-funnel flow time, Orimet flow time, and blocking ratio (L-box). The retention of these tests was also measured at 30 and 60 minutes after adding the first water. The models are valid for mixtures made with 188 to 208 L/m3 (317 to 350 lb/yd3) of water, 3.8 to 5.8 kg/m3 (570 to 970 mL/100 kg of binder) of HRWRA, and 220 to 360 L/m3 (5.97 to 9.76 ft3/yd3) of coarse aggregates. The utility of such models to optimize concrete mixtures and to achieve a good balance between filling ability and passing ability is discussed. Examples highlighting the usefulness of the models are presented using isoresponse surfaces to demonstrate single and coupled effects of mixture parameters on slump flow, T50 , T60 , V-funnel flow time, Orimet flow time, and blocking ratio. The paper also illustrates the various trade-offs between the mixture parameters on the derived responses that affected the filling and the passing ability.

Prediction of Fresh and Hardened Properties of Self-Consolidating Concrete Using Neurofuzzy Approach

Self-consolidating concrete (SCC) developed in Japan in the late 80s has enabled the construction industry to reduce demand on the resources, improve the work conditions and also reduce the impact on the environment by elimination of the need for compaction. This investigation aimed at exploring the potential use of the neurofuzzy (NF) approach to model the fresh and hardened properties of SCC containing pulverised fuel ash (PFA) as based on experimental data investigated in this paper. Twenty six mixes were made with water-to-binder ratio ranging from 0.38 to 0.72, cement content ranging from 183 to 317 kg/m3 , dosage of PFA ranging from 29 to 261 kg/m3 , and percentage of superplasticizer, by mass of powder, ranging from 0 to 1%. Nine properties of SCC mixes modeled by NF were the slump flow, JRing combined to the Orimet, JRing combined to cone, V-funnel, L-box blocking ratio, segregation ratio, and the compressive strength at 7, 28, and 90 days. These properties characterized the filling ability, the passing ability, the segregation resistance of fresh SCC, and the compressive strength. NF model is constructed by training and testing data using the experimental results obtained in this study. The results of NF models were compared with experimental results and were found to be quite accurate. The proposed NF models offers useful modeling approach of the fresh and hardened properties of SCC containing PFA.

Genetic programming based formulation for fresh and hardened properties of self-compacting concrete containing pulverised fuel ash

Self-compacting concrete (SCC) flows into place and around obstructions under its own weight to fill the formwork completely and self-compact without any segregation and blocking. Elimination of the need for compaction leads to better quality concrete and substantial improvement of working conditions. This investigation aimed to show possible applicability of genetic programming (GP) to model and formulate the fresh and hardened properties of self-compacting concrete (SCC) containing pulverised fuel ash (PFA) based on experimental data. Twenty-six mixes were made with 0.38 to 0.72 water-to-binder ratio (W/B), 183–317 kg/m³ of cement content, 29–261 kg/m³ of PFA, and 0 to 1% of superplasticizer, by mass of powder. Parameters of SCC mixes modelled by genetic programming were the slump flow, JRing combined to the Orimet, JRing combined to cone, and the compressive strength at 7, 28 and 90 days. GP is constructed of training and testing data using the experimental results obtained in this study. The results of genetic programming models are compared with experimental results and are found to be quite accurate. GP has showed a strong potential as a feasible tool for modelling the fresh properties and the compressive strength of SCC containing PFA and produced analytical prediction of these properties as a function as the mix ingredients. Results showed that the GP model thus developed is not only capable of accurately predicting the slump flow, JRing combined to the Orimet, JRing combined to cone, and the compressive strength used in the training process, but it can also effectively predict the above properties for new mixes designed within the practical range with the variation of mix ingredients.

Transport Properties of Self-Consolidating Concrete

The permeability of concrete is influenced by the porosity and the interconnectivity of the pores in the cement paste and the microcracks in concrete, especially in the interface of paste-aggregate. The movements of gases, liquids, and ions through concrete is important because of their interactions with concrete constituents, including pore water, which can alter the integrity of concrete directly and indirectly, leading to the deterioration of structures. This study reports the findings from an investigation carried out to study the effect of the mixture variations on the durability of medium- and high-strength self-consolidating concrete (SCC). The mixture variations studied include the type of mineral admixtures, such as limestone powder (LSP) and pulverized fuel ash (PFA), and viscositymodifying admixtures (VMA) for both medium- and high-strength SCC. Air permeability, water permeability, capillary absorption, and chloride diffusivity were used to assess the durability of SCC mixtures in comparison with normal, vibrated concretes. The results showed that SCC mixtures, for medium- and high-strength grades using PFA followed by LSP, have lower permeability properties compared with normal concretes. SCC made with VMA had a higher sorptivity, air permeability, and water permeability compared with other SCC mixtures, which can be attributed to higher watercement ratio (w/c) and lack of pore filling effect. An in-place migration coefficient was obtained using the in-place ion migration test. This was used to compare the potential diffusivity of different concretes. The results indicated that SCC, for both grades of strength, made with PFA showed much lower diffusivity values in comparison with other mixtures, whereas the SCC mixtures with VMA showed higher diffusivity.

Durability of Self-Compacting Concrete

Because of the different mix design in comparison with traditional concrete and the absence of vibration, different durability characteristics might be expected for self-compacting concrete. The stateof- the-art report, prepared by RILEM Technical Committee TC 205-DSC focuses on the Durability of SCC, by first gathering the available information concerning pore structure, air-void system and transport mechanisms. The available durability results are studied and summarised keeping in mind the fundamental mechanisms and driving forces. All relevant durability issues are considered, like carbonation, chloride penetration, frost resistance, ASR, sulphate attack, thaumasite formation, fire resistance, etc... It is not the intention to give a review on these durability aspects for concrete in general. The aim however is to point at the specifics related to the use of SCC, e.g. due to the addition of a large amount of limestone filler, etc... This paper summarizes the main conclusions of the State-of-the-Art Report.

Casting of Self-Compacting Concrete

Increased productivity and improved working environment have had high priority in the development of concrete construction over the last decade. Development of a material not needing vibration for compaction—i.e. selfcompacting concrete (SCC)—has successfully met the challenge and is now increasingly being used in routine practice. The key to the improvement of fresh concrete performance has been nanoscale tailoring of molecules for surface active admixtures, as well as improved understanding of particle packing and of the role of mineral surfaces in cementitious matrixes. Fundamental studies of rheological behaviour of cementitious particle suspensions were soon expanded to extensive innovation programmes incorporating applied research, site experiments, instrumented full scale applications supporting technology, standards and guides, information efforts as well as training programmes. The major impact of the introduction of SCC is connected to the production process. The choice and handling of constituents are modified as well as mix design, batching, mixing and transporting. The productivity is drastically improved through elimination of vibration compaction and process reorganisation. The working environment is significantly enhanced through avoidance of vibration induced damages, reduced noise and improved safety. Additionally, the technology is improving performance in terms of hardened material properties like surface quality, strength and durability.