Made available in DSpace on 2015-04-14T14:49:05Z (GMT). No. of bitstreams: 1 412052.pdf: 2710960 bytes, checksum: 3a4a797f7364a564f81a7cff382241eb (MD5) Previous issue date: 2009-01-08 / A constante evolu??o das tecnologias computacionais tem possibilitado um aumento no poder de processamento dos computadores, sendo que em determinadas situa??es esse poder computacional n?o ? plenamente utilizado. Para utilizar efetivamente a capacidade de processamento dos computadores, cada vez mais as empresas de processamento de dados (data center) se utilizam da virtualiza??o. A virtualiza??o ? uma t?cnica que permite a execu??o de diversos Sistemas Operacionais em um ?nico equipamento. Desta forma, com o uso da virtualiza??o um ?nico servidor f?sico pode manter diversos Sistemas Operacionais, com diferentes aplica??es sendo executadas simultaneamente. Quando essas aplica??es s?o portadas para um ambiente virtualizado, devem ter seus n?veis de recursos constantemente monitorados e ajustados para se evitar situa??es de degrada??o da qualidade do servi?o ou prover uma melhor utiliza??o do hardware. Nestas situa??es ? importante implementar um Service Level Agreement (SLA) que controle a qualidade do servi?o entregue por estas aplica??es. Entretanto, os Monitores de M?quinas Virtuais, como por exemplo, o Xen, n?o possuem a funcionalidade de se realocar recursos com base nas regras definidas nos SLAs. Com o objetivo de superar esta limita??o, este trabalho prop?e a realoca??o din?mica de recursos em ambientes virtualizados a partir de requisitos derivados de SLAs. A realoca??o de recursos, busca tamb?m atender a demanda por recursos, por exemplo, em uma m?quina virtual (VM) que tenham recebido uma carga de trabalho maior do que a prevista no SLA, atrav?s da realoca??o de recursos (processador e mem?ria) que n?o estejam sendo utilizados pelas demais VMs.

Nesta dissertação são apresentados os resultados obtidos na elaboração de um sistema de aquisição e controle de experimentos, utilizando uma rede local de computadores. É proposta uma infra-estrutura baseada em instrumentação virtual em uma rede utilizando sistema operacional aberto e o protocolo de comunicação IPv6, parte integrante da camada de rede do protocolo TCP/IP. São selecionadas as tecnologias e ferramentas para o desenvolvimento do Laboratório remoto que se adaptam à integração entre o hardware e software para possibilitar o controle de experimentos e equipamentos de forma remota. A maior abrangência deste projeto está no desenvolvimento do Laboratório remoto com ferramentas de código aberto, como o sistema operacional Linux, o servidor Apache - como servidor WEB e o protocolo IPv6, para a comunicação da camada de rede. A proposta global deste trabalho é contribuir com a preparação da infra-estrutura de um ambiente de sistema operacional aberto, utilizado para a aquisição de dados em redes remotas, e com isto promover a cooperação e o compartilhamento de instrumentos, não se limitando apenas à área acadêmica e de pesquisa, mas estendendo essas facilidades para outras áreas do conhecimento. Como resultado deste trabalho é disponibilizado um Laboratório Virtual que possibilita o controle de um ensaio experimental, através de uma rede local. / In this dissertation are showed the results got in the making of acquisition and controlling experiments system, using a LAN. It´s offered a infra-structure based in virtual instrumentation for a network applying open operational system and the communication protocol Ipv6, part which belongs to network layer of TCP/IP protocol. The technologies and tools, which are chosen for the development of remote Laboratory, adapt themselves to integration between hardware and software to making possible the experiments and equipments control remoting. The main purpose of this project consist in the development of remote Laboratory with open-code tools, as Linux operational system, Apache server - as WEB server and Ipv6, for network layer communication. The global proposal of this work is contribute to setting up infra-structure of an open operational system, utilized to data acquisition in remote network, promote the work jointly and sharing of instruments, not restricting only to academic or knowledge areas. Like resulting of this work is available a Virtual Laboratory, which allow the control of experimental assay, through a LAN.

