# Accelerating calculations of RNA secondary structure partition functions using GPUs

- Harry A Stern
^{1}and - David H Mathews
^{2}Email author

**8**:29

**DOI: **10.1186/1748-7188-8-29

© Stern and Mathews; licensee BioMed Central Ltd. 2013

**Received: **31 January 2013

**Accepted: **14 October 2013

**Published: **1 November 2013

## Abstract

### Background

RNA performs many diverse functions in the cell in addition to its role as a messenger of genetic information. These functions depend on its ability to fold to a unique three-dimensional structure determined by the sequence. The conformation of RNA is in part determined by its secondary structure, or the particular set of contacts between pairs of complementary bases. Prediction of the secondary structure of RNA from its sequence is therefore of great interest, but can be computationally expensive. In this work we accelerate computations of base-pair probababilities using parallel graphics processing units (GPUs).

### Results

Calculation of the probabilities of base pairs in RNA secondary structures using nearest-neighbor standard free energy change parameters has been implemented using CUDA to run on hardware with multiprocessor GPUs. A modified set of recursions was introduced, which reduces memory usage by about 25%. GPUs are fastest in single precision, and for some hardware, restricted to single precision. This may introduce significant roundoff error. However, deviations in base-pair probabilities calculated using single precision were found to be negligible compared to those resulting from shifting the nearest-neighbor parameters by a random amount of magnitude similar to their experimental uncertainties. For large sequences running on our particular hardware, the GPU implementation reduces execution time by a factor of close to 60 compared with an optimized serial implementation, and by a factor of 116 compared with the original code.

### Conclusions

Using GPUs can greatly accelerate computation of RNA secondary structure partition functions, allowing calculation of base-pair probabilities for large sequences in a reasonable amount of time, with a negligible compromise in accuracy due to working in single precision. The source code is integrated into the RNAstructure software package and available for download at http://rna.urmc.rochester.edu.

### Keywords

RNA Secondary structure Partition function Graphical processing unit CUDA## Background

RNA performs many diverse functions in the cell in addition to its role as a messenger of genetic information. It can form enzymes, for example for cleavage of itself or of other RNA, or to create peptide bonds as a fundamental constituent of the ribosome [1]. It can act as a signalling molecule for regulation of gene expression, for protein export, or for guiding post-translational modifications [2–5].

As for proteins, RNA function depends on its folding to a well-defined three-dimensional shape. In contrast to proteins, the folding of RNA is hierarchical [6]. Secondary structure, or the particular set of contacts between pairs of complementary bases mediated by hydrogen bonding and stacking of bases, provides a significant amount of information. This can be helpful in predicting function or accessibility to ligands [7–10]. Computational prediction of the secondary structure of RNA from its sequence is therefore of great interest. The most widely-used automated prediction methods attempt to estimate the thermodynamic stability of RNA, using empirical parameters determined from experiments on oligonucleotides [11, 12].

CUDA is a programming interface developed by the company NVIDIA to facilitate general-purpose, parallel high-performance computing on multiprocessor graphics processing units (GPUs) [13]. In recent years, many scientific computing applications have been implemented on GPUs using CUDA, in many cases yielding speed-ups of several orders of magnitude [14, 15]. However, to our knowledge, only a handful of publications have appeared describing GPU implementations of codes for RNA secondary structure prediction. Rizk and Lavenier described a CUDA implementation of structure prediction by free energy minimization [16]. Their work was limited to relatively short sequences (up to 120 bases) and a simplified energy model that neglects coaxial stacking. The GPU implementation was faster than the serial implementation by a factor of 10 and 17 depending on the particular hardware. More recently, Lei et al. [17] also reported a parallelized implementation of free energy minimization using CUDA. They used only a coarse-grained parallelization scheme where the minimum-free-energy structures for subsequences of a given length are calculated in parallel, but the search over structures for each subsequence is done serially. Their work was also limited to relatively short sequences (up to 221 bases). They reported speedups of up to a factor of 16. It should be noted that these parallelized implementations neither use the latest thermodynamic parameters for loops [18], nor include coaxial stacking interactions [19].

