Mecanismos de Gerenciamento de Transaes para Bancos de Dados Ativos e em Tempo Real : Um Compreensivo Protocolo e um Estudo de Desempenho.

Prabhudev Konana, Sudha Ram Dapartment of MSIS, College and Graduate School of Business, The University of Texas at Austin, TX 78712, USA Resumo Bancos da dados de tempo real e ativos (BDTRA) possuem uma variedade de aplicaes em mercado financeiro, bolsa de valores, gerenciamento de redes e controle de processos de manufatura. Processamento de transaes (PT) em BDTRA extremamente complicado desde transaes devem disparar outras transaes de tempo real em uma intensidade arbitrria com vrios tipos de dependentes. Portanto, processamento de transaes deve ser sintonizada no somente com os tempos das transaes ms tambm os tipos de dependncias semntica com outras transaes. A resoluo de conflito no pode ser considerada independente desde que afetando uma transao pode afetar vrias outras dependentes semanticamente. O escalonamento de transaes necessita ser compatvel com o controle de concorrncia para evitar reinicios desnecessrios. Neste artigo argumentado que a pr analise de transaes usando o algoritmo de pr declarao um eficiente mecanismo para integrar os vrios assuntos de processamento de transaes tais como controle de concorrncia, escalonamento, e dependncia semntica. 1. Introduo Um dos assuntos crticos em desenvolvimento de BDTRA o mecanismo de PT. PT em BDTRA extremamente complexo j que transaes tem seus deadlines e disparam outras transaes de tempo real. Neste contexto, o mecanismo PT deve integrar vrios componentes tais como controle de concorrncia (CC), escalonamento, dependncias das transaes (semntica), e resoluo de conflitos. Incompatibilidades nestes componentes devem reduzir o nmero de transaes completando no tempo, aumentar o nmero de reinicios desnecessrios e desperdcio de recursos, e favorecer algumas classes de transaes. Alguns trabalhos tem tentado integrar escalonamento de transaes com controle de concorrncia em bancos de dados de tempo real (BDTR). A rea de BDTRA tem recebido muita ateno de uns tempos para c porque possuem uma vasta aplicao em gerenciamento de redes, controle de processos de manufatura, e mercado de valores automatizado. Konana propes uma aplicao no mercado financeiro. Dados nest aplicao tem pequena validade temporal e os valores das aes diminuem rapidamente com o transcorrer do tempo. Aes so disparadas usando o paradigma Evento-Condio-Ao(ECA) de bancos de dados ativos. Alguns exemplos que exigem a funcionalidade BDTRA so: Em controle de processos de manufatura ou gerenciamento de redes, aes corretivas so disparadas para restaurar o comportamento desejado do sistema quando um comportamento no desejado detectado (se temperatura > 80C ento aumente presso em 5%).

 Em corretagem eletrnica para mercado financeiro, quando certos eventos ocorrem em troca financeira aes so disparadas para notificar os clientes ou iniciar uma transao de mercado. 1.1 Desafios em DBTRA Dependncias de transaes: Um mecanismo PT em BDTRA deve ser alinhado ao tempo do deadline e semntica das transaes. Um exemplo de semntica das transaes a dependncia entre transaes disparadas e as que disparam. Se as transaes disparando so representadas em forma de rvore ento a resoluo de conflito deve ser sensvel no somente ao tempo do deadline ms tambm as dependncias das transaes e o nmero de nveis na rvore. A proposta uma pr-anlise das transaes para incorporar deadline e semntica em PT usando o paradigma de pr-declarao. Este paradigma tm sido altamente debatido na literatura como tambm de difcil implementao em aplicaes em BDTR. O paradigma tem a vantagem de detectar conflitos cedo e fazer decises de escalonamento apropriados. Gerenciamento de Overload: Um banco de dados dito est no estado de overload se as transaes perderem seus deadlines, e isto possa afetar o desempenho em uma maneira anloga ao efeito de um thrashing em sistemas operacionais. Overload pode ocorrer devido a conteno de recursos ou de dados. Quanto a conteno de recursos pode ser efetivamente gerenciado por controlar o nmero de transaes ativas, isto extremamente complicado em conflito de dados. Com o uso do paradigma de pr-anlise, problemas de overload podem ser reduzidos se no eliminados. 2. Trabalhos relacionados HiPAC em (dayal et al., 1988), uma viso geral de controle de concorrncia, escalonamento e estratgias de resoluo de conflitos em (Bestravos, 1996), (Ramamritham, 1993), (Konana and Ram, 1998) e (Konana, 1995). Nenhum dos protocolos de OCC assuem a priori conhecimento dos dados acessados. Estes protocolos no consideram assuntos de semntica nem integram estes a outros assuntos tais como escalonamento. Cada assunto tratado separadamente, dificultando o emprego destes em aplicaes de tempo real. Um grande nmero de tcnicas de escalonamento so propostos tais como Earliest Deadline First (EDF) em (Liu e Layland, 1973; Garcia e Molina, 1988, 1992; Haritsa, 1991), Least Deadline First(LDF) em (Abbott e Garcia, 1992), e Weighted Priority (WP) em ( Huang et al., 1989) entre outros. 3. Disparando transaes Considere o exemplo de um banco de dados de bolsa de valores automatizado. Um corretor submete lances para comprar ou vender um determinado estoque em um preo especfico e em uma quantidade especfica para um sistema de processamento de transaes on-line. No artigo mostrado um exemplo que combina o fluxo de transaes com um lance. Se uma condio especfica encontrada ento h um nmero de transes disparadas. Atravs de um exemplo mostrado na Fig 2 do artigo, a transao T5 informa a

