In Ghana, prevalence of HIV among MSM is significantly higher than that of the general population. Substance use and transactional sex in the urban settings of Ghana have been identified as risk behaviors that exacerbate chances of transmission for this vulnerable group. This thesis draws upon the findings of two companion studies that were conducted in Kumasi, Ghana by Boston University researchers in 2012. The objectives of the studies were to gain a deeper understanding of the behaviors and attitudes regarding substance use and transactional sex among younger and older MSM in Kumasi, Ghana. In the first study 99 MSM between the ages of 15 to 29 years old participated, of whom 55 attended focus group discussions (FGDs) and 44 participated in in-depth interviews (IDIs). In the second study 44 participants aged 30 years or older participated including 20 in IDIs and 24 in FGDs. Condom use was found to be inconsistent across all ages and most commonly attributed to reduced caution while drinking alcohol. Transactional sex was high among both young and older MSM, but younger MSM were more likely to be on the ‘receiving’ end of the transaction with the older men providing money and gifts. For both groups the internet was identified as a key method to contact prospective sexual partners suggesting the need to include social media in future HIV prevention interventions.

BackgroundToday’s competitive market forces companies to focus on their core processes. As a result, the number of outsourcing arrangements has grown and especially transactional processes outsourcing, which is clearly evident in Sweden. The lack of expertise and resources that characterizes SMEs makes outsourcing of transactional processes many times a necessity. However, little attention has been given the possible internal control risks associated with outsourcing (Christ et al. 2015). Moreover, frameworks such as the COSO-framework has also neglected to provide guidelines as to how companies should handle outsourcing arrangements. Although the COSO-framework argues that it can be applied to all companies, no matter the size, organizational structure or the choices management makes (COSO 2013). AimThe aim of this study is to identify and analyze internal control risks within Swedish SMEs when outsourcing transactional processes. Moreover, the study will try to provide recommendations to the COSO-framework about how outsourcing arrangements should be handled in order to maintain an effective internal control. MethodThe study uses a qualitative method where a multiple cases study is conducted. The study consists of three case companies where a total of four participants were interviewed through semi-structured interviews, where all participants has a managerial position at their respective company. ConclusionThe findings within the study indicates that outsourcing transactional processes has made the case companies more effective. Moreover, the performance and relational risks identified within the case companies align with previous research where multiple risks were identified. The authors also highlights the possibility of a new risk when outsourcing transactional processes. Furthermore, the authors suggest that the COSO-framework should be modified such that the outsourcing company is a part of the control environment within companies.

