Identification of logically related heap regions

This paper introduces a novel technique for identifying logically related sections of the heap such as recursive data structures, objects that are part of the same multi-component structure, and related groups of objects stored in the same collection/array. When combined withthe lifetime properties of these structures, this information can be used to drive a range of program optimizations including pool allocation, object co-location, static deallocation, and region-based garbage collection. The technique outlined in this paper also improves the efficiency of the static analysis by providing a normal form for the abstract models (speeding the convergence of the static analysis). We focus on two techniques for grouping parts of the heap. The first is a technique for precisely identifying recursive data structures in object-oriented programs based on the types declared in the program. The second technique is a novel method for grouping objects that make up the same composite structure and that allows us to partition the objects stored in a collection/array into groups based on a similarity relation. We provide a parametric component in the similarity relation in order to support specific analysis applications (such as a numeric analysis which would need to partition the objects based on numeric properties of the fields). Using the Barnes-Hut benchmark from the JOlden suite we show how these grouping methods can be used to identify various types of logical structures allowing the application of many region-based program optimizations.

Heap analysis in the presence of collection libraries

Memory analysis techniques have become sophisticated enough to model, with a high degree of accuracy, the manipulation of simple memory structures (finite structures, single/double linked lists and trees). However, modern programming languages provide extensive library support including a wide range of generic collection objects that make use of complex internal data structures. While these data structures ensure that the collections are efficient, often these representations cannot be effectively modeled by existing methods (either due to excessive analysis runtime or due to the inability to represent the required information). This paper presents a method to represent collections using an abstraction of their semantics. The construction of the abstract semantics for the collection objects is done in a manner that allows individual elements in the collections to be identified. Our construction also supports iterators over the collections and is able to model the position of the iterators with respect to the elements in the collection. By ordering the contents of the collection based on the iterator position, the model can represent a notion of progress when iteratively manipulating the contents of a collection. These features allow strong updates to the individual elements in the collection as well as strong updates over the collections themselves.

A static heap analysis for shape and connectivity: Unified memory analysis: The base framework

Modeling the evolution of the state of program memory during program execution is critical to many parallehzation techniques. Current memory analysis techniques either provide very accurate information but run prohibitively slowly or produce very conservative results. An approach based on abstract interpretation is presented for analyzing programs at compile time, which can accurately determine many important program properties such as aliasing, logical data structures and shape. These properties are known to be critical for transforming a single threaded program into a versión that can be run on múltiple execution units in parallel. The analysis is shown to be of polynomial complexity in the size of the memory heap. Experimental results for benchmarks in the Jolden suite are given. These results show that in practice the analysis method is efflcient and is capable of accurately determining shape information in programs that créate and manipúlate complex data structures.

Burrows-wheeler transform in secondary memory

Master’s Thesis in Computer Engineering

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Arquitetura doméstica em Bracara Augusta

As escavações realizadas em Braga ao longo das últimas três décadas forneceram dados que permitem analisar neste trabalho a temática da arquitetura doméstica de Bracara Augusta. Durante este período foi reunido um significativo acervo de dados arqueológicos que, apesar de desiguais quanto ao volume e qualidade de informação, possibilitam a caracterização de algumas habitações, ainda que exclusivamente incluídas na categoria de domus, já que o registo arqueológico ainda não forneceu, qualquer outro tipo de estrutura habitacional urbana. Pretende-se contextualizar este tipo de casa, analisando as diferentes partes orgânicas, evidenciando as suas especificidades formais, construtivas e funcionais.

Burkholderia sartisoli sp. nov., isolated from a polycyclic aromatic hydrocarbon-contaminated soil.