In addition, recent work demonstrates that calculations of base-pairing probabilities calculated with partition functions can provide additional useful information [20]. Structures composed of highly probable pairs are more accurate than lowest free energy structures [20, 21]. The base pair probabilities provide confidence intervals for prediction of individual pairs. Base pairing probabilities can also be used to predict pseudoknots [22]. We have additionally extended this work to predictions using multiple, homologous sequences, where the same principles hold true [23–26].

**Biological RNA sequences examined**
^{
*
}

Sequence | # bases | Reference |
---|---|---|

tRNA RQ2640 | 75 | [28] |

tRNA RD0500 | 76 | [28] |

tRNA RA7680 | 76 | [28] |

tRNA RD0260 | 77 | [28] |

tRNA RR1664 | 77 | [28] |

| 114 | [29] |

| 120 | [30] |

P546 folding domain of | 155 | [31] |

| 268 | [32] |

3’ UTR of | 300 | [33] |

| 433 | [30] |

| 632 | [34] |

| 1542 | [30] |

| 2904 | [29] |

human ICAM-1 mRNA | 2986 | [35] |

HIV-1 NL43 genome (GenBank: AF324493) | 9709 | [36] |

We employed a sophisticated and accurate energy calculation that includes coaxial stacking [19]. Before attempting a parallel implementation, we first wrote an optimized serial version of the original code (the “partition” program in RNAstructure), implementing only a subset of its functionality, while improving efficiency and reducing memory usage. Subsequently, we parallelized the optimized code for GPU hardware, using CUDA. Here we made use of a fine-grained parallelization scheme, in which the calculation of the restricted partition function for each subsequence of a given length is parallelized, as well as the calculation of the restricted partition function for each subsequence. We found that this fine-grained parallelization resulted in greater speedups than a simpler coarse-grained-only parallelization (up to factors of ∼60 compared to the optimized serial version and ∼116 compared to the original code).

## Implementation

### Calculating base pair probabilities

*p*

_{i,j}of a canonical pair between bases

*i*and

*j*related to the standard free energy change $\Delta {G}_{i,j}^{0}$ of the restricted ensemble of structures containing the pair, and the standard free energy change

*Δ*

*G*

^{0}of the unrestricted ensemble of all possible structures, both relative to the state in which all bases are unpaired:

is the Boltzmann weight corresponding to standard free energy change *g* at temperature *T*.

*Δ*

*G*

^{0}are estimated using the Turner nearest-neighbor rules [11, 18, 37], and pseudoknots are excluded. In that case, $\Delta {G}_{i,j}^{0}$ depends on two independent contributions, one for the interior fragment containing the pair

*i*,

*j*and bases in between (but excluding bases from the 5’ end to

*i*−1 and from

*j*+1 to the 3’ end), and one for the exterior fragment containing the pair and bases from the two ends (but excluding bases from

*i*+1 to

*j*−1). We define

*V*

_{i,j}to be the relative standard free energy change for the interior fragment in the case that

*i*<

*j*and for the exterior fragment otherwise, following the convention used in the mfold prediction software [38]. In that case,

*V*

_{i,j}are calculated using the following set of recursions:

These recursions are slightly different from—but equivalent to—those presented in reference [20] and used in the previous code. It should be noted that there was an error in equation 15 of reference [20]: in the second line, WMBL(k+1,j) should be replaced by [WMBL(k+1,j) + WL(k+1,j)].

*V*,

*W*,

*W*

^{MB},

*W*

^{L},

*W*

^{coax},

*W*

^{5′}, and

*W*

^{3′}are simply −

*R*

*T*times the logarithms of the quantities in reference [20]. In addition, four new arrays are introduced:

- 1.
*W*^{Q}is the standard free energy change corresponding to the sum of terms on the right hand side of equation 11 of reference [20] not including the scaling by W5(k). - 2.
Elements of

*Y*are −*R**T*times the logarithm of the sum of the Boltzmann weights of corresponding elements of*W*and*W*^{MB}. - 3.
Elements of

