DEFESA DE DISSERTA\u00c7\u00c3O DE MESTRADO – PPGC<\/p>\n
T\u00edtulo<\/strong>: Um sistema de detec\u00e7\u00e3o de conflitos com invalida\u00e7\u00e3o mista para a linguagem CMTJava<\/strong> Banca<\/strong>: Profa. \u00a0 Juliana Kaiser Vizzotto (UFSM) Data<\/strong>: 26 de fevereiro de 2013 Resumo<\/strong> Transa\u00e7\u00f5es de mem\u00f3ria s\u00e3o unidades de execu\u00e7\u00e3o at\u00f4mica. Sua utiliza\u00e7\u00e3o permite ao programador focar em determinar onde a atomicidade \u00e9 necess\u00e1ria, ao inv\u00e9s dos mecanismos necess\u00e1rios para garanti-la. Com essa abstra\u00e7\u00e3o, o desenvolvedor identifica as opera\u00e7\u00f5es que formam uma se\u00e7\u00e3o cr\u00edtica, enquanto que o sistema transacional determina como executar aquela se\u00e7\u00e3o cr\u00edtica isoladamente em rela\u00e7\u00e3o aos outros fluxos de execu\u00e7\u00e3o do programa.<\/p>\n CMTJava\u00a0 \u00e9 uma extens\u00e3o de Java para programa\u00e7\u00e3o com mem\u00f3rias transacionais. Neste trabalho descreve-se a implementa\u00e7\u00e3o de um sistema para gerenciamento da execu\u00e7\u00e3o concorrente das transa\u00e7\u00f5es na CMTJava. No sistema transacional desenvolvido, a detec\u00e7\u00e3o de conflitos entre transa\u00e7\u00f5es de escrita \u00e9 feita de forma adiantada e conflitos entre DEFESA DE DISSERTA\u00c7\u00c3O DE MESTRADO – PPGC T\u00edtulo: Um sistema de detec\u00e7\u00e3o de conflitos com invalida\u00e7\u00e3o mista para a linguagem CMTJava Autor: Rafael de Le\u00e3o Bandeira Banca: Prof. Andr\u00e9 Rauber Du Bois (orientador UFPEL)...<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[18],"tags":[],"class_list":["post-2234","post","type-post","status-publish","format-standard","hentry","category-todos"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-A2","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/2234","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=2234"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/2234\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=2234"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=2234"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=2234"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nAutor: Rafael de Le\u00e3o Bandeira<\/strong><\/p>\n
\nProf. Andr\u00e9 Rauber Du Bois (orientador UFPEL)
\nProf. Maur\u00edcio Lima Pilla (co-orientador UFPEL)<\/p>\n
\nProf. Gerson H. Cavalheiro (UFPEL)
\nProf. \u00a0 Adenauer Corr\u00eaa Yamin\u00a0 (UFPEL)<\/p>\n
\nHora<\/strong>: 14:00h
\nLocal<\/strong>: Aud. 4o andar Campus Anglo<\/p>\n
\nA computa\u00e7\u00e3o paralela permitiu um consider\u00e1vel ganho de desempenho na execu\u00e7\u00e3o dos programas, dividindo-os em partes discretas resolvidas concorrentemente usando m\u00faltiplos recursos computacionais. Apesar dos seus benef\u00edcios, esse paradigma aumenta a complexidade no desenvolvimento dos algoritmos, pois \u00e9 necess\u00e1rio levar em conta v\u00e1rios aspectos inexistentes na codifica\u00e7\u00e3o de programas sequenciais, como por exemplo, garantir a exclus\u00e3o m\u00fatua das tarefas executadas paralelamente.<\/p>\n
\numa transa\u00e7\u00e3o de leitura e outra de escrita s\u00e3o detectados tardiamente. Na implementa\u00e7\u00e3o antecedente, ambos tipos de conflitos s\u00e3o detectados ao final da execu\u00e7\u00e3o da transa\u00e7\u00e3o.
\nEm resultados obtidos atrav\u00e9s de um experimento com \u00e1rvores rubro-negras, o sistema transacional desenvolvido mostrou-se mais eficiente que a implementa\u00e7\u00e3o anterior, na maioria dos cen\u00e1rios testados.<\/p>\n","protected":false},"excerpt":{"rendered":"