Dissertation/ Thesis
View in EDS

Uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software

Bibliographic Details
Title: Uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software
Authors: Duarte, Thales Farias
Contributors: Sotoma, Irineu
Publication Year: 2012
Subject Terms: Programação (Computadores), Computer Programming, Processamento Eletrônico de Dados - técnicas estruturadas, Electronic Data Processing - structured techniques, Microprocessadores, Microprocessors, Eletrônica Digital, Digital Electronics
Description: Atualmente existe um grande número de processadores multi-core, e para se obter melhor desempenho dos programas nestes processadores, o modelo de programação mais utilizado é o multi-threaded. Este modelo utiliza uma combinação de bloqueios para o controle de concorrência entre as threads, mas muitos problemas podem surgir com a utilização errada desta técnica, tal como deadlocks e starvation. Em reação a estes problemas apresentados, o modelo transacional de sincronização tem recebido atenção como um modelo de programação alternativo, usando como base o conceito de transação para garantir sincronismo entre threads concorrentes. Este modelo tira do programador a responsabilidade sobre o controle de sincronização, e problemas como deadlocks e starvation são evitados. Neste trabalho implementamos o STM Builder, uma plataforma para desenvolvimento de estratégias para Memória Transacional em Software, que foi criada com a modulariza- ção da SwissTM. Junto com o STM Builder, desenvolvemos um framework de testes para a avaliação das implementações realizadas, que executou os testes e gerou todos os grá cos utilizados no trabalho automaticamente. O framework de testes utiliza os benchmarks STMBench7, STAMP e o Microbenchmark de Árvore Rubro-Negra. Os grá cos gerados pelo framework utilizam o gnuplot. O STM Builder é capaz de testar várias variações no mesmo código, perdendo pouco tempo com novas implementações e testando diversas formas da mesma implementação rapidamente. No STM Builder há algumas variações do modelo transacional de sincroniza- ção em software da SwissTM. Implementamos e testamos: novos gerentes de contenção, como o RandomizedRounds (RR), gerenciamento de contenção de uma e duas fases, diferentes formas de recuo de uma transação, e a técnica de invalidação no momento da efetivação (Commit-time invalidation ). Implementamos uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software, que é formada pelo STM Builder e pelo framework de testes, que comprovou ...
Document Type: thesis
File Description: application/pdf
Language: Portuguese
Relation: https://repositorio.ufms.br/handle/123456789/1634
Availability: https://repositorio.ufms.br/handle/123456789/1634
Rights: Acesso Aberto
Accession Number: edsbas.6041AD36
Database: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://repositorio.ufms.br/handle/123456789/1634#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.6041AD36
RelevancyScore: 766
AccessLevel: 3
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 765.984252929688
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Duarte%2C+Thales+Farias%22">Duarte, Thales Farias</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Sotoma, Irineu
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2012
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Programação+%28Computadores%29%22">Programação (Computadores)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+Programming%22">Computer Programming</searchLink><br /><searchLink fieldCode="DE" term="%22Processamento+Eletrônico+de+Dados+-+técnicas+estruturadas%22">Processamento Eletrônico de Dados - técnicas estruturadas</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+Data+Processing+-+structured+techniques%22">Electronic Data Processing - structured techniques</searchLink><br /><searchLink fieldCode="DE" term="%22Microprocessadores%22">Microprocessadores</searchLink><br /><searchLink fieldCode="DE" term="%22Microprocessors%22">Microprocessors</searchLink><br /><searchLink fieldCode="DE" term="%22Eletrônica+Digital%22">Eletrônica Digital</searchLink><br /><searchLink fieldCode="DE" term="%22Digital+Electronics%22">Digital Electronics</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Atualmente existe um grande número de processadores multi-core, e para se obter melhor desempenho dos programas nestes processadores, o modelo de programação mais utilizado é o multi-threaded. Este modelo utiliza uma combinação de bloqueios para o controle de concorrência entre as threads, mas muitos problemas podem surgir com a utilização errada desta técnica, tal como deadlocks e starvation. Em reação a estes problemas apresentados, o modelo transacional de sincronização tem recebido atenção como um modelo de programação alternativo, usando como base o conceito de transação para garantir sincronismo entre threads concorrentes. Este modelo tira do programador a responsabilidade sobre o controle de sincronização, e problemas como deadlocks e starvation são evitados. Neste trabalho implementamos o STM Builder, uma plataforma para desenvolvimento de estratégias para Memória Transacional em Software, que foi criada com a modulariza- ção da SwissTM. Junto com o STM Builder, desenvolvemos um framework de testes para a avaliação das implementações realizadas, que executou os testes e gerou todos os grá cos utilizados no trabalho automaticamente. O framework de testes utiliza os benchmarks STMBench7, STAMP e o Microbenchmark de Árvore Rubro-Negra. Os grá cos gerados pelo framework utilizam o gnuplot. O STM Builder é capaz de testar várias variações no mesmo código, perdendo pouco tempo com novas implementações e testando diversas formas da mesma implementação rapidamente. No STM Builder há algumas variações do modelo transacional de sincroniza- ção em software da SwissTM. Implementamos e testamos: novos gerentes de contenção, como o RandomizedRounds (RR), gerenciamento de contenção de uma e duas fases, diferentes formas de recuo de uma transação, e a técnica de invalidação no momento da efetivação (Commit-time invalidation ). Implementamos uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software, que é formada pelo STM Builder e pelo framework de testes, que comprovou ...
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: thesis
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: Portuguese
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://repositorio.ufms.br/handle/123456789/1634
– Name: URL
  Label: Availability
  Group: URL
  Data: https://repositorio.ufms.br/handle/123456789/1634
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Acesso Aberto
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.6041AD36
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.6041AD36
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: Portuguese
    Subjects:
      – SubjectFull: Programação (Computadores)
        Type: general
      – SubjectFull: Computer Programming
        Type: general
      – SubjectFull: Processamento Eletrônico de Dados - técnicas estruturadas
        Type: general
      – SubjectFull: Electronic Data Processing - structured techniques
        Type: general
      – SubjectFull: Microprocessadores
        Type: general
      – SubjectFull: Microprocessors
        Type: general
      – SubjectFull: Eletrônica Digital
        Type: general
      – SubjectFull: Digital Electronics
        Type: general
    Titles:
      – TitleFull: Uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Duarte, Thales Farias
      – PersonEntity:
          Name:
            NameFull: Sotoma, Irineu
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1