Orientador: Alexandro José Baldassin / Banca: Orlando de Andrade Figueiredo / Banca: Rodolfo Jardim de Azevedo / Resumo: Omissão de lock é uma técnica onde operações de aquisição e liberação de lock são omitidas (especulação) de forma a permitir que regiões críticas compartilhando um mesmo lock possam executar concorrentemente, permitindo assim se explorar um nível maior de concorrência em programas que utilizam esse método popular de sincronização. Para se manter o princípio de atomicidade, as modificações no estado do programa realizadas pela região crítica são mantidas em um buffer interno e são efetivadas apenas ao fim da mesma. Em caso de inconsistências, diferentes políticas em como proceder são possíveis, o que diferencia as diversas abordagens de omissão de lock encontradas na literatura. Por exemplo, a abordagem original, Speculative Lock Elision (SLE), que é implementada no nível microarquitetural, recorre a adquirir o lock de forma tradicional quando uma especulação falha. Em algumas situações, esta política conservadora acaba por restringir o ganho em desempenho originalmente pretendido por impor um volume de sincronização desnecessário (lemming effect). Uma forma de superar tal limitação é o emprego de omissão de lock transacional (Transactional Lock Elision, em inglês), onde a especulação de regiões críticas se dá por meio de transações e o controle de execução é devolvido ao software em eventos de transações abortadas, o que permite que diferentes estratégias sejam empregadas com o objetivo de permitir execução concorrente mesmo em presença de falha de especulação. Neste contexto... / Abstract: Lock elision is a technique that omits acquire/release lock operations (speculation) so as to allow critical regions sharing the same lock to run concurrently, which yields a higher level of concurrency explored by programs that use such popular synchronization mechanism. In order to honor atomicity, modifications on the program's state made by the critical regions are kept in an internal buffer and only applied at the end of the speculation. If inconsistency is found, different policies on how to proceed are possible, which make up the several existing approaches found in the literature. As an example, the original one, namely Speculative Lock Elision (SLE), which is implemented at the level of microarchitecture, falls back to acquire the lock in a standard manner when there is speculation error. In some situations, such conservative policy ends up restricting the intended performance gains due to the unnecessary synchronization imposed (lemming effect). A way to address this issue is through Transactional Lock Elision (TLE) techniques, in which speculation of critical regions is done by means of transactions and execution control is passed back to software on abort events, which makes possible the use of different strategies to allow concurrent execution even in presence of speculation error. In this context, one possible approach is called Software-assisted Conflict Management (SCM), where an auxiliary lock is used to serialize aborted transactions and, as such, keep the original one free, so that others may proceed on their execution. The work presented in this document proposes an extension of SCM, called Fine-grained Software-assisted Conflict Management (FGSCM), where multiple auxiliary locks are applied in order to allow transactions aborted due to conflict on different regions of memory to be executed concurrently. The proposed algorithm was implemented by using ... / Mestre

[pt] Alguns autores apontam que o marketing de relacionamento veio para suplantar o então considerado obsoleto marketing transacional. Para testar essa afirmação, autores como Brodie e Munro (1997) e Coviello, Milley e Macolin (2001), baseados nas definições de marketing relacional de Grönroos (1996), definiram diferentes tipos de marketing de relacionamento, que foram posteriormente testados em pesquisas realizadas com empresas em vários países. Essas pesquisas, porém, revelaram que não há uma substituição de um tipo de marketing pelo outro, mas sim que o marketing relacional e o marketing transacional co-existem dentro das empresas. Esta dissertação, baseada em uma pesquisa exploratória descritiva, realizada por meio de questionário aplicado a 128 empresas, constatou que os diferentes tipos de marketing também co-existem dentro das empresas brasileiras, mas que a prática do marketing transacional, em conjunto com o marketing relacional, não trouxe retornos mercadológicos e financeiros satisfatórios nos últimos três anos para as empresas. / [en] Some authors state that the Relationship Marketing came to suppress the Transactional Marketing once considered somewhat obsolete. In order to check this assertion, writers like Brodie and Munro (1997) and Coviello, Milley and Macolin, based on Grönroos Relationship Marketing definition (1996), defined different types of relationship Marketing which were checked later with surveys in companies over the countries. However, these researches showed that there is no replacement of one type of marketing for another and verified that both of them coexist in the companies at the same time. This research is a descriptive exploratory survey that was carried out by a questionnaire applied to 128 companies. It was concluded that the different types of marketing coexist in the Brazilian firms as well and, but that the practice of Transactional Marketing, in conjunction with the Relationship Marketing, has not brought marketing and financial returns satisfactory in the last 3 years for business.

