- Ad-dev - mailman3.cels.anl.gov

[openAD] #287: Need to handle type inference for Procedure types (function & subroutine)
by OpenAD 28 Aug '12

28 Aug '12

#287: Need to handle type inference for Procedure types (function & subroutine) ------------------------------+--------------------------------------------- Reporter: hlcm | Owner: hlcm Type: defect | Status: new Priority: major | Milestone: Component: SourceProcessing | Keywords: ------------------------------+--------------------------------------------- When function or subroutine names are passed as arguments or for generic resolve, the type is needed. Possibly a void type will need to be added for handling subroutines declared as external, while the function type inference needs to give the return type of the function. -- Ticket URL: <http://trac.mcs.anl.gov/projects/openAD/ticket/287> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

1 1

[openAD] #286: Need to handle type inference for Procedure types (function & subroutine)
by OpenAD 22 Jun '12

22 Jun '12

#286: Need to handle type inference for Procedure types (function & subroutine) ---------------------------------+------------------------------------------ Reporter: hlcm | Owner: Type: defect | Status: new Priority: major | Milestone: Component: Application - SCALE | Keywords: ---------------------------------+------------------------------------------ When function or subroutine names are passed as arguments or for generic resolve, the type is needed. Possibly a void type will need to be added for handling subroutines declared as external, while the function type inference needs to give the return type of the function. -- Ticket URL: <http://trac.mcs.anl.gov/projects/openAD/ticket/286> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

1 0

[openAD] #283: wrong character length for function2subroutine temporary
by OpenAD 20 Jun '12

20 Jun '12

#283: wrong character length for function2subroutine temporary ---------------------------------+------------------------------------------ Reporter: utke | Owner: Type: defect | Status: new Priority: major | Milestone: Component: Application - SCALE | Keywords: ---------------------------------+------------------------------------------ see PrePost/TestSources/f2sCharReturn.free.f90 -- Ticket URL: <https://trac.mcs.anl.gov/projects/openAD/ticket/283> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

2 3

[openAD] #285: type table duplicate entries for named types lets genericresolve fail
by OpenAD 05 Jun '12

05 Jun '12

#285: type table duplicate entries for named types lets genericresolve fail ------------------------------+--------------------------------------------- Reporter: utke | Owner: utke Type: defect | Status: new Priority: major | Milestone: Component: SourceProcessing | Keywords: ------------------------------+--------------------------------------------- see drvdTypeInference2.free.f90 gives: SourceProcessing: WARNING: cannot determine return type and canonicalize function call; _genericResolve: Could not match call to generic foo([TypetabEntry(11447056) -> entryKind=[NamedTypeEntryKind; symbolName:t1, localSymtab where the type is defined: 11424656], typetab_id=14]) to specific implemantation(s): foot1([TypetabEntry(11427536) -> entryKind=[NamedTypeEntryKind; symbolName:t1, localSymtab where the type is defined: 11426192], typetab_id=10]) foot2([TypetabEntry(11434960) -> entryKind=[NamedTypeEntryKind; symbolName:t2, localSymtab where the type is defined: 11427216], typetab_id=12]) (drvdTypeInference2.free.f90:33) -- Ticket URL: <https://trac.mcs.anl.gov/projects/openAD/ticket/285> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

1 0

Re: [Ad-dev] Managed to build
by Sri Hari Krishna Narayanan 23 May '12

23 May '12