A Memória Transacional (TM) surgiu nos últimos anos como uma nova solução para sincronização em sistemas multiprocessados de memória compartilhada, permitindo explorar melhor o paralelismo das aplicações ao evitar limitações inerentes ao mecanismo de locks. Neste modelo, o programador define regiões de código que devem executar de forma atômica. O sistema tenta executá-las de forma concorrente, e, em caso de conflito nos acessos à memória, toma as medidas necessárias para preservar a atomicidade e isolamento das transações, na maioria das vezes abortando e reexecutando uma das transações. Um dos modelos mais aceitos de memória transacional em hardware é o LogTM, implementado neste trabalho em um MPSoC embarcado que utiliza uma NoC para interconexão. Os experimentos fazem uma comparação desta implementação com locks, levando-se em consideração performance e energia do sistema. Além disso, este trabalho mostra que o tempo que uma transação espera para reiniciar sua execução após ter abortado (chamado de backoff delay on abort) tem impactos significativos na performance e energia. Uma análise deste impacto é feita utilizando-se de três políticas de backoff. Um mecanismo baseado em um handshake entre transações, chamado Abort handshake, é proposto como solução para o problema. Os resultados dos experimentos são dependentes da aplicação e configuração do sistema e indicam ganhos da TM na maioria dos casos em relação ao mecanismo de locks. Houve redução de até 30% no tempo de execução e de até 32% na energia de aplicações de baixa demanda de sincronização. Em um segundo momento, é feita uma análise do backoff delay on abort na performance e energia de aplicações utilizando três políticas de backoff em comparação com o mecanismo Abort handshake. Os resultados mostram que o mecanismo proposto apresenta redução de até 20% no tempo de execução e de até 53% na energia comparado à melhor política de backoff dentre as analisadas. Para aplicações com alta demanda de sincronização, a TM mostra redução no tempo de execução de até 63% e redução de energia de até 71% em comparação com o mecanismo de locks. / Transactional Memory (TM) has emerged in the last years as a new solution for synchronization on shared memory multiprocessor systems, allowing a better exploration of the parallelism of the applications by avoiding inherent limitations of the lock mechanism. In this model, the programmer defines regions of code, called transactions, to execute atomically. The system tries to execute transactions concurrently, but in case of conflict on memory accesses, it takes the appropriate measures to preserve the atomicity and isolation, usually aborting and re-executing one of the transactions. One of the most accepted hardware transactional memory model is LogTM, implemented in this work in an embedded MPSoC that uses an NoC as interconnection mechanism. The experiments compare this implementation with locks, considering performance and energy. Furthermore, this work shows that the time a transaction waits to restart after abort (called backoff delay on abort) has significant impact on performance and energy. An analysis of this impact is done using three backoff policies. A novel mechanism based on handshake of transactions, called Abort handshake, is proposed as a solution to this issue. The results of the experiments depends on application and system configuration and show TM benefits in most cases in comparison to the locks mechanism, reaching reduction on the execution time up to 30% and reduction on the energy consumption up to 32% on low contention workloads. After that, an analysis of the backoff delay on abort on the performance and energy is presented, comparing to the Abort handshake mechanism. The proposed mechanism shows reduction of up to 20% on the execution time and up to 53% on the energy, when compared to the best backoff policy. For applications with a high degree of synchronization, TM shows reduction on the execution time up to 63% and energy savings up to 71% compared to locks.