Submitted by ADEMIR MARQUES JUNIOR null (adejunior_marques@hotmail.com) on 2016-06-01T16:14:13Z No. of bitstreams: 1 dissertacao.pdf: 1570162 bytes, checksum: 62279b5b860975f65c7da1a5dbddaa90 (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-06-02T14:41:35Z (GMT) No. of bitstreams: 1 marquesjunior_a_me_sjrp.pdf: 1570162 bytes, checksum: 62279b5b860975f65c7da1a5dbddaa90 (MD5) / Made available in DSpace on 2016-06-02T14:41:35Z (GMT). No. of bitstreams: 1 marquesjunior_a_me_sjrp.pdf: 1570162 bytes, checksum: 62279b5b860975f65c7da1a5dbddaa90 (MD5) Previous issue date: 2016-04-28 / O conceito de Memória Transacional foi criado para simplificar a sincronização de dados em memória, necessária para evitar a computação de dados inconsistentes por processadores multinúcleos, que se tornaram padrão devido às limitações encontradas em processadores de um núcleo. Em evolução constante pela busca de desempenho, os escalonadores de transação foram criados como alternativa aos gerenciadores de contenção presentes nos Sistemas de Memória Transacional. O consumo de energia é preocupação crescente, desde os grandes data centers até os disposítivos móveis que dependem de tempo de bateria, sendo também explorado no contexto de sistemas com Memória Transacional. Trabalhos anteriores consideraram, em sua maioria, somente o uso de gerenciadores de contenção, sendo o objetivo deste trabalho uma análise sobre o uso de escalonadores de transação. Desta forma, são exploradas nesta dissertação as técnicas de escalonamento dinâmico de tensão e frequência (DVFS) para a criação de uma heurística para a redução do consumo de energia utilizando o escalonador LUTS como base. Com o uso de aplicações do benchmark STAMP e biblioteca de memória transacional TinySTM, este trabalho faz uma análise sobre a eficiência energética dos escalonadores de referência ATS e LUTS, enquanto propõe uma nova heurística com o objetivo de reduzir o consumo de energia, denominada LUTSDynamic-Serializer, que alterna entre o uso de spinlock e de trava mutex de forma dinâmica. O uso desta heurística reduziu o EDP em até 17% e 61% em valores de EDP (Eenergy-Delay Product), e 4,95% e 15,8% na média geométrica das aplicações estudadas, em comparação aos escalonadores LUTS e ATS respectivamente, quando se utilizou a configuração de 8 threads, que é a limitação física de threads do processador utilizado no ambiente de experimento. / The Transactional Memory concept was created to simplify the synchronization of data in memory, needed to avoid computation of inconsistent data in multicore processors, which became standard due to limitations in single core processors. In constant search for performance, transactional schedulers were created as a alternative to contention managers present in transactional memory systems. The energy consumption is a crescent worry, ranging from big data centers to mobile devices which are dependent on battery life, and also being studied in Transactional Memory systems. Past works only considered the use of contention managers, and therefore this work seeks to analyse the impact of transactional schedulers. The techniques involving Dynamic Frequency-Voltage Scaling (DVFS) were explored with the motivation to create a heuristic to reduce energy consumption using the LUTS scheduler as a start. Utilizing the STAMP benchmark and the TinySTM transactional memory library, this work does an analysis about the energy efficiency of the reference scheduler ATS and LUTS, while proposing a new heuristic, named LUTSDynamic-Serializer, with the aim to reduce energy consumption by making a choice between spin-lock and mutex lock in a dynamic manner. We achieve with our heuristic up to 17% and 61% in EDP (Energy-Delay Product), and 4,95% and 15,8% considering the geometric mean among the applications studied, compared against the schedulers LUTS and ATS respectively, when we used the configuration with 8 threads, which is the physical limit of threads in the processor used in the experiments.

Made available in DSpace on 2014-06-12T17:18:14Z (GMT). No. of bitstreams: 2 arquivo82_1.pdf: 1357713 bytes, checksum: 82163b78bfbc54f2b79bbc56f7f92acf (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Com as mudanças no cenário econômico e cultural mundial, a formação continuada hoje se apresenta com o desafio de facilitar não só a aquisição de conhecimentos, mas também de desenvolver competências e saberes para que os trabalhadores possam enfrentar cada vez mais situações profissionais complexas. O Curso Formação em Educação a Distância para Educação de Trânsito trouxe uma proposta contextualizada e flexível em EAD para a formação voltada à prática profissional. Os participantes deste curso foram os funcionários e orientadores educacionais de trânsito que atuam na Coordenadoria de Educação de Trânsito do Departamento Estadual de Trânsito de Pernambuco (DETRAN/PE). Este se realizou como Curso de extensão, numa parceria entre o Programa de pós-graduação em Educação Matemática e Tecnológica da Universidade Federal de Pernambuco e o DETRAN/PE. Teve o formato semipresencial e abordagem colaborativa da aprendizagem, realizado em três módulos consecutivos, com 45 horas de duração. Assim, esta pesquisa investiga a proposta pedagógica e a realização do Curso de atualização no formato modular com a utilização de ferramentas de comunicação no ambiente virtual de aprendizagem Moodle. Tem como objetivo analisar se a utilização destas ferramentas potencializa a aprendizagem colaborativa e o desenvolvimento profissional. A hipótese principal é que a proposta pedagógica potencializa o desenvolvimento profissional e a aprendizagem colaborativa, propiciando o contexto para a interatividade, a reflexão da prática profissional, visando à autodeterminação do seu desenvolvimento. Os referenciais teóricos fundamentam-se em três conceitos básicos: Desenvolvimento Profissional, Aprendizagem Colaborativa e Ambiente Virtual de Aprendizagem; e na Teoria da Distância Transacional. A metodologia utilizada para o seu desenvolvimento foi de pesquisa-intervenção, quanto ao planejamento e à implementação da proposta do Curso; e de observação participante no acompanhamento da experiência no ambiente de trabalho e no espaço virtual. Os instrumentos utilizados na pesquisa foram: registro em diário de campo, questionários para o perfil dos participantes. A análise de conteúdo foi utilizada para avaliar dos dados construídos e coletados no ambiente virtual de aprendizagem. Estes foram interpretados com base nos três conceitos teóricos desta pesquisa e na Teoria da Distância Transacional. Os resultados confirmam que a realização da proposta pedagógica, utilizando-se as ferramentas comunicativas do ambiente virtual de aprendizagem pelos participantes, evidenciou o Desenvolvimento Profissional na reflexão e no delineamento de perspectivas para mudanças e inovações da prática profissional, autoconhecimento pela descrição do seu processo de aprendizagem, e a Aprendizagem Colaborativa pela descrição da importância de compreender as percepções do outro, ação colaborativa com seus pares para construção do conhecimento voltado à prática profissional e desejo de criar e entender as dinâmicas e motivações individuais em favor de um engajamento coletivo para a formação. Ou seja, nesta proposta a utilização das tecnologias se revelou como potencial instrumento formativo para levar à sistematização e à expressão das reflexões dos participantes e ao desenvolvimento de uma maior autonomia para tomada das decisões. A intervenção e a estruturação constante dos formadores se mostraram essenciais para elaboração de estratégias e metodologias para estimular uma maior interação entre os participantes e permitir a apropriação destes meios de comunicação

A gestão da qualidade configura-se em um dos conceitos mais importantes da gestão moderna. Frequentemente, divide-se suas dimensões em dois grupos, o primeiro composto por aspectos objetivos, as dimensões hard, e o segundo, composto por aspectos subjetivos, as dimensões soft. Dentre as dimensões soft, a liderança é uma das apontadas como mais relevantes para o estabelecimento de um ambiente de qualidade nas organizações. No entanto, embora a relação entre gestão de qualidade e liderança seja clara, há ainda diversas lacunas de pesquisa a serem exploradas, especialmente sobre a relação entre estilos de liderança específicos e a gestão da qualidade. Deste modo, o objetivo do presente estudo foi de explorar esta relação, utilizando-se, para tanto, do modelo de liderança transformacional-transacional, e do modelo Competing Values Framework. Participaram do estudo 47 gestores de qualidade, em sua maioria (74%) da região Sudeste do país, que foram contatados através de e-mail e mensagem na rede social LinkedIn,. Para a análise dos dados, utilizou-se correlação de Pearson, com o uso do software SPSS. Os dados encontrados confirmam achados da literatura que apontam que tanto a liderança transformacional, quanto a transacional apresentam relação com elementos da gestão da qualidade, com vantagem do primeiro estilo de liderança. A respeito dos estilos de liderança do Competing Values Framework, observou-se que os perfis associados a um estilo diretivo e de curto prazo demonstraram tendência a apresentar coeficientes de correlação mais altos, em detrimento dos perfis de estilo colaborativo e longo prazo. Sugere-se, em estudos futuros, estabelecer as mesmas correlações para diferentes participantes, especialmente gestores da alta administração. / Quality management is one of the most popular concepts in modern magament. Often, the quality management dimensions are divided into two groups, one of objective aspects, or hard dimensions, and other of subjective aspects, or soft dimensions. Among soft dimensions, leadership is one of the most relevant for establishing a quality environment in organizations. However, although the relationship between quality management and leadership is clear, there are still several research gaps to be exploited, especially on the relationship between specific leadership styles and quality management. Thus, the aim of this study was to explore this relationship, using, therefore, the transformational-transactional leadership model, and the Competing Values Framework model. The study included 47 quality managers, mostly (74%) of the country\'s southeastern region, who were contacted through e-mail and message on the social network LinkedIn. For data analysis, it was used Pearson correlation, and software SPSS. It was confirmed that transformational and transactional leadership are related with quality management elements, but the transformational leadership has some advantage. About Competing Values Framework leadership styles, it was observed that the profiles associated with a directive style and short-term demonstrated tendency to have higher correlation coefficients, instead of long-term and collaborative style profiles. We suggest, in future studies, establishing the same correlations for different participants, especially managers of top management.

A gestão da qualidade configura-se em um dos conceitos mais importantes da gestão moderna. Frequentemente, divide-se suas dimensões em dois grupos, o primeiro composto por aspectos objetivos, as dimensões hard, e o segundo, composto por aspectos subjetivos, as dimensões soft. Dentre as dimensões soft, a liderança é uma das apontadas como mais relevantes para o estabelecimento de um ambiente de qualidade nas organizações. No entanto, embora a relação entre gestão de qualidade e liderança seja clara, há ainda diversas lacunas de pesquisa a serem exploradas, especialmente sobre a relação entre estilos de liderança específicos e a gestão da qualidade. Deste modo, o objetivo do presente estudo foi de explorar esta relação, utilizando-se, para tanto, do modelo de liderança transformacional-transacional, e do modelo Competing Values Framework. Participaram do estudo 47 gestores de qualidade, em sua maioria (74%) da região Sudeste do país, que foram contatados através de e-mail e mensagem na rede social LinkedIn,. Para a análise dos dados, utilizou-se correlação de Pearson, com o uso do software SPSS. Os dados encontrados confirmam achados da literatura que apontam que tanto a liderança transformacional, quanto a transacional apresentam relação com elementos da gestão da qualidade, com vantagem do primeiro estilo de liderança. A respeito dos estilos de liderança do Competing Values Framework, observou-se que os perfis associados a um estilo diretivo e de curto prazo demonstraram tendência a apresentar coeficientes de correlação mais altos, em detrimento dos perfis de estilo colaborativo e longo prazo. Sugere-se, em estudos futuros, estabelecer as mesmas correlações para diferentes participantes, especialmente gestores da alta administração. / Quality management is one of the most popular concepts in modern magament. Often, the quality management dimensions are divided into two groups, one of objective aspects, or hard dimensions, and other of subjective aspects, or soft dimensions. Among soft dimensions, leadership is one of the most relevant for establishing a quality environment in organizations. However, although the relationship between quality management and leadership is clear, there are still several research gaps to be exploited, especially on the relationship between specific leadership styles and quality management. Thus, the aim of this study was to explore this relationship, using, therefore, the transformational-transactional leadership model, and the Competing Values Framework model. The study included 47 quality managers, mostly (74%) of the country\'s southeastern region, who were contacted through e-mail and message on the social network LinkedIn. For data analysis, it was used Pearson correlation, and software SPSS. It was confirmed that transformational and transactional leadership are related with quality management elements, but the transformational leadership has some advantage. About Competing Values Framework leadership styles, it was observed that the profiles associated with a directive style and short-term demonstrated tendency to have higher correlation coefficients, instead of long-term and collaborative style profiles. We suggest, in future studies, establishing the same correlations for different participants, especially managers of top management.

Submitted by Carlos Bruno Cavalcanti Vinhais (carlos.vinhais@yahoo.com.br) on 2017-07-18T14:53:06Z No. of bitstreams: 1 Versao final.PDF: 5186235 bytes, checksum: c64b45dfc4fbe424fc8be1527bf58b9b (MD5) / Approved for entry into archive by ÁUREA CORRÊA DA FONSECA CORRÊA DA FONSECA (aurea.fonseca@fgv.br) on 2017-07-28T15:34:59Z (GMT) No. of bitstreams: 1 Versao final.PDF: 5186235 bytes, checksum: c64b45dfc4fbe424fc8be1527bf58b9b (MD5) / Made available in DSpace on 2017-08-18T14:06:50Z (GMT). No. of bitstreams: 1 Versao final.PDF: 5186235 bytes, checksum: c64b45dfc4fbe424fc8be1527bf58b9b (MD5) Previous issue date: 2017-06-22 / O objetivo deste trabalho é analisar se os estilos de liderança dos gestores públicos influenciam o resultado do planejamento estratégico. Para enfrentar essa questão utilizamos o questionário Multifactor Leadership Questionnaire de Bruce para identificar os estilos de liderança de gestores públicos e depois relacionar seu estilo com os resultados de sua equipe. Em nossa conclusão apresentamos os resultados que apontaram que os gestores de estilo Transformacional conseguiram alcançar resultados superiores aos líderes Transacionais.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-21T17:33:37Z (GMT). No. of bitstreams: 1 202344.pdf: 786780 bytes, checksum: 2a8341abf726ace80269625c5fd30b11 (MD5) / A velocidade de mudança vem modificando a forma de pensar e agir da humanidade implicando na necessidade de novas maneiras de mediar a aprendizagem, como, por exemplo, o CBT - Computer Based Training.

Submitted by Bruno Chinelato Honorio (brunochonorio@gmail.com) on 2018-09-16T23:56:19Z No. of bitstreams: 1 DissertacaoMestrado.pdf: 942500 bytes, checksum: 267b4e03ea0654a9a66bd58f2490310b (MD5) / Rejected by Elza Mitiko Sato null (elzasato@ibilce.unesp.br), reason: Solicitamos que realize correções na submissão seguindo as orientações abaixo: Problema 01) Está faltando o LOGO (Símbolo)da Universidade/Câmpus na capa do seu trabalho.(este item é obrigatório) Problema 02) Solicito que corrija a descrição na natureza da pesquisa na folha de rosto e insira na folha de aprovação): Dissertação apresentada como parte dos requisitos para obtenção do título de Mestre em Ciência da Computação, junto ao Programa de Pós-Graduação em Ciência da Computação, do Instituto de Geociências e Ciências Exatas da Universidade Estadual Paulista “Júlio de Mesquita Filho”, Câmpus de Rio Claro Problema 03) A paginação deve ser sequencial, iniciando a contagem na folha de rosto e mostrando o número a partir da introdução, a ficha catalográfica ficará após a folha de rosto e não deverá ser contada; a contagem no seu arquivo começou na introdução. Problema 04) Quando a financiadora é FAPESP, deve constar o nome dela e o número do processo também na folha de aprovação e nos agradecimentos, é norma do convênio. Lembramos que o arquivo depositado no repositório deve ser igual ao impresso, o rigor com o padrão da Universidade se deve ao fato de que o seu trabalho passará a ser visível mundialmente. Agradecemos a compreensão on 2018-09-17T14:32:13Z (GMT) / Submitted by Bruno Chinelato Honorio (brunochonorio@gmail.com) on 2018-09-19T22:38:43Z No. of bitstreams: 1 dissertacaoMestrado.pdf: 1125894 bytes, checksum: f24c8da48aae1c09a95bd67d010c2e68 (MD5) / Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2018-09-20T14:44:36Z (GMT) No. of bitstreams: 1 honorio_bc_me_sjrp.pdf: 1093610 bytes, checksum: 238491c1445e63f7afbd08da117f2a87 (MD5) / Made available in DSpace on 2018-09-20T14:44:36Z (GMT). No. of bitstreams: 1 honorio_bc_me_sjrp.pdf: 1093610 bytes, checksum: 238491c1445e63f7afbd08da117f2a87 (MD5) Previous issue date: 2018-08-09 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Memória Transacional (Transactional Memory – TM) possibilita que programadores utilizem-se do conceito de transação na escrita de código concorrente. Nesse contexto, uma transação pode ser entendida como um bloco de instruções que é executado atomicamente e de forma isolada, ou seja, os estados intermediários no processamento de uma transação não são vistos pelas demais. Embora inicialmente confinada ao ambiente acadêmico, TM está se tornando cada vez mais popular. Prova disto é a adição de hardware transacional aos novos processadores da Intel e IBM, além de suporte para codificação de transações provido por compiladores como o GCC. A grande vantagem do modelo transacional é o maior nível de abstração fornecido ao programador, facilitando a escrita de programas concorrentes e evitando erros de sincronização famosos causados pelas travas (locks), como o deadlock. Infelizmente, o suporte em software para execução de transações ainda não provê desempenho muito bom. Em particular, o código transacional, produzido por compiladores e o sistema de tempo de execução associado, ainda pode ser considerado ineficiente. Nesta dissertação é realizado um estudo atualizado sobre a geração de código transacional do compilador GCC com o objetivo de encontrar a razão da deficiência de desempenho do compilador. O trabalho feito indica que uma das principais fontes de ineficiência são as barreiras de leitura e escrita inseridas pelo compilador. O problema dessa instrumentação acontece quando o compilador não consegue determinar, em tempo de compilação, se uma região de memória será acessada concorrentemente ou não, forçando o compilador a tomar uma decisão pessimista e instrumentar essa região de memória. Esse fenômeno é chamado de instrumentação excessiva. Para superar essas limitações, esta dissertação propõe uma nova construção de linguagem através de uma nova cláusula pragma que permite que programadores especifiquem quais regiões de memória não precisam ser instrumentadas. Para validar a nova cláusula pragma, esta dissertação conduziu experimentos usando o pacote STAMP, composto por aplicações transacionais. Os resultados obtidos mostram um grande ganho de desempenho para as aplicações que usaram o pragma proposto, com essas aplicações sendo até 7.2x mais rápidas que o código original gerado pelo GCC. / Transactional Memory (TM) allows programmers to utilize the concept of transaction for writing concurrent code. In this context, a transactioncan be extended as a block of instructions that is executed atomically and isolated, that is, the intermediate states of the processing of a transaction can not be seen by the other transactions. Although initially confined to the academic field, TM is becoming more popular. An evidence of this is the addition of transactional hardware to the new processors from Intel and IBM, as well as the support for transactional code provided by compilers such as GCC. The biggest advantage to the transactional model is the bigger level of abstraction provided to the programmer, making the process of writing parallel code easier, as well as avoiding famous synchronization errors caused by traditional locks, such as the deadlock problem. Unfortunately, the software support for execution of transaction still does not provide a good performance. In particular, transactional code, produced by compilers and the associated runtime system, can still be considered inefficient. This thesis performs an up-to-date study of the GCC transactional code generation and with the objective to find where the main performance losses are coming from. The study done indicates that one of the main sources of inefficiency is the read and write barriers inserted by the compiler. The problem of this instrumentation is that the compiler cannot determine, at compile time, if a memory region will be accessed concurrently or not, forcing the compiler to take a pessimist approach and instrument this memory region. This phenomenom is called Over-instrumentation. To overcome these limitations, this thesis proposes a new language construct through a new pragma clause that allows programmers to specify which memory regions do not need to be instrumented. To validade the new pragma clause, this thesis conducted experiments using the STAMP benchmark suite, composed of transactional applications. The obtained results show a great performance gain for applications that used the proposed pragma, with them being up to 7.2x faster than the original code generated by GCC. / 2016/12103-7

