Data flow analysis of transactional processes

Data flow analysis of transactional processes

A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the b...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: McCrady, Donald James, Ringseth, Paul F, Mehta, Bimal
Format: Patent
Sprache:eng
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator McCrady, Donald James
Ringseth, Paul F
Mehta, Bimal
description A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the basic blocks is determined. A determination is made as to whether any loops are present within the flowgraph and, if so, the loops are identified. A creation point, destruction point and lock point for the data object is determined. Instructions are inserted into the computer code to create the at least one data object at the creation point, to destroy the data object at the destruction point and to lock the data object at the lock point.
format Patent
fullrecord <record><control><sourceid>uspatents_EFH</sourceid><recordid>TN_cdi_uspatents_grants_08196122</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>08196122</sourcerecordid><originalsourceid>FETCH-uspatents_grants_081961223</originalsourceid><addsrcrecordid>eNrjZNB1SSxJVEjLyS9XSMxLzKkszixWyE9TKClKzCtOTC7JzAcKKhQU5SenFhenFvMwsKYl5hSn8kJpbgYFN9cQZw_d0uKCxJLUvJLi-HSgTiBlYGFoaWZoZGRMhBIAseArUQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Data flow analysis of transactional processes</title><source>USPTO Issued Patents</source><creator>McCrady, Donald James ; Ringseth, Paul F ; Mehta, Bimal</creator><creatorcontrib>McCrady, Donald James ; Ringseth, Paul F ; Mehta, Bimal ; Microsoft Corporation</creatorcontrib><description>A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the basic blocks is determined. A determination is made as to whether any loops are present within the flowgraph and, if so, the loops are identified. A creation point, destruction point and lock point for the data object is determined. Instructions are inserted into the computer code to create the at least one data object at the creation point, to destroy the data object at the destruction point and to lock the data object at the lock point.</description><language>eng</language><creationdate>2012</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8196122$$EPDF$$P50$$Guspatents$$Hfree_for_read</linktopdf><link.rule.ids>230,308,776,798,881,64012</link.rule.ids><linktorsrc>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8196122$$EView_record_in_USPTO$$FView_record_in_$$GUSPTO$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>McCrady, Donald James</creatorcontrib><creatorcontrib>Ringseth, Paul F</creatorcontrib><creatorcontrib>Mehta, Bimal</creatorcontrib><creatorcontrib>Microsoft Corporation</creatorcontrib><title>Data flow analysis of transactional processes</title><description>A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the basic blocks is determined. A determination is made as to whether any loops are present within the flowgraph and, if so, the loops are identified. A creation point, destruction point and lock point for the data object is determined. Instructions are inserted into the computer code to create the at least one data object at the creation point, to destroy the data object at the destruction point and to lock the data object at the lock point.</description><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2012</creationdate><recordtype>patent</recordtype><sourceid>EFH</sourceid><recordid>eNrjZNB1SSxJVEjLyS9XSMxLzKkszixWyE9TKClKzCtOTC7JzAcKKhQU5SenFhenFvMwsKYl5hSn8kJpbgYFN9cQZw_d0uKCxJLUvJLi-HSgTiBlYGFoaWZoZGRMhBIAseArUQ</recordid><startdate>20120605</startdate><enddate>20120605</enddate><creator>McCrady, Donald James</creator><creator>Ringseth, Paul F</creator><creator>Mehta, Bimal</creator><scope>EFH</scope></search><sort><creationdate>20120605</creationdate><title>Data flow analysis of transactional processes</title><author>McCrady, Donald James ; Ringseth, Paul F ; Mehta, Bimal</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-uspatents_grants_081961223</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2012</creationdate><toplevel>online_resources</toplevel><creatorcontrib>McCrady, Donald James</creatorcontrib><creatorcontrib>Ringseth, Paul F</creatorcontrib><creatorcontrib>Mehta, Bimal</creatorcontrib><creatorcontrib>Microsoft Corporation</creatorcontrib><collection>USPTO Issued Patents</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>McCrady, Donald James</au><au>Ringseth, Paul F</au><au>Mehta, Bimal</au><aucorp>Microsoft Corporation</aucorp><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Data flow analysis of transactional processes</title><date>2012-06-05</date><risdate>2012</risdate><abstract>A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the basic blocks is determined. A determination is made as to whether any loops are present within the flowgraph and, if so, the loops are identified. A creation point, destruction point and lock point for the data object is determined. Instructions are inserted into the computer code to create the at least one data object at the creation point, to destroy the data object at the destruction point and to lock the data object at the lock point.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_uspatents_grants_08196122
source USPTO Issued Patents
title Data flow analysis of transactional processes
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-14T18%3A34%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-uspatents_EFH&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=McCrady,%20Donald%20James&rft.aucorp=Microsoft%20Corporation&rft.date=2012-06-05&rft_id=info:doi/&rft_dat=%3Cuspatents_EFH%3E08196122%3C/uspatents_EFH%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true