Esta tese aprofunda os estudos na área de formação de professores para educação básica na modalidade a distância, integrando a linha de pesquisa Ambientes Informatizados e Ensino a Distância do curso de Pós-graduação em Informática na Educaçao do CINTED/UFRGS. A Teoria da Distância Transacional estuda a distância pedagógica em ambiente virtual de aprendizagem. O objetivo é verificar como se comportam nos cursos os operadores conceituais que formam a base de compreensão deste estudo. São eles: o diálogo, a estrutura do curso e a autonomia do aluno. Estes três pilares sustentam a distância transacional para se investigar como se comportam nas disciplinas pedagógicas de cursos de licenciatura na modalidade a distância. Agrega-se a Teoria da Ação Dialógica que tem o potencial de aprofundar e enriquecer a abordagem sobre a Distância Transacional. Percorre-se brevemente o contexto histórico da Ead, os cursos de formação de professores no Brasil e o processo de escolarização da educação básica. A pesquisa é construída na triangulação analítica entre o conteúdo dos documentos referentes aos cursos e as disciplinas, o questionário assíncrono, o registro da observação no ambiente virtual de aprendizagem Netaula, o relatório de participação dos fóruns e os diálogos com a coordenação do curso de Pedagogia. A pesquisa foi desenvolvida em uma universidade particular de ensino superior da região Sul compreendendo em um estudo de caso O campo de pesquisa constitui-se de oito disciplinas pedagógicas, oferecidas do primeiro ao sétimo semestre, em sete cursos de licenciaturas, com destaque para o curso de Pedagogia, com todos os sujeitos envolvidos. Apresenta-se a voz dos agentes: alunos, os professores regentes e tutores virtuais a partir da análise dos questionários e dos fóruns das disciplinas. Os resultados mostram a relevância da aplicação da teoria da distância transacional na apreciação dos cursos de licenciatura na modalidade a distância para pensar o estreitamento da distância pedagógica nos cursos a distância. Isso implica no sentimento de pertencimento ao curso para os alunos, os professores regentes e os tutores virtuais. Destaca-se a relevância da estrutura do curso que mostra a interação mais expressiva do aluno com o conteúdo. E a importância do auto estudo e da autodisciplina para a consolidação da autonomia do aluno. / This thesis develop the studies in the area of teacher training for basic education in the distance modality, integrating the research line of Learning Management System and Distance Learning of post graduate course in informatics in education of CINTED/UFRGS. The theory of transactional distance investigate pedagogical distance in virtual learning environments. The main goal is to verify how conceptual operators make their own basis of comprehension for this study, which are: the dialogue, the structure of the course and the student autonomy. These tree pillars sustain the transactional distance to investigate how pedagogical disciplines of graduation courses behave in the distance modality. I added the dialogical action theory which has the potential to develop and enrich the approach of transactional theory. We analyze very briefly the history context of distance learning, the formation courses of professors in Brazil and the process of schooling of basic education. The research it`s built in the analytical triangulation between the content of the documents concerning the disciplines and the courses, the self-paced questionary, the observation register in the virtual learning environment Netaula, the report of the participation in the forums and the dialogues with the pedagogical course co-ordination. The research was developed in a private university of graduation teaching in the south region understanding a study of the case The rummage field it`s formed by eight pedagogical disciplines, offered from the first to the seventh semester in seven courses of graduation, and the most important for our research is the course of pedagogy with all the individuals involved. We present the voice of the agents: students, regent professors and virtual tutors starting from the review of the questionary and the discipline forums. The findings shows us relevance of the application of transactional distance theory for appreciation of graduation courses in distance modality, to analyze the decrease of pedagogical distance in the distance education courses. This implies in the feeling of belonging to the course for the students, the regent professors and the virtual tutors. The relevance of the structure of the course stands out, because it shows the most expressive interaction of the student with the content of the course. And the importance of self study and self discipline for the consolidation of the autonomy of the student.

A Memória Transacional (TM) surgiu nos últimos anos como uma nova solução para sincronização em sistemas multiprocessados de memória compartilhada, permitindo explorar melhor o paralelismo das aplicações ao evitar limitações inerentes ao mecanismo de locks. Neste modelo, o programador define regiões de código que devem executar de forma atômica. O sistema tenta executá-las de forma concorrente, e, em caso de conflito nos acessos à memória, toma as medidas necessárias para preservar a atomicidade e isolamento das transações, na maioria das vezes abortando e reexecutando uma das transações. Um dos modelos mais aceitos de memória transacional em hardware é o LogTM, implementado neste trabalho em um MPSoC embarcado que utiliza uma NoC para interconexão. Os experimentos fazem uma comparação desta implementação com locks, levando-se em consideração performance e energia do sistema. Além disso, este trabalho mostra que o tempo que uma transação espera para reiniciar sua execução após ter abortado (chamado de backoff delay on abort) tem impactos significativos na performance e energia. Uma análise deste impacto é feita utilizando-se de três políticas de backoff. Um mecanismo baseado em um handshake entre transações, chamado Abort handshake, é proposto como solução para o problema. Os resultados dos experimentos são dependentes da aplicação e configuração do sistema e indicam ganhos da TM na maioria dos casos em relação ao mecanismo de locks. Houve redução de até 30% no tempo de execução e de até 32% na energia de aplicações de baixa demanda de sincronização. Em um segundo momento, é feita uma análise do backoff delay on abort na performance e energia de aplicações utilizando três políticas de backoff em comparação com o mecanismo Abort handshake. Os resultados mostram que o mecanismo proposto apresenta redução de até 20% no tempo de execução e de até 53% na energia comparado à melhor política de backoff dentre as analisadas. Para aplicações com alta demanda de sincronização, a TM mostra redução no tempo de execução de até 63% e redução de energia de até 71% em comparação com o mecanismo de locks. / Transactional Memory (TM) has emerged in the last years as a new solution for synchronization on shared memory multiprocessor systems, allowing a better exploration of the parallelism of the applications by avoiding inherent limitations of the lock mechanism. In this model, the programmer defines regions of code, called transactions, to execute atomically. The system tries to execute transactions concurrently, but in case of conflict on memory accesses, it takes the appropriate measures to preserve the atomicity and isolation, usually aborting and re-executing one of the transactions. One of the most accepted hardware transactional memory model is LogTM, implemented in this work in an embedded MPSoC that uses an NoC as interconnection mechanism. The experiments compare this implementation with locks, considering performance and energy. Furthermore, this work shows that the time a transaction waits to restart after abort (called backoff delay on abort) has significant impact on performance and energy. An analysis of this impact is done using three backoff policies. A novel mechanism based on handshake of transactions, called Abort handshake, is proposed as a solution to this issue. The results of the experiments depends on application and system configuration and show TM benefits in most cases in comparison to the locks mechanism, reaching reduction on the execution time up to 30% and reduction on the energy consumption up to 32% on low contention workloads. After that, an analysis of the backoff delay on abort on the performance and energy is presented, comparing to the Abort handshake mechanism. The proposed mechanism shows reduction of up to 20% on the execution time and up to 53% on the energy, when compared to the best backoff policy. For applications with a high degree of synchronization, TM shows reduction on the execution time up to 63% and energy savings up to 71% compared to locks.

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

