Transactional Memory (TM) is an approach to concurrency control in general pur- pose programming languages that inherits the concept of transaction from the database setting. Unlike other language constructs such as locks, TM has an optimistic approach to concurrency control by allowing more than one thread to access simultaneously the same critical section. A transaction always executes as if it is alone in the system, and in the end its effects are undone (rolled back) if it conflicts with another concurrent transac- tions. In spite of the potential for increasing scalability and performance, TM is a recent and developing programming model and still has a very limited impact in real-world applications.
Designing and developing concurrent software is difficult and error prone. Concur- rent programs exhibit concurrency anomalies that originate faults and failures. Despite some claims that TM programs are less error prone, they still exhibit concurrency anoma- lies such as high-level dataraces, i.e., wrong delimitations of transactions’ scope, and stale-value errors, that occur when the value of a shared variable jumps from an atomic block to another.
Programs with this kind of anomalies can exhibit unpredictable and wrong behaviour, not fulfilling the goals for which they were conceived.
This work aims the detection of anomalies through static analysis of transactional Java ByteCode programs that execute in strong atomicity. A extensible and flexible framework is proposed, which can be extended with plugins that detect specific types of anomalies. With this framework we expect to prove that high-level dataraces and stale-value errors can be detected with reasonable precision through static analysis.

Keywords: Atomicity Violation, High-Level Datarace, Static Analysis, Concurrency, Software Transactional Memory

n/a

Multiheme cytochromes c are important in electron transfer pathways in reduction of both soluble and insoluble Fe(III) by Geobacter sulfurreducens. We determined the crystal structure at 3.2 Å resolution of the first dodecaheme cytochrome c (GSU1996) along with its N-terminal and C-terminal hexaheme fragments at 2.6 and 2.15 Å resolution, respectively. The macroscopic reduction potentials of the full-length protein and its fragments were measured. The sequence of GSU1996 can be divided into four c7-type domains (A, B, C and D) with homology to triheme cytochromes c7. In cytochromes c7 all three hemes are bis–His coordinated, whereas in c7-type domains the last heme is His–Met coordinated. The full-length GSU1996 has a 12 nm long crescent shaped structure with the 12 hemes arranged along a polypeptide to form a “nanowire” of hemes; it has a modular structure. Surprisingly, while the C-terminal half of the protein consists of two separate c7-type domains (C and D) connected by a small linker, the N-terminal half of the protein has two c7-type domains (A and B) that form one structural unit. This is also observed in the AB fragment. There is an unexpected interaction between the hemes at the interface of domains A and B, which form a heme-pair with nearly parallel stacking of their porphyrin rings. The hemes adjacent to each other throughout the protein are within van der Waals distance which enables efficient electron exchange between them. For the first time, the structural details of c7-type domains from one multiheme protein were compared.

n/a

n/a

Respiratory nitric oxide reductase (NOR) was purified from membrane extract of Pseudomonas (Ps.) nautica cells to homogeneity as judged by polyacrylamide gel electrophoresis. The purified protein is a heterodimer with subunits of molecular masses of 54 and 18 kDa. The gene encoding both subunits was cloned and sequenced. The amino acid sequence shows strong homology with enzymes of the cNOR class. Iron/heme determinations show that one heme c is present in the small subunit (NORC) and that approximately two heme b and one non-heme iron are associated with the large subunit (NORB), in agreement with the available data for enzymes of the cNOR class. Mossbauer characterization of the as-purified, ascorbate-reduced, and dithionite-reduced enzyme confirms the presence of three heme groups (the catalytic heme b(3) and the electron transfer heme b and heme c) and one redox-active non-heme Fe (Fe-B). Consistent with results obtained for other cNORs, heme c and heme b in Ps. nautica cNOR were found to be low-spin while FeB was found to be high-spin. Unexpectedly, as opposed to the presumed high-spin state for heme b(3), the Mossbauer data demonstrate unambiguously that heme b(3) is, in fact, low-spin in both ferric and ferrous states, suggesting that heme b(3) is six-coordinated regardless of its oxidation state. EPR spectroscopic measurements of the as-purified enzyme show resonances at the g similar to 6 and g similar to 2-3 regions very similar to those reported previously for other cNORs. The signals at g = 3.60, 2.99, 2.26, and 1.43 are attributed to the two charge-transfer low-spin ferric heme c and heme b. Previously, resonances at the g similar to 6 region were assigned to a small quantity of uncoupled high-spin Fe-III heme b(3). This assignment is now questionable because heme b(3) is low-spin. On the basis of our spectroscopic data, we argue that the g = 6.34 signal is likely arising from a spin spin coupled binuclear center comprising the low-spin Fe-III heme b(3) and the high-spin Fe-B(III). Activity assays performed under various reducing conditions indicate that heme b(3) has to be reduced for the enzyme to be active. But, from an energetic point of view, the formation of a ferrous heme-NO as an initial reaction intermediate for NO reduction is disfavored because heme [FeNO](7) is a stable product. We suspect that the presence of a sixth ligand in the Fe-II-heme b(3) may weaken its affinity for NO and thus promotes, in the first catalytic step, binding of NO at the Fe-B(II) site. The function of heme b(3) would then be to orient the Fe-B-bound NO molecules for the formation of the N-N bond and to provide reducing equivalents for NO reduction.

The aim of this chapter is to provide an overview of the available and emerging molecular diagnostic methods that take advantage of the unique nanoscale properties of nanoparticles (NPs) to increase the sensitivity, detection capabilities, ease of operation, and portability of the biodetection assemblies. The focus will be on noble metal NPs, especially gold NPs, fluorescent NPs, especially quantum dots, and magnetic NPs, the three main players in the development of probes for biological sensing. The chapter is divided into four sections: a first section covering the unique physicochemical properties of NPs of relevance for their utilization in molecular diagnostics; the second section dedicated to applications of NPs in molecular diagnostics by nucleic acid detection; and the third section with major applications of NPs in the area of immunoassays. Finally, a concluding section highlights the most promising advances in the area and presents future perspectives.

SORs (superoxide reductases) are enzymes involved in bacterial resistance to reactive oxygen species, catalysing the reduction of superoxide anions to hydrogen peroxide. So far three structural classes have been identified. Class I enzymes have two ironcentre-containing domains. Most studies have focused on the catalytic iron site (centre II), yet the role of centre I is poorly understood. The possible roles of this iron site were approached by an integrated study using both classical and fast kinetic measurements, as well as direct electrochemistry. A new heterometallic form of the protein with a zinc-substituted centre I, maintaining the iron active-site centre II, was obtained, resulting in a stable derivative useful for comparison with the native all-iron from. Second-order rate constants for the electron transfer between reduced rubredoxin and the different SOR forms were determined to be 2.8 x 10(7) M(-1) . s(-1) and 1.3 x 10(6) M(-1) . s(-1) for SOR(Fe(IIII)-Fe(II)) and for SOR(Fe(IIII)-Fe(III)) forms respectively, and 3.2 x 10(6) M(-1) s(-1) for the SOR(Zn(II)-Fe(III)) form. The results obtained seem to indicate that centre I transfers electrons from the putative physiological donor rubredoxin to the catalytic active iron site (intramolecular process). In addition, electrochemical results show that conformational changes are associated with the redox state of centre I, which may enable a faster catalytic response towards superoxide anion. The apparent rate constants calculated for the SOR-mediated electron transfer also support this observation.