Dynamic arrays and overlays with bounds policies

• US 7,062,761 B2
• Filed: 07/10/2001
• Issued: 06/13/2006
• Est. Priority Date: 07/10/2001
• Status: Active Grant

• Current Assignee: Micron Technology, Inc.
• Original Assignee: Micron Technology, Inc.
• Inventors: Hu, Shane C., Slavin, Keith R
• Primary Examiner(s): Zhen, Wei
• Assistant Examiner(s): RAMPURIA, SATISH
• Application Number:
  US09/901,806
• Publication Number:
  US 20030014607A1
• Time in Patent Office: 1,799 Days
• Field of Search: 717150-153, 717/108, 717/162, 711/1, 711/170, 711/173, 711/111, 711/202, 707/1, 707/104.1, 709/400, 365/222, 714/4, 716/4
• US Class Current: 717/151
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/31 Programming languages or programming paradigms
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 9/5016 the resource being the memory

Abstract

Systems and methods are provided for writing code to access data arrays. One aspect provides a method of accessing a memory array. Data is provided within a one-dimensional array of allocated memory. A dimensional dynamic overlay is declared from within a block of statements, and the declaration initializes various attributes within an array attribute storage object. The data is accessed from within the block of statements as a dimensional indexed array using the array attribute storage object. Another aspect provides a method of creating and accessing a dimensional dynamic array. A dimensional dynamic array is declared from within a block of statements, and memory storage for the array is dynamically allocated. A dynamic overlay storage object is also provided and its attributes are initialized from the dynamic array declaration. The data is accessed as a dimensional indexed array from within the block of statements using the array attribute storage object.

Claims

1. A method of accessing a memory array implemented in a computer-readable medium, comprising:

providing data contained within a one-dimensional array of allocated memory;

dynamically declaring a dimensional dynamic overlay on the data contained within the one-dimensional array from within a block of statements in a subroutine to initialize attributes within an array attribute storage object, wherein the dynamic overlay is defined within the subroutine and provides a dimensional view on the one-dimensional array, the dimensional dynamic overlay being capable of providing a view of at least two dimensions on the one-dimensional array; and

accessing the data from within the block of statements as a dimensional indexed array using the array attribute storage object, and wherein the allocated memory of the one-dimensional array remains persistent and is referenced within the array attribute storage object.

2. The method of claim 1, wherein declaring a dimensional dynamic overlay on the data includes:

providing a pointer to the one-dimensional array of allocated memory;

providing an array access identifier; and

providing array information for the declared dimensional dynamic overlay.

3. The method of claim 2, wherein providing array information includes providing array height information, array width information and array stride information.

4. The method of claim 2, further including performing allocated memory offset and array index boundary calculations on the array information that is for the dimensional dynamic overlay.

5. The method of claim 1, wherein declaring a dimensional dynamic overlay on the data contained within the one-dimensional array includes coding a dimensional dynamic overlay declaration using extended programming language from within the subroutine.

6. The method of claim 1, further comprising setting an explicit boundary policy for the declared dimensional dynamic overlay.

7. A method of accessing a memory array implemented in a computer-readable medium, comprising:

providing data contained within a one-dimensional array of allocated memory;

dynamically declaring a dimensional dynamic overlay on the data contained within the one-dimensional array from within a block of statements in a subroutine, wherein the dynamic overlay is defined within the subroutine and provides a dimensional view on the one-dimensional array, the dimensional dynamic overlay being capable of providing a view of at least two dimensions on the one-dimensional array;

providing a dynamic overlay storage object associated with the declared dimensional overlay;

assigning attributes from the declared dimensional dynamic overlay to the storage object; and

accessing the data from within the block of statements as a dimensional indexed array using the declared dimensional overlay, and wherein access is achieved by references to persistent memory associated with the one-dimensional array that are included within the storage object.

