Re: [DynInst_API:] Creating ParseAPI graphs to CFGs for externalrepresentations; adding line map information from external sources

[Xiaozhu Meng <xmeng@xxxxxxxxxxx>]

Hi Keren,

I am sorry for the late response. See my inlined comments.

   //ret_func->_cache_valid = true;

In your case, I don't think you need to maintain _cache_valid, because _cache_valid is used by the Dyninst parser. You should be able to ignore it.

ÂÂ

ÂÂÂÂÂÂÂ //ret_func->add_block(ret_block);

Right now, there is indeed no easy way to add a block to a function, because Function::add_block is declared as a private member function. Personally, I am fine with changing Function::add_block to a public function. Making it public is consistent with an existing interface Edge::install(), which adds an edge to the source and target block.ÂÂ

Â

Â

      //ret_func->_call_edge_list.insert(ret_edge);

There is no good interface for inserting call edges to a function. But I don't think this information is needed for loop analysis because the loop analysis in ParseAPI just iterate every edge of a basic block and ignore the call edges. If you want to maintain a list of call edges in a function, you can either create a new public interface in parseAPI/h/CFG.h to access _call_edge_list, or you can inherit the ParseAPI::Function class and maintain your own version of call edge list.Â

Considering that you may want to maintain other information about a function, I would recommend inherit the ParseAPI::Function.Â

Â

ÂÂÂÂÂÂÂÂÂ } else {Â // TODO(Keren): Add more edge types

ÂÂÂÂÂÂÂÂÂÂÂ ret_edge = new Edge(ret_block, ret_target_block, DIRECT);

ÂÂÂÂÂÂÂÂÂ }

Â

ÂÂÂÂÂÂÂÂÂ ret_edge->install();

ÂÂÂÂÂÂÂÂÂ edges_.add(*ret_edge);

ÂÂÂÂÂÂÂ }

ÂÂÂÂÂ }

Â

ÂÂÂÂÂ return ret_func;

ÂÂÂ }

 }

Â

 return NULL;

 // iterate blocks

 // add blocks

 // iterate targets

 // add edges

}

Â

Regards,

Keren

Â

Sent from Mail for Windows 10

Â

From: John Mellor-Crummey
Sent: Thursday, May 31, 2018 9:58 PM
To: Xiaozhu Meng
Cc: John Mellor-Crummey; Keren Zhou
Subject: Re: [DynInst_API:] Creating ParseAPI graphs to CFGs for externalrepresentations; adding line map information from external sources

Â

Xiaozhu,

Â

Thanks! Weâll give the CFG construction a try.

Â

I believe that Bill thought that I could push in line maps, but I havenât tried it yet.

--
John Mellor-CrummeyÂÂÂÂÂÂÂÂÂÂÂ Professor
Dept of Computer ScienceÂÂÂÂÂ Rice University
email: johnmc@xxxxxxxxÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ phone: 713-348-5179

On May 31, 2018, at 8:55 AM, Xiaozhu Meng <mxz297@xxxxxxxxx> wrote:

Â

Hi John,

Â

I can answer the part about ParseAPI. You can definitely use the CFGFactory to construct your ParseAPI CFG, which should contains a bunch of ParseAPI::Function, ParseAPI::Block, and ParseAPI::Edge objects. Then, you can invoke loop analysis through Function objects. You won't have the SymtabCodeSource or CodeObject, but they are not needed for loop analysis.

Â

Thanks,

Â

--XiaozhuÂ

Â

On Tue, May 29, 2018 at 2:53 PM, John Mellor-Crummey <johnmc@xxxxxxxx> wrote:

We are interested in building ParseAPI CFGs for a GPU binary given a representation of the CFG for a GPU binary in as a graph in dot format. We are currently parsing the GPU CFG for each function out of dot, understand its blocks, edges, and calls. From scanning through the documentation in ParseAPI, it is not clear whether it would be feasible to simply use the CFG factory interface to supply graph elements to Dyninst to construct a CFG. If we did so, would it then be possible to use the Loop Analyzer to analyze this CFG? (At present, we have a copy of the LoopAnalyzer code that analyzes our lightweight internal representation of the dot graph, but it would be better for HPCToolkitâs hpcstruct to just work with one representation Â- Dyninst CFGs for binaries.)

Â

Also, can I push line map information into dyninst from the outside? Line maps for optimized GPU binaries canât be read from libdw. If I write my own reader, can I push information associating address ranges with source file and line? There is no information about compilation units, which is what makes NVIDIAâs cubin line maps unreadable with libdw. If I were to push information in from the outside about source lines and files, would I have to fake a compilation unit, or could I just put it in the default module?

Â

We would appreciate any advice. If is easier to have a conversation than sending a long email, let me know.

--
John Mellor-Crummey Professor
Dept of Computer Science Rice University
email: johnmc@xxxxxxxx phone: 713-348-5179

Â

_______________________________________________
Dyninst-api mailing list
Dyninst-api@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api

Â

Â

Â