Le concept de processeur multicœurs constitue le facteur dominant pour offrir des hautes performances aux applications parallèles. Afin de développer des applications parallèles capable de tirer profit de ces plate-formes, les développeurs doivent prendre en compte plusieurs aspects, allant de l'architecture aux caractéristiques propres à l'application. Dans ce contexte, la Mémoire Transactionnelle (Transactional Memory – TM) apparaît comme une alternative intéressante à la synchronisation basée sur les verrous pour ces plates-formes. Elle permet aux programmeurs d'écrire du code parallèle encapsulé dans des transactions, offrant des garanties comme l'atomicité et l'isolement. Lors de l'exécution, les opérations sont exécutées spéculativement et les conflits sont résolus par ré-exécution des transactions en conflit. Bien que le modèle de TM ait pour but de simplifier la programmation concurrente, les meilleures performances ne pourront être obtenues que si l'exécutif est capable de s'adapter aux caractéristiques des applications et de la plate-forme. Les contributions de cette thèse concernent l'analyse et l'amélioration des performances des applications basées sur la Mémoire Transactionnelle Logicielle (Software Transactional Memory – STM) pour des plates-formes multicœurs. Dans un premier temps, nous montrons que le modèle de TM et ses performances sont difficiles à analyser. Pour s'attaquer à ce problème, nous proposons un mécanisme de traçage générique et portable qui permet de récupérer des événements spécifiques à la TM afin de mieux analyser les performances des applications. Par exemple, les données tracées peuvent être utilisées pour détecter si l'application présente des points de contention ou si cette contention est répartie sur toute l'exécution. Notre approche peut être utilisée sur différentes applications et systèmes STM sans modifier leurs codes sources. Ensuite, nous abordons l'amélioration des performances des applications sur des plate-formes multicœurs. Nous soulignons que le placement des threads (thread mapping) est très important et peut améliorer considérablement les performances globales obtenues. Pour faire face à la grande diversité des applications, des systèmes STM et des plates-formes, nous proposons une approche basée sur l'Apprentissage Automatique (Machine Learning) pour prédire automatiquement les stratégies de placement de threads appropriées pour les applications de TM. Au cours d'une phase d'apprentissage préliminaire, nous construisons les profiles des applications s'exécutant sur différents systèmes STM pour obtenir un prédicteur. Nous utilisons ensuite ce prédicteur pour placer les threads de façon statique ou dynamique dans un système STM récent. Finalement, nous effectuons une évaluation expérimentale et nous montrons que l'approche statique est suffisamment précise et améliore les performances d'un ensemble d'applications d'un maximum de 18%. En ce qui concerne l'approche dynamique, nous montrons que l'on peut détecter des changements de phase d'exécution des applications composées des diverses charges de travail, en prévoyant une stratégie de placement appropriée pour chaque phase. Sur ces applications, nous avons obtenu des améliorations de performances d'un maximum de 31% par rapport à la meilleure stratégie statique. / Multicore processors are now a mainstream approach to deliver higher performance to parallel applications. In order to develop efficient parallel applications for those platforms, developers must take care of several aspects, ranging from the architectural to the application level. In this context, Transactional Memory (TM) appears as a programmer friendly alternative to traditional lock-based concurrency for those platforms. It allows programmers to write parallel code as transactions, which are guaranteed to execute atomically and in isolation regardless of eventual data races. At runtime, transactions are executed speculatively and conflicts are solved by re-executing conflicting transactions. Although TM intends to simplify concurrent programming, the best performance can only be obtained if the underlying runtime system matches the application and platform characteristics. The contributions of this thesis concern the analysis and improvement of the performance of TM applications based on Software Transactional Memory (STM) on multicore platforms. Firstly, we show that the TM model makes the performance analysis of TM applications a daunting task. To tackle this problem, we propose a generic and portable tracing mechanism that gathers specific TM events, allowing us to better understand the performances obtained. The traced data can be used, for instance, to discover if the TM application presents points of contention or if the contention is spread out over the whole execution. Our tracing mechanism can be used with different TM applications and STM systems without any changes in their original source codes. Secondly, we address the performance improvement of TM applications on multicores. We point out that thread mapping is very important for TM applications and it can considerably improve the global performances achieved. To deal with the large diversity of TM applications, STM systems and multicore platforms, we propose an approach based on Machine Learning to automatically predict suitable thread mapping strategies for TM applications. During a prior learning phase, we profile several TM applications running on different STM systems to construct a predictor. We then use the predictor to perform static or dynamic thread mapping in a state-of-the-art STM system, making it transparent to the users. Finally, we perform an experimental evaluation and we show that the static approach is fairly accurate and can improve the performance of a set of TM applications by up to 18%. Concerning the dynamic approach, we show that it can detect different phase changes during the execution of TM applications composed of diverse workloads, predicting thread mappings adapted for each phase. On those applications, we achieve performance improvements of up to 31% in comparison to the best static strategy.