*Y*^{L}are −*R**T*times the logarithm of the sum of the Boltzmann weights of corresponding elements of*W*^{L}and*W*^{MBL}. - 4.
Elements of

*Z*are −*R**T*times the logarithm of the sum of the Boltzmann weights of corresponding elements of*W*^{L}(except for the term depending on the next-smallest fragment) and*W*^{coax}.

Reorganizing the recursions in this way might appear to use more memory because of the additional arrays. In fact, the modified version requires less memory, because several of the arrays do not need to be stored in their entirety. Specifically, using the modified recursions, storage is only required for two diagonals of *W*, *W*^{L}, and *W*^{MBL}; for five diagonals of *W*^{MB}; and for a half-triangle of *W*^{Q}. Reducing memory usage is important as the size of the full arrays scales as *O*(*N*^{2}) and the available GPU memory on our hardware was limited to ∼2.5 GB. The modified recursions use four full *N*×*N* arrays and one half-triangle, rather than the six full *N*×*N* arrays used in the original recursions, and therefore reduce memory usage by about 25%. In addition, the calculation of *W*^{5′} and *W*^{3′} is simplified (compare equations 20 and 21 above with equation 11 of reference [20]).

*Δ*

*G*parameters above are from the Turner nearest-neighbor rules [11], while

*a*,

*b*, and

*c*are from the following estimate of the standard free energy change for multibranch loop initiation:

Here *n* is the number of unpaired nucleotides and *h* is the number of branching helices [21]. By convention, the size of internal loops is limited to thirty unpaired nucleotides, so the number of terms in equation 8 and the overall computational expense scales as *O*(*N*^{3}) where *N* is the size of the sequence.

*a*and

*b*(expressed in units such that

*R*

*T*=1) is

This was done for two reasons: it requires at most a single call to exp, rather than two; and it can make use of the log1p function from the standard math library, which calculates log(1+*x*) accurately even for small *x*. This is important because often *e*^{−a} and *e*^{−b} will differ by several orders of magnitude, and simply adding them and then taking the logarithm can lead to significant roundoff error.

In order to determine how much additional computational overhead was imposed by the calculation of exp and log1p we performed a comparison with an artificial reference calculation, which was identical except that calls to these functions were omitted. We found that for a 1,000-mer, the actual GPU calculation is only ∼20% more expensive than this reference calculation.

For a serial calculation on the CPU, there is a larger performance hit; the actual calculation is about a factor of two more expensive than the reference without exp or log1p. However, it should be noted that this is not the entire story, because overall, the new optimized serial code, which uses logarithms, is still faster than the original code, which does not. Running the calculation in log space results in simplifications such as not requiring checking for overflow and not having to multiply by scaling factors, which reduces computational expense.

### Parallelization of the partition function calculation using CUDA

In the CUDA programming model, overall execution of the program is still governed by the CPU. Compute-intensive portions of the program are then delegated to subroutines executed by the GPU, or kernels. In general, the GPU has its own memory, so data must be copied to and from the GPU before and after kernel execution. Many copies of a kernel, or threads, run in parallel, each of which belongs to a block. During kernel execution, threads belonging to the same block can share data and synchronize, whereas threads belonging to different blocks cannot. A program can contain many kernels, which can execute either serially or in parallel [13].

The algorithm for calculating partition functions is recursive: partition functions for larger fragments depend on those for smaller fragments. As such, the overall calculation proceeds serially, in order of fragment size. We used two levels of parallelization, a block level and a thread level. Calculations for all fragments of a given size may be done in parallel, with no communication. This was implemented in CUDA at the level of blocks of threads. The partition function for a given fragment depends on sums, with the number of terms on the order of the fragment size (e.g., equation 9). These sums were parallelized at the level of threads within a block, since calculating a sum in parallel relies on communication between the threads. In our experience, a greater speedup was obtained from this “inner loop” parallelization, even though it requires more communication between threads. Most likely, this is because optimal efficiency on GPU hardware is obtained when identical mathematical operations are performed in lockstep on different data [13]. We stress that these two different levels of parallelization are not mutually exclusive and optimal performance was obtained from including both. A separate block of threads was run for each fragment, while 256 threads were run within a block. The number of threads per block was chosen by trial and error and was optimal for our hardware (the simple sum reduction scheme we chose requires it to be a power of two). In our code, this value is set at compile time (but this is not required by CUDA—it could be set at run time if desired).