Kaveh, The latest revision has been developed with a lot more features that are used to support Fortran Input that may not work for the C side right now. Can you please try revision 631 or 587 with boost_1_43_0. I can provide better guidance for this. You should be able to upgrade to the latest version in a couple of weeks. Krishna On May 23, 2012, at 6:23 AM, Kaveh Vahedipour wrote: > I had to take the newest. 631 had another problem. Which I know how > to fix in tehory but didn't wanna find out how complicated it would > be in the end. Something about the compiler not knowing how to make > a boost::unorder_list or so to ... > > But I might know where the problem was anyways. It turns out that > angel just built the static library and make was happy if an error > had occured down the road and you thought that you had fixed it. > > I have > > 64bit precise pangelot > gcc-4.4 > rose-0.9.5a-18998 > xerces-2.8.0 > xaifBooster (rev 125) > angel (rev 82) > boost 1.46.1 > openanalysis 1.0 (svn) > > Cheers, > Kaveh. > > On 23 May 2012, at 12:46, Sri Hari Krishna Narayanan wrote: > >> Hi Kaveh, >> >> Can you tell me which revision of ADIC you checked out? >> >> Thanks, >> Krishna >> >> On May 23, 2012, at 4:15 AM, Kaveh Vahedipour wrote: >> >>> Dear ADIC team, >>> >>> I have done my best to get ADIC2 compiled. I have finally made it. >>> After many hours of trouble shooting code & build files. This is >>> on 64bit Linux, btw. >>> >>> However, this is the error that I am faced with now: >>> >>> <snip> >>> kvahed@beo-38 ~/ADIC/adic_source/tests/basic/exec/ >>> mini1_forward_array> make >>> make: Warning: File `Makefile' has modification time 97 s in the >>> future >>> >>> ==== Using ADIC to generate derivative code (forward-dense) >>> ======mini1_dense_forward.ad.c=== >>> /usr/local/bin/adic2 mini1.c -mforward --nary >>> ADIC DEBUG[Command Line][0]: ../adic_source/util/ >>> BoostCommandLine.cpp 271 ROSE command line arguments: -rose:c >>> mini1.c >>> ERROR: caught exception: (../adic_source/main/ADIC.cpp: >>> 322)LogicException: preprocessTemplateFile: no template file >>> named found >>> make: *** [mini1_dense_forward.ad.c] Error 255 >>> </snip> >>> >>> Do you have any suggestions as to how to proceed from here? >>> >>> With highest regards, >>> Kaveh Vahedipour. >>> >>> --- >>> Kaveh Vahedipour >>> Institute of Neuroscience and Medicine >>> Medical Imaging Physics >>> Forschungszentrum Juelich GmbH >>> 52425 Juelich >>> Germany >>> Phone: +49-2461-611921 >>> Fax: +49-2461-611919 >>> E-mail: k.vahedipour(a)fz-juelich.de >>> Web: http://www.fz-juelich.de/inm/inm-4 >>> >>> >>> >>> ------------------------------------------------------------------------------------------------ >>> ------------------------------------------------------------------------------------------------ >>> Forschungszentrum Juelich GmbH >>> 52425 Juelich >>> Sitz der Gesellschaft: Juelich >>> Eingetragen im Handelsregister des Amtsgerichts Dueren Nr. HR B 3498 >>> Vorsitzender des Aufsichtsrats: MinDir Dr. Karl Eugen Huthmacher >>> Geschaeftsfuehrung: Prof. Dr. Achim Bachem (Vorsitzender), >>> Karsten Beneke (stellv. Vorsitzender), Prof. Dr.-Ing. Harald Bolt, >>> Prof. Dr. Sebastian M. Schmidt >>> ------------------------------------------------------------------------------------------------ >>> ------------------------------------------------------------------------------------------------ >>> >>> Kennen Sie schon unseren neuen Film? http://www.fz-juelich.de/film >>> Kennen Sie schon unsere app? http://www.fz-juelich.de/app >> > > --- > Kaveh Vahedipour > Institute of Neuroscience and Medicine > Medical Imaging Physics > Forschungszentrum Juelich GmbH > 52425 Juelich > Germany > Phone: +49-2461-611921 > Fax: +49-2461-611919 > E-mail: k.vahedipour(a)fz-juelich.de > Web: http://www.fz-juelich.de/inm/inm-4 >

1 0

[openAD] #284: strings containing double quotes should have the quotes represented as '&quote; ' in xaif
by OpenAD 07 May '12

07 May '12

#284: strings containing double quotes should have the quotes represented as '&quote;' in xaif ---------------------------------+------------------------------------------ Reporter: utke | Owner: utke Type: defect | Status: new Priority: major | Milestone: Component: multiple components | Keywords: ---------------------------------+------------------------------------------ an example is given in Regression/testRoundTrip/examples/dQuoteInString -- Ticket URL: <http://trac.mcs.anl.gov/projects/openAD/ticket/284> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