O mundo moderno tem exigido das empresas uma força competitiva que deve se moldar aos diferentes segmentos de mercado e tipos de organizações. Vários são os exemplos de empresas que posicionam as suas operações no centro da estratégia competitiva, qualificando-as como uma força capaz de levá-las a modificar a seu favor a estrutura de mercado em que competem. Assim, tomando-se por base que a competitividade empresarial está diretamente associada à capacidade da organização de entender e atender as expectativas dos clientes, e que isto pode ser conseguido, em especial, pelo setor de operações, por meio da produtividade e da qualidade, por meio de sua eficiência interna e externa, o objetivo do presente trabalho é estudar as estratégias operacionais e refletir sobre a maneira como elas podem contribuir para conduzir as empresas à liderança de mercado ou funcionar como uma barreira contra a ameaça de novos entrantes. Mediante estudo exploratório da situação das empresas brasileiras, por meio dos casos das empresas Brasilata S.A. Embalagens Metálicas e Gol Linhas Aéreas Inteligentes S.A., a Tese demonstra que é possível posicionar as operações de forma a obter a desejada vantagem competitiva. / The modern world demands from companies a competitive force that must mold itself to different market segments and types of organizations. There are various examples of companies that position their operations in the center of competitive strategy, qualifying them as a force capable of allowing them to modify in their favor the market structure in which they compete. Thus, given that entrepreneurial competitiveness is directly associated with the organizational capacity to understand and satisfy customers’ expectations and that this can be achieved by the operational sector, by means of productivity and of quality and by means of internal and external efficiency, the aim of the present work is to study the operational strategies and the way in which they can contribute to conduct companies to market leadership or function as a barrier against the threat of new entrants. Through an exploratory study of the situation of Brazilian companies, using the cases of Brasilata S.A. Embalagens Metálicas and Gol Linhas Aéreas Inteligentes S.A., this thesis shows that it is possible to position the operations in such a way as to obtain the desired competitive advantage.

O objetivo deste trabalho e apresentar o resultado de uma pesquisa terminologica/ terminograca bilngue Ingl^es/Portugu^es das unidades terminologicas dos Procedimentos Operacionais de Cabine, da area de Aviac~ao Comercial, e da subarea do Check-list. A partir da organizac~ao das unidades terminologicas em forma alfab etica construmos um dicionario terminologico dessa area. Para a concretizac~ao desse objetivo, selecionamos e escolhemos os contextos que descreveram o conteudo sem^antico-conceptual dos termos. Para a realizac~ao deste trabalho utilizamos os corpora documental e de par^ametro para a extrac~ao, selec~ao e denic~ao dos termos. A composic~ao do perl tematico da subarea do Check-list foi feita atraves da utilizac~ao de textos de carater denitorios e explicativos, porque apresentam esses uma densidade terminologica alta. A maioria das unidades terminologicas tratadas s~ao termos compostos que subsumem o princpio da transpar^encia, o princpio da adequac~ao e o princpio da produtividade. Todos os termos includos nesta pesquisa, para a constru c~ao do dicionario terminologico bilngue, apresentam a estrutura hierarquica do vocabularo do Check-list. / The objective of this study is to present the result of a bilingual English-Portuguese terminological/terminographical research, which describes the terminological units of the Cockpit Training Procedure related to the Business Aviation area, and to the Check-list subarea. A dictionary was done due to the organization of the terminological units in alphabetical sequence. To achieve this goal, we selected and chose the contexts that describe the semantic and conceptual content of all terms. To carry out this task, the documental and the parameter corpora were used to extract, select and to dene the terms. The setting of the thematic prole of the Checklist was done through the use of dening and explanatory texts as they present a great terminological density. The majority of terminological units used in this study were compound terms which subsume the principle of transpar^encia, the principle of appropriateness and, the principle of derivability. All the terms included in this research to build up the bilingual terminological dicitionary present a hierarchical structure of the Check-list vocabulary.