8. The method of claim 7, wherein providing a dynamic overlay storage object includes providing a dynamic overlay storage object within a hardware environment.

9. The method of claim 7, wherein providing a dynamic overlay storage object includes providing a dynamic overlay storage object within a software environment.

10. The method of claim 7, further comprising automatically freeing the dynamic overlay storage object when leaving the block of statements in which the dimensional dynamic overlay was declared.

11. The method of claim 7, wherein declaring a dimensional dynamic overlay on the data includes:

providing a reference to the one-dimensional array of allocated memory;

providing an array access identifier; and

providing array information for the declared dimensional dynamic overlay.

12. The method of claim 11, wherein providing array information includes providing array height information, array width information and array stride information.

13. The method of claim 11, further including performing allocated memory offset and array index boundary calculations on the array information for the dimensional dynamic overlay.

14. A method of creating and accessing a multi-dimensional dynamic array implemented in a computer-readable medium, comprising:

dynamically declaring a dimensional dynamic array from within a block of statements in a software program subroutine;

dynamically allocating memory storage sufficient to store all the elements for the declared dimensional dynamic array;

providing a dynamic overlay storage object with attributes initialized from the dimensional dynamic array declaration, wherein the dynamic overlay storage object provides a dimensional view on a one-dimensional array associated with contiguous memory locations, the dimensional dynamic overlay storage object being capable of providing a view of at least two dimensions on the one-dimensional array, and wherein the contiguous memory locations remain persistent and are accessed via references housed in the overlay storage object;

accessing data from the dynamically allocated memory storage as a dimensional indexed array from within the block of statements using the dynamic overlay storage object;

automatically freeing the dynamically allocated memory storage when leaving a subroutine in which the dynamic array is declared; and

automatically freeing the dynamic overlay storage object when leaving a subroutine in which the dynamic array is declared.

15. The method of claim 14, wherein providing a dynamic overlay storage object with attributes initialized from the declared dimensional dynamic array includes:

providing a pointer to a corresponding one-dimensional array in the dynamically allocated memory storage;

providing a handle for an array access; and

providing array information.

16. The method of claim 15, further including performing allocated memory offset and array index boundary calculations on the array information provided for the declared dimensional dynamic array.

17. The method of claim 15, wherein providing array information includes providing array height information, array width information and array stride information.

18. The method of claim 14, wherein providing a dynamic overlay storage object includes providing a dynamic overlay storage object separately stored within a hardware environment to enhance performance.

19. The method of claim 14, wherein providing a dynamic overlay storage object includes providing a dynamic overlay storage object allocated within normal memory in a software environment.

20. The method of claim 14, wherein declaring a dimensional dynamic array on the data contained within the one-dimensional array includes coding a dimensional dynamic overlay declaration using extended programming language from within the subroutine.

21. The method of claim 14, further comprising setting an explicit array boundary policy for the declared dimensional dynamic array.

22. A method of processing a data array implemented in a computer-readable medium, comprising:

providing a software program with at least one block of statements;

declaring a data array within the block of statements, including a dimensional dynamic overlay to provide a dimensional view on a one-dimensional array associated with contiguous memory locations, the dimensional dynamic overlay being capable of providing a view of at least two dimensions on the one-dimensional array, and wherein the contiguous memory locations are persistent and the dimensional dynamic overlay includes references to the contiguous memory locations to form the dimensional view;

setting an array boundary policy for the data array which is defined with or referenced by some of the block of statements, wherein the array boundary policy dictates run-time actions of the software program that are executed, if during execution of the software program, the data array is accessed outside its boundaries, and wherein the array boundary policy is configurable and user-defined;

accessing the array within the block of statements;

compiling the software program; and

executing the software program.

23. The method of claim 22, wherein declaring a data array within the subroutine includes:

declaring an array access handle;

declaring an array size; and

declaring a data element type.

24. The method of claim 23, wherein declaring an array size includes:

determining the number of data array dimensions for a problem; and