Problem: The number of MNCs in the world are expanding and there is an ever-growing interest in how knowledge is shared since it is said to improve the organization's competitive advantage. It is further argued in existing literature that leadership, and more specifically the leadership behaviors, play a role in how knowledge is shared within multinational corporations. However, few examples from the international setting exist, which led the authors of this thesis to further explore this area of research. Purpose: The purpose of this research paper is to explore what types of leadership behaviors influence knowledge sharing in a multinational corporation, and how these behaviors impact how leaders share knowledge. Methodology: In order to fulfill the purpose of this thesis and to properly answer the research question a qualitative approach was chosen. The empirical data was collected through a single case study of a Swedish MNC, Alpha, with subsidiaries abroad. The sample consisted of six participants who hold leadership positions within Alpha, and who continuously travel abroad to the subsidiaries in their work assignments. Findings: The authors of this thesis found evidence that leaders working in an international setting, such as an MNC, need to possess certain behaviors found in the description of both transactional and transformational leaders. However, the empirical data contribute to the current body of research by showing that these leaders also need to possess the behavior of cultural awareness, to have a deeper understanding of how the different cultures are represented within an organization.

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.

Esta tese aprofunda os estudos na área de formação de professores para educação básica na modalidade a distância, integrando a linha de pesquisa Ambientes Informatizados e Ensino a Distância do curso de Pós-graduação em Informática na Educaçao do CINTED/UFRGS. A Teoria da Distância Transacional estuda a distância pedagógica em ambiente virtual de aprendizagem. O objetivo é verificar como se comportam nos cursos os operadores conceituais que formam a base de compreensão deste estudo. São eles: o diálogo, a estrutura do curso e a autonomia do aluno. Estes três pilares sustentam a distância transacional para se investigar como se comportam nas disciplinas pedagógicas de cursos de licenciatura na modalidade a distância. Agrega-se a Teoria da Ação Dialógica que tem o potencial de aprofundar e enriquecer a abordagem sobre a Distância Transacional. Percorre-se brevemente o contexto histórico da Ead, os cursos de formação de professores no Brasil e o processo de escolarização da educação básica. A pesquisa é construída na triangulação analítica entre o conteúdo dos documentos referentes aos cursos e as disciplinas, o questionário assíncrono, o registro da observação no ambiente virtual de aprendizagem Netaula, o relatório de participação dos fóruns e os diálogos com a coordenação do curso de Pedagogia. A pesquisa foi desenvolvida em uma universidade particular de ensino superior da região Sul compreendendo em um estudo de caso O campo de pesquisa constitui-se de oito disciplinas pedagógicas, oferecidas do primeiro ao sétimo semestre, em sete cursos de licenciaturas, com destaque para o curso de Pedagogia, com todos os sujeitos envolvidos. Apresenta-se a voz dos agentes: alunos, os professores regentes e tutores virtuais a partir da análise dos questionários e dos fóruns das disciplinas. Os resultados mostram a relevância da aplicação da teoria da distância transacional na apreciação dos cursos de licenciatura na modalidade a distância para pensar o estreitamento da distância pedagógica nos cursos a distância. Isso implica no sentimento de pertencimento ao curso para os alunos, os professores regentes e os tutores virtuais. Destaca-se a relevância da estrutura do curso que mostra a interação mais expressiva do aluno com o conteúdo. E a importância do auto estudo e da autodisciplina para a consolidação da autonomia do aluno. / This thesis develop the studies in the area of teacher training for basic education in the distance modality, integrating the research line of Learning Management System and Distance Learning of post graduate course in informatics in education of CINTED/UFRGS. The theory of transactional distance investigate pedagogical distance in virtual learning environments. The main goal is to verify how conceptual operators make their own basis of comprehension for this study, which are: the dialogue, the structure of the course and the student autonomy. These tree pillars sustain the transactional distance to investigate how pedagogical disciplines of graduation courses behave in the distance modality. I added the dialogical action theory which has the potential to develop and enrich the approach of transactional theory. We analyze very briefly the history context of distance learning, the formation courses of professors in Brazil and the process of schooling of basic education. The research it`s built in the analytical triangulation between the content of the documents concerning the disciplines and the courses, the self-paced questionary, the observation register in the virtual learning environment Netaula, the report of the participation in the forums and the dialogues with the pedagogical course co-ordination. The research was developed in a private university of graduation teaching in the south region understanding a study of the case The rummage field it`s formed by eight pedagogical disciplines, offered from the first to the seventh semester in seven courses of graduation, and the most important for our research is the course of pedagogy with all the individuals involved. We present the voice of the agents: students, regent professors and virtual tutors starting from the review of the questionary and the discipline forums. The findings shows us relevance of the application of transactional distance theory for appreciation of graduation courses in distance modality, to analyze the decrease of pedagogical distance in the distance education courses. This implies in the feeling of belonging to the course for the students, the regent professors and the virtual tutors. The relevance of the structure of the course stands out, because it shows the most expressive interaction of the student with the content of the course. And the importance of self study and self discipline for the consolidation of the autonomy of the student.