Sistemas distribuídos representam uma plataforma ideal para implementação de sistemas computacionais com alta confiabilidade e disponibilidade devido a redundância fornecida por um grande número de estações interligadas. Falhas de um servidor podem ser contornadas pela reconfiguração do sistema. Entretanto falhas em seqüência que afetem múltiplas estações comprometem não apenas o desempenho do sistema, mas também a continuidade do serviço e sua confiabilidade. Assim, servidores falhos, que tenham sido isolados do sistema, devem ser reintegrados tão logo quanto possível para não comprometer a disponibilidade do sistema computacional. Este trabalho trata da atualização do estado de servidores e da troca de informação que o servidor recuperado realiza para integrar-se aos demais membros do sistema através de um procedimento chamado reintegração do servidor. E assumido um ambiente distribuído que garante alta confiabilidade em aplicações convencionais através da técnica de replicação de arquivos. O servidor a ser reintegrado faz parte de um grupo de replicação e volta a participar ativamente do grupo tão logo seja reintegrado. Para tanto, considera-se a estratégia de replicação por copia primaria e um sistema distribuído experimental, compatível com o NFS, desenvolvido na UFRGS para aplicar a reintegração de servidor. Os métodos de atualização de arquivos para a reintegração do servidor foram implementadas no ambiente UNIX. / Distributed systems are an ideal platform to develop high reliable computer applications due to the redundancy supplied by a great number of interconnected workstations. Failed stations can be masked reconfiguring the system. However, sequential faults, that affect multiple stations, not just decrease the performance of the system, but also affect the continuity of the service and its reliability. Thus, failed stations working as servers, that have been isolated from the system, should be reintegrated as soon as possible to not impair the system availability. This work is exactly about methods to update the state of failed servers. It deals also with the change of information that the recovered server accomplishes to be integrated to the other members of the service group through a process called reintegration of server. It is assumed a distributed environment that guarantees high reliability in conventional applications through replication of files. The server to be reintegrated is part of a replication group and it participates actively of the service group again as soon as it is reintegrated. Our approach is based on a primary copy. The file actualization methods to the reintegration of server were implemented in an UNIX environment. To illustrate our approach we will describe how the integration of repaired server can be made a fault-tolerant system. The experimental distributed system, compatible with NFS, was designed at the UFRGS.

A universalização da energia elétrica, como uma das principais políticas públicas de inclusão social, tem como desafio a escolha de alternativas tecnológicas capazes de conciliar os aspectos de viabilidade técnica e econômica. A Tecnologia cabos para-raios energizados (PRE), objeto de estudo desta tese, se insere neste contexto. Assim, este trabalho consiste na análise de viabilidade do PRE no esquema trifásico, cuja instalação é associada à linha de transmissão 230 kV do sistema de transmissão de Rondônia. São analisados os aspectos de seu desempenho técnico, operacional e econômico. No aspecto técnico é analisado o desempenho do sistema de aterramento quanto à resistência de terra, tensões de toque e de passo, além de análise da queda de tensão, desequilíbrio de tensão e capacidade de carregamento da instalação. A abordagem técnica é aprofundada após análise do desempenho operacional avaliado a partir da classificação das interrupções verificadas em mais de 180 meses de operação do Sistema PRE Rondônia. Em decorrência dessa avaliação, são obtidos índices operacionais de continuidade, analisados comparativamente em relação a outras alternativas tecnológicas, visando analisar a viabilidade da Tecnologia PRE. Uma das constatações resultantes da análise das causas das interrupções indica um elevado impacto das descargas atmosféricas no desempenho do PRE. Este aspecto é extensivamente analisado quanto aos efeitos das descargas diretas e indiretas sobre a instalação, partindo-se de medições de campo nos contrapesos das torres, medições de resistividade do solo e ensaios na cadeia de isoladores do PRE. Simulações são realizadas utilizando-se os programas computacionais ATPDraw, ERM e CDEGS para análise das tensões resultantes de descargas diretas, tensões induzidas por descargas indiretas e cálculo de resistência de terra, respectivamente. São investigados os efeitos de parâmetros importantes no desempenho do sistema frente a descargas atmosféricas e comparados os números de interrupções estimadas e verificadas em campo, partindo-se de um roteiro metodológico minuciosamente detalhado, a fim de permitir a repetição dos procedimentos em situações semelhantes às analisadas neste trabalho. Após uma análise comparativa do desempenho do sistema PRE em relação a outras alternativas convencionais, são estabelecidos índices de referência para o desempenho operacional da Tecnologia PRE e desenvolvida uma análise econômica da implantação dessa tecnologia em Rondônia. / As one of the major public policies of social inclusion, the universalization of electric energy services has as a challenge to choose appropriate technological solutions that combine technical and economic aspects. The energized shield wire line technology (SWL), subject of this thesis, is in this context. This study aims at evaluating the viability of the SWL technology (three-phase scheme) installed on a 230 kV transmission line in the State of Rondônia. The analysis covers its technical, operational, and economic performance. The former aspect considers the performance of the grounding system regarding the ground resistance and step and touch voltages, analysis of voltage drop, voltage unbalance and the load capacity of the installation. The technical issue is deeply held after the analysis of the system operational performance in Rondônia based on the classification of outages considering a period greater than 180 months. The operational indices that result from this evaluation are compared to those corresponding to other technology alternatives in order to evaluate the viability of SWL technology. The analysis of the causes of interruptions reveals that lightning has a significant impact on the SWL performance. Thus, an extensive analysis is carried out regarding the effects of direct and indirect strokes on the SWL, including field measurements (soil resistivity and tower footing resistance) and laboratory tests (determination of the positive and negative critical flashover overvoltages of insulator strings). Simulations are performed using computer programs of proved validity (ATPDraw, ERM, and CDEGS) for the analysis of lightning overvoltages resulting from direct and indirect strokes and for the calculation of ground resistance. The effects of important parameters on the system lightning performance are investigated and the estimated and observed frequencies of interruptions are compared. The applied methodological procedure is described in detail, to allow the method to be used in other cases similar to the situations examined on this study. After a comparative analysis of the performance of the SWL with respect to other conventional alternatives, reference indices for the operational performance of SWL Technology are set and an economic analysis of the SWL technology in Rondônia is carried out.