selecting the total number of data array dimensions.

25. The method of claim 24, wherein selecting the total number of data array dimensions includes providing a dimension size expression that is constant.

26. The method of claim 24, wherein selecting the total number of data array dimensions includes providing a dimension size expression that is evaluated at run-time.

27. The method of claim 22, wherein executing the software program includes:

performing run-time allocation of memory to obtain a base address attribute;

performing run-time calculation of array size attributes from the declared data array;

obtaining the array boundary policy setting as an array attribute;

associating attributes of the declared data array with the array access handle; and

accessing the data array at run-time using the array access handle and array indices.

28. The method of claim 27, wherein accessing the data array at run-time using the array access handle and array indices comprises:

obtaining the attributes of the declared data array using the array access handle; and

performing run-time boundary policy enforcement based on array access attributes.

29. The method of claim 28, further comprising terminating the program if the array boundary policy aborts for an invalid index.

30. The method of claim 27, wherein accessing the data array at run-time using the array access handle and array indices comprises:

obtaining the attributes of the declared data array using the array access handle;

performing run-time invalid index value detection based on array access attributes for the declared data array;

applying the array boundary policy to constrain the invalid index values to be valid index values;

calculating an offset into the declared data array from the valid index values and the attributes of the declared data array; and

adding the offset to the base address attribute to obtain a memory address for accessing the indexed data array element.

31. The method of claim 22, wherein setting the array boundary policy further includes setting a reflect-at-boundary policy that reflect array data at a declared boundary.

32. The method of claim 22, wherein setting the array boundary policy further includes setting a confined index and boundary policy that replicates data beyond a detected boundary.

33. The method of claim 22, wherein setting the array boundary policy further includes setting a pre-defined array attribute value that is to be read for all out of bounds accesses.

34. A method of processing a data array implemented in a computer-readable medium, comprising:

providing a software program with a block of statements in at least one subroutine;

declaring a dimensional dynamic overlay on data contained within a one-dimensional array from within the block of statements to initialize attributes within an array attribute storage object, wherein the dimensional dynamic overlay provides a dimensional view on the one-dimensional array, the dimensional dynamic overlay being capable of providing a view of at least two dimensions on the one-dimensional array, and wherein memory associated with the one-dimensional array is persistent and references to the memory are included in the dimensional dynamic overlay;

setting an array boundary policy for the declared dimensional overlay which is defined with or referenced by some of the block of statements wherein the array boundary policy dictates run-time actions of the software program that are executed, if during execution of the software program, the data array is accessed outside its boundaries, and wherein the array boundary policy is configurable and user-defined;

accessing the data from within the block of statements as a dimensional indexed array using the array attribute storage object;

compiling the software program; and

executing the software program.

35. The method of claim 34, wherein setting the array boundary policy further includes setting a reflect-at-boundary policy that reflect array data at a declared boundary.

36. The method of claim 34, wherein setting the array boundary policy further includes setting a confined index and boundary policy that replicates data beyond a detected boundary.

37. The method of claim 34, wherein setting the array boundary policy further includes setting a pre-defined array attribute value that is to be read for all out of bounds accesses.

38. A method of processing a data array implemented in a computer-readable medium, comprising:

providing a software program with a block of statements in at least one subroutine;

declaring a dimensional dynamic array from within the block of statements to initialize attributes within an array attribute storage object;

dynamically allocating memory storage for the declared dimensional dynamic array;

providing a dynamic overlay storage object with attributes assigned from the declared dimensional dynamic array, wherein the overlay storage object maps to the memory storage of the declared dimensional dynamic array, the overlay storage object being capable of mapping at least two dimensions on a one-dimensional array associated with the memory storage, and wherein the memory storage is persistent and references to the memory storage are included in the dynamic overlay storage object;