## Results and discussion

### Accuracy

Peak floating point performance for NVIDIA Tesla GPUs are faster by a factor of two when working in single compared with working in double precision (http://www.nvidia.com), but single precision introduces greater roundoff error. In order to examine accuracy, we calculated base-pair probabilities for the same sequences using both the parallel CUDA/GPU implementation in single precision, and the serial implementation in double precision. We also calculated probabilities in double precision using a set of nearest-neighbor parameters slightly modified by adding a random variate chosen from a Gaussian distribution with mean 0 and standard deviation 0.01 kcal/mol, which is comparable to or smaller than their experimental uncertainty (0.1 kcal/mol for parameters describing helical stacking and 0.5 kcal/mol for parameters describing loops [18, 37]).

We also used the calculated base pair probabilities to determine a single consensus structure for each sequences, using the ProbKnot algorithm [22]. In this case, working in single precision led to differences with double precision only for one sequence (a random sequence of 6000 bases) out of the 44 we examined, and these were very small (only three bases out of the 6000 were matched with a different partner). Working with the modified parameters led to larger discrepancies although these were still fairly small (for sequences containing more than 100 bases, at most 6% of bases were matched with different partners). This is consistent with a previous report that predictions using base pair probabilities are significantly less sensitive to errors in thermodynamic parameters than using only lowest free energy structures [39].

### Computational expense

## Conclusions

In this work, we introduced a modified set of recursions for calculating RNA secondary structure partition functions and base-pairing probabilities using a dynamic programming algorithm, and implemented these in parallel using the CUDA framework for multiprocessor GPUs. For large sequences, the GPU implementation reduces execution time by a factor of close to 60 compared with an optimized serial implementation, and by a factor of 116 compared with the original code. It is clear from our work that using GPUs can greatly accelerate computation of RNA secondary structure partition functions, allowing calculation of base-pair probabilities for large sequences in a reasonable amount of time, with a negligible compromise in accuracy due to working in single precision. It is expected that parallelization using CUDA should be applicable to other implementations of dynamic programming algorithms [12] besides ours, and result in similar speedups.

Two levels of parallelization were implemented. Calculations for all fragments of a given size were done in parallel, with no communication between threads. This was implemented in CUDA at the level of blocks of threads. In addition, the sums contributing to the partition function for a given fragment were calculated in parallel, with communication required between threads. These sums were parallelized at the level of thread within a block. We found that this “inner loop” parallelization resulted in a significantly greater speedup than the “outer loop” parallelization alone.

## Availability and requirements

● Project name: partition-cuda; part of RNAstructure, version 5.5 and later

● Project home page: http://rna.urmc.rochester.edu/RNAstructure.html

● Operating system(s): Unix

● Programming languages: C and CUDA

● Other requirements: CUDA compiler, available from

● http://www.nvidia.com/object/cuda\_home\_new.html

● License: GNU GPL

● Any restrictions to use by non-academics: None.

## Declarations

### Acknowledgements

This work was supported by NIH grant R01GM076485 to D. H. M. and the Center for Integrated Research Computing at the University of Rochester.

## Authors’ Affiliations

## References

- Doudna JA, Cech TR: The chemical repertoire of natural ribozymes. Nature. 2002, 418: 222.View ArticlePubMed
- Bachellerie JP, Cavaille J, Huttenhofer A: The expanding snoRNA world. Biochimie. 2002, 84: 775.View ArticlePubMed
- Walter P, Blobel G: Signal recognition particle contains a 7S RNA essential for protein translocation across the endoplasmic reticulum. Nature. 1982, 299: 691.View ArticlePubMed
- Dykxhoorn DM, Novina CD, Sharp PA: Killing the messenger: Short RNAs that silence gene expression. Nat Rev Mol Cell Biol. 2003, 4: 457.View ArticlePubMed
- Wu L, Belasco JG: Let me count the ways: Mechanisms of gene regulation by miRNAs and siRNAs. Mol Cell. 2008, 29: 1.View ArticlePubMed
- Bustamante C, : How RNA folds. J Mol Biol. 1999, 293: 271.View ArticlePubMed
- Nawrocki EP, Kolbe DL, Eddy SR: Infernal 1.0: Inference of RNA alignments. Bioinformatics. 2009, 25: 1335.PubMed CentralView ArticlePubMed
- Li X, Quon G, Lipshitz HD, Morris Q: Predicting in vivo binding sites of RNA-binding proteins using mRNA secondary structure. RNA. 2010, 16: 1096.PubMed CentralView ArticlePubMed
- Lu ZJ, Mathews DH: Efficient siRNA selectrion using hybridization thermodynamics. Nucleic Acids Res. 2007, 36: 640PubMed CentralView ArticlePubMed
- Tafer H, Ameres SL, Obernosterer G, Gebeshuber CA, Schroeder R, Martinez J, Hofacker IL: The impact of target site accessibility on the deseign of effective siRNAs. Nat Biotechnol. 2008, 26: 578.View ArticlePubMed
- Turner DH, Mathews DH: NNDB: The nearest neighbor parameter database for predicting stability of nucleic acid secondary structure. Nucleic Acids Res. 2010, 38: D280-PubMed CentralView ArticlePubMed
- Lorenz R, Bernhart SH, zu Siederdissen CH, Tafer H, Flamm C, Stadler PF, Hofacker IL: ViennaRNA package 2.0. Algorithms Mol Biol. 2011, 6: 26-PubMed CentralView ArticlePubMed
- Sanders J, Kandrot E: CUDA by Example: An Introduction to General-Purpose GPU Programming. 2011, Boston: Addison-Wesley
- Farber RM: Topical perspective on massive threading and parallelism. J Mol Graph Model. 2011, 30: 82-View ArticlePubMed
- Gotz AW, Williamson MJ, Xu D, Poole D, Le Grand S, Walker RC: Routine microsecond molecular dynamics simulations with AMBER on GPUs. 1. Generalized Born. J Chem Theory Comput. 2012, 8: 1542.PubMed CentralView ArticlePubMed
- Rizk G, Lavenier D: GPU accelerated RNA folding algorithm. Lect Notes Comput Sci. 2009, 5544: 1004-10.1007/978-3-642-01970-8_101.View Article
- Lei G, Dou Y, Wan W, Xia F, Li R, Ma M, Zou D: CPU-GPU hybrid accelerating the Zuker algorithm for RNA secondary structure prediction applications. BMC Genomics. 2012, 13 (Suppl 1): S14-10.1186/1471-2164-13-S1-S14.PubMed CentralView ArticlePubMed
- Mathews DH, Disney MD, Childs JL, Schroeder SJ, Zuker M, Turner DH: Incorporating chemical modification constraints into a dynamic programming algorithm for prediction of RNA secondary structure. Proc Natl Acad Sci USA. 2004, 101: 7287.PubMed CentralView ArticlePubMed
- Kim J, Walter AE, Turner DH: Thermodynamics of coaxially stacked helices with GA and CC mismatches. Biochemistry. 1996, 35: 13753-View ArticlePubMed
- Mathews DH: Using an RNA secondary structure partition function to determine confidence in base pairs predicted by free energy minimization. RNA. 2004, 10: 1178-PubMed CentralView ArticlePubMed
- Lu ZJ, Gloor JW, Mathews DH: Improved RNA secondary structure prediction by maximizing expected pair accuracy. RNA. 2009, 15: 1805-PubMed CentralView ArticlePubMed
- Bellaousov S, Mathews DH: ProbKnot: Fast prediction of RNA secondary structure including pseudoknots. RNA. 2010, 16: 1870-PubMed CentralView ArticlePubMed
- Harmanci AO, Sharma G, Mathews DH: PARTS: Probabilistic alignment for RNA joint secondary structure predcition. Nucleic Acids Res. 2008, 36: 2406-PubMed CentralView ArticlePubMed
- Harmanci AO, Sharma G, Mathews DH: Stochastic sampling of the RNA structural alignment space. Nucleic Acids Res. 2009, 37: 4063-PubMed CentralView ArticlePubMed
- Harmanci AO, Sharma G, Mathews DH: Efficient pairwise RNA structure prediction using probabilistic alignment constraints in Dynalign. BMC Bioinformatics. 2011, 27: 626-10.1093/bioinformatics/btq726.View Article
- Seetin MG, Mathews DH: TurboKnot: Rapid prediction of conserved RNA secondary structures including pseudoknots. Bioinformatics. 2012, 28: 792-PubMed CentralView ArticlePubMed
- Reuter JS, Mathews DH: RNAstructure: software for RNA secondary structure prediction and analysis. BMC Bioinformatics. 2010, 11: 129-PubMed CentralView ArticlePubMed
- Sprinzl M, Vassilenko KS: Compilation of tRNA sequences and sequences of tRNA genes. Nucleic Acids Res. 2005, 33: D139-PubMed CentralView ArticlePubMed
- Szymanski M, Barciszewska MZ, Barciszewski J, Erdmann VA: 5S ribosomal RNA database Y2K. Nucleic Acids Res. 2000, 28: 166-PubMed CentralView ArticlePubMed
- Cannone JJ, Subramanian S, Schnare MN, Collett JR, D’Souza LM, Du Y, Feng B, Lin N, Madabusi LV, Muller KM, Pande N, Shang Z, Yu N, Gutell RR: The compariative RNA web (CRW) site: An online databae of comparative sequence and structure information for ribosomal, intron, and other RNAs. BMC Bioinformatics. 2002, 3: 2.PubMed CentralView ArticlePubMed
- Cate JH, Gooding AR, Podell E, Zhou K, Golden BL, Kundrot CE, Cech TR, Doudna JA: Crystal structure of a group I ribozyme domain: Principles of RNA packing. Science. 1996, 273: 1678.View ArticlePubMed
- Larsen N, Samuelsson T, Zwieb C: The signal recognition particle database (SRPDB). Nucleic Acids Res. 1998, 26: 177.PubMed CentralView ArticlePubMed
- Mathews DH, Banerjee A R Luan, Eickbush TH, Turner DH: Secondary structure model of the RNA recognized by the reverse transcriptase from the R2 retrotransposable element. RNA. 1997, 3: 1.PubMed CentralPubMed
- Michel F, Umesono K, Ozeki H: Comparative and functional anatomy of group II catalytic introns—a review. Gene. 1989, 82: 5.View ArticlePubMed
- Staunton DE, Marlin SD, Stratowa C, Dustin ML, Springer TA: Primary structure of ICAM-1 demonstrates interaction between members of the immunoglobulin and integrin supergene families. Cell. 1988, 52: 925.View ArticlePubMed
- Adachi A, Gendelman HE, Koenig S, Folks T, Willey R, Rabson A, Martin MA: Production of acquired immunodeficiency syndrome-associated retrovirus in human and nonhuman cells transfected with an infectious molecular clone. J Virol. 1986, 59: 284.PubMed CentralPubMed
- Xia T, Burkhard ME, Kierzek R, Schroeder SJ, Jaio X, Cox C, Turner DH, : Thermodynamic parameters for an expanded nearest-neighbor model for formation of RNA duplexes with Watson-Crick pairs. Biochemistry. 1998, 37: 14719.View ArticlePubMed
- Zuker M: On finding all suboptimal foldings of an RNA molecule. Science. 1989, 244: 48.View ArticlePubMed
- Layton DM, Bundschuh R: A statistical analysis of RNA folding algorithms through thermodynamic parameter perturbation. Nucleic Acids Res. 2005, 33: 519.PubMed CentralView ArticlePubMed

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.