A Gram-negative, rod-shaped, aerobic bacterium, designated strain RP007(T), was isolated from a polycyclic aromatic hydrocarbon-contaminated soil in New Zealand. Two additional strains were recovered from a compost heap in Belgium (LMG 18808) and from the rhizosphere of maize in the Netherlands (LMG 24204). The three strains had virtually identical 16S rRNA gene sequences and whole-cell protein profiles, and they were identified as members of the genus Burkholderia, with Burkholderia phenazinium as their closest relative. Strain RP007(T) had a DNA G+C content of 63.5 mol% and could be distinguished from B. phenazinium based on a range of biochemical characteristics. Strain RP007(T) showed levels of DNA-DNA relatedness towards the type strain of B. phenazinium and those of other recognized Burkholderia species of less than 30 %. The results of 16S rRNA gene sequence analysis, DNA-DNA hybridization experiments and physiological and biochemical tests allowed the differentiation of strain RP007(T) from all recognized species of the genus Burkholderia. Strains RP007(T), LMG 18808 and LMG 24204 are therefore considered to represent a single novel species of the genus Burkholderia, for which the name Burkholderia sartisoli sp. nov. is proposed. The type strain is RP007(T) (=LMG 24000(T) =CCUG 53604(T) =ICMP 13529(T)).

Innovative Outstanding Weatherization Assistance News, April 2003. Vol.1, no.2

The 2002-2003 Weatherization Program has just come to an end and we would like to take the time to thank you for an excellent year serving the population of Iowa. As always, it was a pleasure working with each and every one of you. We have recently had a new addition to the weatherization family. A hearty welcome is extended to Mike Creeden, the new Weatherization Coordinator at North Iowa. Agencies were recently sent their HEAP and DOE contracts. Once the HEAP contracts are received by our office and signed by the Administrator, they will be promptly returned for your files. The DOE signature pages will be returned to each agency, once DOE has approved the state plan. In the meantime, should you have any questions, feel free to contact our office. There was a change in this year’s utility contracts; a maximum of twelve bulbs may be replaced per house, at a maximum of $10 per bulb. WAMS in Access 2000 is just about ready for use. Be looking for it’s release soon. Look forward to Pressure Diagnostic and TI- 86 training July 8-9 and 22-23. If you are interested in hosting this training, please contact our office.

Elektroniikka - ja sähköromun (SER) kierrätys

Tässä työssä pyrin tarkastelemaan sähkö- ja elektroniikkaromun kierrätystä erityisesti EU - direktiivin mukaisen tuottajavastuun näkökulmasta. Käytettyjen sähkö- ja elektroniikkalaitteiden vuori kasvaa koko ajan kaikkialla Euroopassa. Euroopan parlamentti hyväksyi joulukuussa 2002 kaksi uutta direktiiviä, joilla pyritään lieventämään sähköromuongelmaa. Parlamentin vaatimusten ansiosta unionin jäsenvaltioiden on taattava, että laitteiden valmistajat maksavat omista tuotteistaan syntyvän sähkö- ja elektroniikkalaitejätteen keräys-, käsittely- ja kierrätyskustannukset. Tämä merkitsee esimerkiksi sitä, että kuluttajat voivat viedä vanhat sähkölaitteensa asuinpaikkansa läheisyydessä sijaitseviin maksuttomiin keräyspisteisiin. Myös kuluttajien on otettava vastuu hankkimistaan tuotteista: sähkö- ja elektroniikkalaitejätteen hävittäminen tavallisen kotitalousjätteen seassa tullaan kieltämään.

Kompostipiireissä opittua : Eloperäiset jätteet kiertoon -hanke