1 0

[openAD] #282: wrong error message on lline length
by OpenAD 07 May '12

07 May '12

#282: wrong error message on lline length ------------------------------+--------------------------------------------- Reporter: utke | Owner: hlcm Type: defect | Status: new Priority: major | Milestone: Component: SourceProcessing | Keywords: ------------------------------+--------------------------------------------- the logic in PyFort/process_fort_stmt.py hcm@483 39 if flow.inputLineLength != 0: hcm@483 40 if jl[flow.inputLineLength:] != '': hcm@483 41 print >> sys.stderr, "The following text is being cut because the statement exceeded the specified line length: "+jl[flow.inputLineLength:] Is being applied *after* the line has been concatenated and the line length of the concatenated line has nothing to do with the intial linelength being assumed by default from the formal or being specifcied by the user. -- Ticket URL: <https://trac.mcs.anl.gov/projects/openAD/ticket/282> OpenAD <http://www.mcs.anl.gov/openad> Bug tracking for OpenAD components

1 2

Summary of OA and useOA-Rose imports
by Sri Hari Krishna Narayanan 09 Mar '12

09 Mar '12

The OA and userOA-Rose trunks of the svn repositories from berlios have been converted to mercurial and placed in /mcs/mercurial/ad/openanalysis_berlios/ and /mcs/mercurial/ad/rose2OA_berlios/ respectively. To create repositories without heads, appropriate revisions were used to cloned to create: /mcs/mercurial/ad/RoseFE_OpenAnalysis/ (Revision 645 of original) and /mcs/mercurial/ad/Rose2OA/ (Revision 383 of original) respectively. Krishna

1 0

Thoughts on partial separability implementation
by Sri Hari Krishna Narayanan 27 Feb '12

27 Feb '12