setting an array boundary policy for the declared dimensional dynamic array which is defined with or referenced by some of the block of statements wherein the array boundary policy dictates run-time actions of the subroutine that are executed, if during execution of the subroutine, the data array is accessed outside its boundaries, and wherein the array boundary policy is configurable and user-defined;

accessing data from the dynamically allocated memory storage as a dimensional indexed array from within the block of statements using the dynamic overlay storage object;

automatically freeing the dynamically allocated memory storage when leaving a subroutine in which the dynamic array is declared;

automatically freeing the dynamic overlay storage object when leaving a subroutine in which the dynamic array is declared;

compiling the software program; and

executing the software program.

39. The method of claim 38, wherein setting the array boundary policy further includes setting a reflect-at-boundary policy that reflect array data at a declared boundary.

40. The method of claim 38, wherein setting the array boundary policy further includes setting a confined index and boundary policy that replicates data beyond a detected boundary.

41. The method of claim 38, wherein setting the array boundary policy further includes setting a pre-defined array attribute value that is to be read for all out of bounds accesses.

42. A system, comprising:

a computer readable medium;

an extended programming language encoded in the computer readable medium, including;

dynamic array language extensions for declaring a dimensional dynamic array and creating an array handle for accessing the dimensional dynamic array; and

dynamic overlay language extensions for declaring a dimensional dynamic overlay on existing allocated data and creating an array handle for accessing the dimensional dynamic overlay, wherein the dimensional dynamic overlay provides a dimensional view on the existing allocated data, the dimensional dynamic overlay is capable of providing a view of at least two dimensions, and wherein the existing allocated data is persistent and references to the existing allocated data are included in the dimensional dynamic overlay; and

a translator for converting the extended programming language implemented in programs into machine code instructions that are able to be run on a processor.

43. The system of claim 42, wherein the translator includes a compiler adapted for converting the extended language into machine code instructions that is able to be run on the processor.

44. The system of claim 42, wherein the translator includes:

a language converter for converting the extended language into a mid-level programming code; and

a compiler for compiling the mid-level language program code into machine code instructions that is able to be run on the processor.

45. The system of claim 44, wherein:

the language converter includes a converter program encoded on the computer readable medium; and

the processor executes the converter program to read the extended language and convert the extended language into the mid-level programming code.

46. The system of claim 42, wherein:

the extended language is a C programming language with language extensions; and

the language converter converts the extended language into C code.

47. The system of claim 42, further including at least one software program subroutine encoded in the computer readable medium, wherein the at least one software program subroutine includes the extended programming language, and wherein the at least one software program accesses data in the dimensional dynamic arrays and the dimensional dynamic overlays.

48. A system, comprising:

a computer readable medium;

an extended programming language encoded in the computer readable medium, including;

dynamic array language extensions for declaring a dimensional dynamic array and creating an array handle for accessing the dimensional dynamic array;

dynamic overlay language extensions for declaring a dimensional dynamic overlay on existing allocated data and creating an array handle for accessing the dimensional dynamic overlay, wherein the dimensional dynamic overlay provides a dimensional view on the existing allocated data, the dimensional dynamic overlay is capable of providing a view of at least two dimensions, and wherein the existing allocated data is persistent and references to the existing allocated data are included in the dimensional dynamic overlay; and

boundary policy language extensions for setting array boundary policies for the dimensional dynamic array and the dimensional dynamic overlay, which define run-time actions to process when run-time access of the dimensional dynamic array exceeds its boundaries, and wherein the boundary policy language extensions are configurable and user-defined; and

a translator for converting the extended programming language into machine code instructions that is able to be run on a processor.

49. The system of claim 48, further including at least one software program subroutine encoded in the computer readable medium, wherein the at least one software program subroutine includes the extended programming language, and wherein the at least one software program accesses data in the dimensional dynamic arrays and the dimensional dynamic overlays.

50. The system of claim 48, wherein the translator includes a cross compiler.

51. The system of claim 48, wherein the translator includes a native compiler.