Submitted by Gustavo José de Sousa null (gustavo.jo.sousa@gmail.com) on 2017-11-07T18:17:35Z No. of bitstreams: 1 dissertacao.pdf: 1114730 bytes, checksum: 360fec3dffa930a34e0cdc2bb0ff960d (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-11-21T13:38:05Z (GMT) No. of bitstreams: 1 sousa_gj_me_sjrp.pdf: 1114730 bytes, checksum: 360fec3dffa930a34e0cdc2bb0ff960d (MD5) / Made available in DSpace on 2017-11-21T13:38:05Z (GMT). No. of bitstreams: 1 sousa_gj_me_sjrp.pdf: 1114730 bytes, checksum: 360fec3dffa930a34e0cdc2bb0ff960d (MD5) Previous issue date: 2017-08-30 / Omissão de lock é uma técnica onde operações de aquisição e liberação de lock são omitidas (especulação) de forma a permitir que regiões críticas compartilhando um mesmo lock possam executar concorrentemente, permitindo assim se explorar um nível maior de concorrência em programas que utilizam esse método popular de sincronização. Para se manter o princípio de atomicidade, as modificações no estado do programa realizadas pela região crítica são mantidas em um buffer interno e são efetivadas apenas ao fim da mesma. Em caso de inconsistências, diferentes políticas em como proceder são possíveis, o que diferencia as diversas abordagens de omissão de lock encontradas na literatura. Por exemplo, a abordagem original, Speculative Lock Elision (SLE), que é implementada no nível microarquitetural, recorre a adquirir o lock de forma tradicional quando uma especulação falha. Em algumas situações, esta política conservadora acaba por restringir o ganho em desempenho originalmente pretendido por impor um volume de sincronização desnecessário (lemming effect). Uma forma de superar tal limitação é o emprego de omissão de lock transacional (Transactional Lock Elision, em inglês), onde a especulação de regiões críticas se dá por meio de transações e o controle de execução é devolvido ao software em eventos de transações abortadas, o que permite que diferentes estratégias sejam empregadas com o objetivo de permitir execução concorrente mesmo em presença de falha de especulação. Neste contexto, uma das abordagens possíveis é o esquema chamado Software-assisted Conflict Management (SCM), onde um lock auxiliar é utilizado para sincronizar transações abortadas e, assim, manter o lock original livre, permitindo que outras transações prossigam sua execução. No presente trabalho, uma extensão ao SCM é proposta, o esquema Fine-grained Software-assisted Conflict Management (FGSCM), onde múltiplos locks são utilizados para permitir que transações abortadas por conflitos em diferentes regiões de memória possam ser executadas de forma concorrente. O algoritmo proposto foi implementado utilizando a interface RTM da extensão Intel® TSX e experimentos foram realizados em um máquina quadcore, para os quais, em casos com predominância de operações de leitura em memória, observou-se um ganho em desempenho médio de 11% e 36% com relação à abordagem SCM original e ao uso de um spin lock comum, respectivamente. / Lock elision is a technique that omits acquire/release lock operations (speculation) so as to allow critical regions sharing the same lock to run concurrently, which yields a higher level of concurrency explored by programs that use such popular synchronization mechanism. In order to honor atomicity, modifications on the program's state made by the critical regions are kept in an internal buffer and only applied at the end of the speculation. If inconsistency is found, different policies on how to proceed are possible, which make up the several existing approaches found in the literature. As an example, the original one, namely Speculative Lock Elision (SLE), which is implemented at the level of microarchitecture, falls back to acquire the lock in a standard manner when there is speculation error. In some situations, such conservative policy ends up restricting the intended performance gains due to the unnecessary synchronization imposed (lemming effect). A way to address this issue is through Transactional Lock Elision (TLE) techniques, in which speculation of critical regions is done by means of transactions and execution control is passed back to software on abort events, which makes possible the use of different strategies to allow concurrent execution even in presence of speculation error. In this context, one possible approach is called Software-assisted Conflict Management (SCM), where an auxiliary lock is used to serialize aborted transactions and, as such, keep the original one free, so that others may proceed on their execution. The work presented in this document proposes an extension of SCM, called Fine-grained Software-assisted Conflict Management (FGSCM), where multiple auxiliary locks are applied in order to allow transactions aborted due to conflict on different regions of memory to be executed concurrently. The proposed algorithm was implemented by using the RTM interface from Intel®'s TSX extension and experiments were performed on a quadcore machine. On read-dominated workloads, an average performance gain of 11% and 36% was observed against the original SCM and a typical spin lock, respectively.