um corretor que um determinado negcio no vital para a execuo das transaes principais e tem pouco efeito no controle de concorrncia. 3.1 Tipos de transaes disparadas Transaes disparadas podem ser executadas como parte de uma transao executando ou separadamente dependendo do modo de acoplamento. O modo de acoplamento descreve as dependncias entre as transaes disparando e seus resultados diretos com base na estrutura de rvore das transaes. 3.2 Granularidade das classes de transaes Uma grande granularidade pode ter menos overhead ms limitam severamente a concorrncia enquanto uma pequena granularidade tem mais overhead ms ter uma alta concorrncia. Um administrador de banco de dados pode estabelecer em tempo de projeto um conjunto de classes de transaes. Estas classes so estabelecidas baseadas nos tipos de previsibilidade das transaes e seus conjunto-leitura e conjunto-escrita. Uma classe de transao definida por um lgico conjunto-leitura e um conjunto-escrita. Duas classes de transaes conflitam se o conjunto-leitura ou o conjunto-escrita de uma das classes tiverem interseo com outro conjunto-escrita de uma outra classe de transaes. Para o exemplo de bolsa de valores, as relaes e os exemplos de classes de transaes so dadas nas Fig 4 e Fig 5, respectivamente. Para evitar uma grande granularidade, as relaes podem ser particionadas em classes lgicas baseadas em stock-id. Pode-se alcanar uma granularidade melhor quando reduz-se as interferncias das transaes, ou ento eliminar. Pode-se ento pr-declarar classes de transaes por meios de conjunto-leitura e conjunto-escrita em um nvel lgico onde a relao particionada por stock-id.
3.3

Critrios de corretude e resoluo de conflitos

Foi considerado a seriao padro como o critrio de corretude. Dois tipos de conflitos so discutidos: Conflitos intra-rvore de transaes (mesma rvore de transaes) e conflitos inter-rvore de transaes ( diferentes rvores de transaes). No primeiro, cada rvore de transao tem uma ordem de seriao em que transaes devem completar seus trabalhos. Transaes que so independentes e no possui dependncia de aborto/comprometer pode ser tratada como uma nova transao iniciando uma nova rvore. J nos conflitos entre rvores, se transaes com pequenos deadlines possuem a preferncia, elas podem reiniciar rvores de transaes que j possuem um substancial trabalho completado, caso contrrio vai diminuir o nmero de transaes que atendam seus prazos.
4.

Pr anlise baseada no mecanismo OCC OCCWB

O OCC com bloqueio aplica-se a transaes de tempo real e ativas com deadline firme. OCCWB possui a vantagem de conhecer a priori os dados acessados, e relacionamentos semnticos de dados disparados em aplicaes tais como bolsa de valores. Os quatro

principais passos so: pr-anlise, ordem de seriao, ajuste de prioridade e espera de prioridade. Ver no artigo detalhes deste mecanismo. Pg 210
5.

Concluso e trabalhos futuros

Foi proposto um mecanismo de processamento de transaes para DBTRA que integra controle de concorrncia, escalonamento e semnticas das transaes com um implcito gerenciamento de overload. O OCCWB estende o OCC para transaes ativas com a caracterstica de bloqueio seletivo na pr-anlise. Isto combina o benefcio de OCC e protocolos de bloqueio.