Transactional memory is a new trend in concurrency control that was boosted by the advent of multi-core processors and the near to come many-core processors. It promises the performance of finer grain with the simplicity of coarse grain threading. However, there is a clear absence of software development tools oriented to the transactional memory programming model, which is confirmed by the very small number of related scientific works published until now. This paper describes ongoing work. We propose a very low overhead monitoring framework, developed specifically for monitoring TM computations, that collects the transactional events into a single log file, sorted in a global order. This framework is then used by a visualization tool to display different types of charts from two categories: statistical charts and thread-time space diagrams. These last diagrams are interactive, allowing to identify conflicting transactions. We use the visualization tool to analyse the behavior of two different, but similar, testing applications, illustrating how it can be used to better understand the behavior of these transactional memory applications.

Software Transactional Memory is a concurrency control technique gaining increasing popularity, as it provides high-level concurrency control constructs and eases the development of highly multi-threaded applications. But this easiness comes at the expense of restricting the operations that can be executed within a memory transaction, and operations such as terminal and file I/O are either not allowed or incur in serious performance penalties. Database I/O is another example of operations that usually are not allowed within a memory transaction. This paper proposes to combine memory and database transactions in a single unified model, benefiting from the ACID properties of the database transactions and from the speed of main memory data processing. The new unified model covers, without differentiating, both memory and database operations. Thus, the users are allowed to freely intertwine memory and database accesses within the same transaction, knowing that the memory and database contents will always remain consistent and that the transaction will atomically abort or commit the operations in both memory and database. This approach allows to increase the granularity of the in-memory atomic actions and hence, simplifies the reasoning about them.

n/a

n/a

n/a

In order to enhance infrared light absorption in sub-bandgap transitions in an intermediate band solar cell, the scattered near-field potential from uncoated and coated metallic nanoparticles with a spheroidal shape is calculated with the electrostatic model. The absorption enhancement produced at the surface plasmon frequency of the nanoparticles can be of several orders of magnitude in some cases.

Very high fluence implantation of 7Li+ ions was used to promote the formation of a thin and high density 7Li target in the surface region of Al samples. The implanted volume was characterized by particle induced gamma-ray emission, Rutherford backscattering spectrometry, X-ray photoelectron spectros- copy and nuclear reaction analysis, revealing that the implanted surface is a combination of Li2CO3, metallic lithium, LiOH and C, with almost no Al present. Radiation damage effects by proton beams were studied by observing the evolution of the 7Li(p,a)4He nuclear reaction yield with the accumulated charge, at different proton energies, revealing high stability of the produced Li target.

n/a

Membrane-bound nitrate reductase from Marinobacter hydrocarbonoclasticus 617 can be solubilized in either of two ways that will ultimately determine the presence or absence of the small (I) subunit. The enzyme complex (NarGHI) is composed of three subunits with molecular masses of 130, 65, and 20 kDa. This enzyme contains approximately 14 Fe, 0.8 Mo, and 1.3 molybdopterin guanine dinucleotides per enzyme molecule. Curiously, one heme b and 0.4 heme c per enzyme molecule have been detected. These hemes were potentiometrically characterized by optical spectroscopy at pH 7.6 and two noninteracting species were identified with respective midpoint potentials at E(m) = + 197 mV (heme c) and-4.5 mV (heme b). Variable-temperature (4-120 K) X-band electron paramagnetic resonance (EPR) studies performed on both as-isolated and dithionite-reduced nitrate reductase showed, respectively, an EPR signal characteristic of a {[}3Fe-4S](+) cluster and overlapping signals associated with at least three types of {[}4Fe-4S](+) centers. EPR of the as-isolated enzyme shows two distinct pH-dependent Mo(V) signals with hyperfine coupling to a solvent-exchangeable proton. These signals, called ``lowpH'' and ``high-pH,'' changed to a pH-independent Mo(V) signal upon nitrate or nitrite addition. Nitrate addition to dithionite-reduced samples at pH 6 and 7.6 yields some of the EPR signals described above and a new rhombic signal that has no hyperfine structure. The relationship between the distinct EPR-active Mo(V) species and their plausible structures is discussed on the basis of the structural information available to date for closely related membrane-bound nitrate reductases.

Adenylate kinase (AK) mediates the reversible transfer of phosphate groups between the adenylate nucleotides and contributes to the maintenance of their constant cellular level, necessary for energy metabolism and nucleic acid synthesis. The AK were purified from crude extracts of two sulfate-reducing bacteria (SRB), Desulfovibrio (D.) gigas NCIB 9332 and Desulfovibrio desulfuricans ATCC 27774, and biochemically and spectroscopically characterised in the native and fully cobalt- or zinc-substituted forms. These are the first reported adenylate kinases that bind either zinc or cobalt and are related to the subgroup of metal-containing AK found, in most cases, in Gram-positive bacteria. The electronic absorption spectrum is consistent with tetrahedral coordinated cobalt, predominantly via sulfur ligands, and is supported by EPR. The involvement of three cysteines in cobalt or zinc coordination was confirmed by chemical methods. Extended X-ray absorption fine structure (EXAFS) indicate that cobalt or zinc are bound by three cysteine residues and one histidine in the metal-binding site of the ``LID{''} domain. The sequence (129)Cys-X(5)-His-X(15)-Cys-X(2)-Cys of the AK from D. gigas is involved in metal coordination and represents a new type of binding motif that differs from other known zinc-binding sites of AK. Cobalt and zinc play a structural role in stabilizing the LID domain. (C) 2008 Elsevier Inc. All rights reserved.

This work reports for the first time a resonance Raman study of the mixed-valence and fully reduced forms of Paracoccus pantotrophus bacterial cytochrome c peroxidase. The spectra of the active mixed-valence enzyme show changes in the structure of the ferric peroxidatic heme compared to the fully oxidized enzyme; these differences are observed upon reduction of the electron-transferring heme and upon full occupancy of the calcium site. For the mixed-valence form in the absence of Ca2+, the peroxidatic heme is six-coordinate and low-spin on the basis of the frequencies of the structure-sensitive Raman lines: the enzyme is inactive. With added Ca2+, the peroxidatic heme is five-coordinate high-spin and active. The calcium-dependent spectral differences indicate little change in the conformation of the ferrous electron-transferring heme, but substantial changes in the conformation of the ferric peroxidatic heme. Structural changes associated with Ca2+ binding are indicated by spectral differences in the structure-sensitive marker lines, the out-of-plane low-frequency macrocyclic modes, and the vibrations associated with the heme substituents of that heme. The Ca2+-dependent appearance of a strong gamma(15) saddling-symmetry mode for the mixed-valence form is consistent with a strong saddling deformation in the active peroxidatic heme, a feature seen in the Raman spectra of other peroxidases. For the fully reduced form in the presence of Ca2+, the resonance Raman spectra show that the peroxidatic heme remains high-spin.

n/a

n/a

n/a

n/a

n/a

n/a

n/a

Software transactional memory (STM) is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to memory (RAM) locations. In this paper we propose a new classification for the active states of a transaction; a new memory quiescing algorithm, to allow the safe transition of a memory block form transactional to non-transactional space; we compare word and object transactional grain units; and evaluate the cost of consistent state validation, arguing that this cost can be minimized by performing partial validation on problematic code regions.