O objetivo deste trabalho e apresentar o resultado de uma pesquisa terminologica/ terminograca bilngue Ingl^es/Portugu^es das unidades terminologicas dos Procedimentos Operacionais de Cabine, da area de Aviac~ao Comercial, e da subarea do Check-list. A partir da organizac~ao das unidades terminologicas em forma alfab etica construmos um dicionario terminologico dessa area. Para a concretizac~ao desse objetivo, selecionamos e escolhemos os contextos que descreveram o conteudo sem^antico-conceptual dos termos. Para a realizac~ao deste trabalho utilizamos os corpora documental e de par^ametro para a extrac~ao, selec~ao e denic~ao dos termos. A composic~ao do perl tematico da subarea do Check-list foi feita atraves da utilizac~ao de textos de carater denitorios e explicativos, porque apresentam esses uma densidade terminologica alta. A maioria das unidades terminologicas tratadas s~ao termos compostos que subsumem o princpio da transpar^encia, o princpio da adequac~ao e o princpio da produtividade. Todos os termos includos nesta pesquisa, para a constru c~ao do dicionario terminologico bilngue, apresentam a estrutura hierarquica do vocabularo do Check-list. / The objective of this study is to present the result of a bilingual English-Portuguese terminological/terminographical research, which describes the terminological units of the Cockpit Training Procedure related to the Business Aviation area, and to the Check-list subarea. A dictionary was done due to the organization of the terminological units in alphabetical sequence. To achieve this goal, we selected and chose the contexts that describe the semantic and conceptual content of all terms. To carry out this task, the documental and the parameter corpora were used to extract, select and to dene the terms. The setting of the thematic prole of the Checklist was done through the use of dening and explanatory texts as they present a great terminological density. The majority of terminological units used in this study were compound terms which subsume the principle of transpar^encia, the principle of appropriateness and, the principle of derivability. All the terms included in this research to build up the bilingual terminological dicitionary present a hierarchical structure of the Check-list vocabulary.