Kompostien käyttöä on kokeiltu ja tutkittu Kainuun ELY-keskuksen Eloperäiset jätteet kiertoon -hankkeessa. Komposteja on hyödynnetty laskettelurinteen ja kaivosteollisuuden sivukiven läjitysalueen maisemoinnissa, pihanurmen ja energiakasvien kasvattamisessa, metsän lannoittamisessa ja maanviljelyssä. Pihanurmen perustamisen ja energiakasvien kasvattamisen kokeiluista on tehty myös erilliset tutkimukset. Tutkimustyöstä on vastannut MTT (Maa- ja elintarviketalouden tutkimuskeskus). Tutkimustieto on sisällytetty tähän julkaisuun. Kompostin käyttökokeissa ja tutkimuksissa on hyödynnetty Kainuun kuntien ja Kainuun jätehuollon kuntayhtymän Eko-Kympin komposteja. Kaikki kompostit ovat aumakompostoinnin tuotoksia. Eko-Kympin komposti on valmistettu biojätteistä. Muut kompostit ovat lähtöisin kunnallisten jätevedenpuhdistamoiden lietteistä. Kajaanin kompostia kutsutaan myös A. & E. Juntunen Oy:n valmistamaksi biomullaksi. Saatujen kokemusten ja tutkimusten mukaan aumakompostoinnilla tuotettu komposti soveltuu näihin erilaisiin käyttömuotoihin, etenkin kun esille tulleita kehittämistoimia toteutetaan. Sivukiven läjitysalueiden maisemoinnissa, maanviljelyssä ja metsän lannoittamisessa komposti ei tarvitse kivennäismaata seosaineeksi. Sivukiven läjitysalueilla ne kompostit, joihin oli sekoitettu hiekkaa, eivät pysyneet paikoillaan. Aines valui sadeveden mukana alas rinteeltä. Pelkkää kompostia käytettäessä kompostimassa pysyi aloillaan. Maanviljelyssä ja metsän lannoittamisessa kivennäismaa on tarpeeton. Lisäksi kompostissa oleva kiviaines kuluttaa ja voi vaurioittaa levityslaitteita. Ravinteet vapautuvat kompostista hitaasti kasvien käyttöön. Kemiallisilla lannoitteilla on nopeampi vaikutus. Kompostit soveltuvat erityisen hyvin ympäristöihin, joissa täydennyslannoitusta ei tarvita tai joissa lannoite on vaikeaa levittää. Tällaisia kohteita ovat esimerkiksi kaivosten sivukiven tai rikastushiekan läjitysalueet tai muut vaikeakulkuiset kohteet. Myös metsien lannoittaminen ja maanviljely ovat Kainuussa kompostien hyödyntämisen osalta alihyödynnettyjä. Pöyry Finland Oy on laatinut Kajaaniin kaavaillulle biologiselle jätteiden käsittelylaitokselle teknistaloudelliset suunnitelmat. Yhtiön tekemissä suunnitelmissa tulee ilmi, että kaikkien Kainuun lietteiden aumakompostointi tuottaisi kompostia 13 000 tonnia vuodessa, kun tukiaine seulotaan erilleen. Mädätys- tai biokaasulaitosvaihtoehdoissa lopputuotteen määrä on edellistä pienempi. Pelkkien Kainuun lietteiden mädättäminen tuottaisi kompostia jälkikompostin seulonnan jälkeen 6 600 tonnia. Viherrakentaminen taajamissa on komposteille Kainuussa yleinen käyttömuoto. Sillä on kasvun edellytyksiä etenkin, kun kompostin laatuun panostetaan. Viherrakentaminen Kajaanin seudulla riittäisi kuluttamaan kaiken Kainuussa muodostuvan kompostin, kun kompostimullan kulutuksena pidetään 0,5 tonnia asukasta kohden vuodessa. Tämä vastaa Kajaanin seudulla 27 000 tonnin kompostimäärää. Kompostin muodostumismäärä ei tulevaisuudessa tule olemaan lähellä tätä laskennallista multamenekkiä. Kompostin huono menekki johtuu joidenkin kuntien osalta pikemminkin huonosta kompostin laadusta kuin markkinoiden kyllästymisestä. Tilanne on korjaantumassa suunnitteilla olevan biologisen jätteiden käsittelylaitoksen myötä. Siinä kompostituotteen laatuun voidaan panostaa tehokkaammin kuin erillisillä pienillä kompostointikentillä.