Transaction scheduling using dynamic conflict avoidance

Software transaction memory (STM) systems have been used as an approach to improve performance, by allowing the concurrent execution of atomic blocks. However, under high-contention workloads, STM-based systems can considerably degrade performance, as transaction conflict rate increases. Contention management policies have been used as a way to select which transaction to abort when a conflict occurs. In general, contention managers are not capable of avoiding conflicts, as they can only select which transaction to abort and the moment it should restart. Since contention managers act only after a conflict is detected, it becomes harder to effectively increase transaction throughput. More proactive approaches have emerged, aiming at predicting when a transaction is likely to abort, postponing its execution. Nevertheless, most of the proposed proactive techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction to run. This article proposes LUTS, a lightweight user-level transaction scheduler. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. We discuss LUTS design and propose a dynamic conflict-avoidance heuristic built around its scheduling capabilities. Experimental results, conducted with the STAMP and STMBench7 benchmark suites, running on TinySTM and SwissTM, show how our conflict-avoidance heuristic can effectively improve STM performance on high contention applications. © 2012 Springer Science+Business Media, LLC.

Desenvolvimento de um sistema informatizado para coleta, armazenamento e processamento dos dados referentes à cesta básica do Município de Botucatu -SP

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desenvolvimento de um sistema computacional para tratamento de dados meteorológicos no setor de agroenergia

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Sistema WEB para gerenciamento de informações agrícolas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Ergonomia aplicada em posto de trabalho do operador de tratores: sistema para aquisição de coordenadas tridimensionais

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Objetos de aprendizagem para universitários sobre prevenção de acidentes de trânsito

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Atribuição de turmas para professores via Beam Search em Java

In the universities, before the start of each school year, is held the distribution of classes among available teachers. Therefore, it is necessary to consider the maximum workweek for each teacher and their preferences for each discipline, to prevent a teacher to give lessons in two separate locations at the same time and to avoid some teachers to become overloaded while others with large clearance. This process, manually performed, is time consuming and does not allow the visualization of other combinations of assignment of teachers to classes, besides being liable to error. This work aims to develop a decision support tool for the problem of assigning teachers to classes in college. The project encompasses the development of a computer program using the concepts of object orientation and a tree search algorithm of a combinatorial nature called Beam Search. The programming language used is Java and the program has a graphical interface for entering and manipulating data of the problem. Once obtained the schedule data of classes and teachers is possible, by means of the tool, perform various simulations and manual adjustments to achieve the final result. It is an efficient method of class scheduling, considering the speed of task execution and the fact that it generates only feasible results

L3-arpsec - módulo seguro para controle e proteção do protocolo de resolução de endereços em redes definidas por software

Pós-graduação em Engenharia Elétrica - FEIS

Sistema informatizado para dispositivos móveis de coleta dos dados referentes à cesta básica do município de Botucatu/SP

The collection of prices for basic goods supply is very important for the population, based on the collection and processing of these data the CLI (Cost Living Index) is calculated among others, helping consumers to shop more rationally and with a clearer view of each product impact of each product on their household budget, not only food, but also cleaning products and personal hygiene ones. Nowadays, the project of collection of prices for basic goods supply is conducted weekly in Botucatu - SP through a spreadsheet. The aim of this work was to develop a software which utilized mobile devices in the data collection and storage phase, concerning the basic goods supply in Botucatu -SP. This was created in order to eliminate the need of taking notes in paper spreadsheets, increasing efficiency and accelerating the data processing. This work utilized the world of mobile technology and development tools, through the platform".NET" - Compact Framework and programming language Visual Basic".NET" was used in the handheld phase, enabling to develop a system using techniques of object oriented programming, with higher speed and reliability in the codes writing. A HP Pavilion dv3 personal computer and an Eten glofish x500+ handheld computer were used. At the end of the software development, collection, data storing and processing in a report, the phase of in loco paper spreadsheets were eliminated and it was possible to verify that the whole process was faster, more consistent, safer, more efficient and the data were more available.

Desenvolvimento de uma planilha eletrônica em VBA para o dimensionamento didático de instalações de recalque de água

This study aims to develop a computer program based on VBA programming language, using Microsoft Excel, for designing pumping systems of water. The program allows the user to determine the economical diameter, using the equation of Bresse, for a given installation, since the geometric elevation, the material of the tube, the accessories along the line and the volumetric flow are known. In addition, the program estimates the total annual cost of the installation for three different diameters, in order to compare which diameter is more advantageous from an economical perspective. The program interface is designed to be simple and intuitive with the intention of being didactic and offering to engineering students an advantageous tool to analyze this type of project. Microsoft Excel was chosen for this work because is present in virtually all personal computer, and is an indispensable tool for educational purposes

Desenvolvimento de um aplicativo para processamento de imagens obtidas por fotografias aéreas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Desenvolvimento de uma planilha eletrônica em VBA para o dimensionamento didático de instalações de recalque de água

This study aims to develop a computer program based on VBA programming language, using Microsoft Excel, for designing pumping systems of water. The program allows the user to determine the economical diameter, using the equation of Bresse, for a given installation, since the geometric elevation, the material of the tube, the accessories along the line and the volumetric flow are known. In addition, the program estimates the total annual cost of the installation for three different diameters, in order to compare which diameter is more advantageous from an economical perspective. The program interface is designed to be simple and intuitive with the intention of being didactic and offering to engineering students an advantageous tool to analyze this type of project. Microsoft Excel was chosen for this work because is present in virtually all personal computer, and is an indispensable tool for educational purposes

Desenvolvimento de um aplicativo para processamento de imagens obtidas por fotografias aéreas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

A Virtual Programming Lab for Moodle with automatic assessment and anti-plagiarism features

[EN] This paper describes VPL, a Virtual Programming Lab module for Moodle, developed at the University of Las Palmas of Gran Canaria (ULPGC) and released for free uses under GNU/GPL license. For the students, it is a simple development environment with auto evaluation capabilities. For the instructors, it is a students' work management system, with features to facilitate the preparation of assignments, manage the submissions, check for plagiarism, and do assessments with the aid of powerful and flexible assessment tools based on program testing, all of that being independent of the programming language used for the assignments and taken into account critical security issues.

Knowledge management in intelligent tutoring systems

In the last years, Intelligent Tutoring Systems have been a very successful way for improving learning experience. Many issues must be addressed until this technology can be defined mature. One of the main problems within the Intelligent Tutoring Systems is the process of contents authoring: knowledge acquisition and manipulation processes are difficult tasks because they require a specialised skills on computer programming and knowledge engineering. In this thesis we discuss a general framework for knowledge management in an Intelligent Tutoring System and propose a mechanism based on first order data mining to partially automate the process of knowledge acquisition that have to be used in the ITS during the tutoring process. Such a mechanism can be applied in Constraint Based Tutor and in the Pseudo-Cognitive Tutor. We design and implement a part of the proposed architecture, mainly the module of knowledge acquisition from examples based on first order data mining. We then show that the algorithm can be applied at least two different domains: first order algebra equation and some topics of C programming language. Finally we discuss the limitation of current approach and the possible improvements of the whole framework.