A universalização da energia elétrica, como uma das principais políticas públicas de inclusão social, tem como desafio a escolha de alternativas tecnológicas capazes de conciliar os aspectos de viabilidade técnica e econômica. A Tecnologia cabos para-raios energizados (PRE), objeto de estudo desta tese, se insere neste contexto. Assim, este trabalho consiste na análise de viabilidade do PRE no esquema trifásico, cuja instalação é associada à linha de transmissão 230 kV do sistema de transmissão de Rondônia. São analisados os aspectos de seu desempenho técnico, operacional e econômico. No aspecto técnico é analisado o desempenho do sistema de aterramento quanto à resistência de terra, tensões de toque e de passo, além de análise da queda de tensão, desequilíbrio de tensão e capacidade de carregamento da instalação. A abordagem técnica é aprofundada após análise do desempenho operacional avaliado a partir da classificação das interrupções verificadas em mais de 180 meses de operação do Sistema PRE Rondônia. Em decorrência dessa avaliação, são obtidos índices operacionais de continuidade, analisados comparativamente em relação a outras alternativas tecnológicas, visando analisar a viabilidade da Tecnologia PRE. Uma das constatações resultantes da análise das causas das interrupções indica um elevado impacto das descargas atmosféricas no desempenho do PRE. Este aspecto é extensivamente analisado quanto aos efeitos das descargas diretas e indiretas sobre a instalação, partindo-se de medições de campo nos contrapesos das torres, medições de resistividade do solo e ensaios na cadeia de isoladores do PRE. Simulações são realizadas utilizando-se os programas computacionais ATPDraw, ERM e CDEGS para análise das tensões resultantes de descargas diretas, tensões induzidas por descargas indiretas e cálculo de resistência de terra, respectivamente. São investigados os efeitos de parâmetros importantes no desempenho do sistema frente a descargas atmosféricas e comparados os números de interrupções estimadas e verificadas em campo, partindo-se de um roteiro metodológico minuciosamente detalhado, a fim de permitir a repetição dos procedimentos em situações semelhantes às analisadas neste trabalho. Após uma análise comparativa do desempenho do sistema PRE em relação a outras alternativas convencionais, são estabelecidos índices de referência para o desempenho operacional da Tecnologia PRE e desenvolvida uma análise econômica da implantação dessa tecnologia em Rondônia. / As one of the major public policies of social inclusion, the universalization of electric energy services has as a challenge to choose appropriate technological solutions that combine technical and economic aspects. The energized shield wire line technology (SWL), subject of this thesis, is in this context. This study aims at evaluating the viability of the SWL technology (three-phase scheme) installed on a 230 kV transmission line in the State of Rondônia. The analysis covers its technical, operational, and economic performance. The former aspect considers the performance of the grounding system regarding the ground resistance and step and touch voltages, analysis of voltage drop, voltage unbalance and the load capacity of the installation. The technical issue is deeply held after the analysis of the system operational performance in Rondônia based on the classification of outages considering a period greater than 180 months. The operational indices that result from this evaluation are compared to those corresponding to other technology alternatives in order to evaluate the viability of SWL technology. The analysis of the causes of interruptions reveals that lightning has a significant impact on the SWL performance. Thus, an extensive analysis is carried out regarding the effects of direct and indirect strokes on the SWL, including field measurements (soil resistivity and tower footing resistance) and laboratory tests (determination of the positive and negative critical flashover overvoltages of insulator strings). Simulations are performed using computer programs of proved validity (ATPDraw, ERM, and CDEGS) for the analysis of lightning overvoltages resulting from direct and indirect strokes and for the calculation of ground resistance. The effects of important parameters on the system lightning performance are investigated and the estimated and observed frequencies of interruptions are compared. The applied methodological procedure is described in detail, to allow the method to be used in other cases similar to the situations examined on this study. After a comparative analysis of the performance of the SWL with respect to other conventional alternatives, reference indices for the operational performance of SWL Technology are set and an economic analysis of the SWL technology in Rondônia is carried out.

Este trabalho se inicia com uma discussão sobre as principais características dos Sistemas de Arquivos Distribuídos, ou seja, espaço de nomes, localização, cache, consistência, replicação, disponibilidade, escalabilidade, heterogeneidade, tolerância a falhas e segurança. Analisamos diversos sistemas de arquivos existentes quanto a estas características dando especial atenção aos sistemas NFS, Andrew, Coda, Sprite, Zebra, Harp, Frolic e Echo. Descrevemos alguns modelos analíticos para o comportamento de sistemas de arquivos distribuídos e, em seguida, apresentamos um novo modelo para sistemas baseados em leases - um mecanismo para a garantia de consistência em sistemas distribuídos. Finalmente, descrevemos a nossa implementação do sistema de arquivos distribuído SODA - que utiliza leases - apresentando dados sobre o seu desempenho. / We begin with a discussion of some of the main characteristics of Distributed File Systems, namely locality, name space, cache, consistency, replication, availability, scalability, heterogeneity, fault tolerance and security. We analyze several file systems based on these characteristics. We focus mainly on NFS, Andrew, Coda, Sprite, Zebra, Harp, Frolic, and Echo. We then describe some analytical models of the behavior of distributed file systems. After that we present a new model of systems based on leases - a mechanism to assure consistency on a distributed system. Finally we describe our implementation of the SODA distributed file system - which uses leases - presenting some results on its performance.