Hi, During our intermittent discussions about the partial separability work, both before the submission and during the AMR proposal writing we floated the idea of eliminating a loop that was considered wasteful by you, but convenient from an implementation standpoint by me. Specifically: The statements: #pragma $adic_partiallyseparable, fquad, flin *f = area*(p5*fquad+flin); were converted originally to: #pragma $adic_partiallyseparable, fquad, flin ADIC_SPARSE_Create1DimArray(&__adic_temp_f, ad_var_max); for (__adic_temp0 = 0; __adic_temp0 < ad_var_max; __adic_temp0++) { __adic_temp_f[__adic_temp0] = (area * ((p5 * fquad[__adic_temp0]) + flin[__adic_temp0])); } ADIC_SPARSE_Summation(f,__adic_temp_f,ad_var_max); where the grad_array of f is dense and large in size. f is an object of the class SparseDerivSeparable. The grad_array of __adic_temp_f, fquad, and flin are of size p, where p is the number of colors used by ColPack to compress the sparse elemental Jacobian. These variables are objects of the class SparseDeriv. DERIV_TYPE is typedeffed to SparseDeriv SparseDerivSeparable is a child of SparseDeriv.SparseDeriv contains a static array: double grad[ADIC_GRADVEC_LENGTH]; and SparseDerivSeparable contains a dynamically allocated array: double *grad;. The only location where a SparseDeriv object is used to compute a SparseDerivSeparable object is in the ADIC_SPARSE_Summation function. In the sparsity detection mode ADIC_SPARSE_Summation registers the sparsity patterns of __adic_temp_f. In the computation mode, uses the registered patterns along with the ColPack routines to compute f from __adic_temp_f. I went ahead an implemented a version that did not require a loop that calculates each element of __adic_temp_f. The output is given below: #pragma $adic_partiallyseparable, fquad, flin DERIV_TYPE *__adic_temp_flin; DERIV_TYPE *__adic_temp_fquad; ad_var_26 = ADIC_SPARSE_max(ad_var_0,ad_var_1); ADIC_SPARSE_Summation(__adic_temp_fquad,ad_fquad,ad_var_26); ad_var_27 = ADIC_SPARSE_max(ad_var_0,ad_var_1); ADIC_SPARSE_Summation(__adic_temp_flin,ad_flin,ad_var_27); ad_TempVartmp_7 = DERIV_val(ad_p5) * DERIV_val( *__adic_temp_fquad) + DERIV_val( *__adic_temp_flin); ad_TempVarSymbol_12 = DERIV_val(ad_area) * ad_TempVartmp_7; ad_TempVarlin_30 = ad_TempVartmp_7; ad_TempVarlin_32 = DERIV_val( *__adic_temp_fquad); ad_TempVarlin_33 = DERIV_val(ad_p5); ad_TempVarlin_31 = DERIV_val(ad_area); ADIC_SetValue( *f,ad_TempVarSymbol_12); ADIC_SetDeriv (DERIV_TYPE_ref(ad_area),DERIV_TYPE_ref(ad_TempVarprop_55)); ADIC_SetDeriv(DERIV_TYPE_ref(ad_p5),DERIV_TYPE_ref(ad_TempVarprop_56)); ADIC_SetDeriv (DERIV_TYPE_ref( *__adic_temp_fquad),DERIV_TYPE_ref(ad_TempVarprop_57)); ADIC_SetDeriv (DERIV_TYPE_ref( *__adic_temp_flin),DERIV_TYPE_ref(ad_TempVarprop_58)); ADIC_Sax_3 (1 ,DERIV_TYPE_ref (ad_TempVarprop_58 ),ad_TempVarlin_32 ,DERIV_TYPE_ref (ad_TempVarprop_56 ),ad_TempVarlin_33 ,DERIV_TYPE_ref(ad_TempVarprop_57),DERIV_TYPE_ref(ad_TempVarprop_59)); ADIC_Sax_2 (ad_TempVarlin_30 ,DERIV_TYPE_ref (ad_TempVarprop_55 ),ad_TempVarlin_31 ,DERIV_TYPE_ref(ad_TempVarprop_59),DERIV_TYPE_ref( *f)); } Right now, all temporary variables are objects of SparseDeriv. There are two calls to ADIC_SPARSE_Summation that assign values to the temporary variables __adic_temp_flin and __adic_temp_fquad These variables will be defined as SparseDerivSeparable within ADIC_SPARSE_Summation. Here begins the problem, the XAIFBooster output for the statement area*(p5*fquad+flin); requires ADIC_Sax_# and SetDeriv calls which causes assignments of SparseDeriv to SparseDerivSeparable and vice-versa. Statements such as: ADIC_SetDeriv (DERIV_TYPE_ref( *__adic_temp_fquad),DERIV_TYPE_ref(ad_TempVarprop_57)); can probably be handled by intelligent declaration of temporaries. However, the statement ADIC_Sax_3 (1 ,DERIV_TYPE_ref (ad_TempVarprop_58 ),ad_TempVarlin_32 ,DERIV_TYPE_ref (ad_TempVarprop_56 ),ad_TempVarlin_33 ,DERIV_TYPE_ref(ad_TempVarprop_57),DERIV_TYPE_ref(ad_TempVarprop_59)); is trickier to handle as it requires us to define the computation between a SparseDeriv type and a SparseDerivSeparable type. ad_TempVarprop_56 is just a temporary holding the grad_arrary of ad_area which is a SparseDeriv object. What can be noted is that ad_area is a non_elemental value that is also in effect inactive. So if we integrate ActivityAnalysis, we should be able to keep ad_area inactive (double type) and so the above situation should not occur. Are there any thoughts on this? I have not yet talked about possibly using f later on in the code in this email. I am assuming that the succeeding code is all SparseDerivSeparable. We will have to work out how to have different types and variables declaration co-existing harmoniously. Thanks, Krishna

1 0

Update on the useOA-ROSE
by Sri Hari Krishna Narayanan 09 Feb '12

09 Feb '12

I have standardized the useOA-ROSE code to be about the same as ADIC's oawraps directory. The differences are: OATest.C will no longer be part of the library as such. LoopIRInterface.C/h are left in useOA-ROSE, but not built. The PBound-specific changes for now have been removed and will be added in once they become more stable. Jean: What is the best way to now use useOA-ROSE as an external tool inside ADIC2 instead of using it via the oawraps approach. Krishna

1 0