[pt] A evolução das técnicas de codificação de mídias contínuas vem tornando cada vez mais difundido o uso de aplicações multimídia distribuídas. Esse tipo de aplicação possui requisitos de desempenho que devem ser atendidos de modo fima- fim, funcionalidade somente alcançada se mecanismos de provisão de qualidade de serviço (QoS) forem aplicados a todos os subsistemas participantes do serviço. Esses mecanismos buscam proporcionar algum controle no compartilhamento dos recursos distribuídos, mas a heterogeneidade de recursos e plataformas torna tal gerenciamento uma tarefa muito complexa. A uniformização do acesso aos recursos representa um ponto-chave na solução do problema, ao oferecer abstrações independentes de plataforma e que possam representar não somente um recurso qualquer, mas também a distribuição deles. Deve- se considerar, ainda, a evolução contínua das aplicações, que gera demanda por mecanismos adaptáveis, e a participação de múltiplos atores, que gera demanda por ambientes cooperativos de configuração e manutenção de recursos. O presente trabalho propõe uma técnica de gerenciamento de recursos com suporte a QoS fim-a-fim denominada MDRM (gerenciamento de recursos dirigido por modelos), inspirada nos processos e conceitos de MDSD (desenvolvimento de software dirigido por modelos). Particularmente, MDRM inclui a especificação de um meta modelo próprio, denominado Árvores de Recursos Virtuais (VRT), responsável por oferecer as abstrações necessárias para o preenchimento dos requisitos de uniformização, interoperabilidade, adaptabilidade e cooperação na construção de modelos de gerenciamento de recursos. Os modelos de gerenciamento de recursos são instâncias do meta modelo especificados por meio de uma linguagem de domínio específico (DSL), chamada Pan. Pan é capaz de expressar o formalismo de VRT em código independente de plataforma, oferecendo uma notação de fácil assimilação pelos atores possivelmente presentes em ambientes distribuídos em geral. MDRM prevê, ainda, o projeto de ambientes de modelagem compostos por ferramentas que auxiliam os processos de validação, transformação e implantação de modelos de gerenciamento de recursos. Os construtos da linguagem Pan permitem que as mesmas ferramentas sejam também usadas na manutenção de modelos já instanciados, de forma que ações de adaptação possam ser prontamente refletidas nas plataformas envolvidas. Um framework para suporte a MDRM em sistemas operacionais de propósito geral também é apresentado, no intuito de exemplificar como os conceitos do meta modelo VRT devem ser espelhados internamente às plataformas-alvo. / [en] The evolution of codification techniques for continuous media is making distributed multimedia applications even more popular. This kind of application has performance requirements that must be met in an end-to-end fashion, which can be achieved only if quality-of-service (QoS) provisioning mechanisms are applied on each participant subsystem. These mechanisms try to provide some control on distributed resource sharing, but the heterogeneity of resources and platforms turns management into a very complex task. Uniformization of resource access plays a key role to solve the problem, as it provides platform-independent abstractions that can represent not only a given resource, but also the distribution of them. It is also important to consider the continuous evolution of applications, which creates a demand for adaptable mechanisms, and the participation of multiple actors, which creates a demand for cooperative environments for resource configuration and maintenance. This work proposes a technique for resource management with end-to-end QoS support called MDRM (model-driven resource management), inspired on MDSD´s (model-driven software development) concepts and processes. Particularly, MDRM includes the specification of its own meta model, called Virtual Resource Trees (VRT), which provides the abstractions needed to address uniformization, interoperability, adaptability and cooperation requirements on building resource management models. Resource management models are instances of the meta model specified using a domain-specific language (DSL) called Pan. Pan is able to express the formalism of VRT as platform-independent code, providing an easy to learn notation for any actors possibly present on general distributed environments. MDRM also considers the design of modeling environments composed of tools that help on validation, transformation and deployment of resource management models. The constructs of the Pan language allow the same tools to be used for maintenance of models already instantiated, and thus adaptation actions can be promptly propagated to concerned platforms. A framework for MDRM support on general-purpose operating systems is also presented to illustrate how the concepts of the VRT meta model must be mirrored internally in target platforms.