extensions.html 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  2. <html>
  3. <head>
  4. <title>Extensions</title>
  5. <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  6. <meta name="Author" content="Mike Pall">
  7. <meta name="Copyright" content="Copyright (C) 2005-2011, Mike Pall">
  8. <meta name="Language" content="en">
  9. <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen">
  10. <link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print">
  11. <style type="text/css">
  12. table.exc {
  13. line-height: 1.2;
  14. }
  15. tr.exchead td {
  16. font-weight: bold;
  17. }
  18. td.excplatform {
  19. width: 48%;
  20. }
  21. td.exccompiler {
  22. width: 29%;
  23. }
  24. td.excinterop {
  25. width: 23%;
  26. }
  27. </style>
  28. </head>
  29. <body>
  30. <div id="site">
  31. <a href="http://luajit.org"><span>Lua<span id="logo">JIT</span></span></a>
  32. </div>
  33. <div id="head">
  34. <h1>Extensions</h1>
  35. </div>
  36. <div id="nav">
  37. <ul><li>
  38. <a href="luajit.html">LuaJIT</a>
  39. <ul><li>
  40. <a href="install.html">Installation</a>
  41. </li><li>
  42. <a href="running.html">Running</a>
  43. </li></ul>
  44. </li><li>
  45. <a class="current" href="extensions.html">Extensions</a>
  46. <ul><li>
  47. <a href="ext_ffi.html">FFI Library</a>
  48. <ul><li>
  49. <a href="ext_ffi_tutorial.html">FFI Tutorial</a>
  50. </li><li>
  51. <a href="ext_ffi_api.html">ffi.* API</a>
  52. </li><li>
  53. <a href="ext_ffi_semantics.html">FFI Semantics</a>
  54. </li></ul>
  55. </li><li>
  56. <a href="ext_jit.html">jit.* Library</a>
  57. </li><li>
  58. <a href="ext_c_api.html">Lua/C API</a>
  59. </li></ul>
  60. </li><li>
  61. <a href="status.html">Status</a>
  62. <ul><li>
  63. <a href="changes.html">Changes</a>
  64. </li></ul>
  65. </li><li>
  66. <a href="faq.html">FAQ</a>
  67. </li><li>
  68. <a href="http://luajit.org/performance.html">Performance <span class="ext">&raquo;</span></a>
  69. </li><li>
  70. <a href="http://luajit.org/download.html">Download <span class="ext">&raquo;</span></a>
  71. </li></ul>
  72. </div>
  73. <div id="main">
  74. <p>
  75. LuaJIT is fully upwards-compatible with Lua 5.1. It supports all
  76. <a href="http://www.lua.org/manual/5.1/manual.html#5"><span class="ext">&raquo;</span>&nbsp;standard Lua
  77. library functions</a> and the full set of
  78. <a href="http://www.lua.org/manual/5.1/manual.html#3"><span class="ext">&raquo;</span>&nbsp;Lua/C API
  79. functions</a>.
  80. </p>
  81. <p>
  82. LuaJIT is also fully ABI-compatible to Lua 5.1 at the linker/dynamic
  83. loader level. This means you can compile a C&nbsp;module against the
  84. standard Lua headers and load the same shared library from either Lua
  85. or LuaJIT.
  86. </p>
  87. <p>
  88. LuaJIT extends the standard Lua VM with new functionality and adds
  89. several extension modules. Please note that this page is only about
  90. <em>functional</em> enhancements and not about performance enhancements,
  91. such as the optimized VM, the faster interpreter or the JIT compiler.
  92. </p>
  93. <h2 id="modules">Extensions Modules</h2>
  94. <p>
  95. LuaJIT comes with several built-in extension modules:
  96. </p>
  97. <h3 id="bit"><tt>bit.*</tt> &mdash; Bitwise operations</h3>
  98. <p>
  99. LuaJIT supports all bitwise operations as defined by
  100. <a href="http://bitop.luajit.org"><span class="ext">&raquo;</span>&nbsp;Lua BitOp</a>:
  101. </p>
  102. <pre class="code">
  103. bit.tobit bit.tohex bit.bnot bit.band bit.bor bit.bxor
  104. bit.lshift bit.rshift bit.arshift bit.rol bit.ror bit.bswap
  105. </pre>
  106. <p>
  107. This module is a LuaJIT built-in &mdash; you don't need to download or
  108. install Lua BitOp. The Lua BitOp site has full documentation for all
  109. <a href="http://bitop.luajit.org/api.html"><span class="ext">&raquo;</span>&nbsp;Lua BitOp API functions</a>.
  110. </p>
  111. <p>
  112. Please make sure to <tt>require</tt> the module before using any of
  113. its functions:
  114. </p>
  115. <pre class="code">
  116. local bit = require("bit")
  117. </pre>
  118. <p>
  119. An already installed Lua BitOp module is ignored by LuaJIT.
  120. This way you can use bit operations from both Lua and LuaJIT on a
  121. shared installation.
  122. </p>
  123. <h3 id="ffi"><tt>ffi.*</tt> &mdash; FFI library</h3>
  124. <p>
  125. The <a href="ext_ffi.html">FFI library</a> allows calling external
  126. C&nbsp;functions and the use of C&nbsp;data structures from pure Lua
  127. code.
  128. </p>
  129. <h3 id="jit"><tt>jit.*</tt> &mdash; JIT compiler control</h3>
  130. <p>
  131. The functions in this module
  132. <a href="ext_jit.html">control the behavior of the JIT compiler engine</a>.
  133. </p>
  134. <h3 id="c_api">C API extensions</h3>
  135. <p>
  136. LuaJIT adds some
  137. <a href="ext_c_api.html">extra functions to the Lua/C API</a>.
  138. </p>
  139. <h2 id="library">Enhanced Standard Library Functions</h2>
  140. <h3 id="xpcall"><tt>xpcall(f, err [,args...])</tt> passes arguments</h3>
  141. <p>
  142. Unlike the standard implementation in Lua 5.1, <tt>xpcall()</tt>
  143. passes any arguments after the error function to the function
  144. which is called in a protected context.
  145. </p>
  146. <h3 id="load"><tt>loadfile()</tt> etc. handle UTF-8 source code</h3>
  147. <p>
  148. Non-ASCII characters are handled transparently by the Lua source code parser.
  149. This allows the use of UTF-8 characters in identifiers and strings.
  150. A UTF-8 BOM is skipped at the start of the source code.
  151. </p>
  152. <h3 id="tostring"><tt>tostring()</tt> etc. canonicalize NaN and &plusmn;Inf</h3>
  153. <p>
  154. All number-to-string conversions consistently convert non-finite numbers
  155. to the same strings on all platforms. NaN results in <tt>"nan"</tt>,
  156. positive infinity results in <tt>"inf"</tt> and negative infinity results
  157. in <tt>"-inf"</tt>.
  158. </p>
  159. <h3 id="string_dump"><tt>string.dump(f [,strip])</tt> generates portable bytecode</h3>
  160. <p>
  161. An extra argument has been added to <tt>string.dump()</tt>. If set to
  162. <tt>true</tt>, 'stripped' bytecode without debug information is
  163. generated. This speeds up later bytecode loading and reduces memory
  164. usage. See also the
  165. <a href="running.html#opt_b"><tt>-b</tt> command line option</a>.
  166. </p>
  167. <p>
  168. The generated bytecode is portable and can be loaded on any architecture
  169. that LuaJIT supports, independent of word size or endianess. However the
  170. bytecode compatibility versions must match. Bytecode stays compatible
  171. for dot releases (x.y.0 &rarr; x.y.1), but may change with major or
  172. minor releases (2.0 &rarr; 2.1) or between any beta release. Foreign
  173. bytecode (e.g. from Lua 5.1) is incompatible and cannot be loaded.
  174. </p>
  175. <h3 id="math_random">Enhanced PRNG for <tt>math.random()</tt></h3>
  176. <p>
  177. LuaJIT uses a Tausworthe PRNG with period 2^223 to implement
  178. <tt>math.random()</tt> and <tt>math.randomseed()</tt>. The quality of
  179. the PRNG results is much superior compared to the standard Lua
  180. implementation which uses the platform-specific ANSI rand().
  181. </p>
  182. <p>
  183. The PRNG generates the same sequences from the same seeds on all
  184. platforms and makes use of all bits in the seed argument.
  185. <tt>math.random()</tt> without arguments generates 52 pseudo-random bits
  186. for every call. The result is uniformly distributed between 0 and 1.
  187. It's correctly scaled up and rounded for <tt>math.random(n&nbsp;[,m])</tt> to
  188. preserve uniformity.
  189. </p>
  190. <h3 id="io"><tt>io.*</tt> functions handle 64&nbsp;bit file offsets</h3>
  191. <p>
  192. The file I/O functions in the standard <tt>io.*</tt> library handle
  193. 64&nbsp;bit file offsets. In particular this means it's possible
  194. to open files larger than 2&nbsp;Gigabytes and to reposition or obtain
  195. the current file position for offsets beyond 2&nbsp;GB
  196. (<tt>fp:seek()</tt> method).
  197. </p>
  198. <h3 id="debug_meta"><tt>debug.*</tt> functions identify metamethods</h3>
  199. <p>
  200. <tt>debug.getinfo()</tt> and <tt>lua_getinfo()</tt> also return information
  201. about invoked metamethods. The <tt>namewhat</tt> field is set to
  202. <tt>"metamethod"</tt> and the <tt>name</tt> field has the name of
  203. the corresponding metamethod (e.g. <tt>"__index"</tt>).
  204. </p>
  205. <h2 id="resumable">Fully Resumable VM</h2>
  206. <p>
  207. The LuaJIT 2.x VM is fully resumable. This means you can yield from a
  208. coroutine even across contexts, where this would not possible with
  209. the standard Lua&nbsp;5.1 VM: e.g. you can yield across <tt>pcall()</tt>
  210. and <tt>xpcall()</tt>, across iterators and across metamethods.
  211. </p>
  212. <p>
  213. Note however that LuaJIT 2.x doesn't use
  214. <a href="http://coco.luajit.org/"><span class="ext">&raquo;</span>&nbsp;Coco</a> anymore. This means the
  215. overhead for creating coroutines is much smaller and no extra
  216. C&nbsp;stacks need to be allocated. OTOH you can no longer yield
  217. across arbitrary C&nbsp;functions. Keep this in mind when
  218. upgrading from LuaJIT 1.x.
  219. </p>
  220. <h2 id="exceptions">C++ Exception Interoperability</h2>
  221. <p>
  222. LuaJIT has built-in support for interoperating with C++&nbsp;exceptions.
  223. The available range of features depends on the target platform and
  224. the toolchain used to compile LuaJIT:
  225. </p>
  226. <table class="exc">
  227. <tr class="exchead">
  228. <td class="excplatform">Platform</td>
  229. <td class="exccompiler">Compiler</td>
  230. <td class="excinterop">Interoperability</td>
  231. </tr>
  232. <tr class="odd separate">
  233. <td class="excplatform">POSIX/x64, DWARF2 unwinding</td>
  234. <td class="exccompiler">GCC 4.3+</td>
  235. <td class="excinterop"><b style="color: #00a000;">Full</b></td>
  236. </tr>
  237. <tr class="even">
  238. <td class="excplatform">Other platforms, DWARF2 unwinding</td>
  239. <td class="exccompiler">GCC</td>
  240. <td class="excinterop"><b style="color: #c06000;">Limited</b></td>
  241. </tr>
  242. <tr class="odd">
  243. <td class="excplatform">Windows/x64</td>
  244. <td class="exccompiler">MSVC or WinSDK</td>
  245. <td class="excinterop"><b style="color: #00a000;">Full</b></td>
  246. </tr>
  247. <tr class="even">
  248. <td class="excplatform">Windows/x86</td>
  249. <td class="exccompiler">Any</td>
  250. <td class="excinterop"><b style="color: #a00000;">No</b></td>
  251. </tr>
  252. <tr class="odd">
  253. <td class="excplatform">Other platforms</td>
  254. <td class="exccompiler">Other compilers</td>
  255. <td class="excinterop"><b style="color: #a00000;">No</b></td>
  256. </tr>
  257. </table>
  258. <p>
  259. <b style="color: #00a000;">Full interoperability</b> means:
  260. </p>
  261. <ul>
  262. <li>C++&nbsp;exceptions can be caught on the Lua side with <tt>pcall()</tt>,
  263. <tt>lua_pcall()</tt> etc.</li>
  264. <li>C++&nbsp;exceptions will be converted to the generic Lua error
  265. <tt>"C++&nbsp;exception"</tt>, unless you use the
  266. <a href="ext_c_api.html#mode_wrapcfunc">C&nbsp;call wrapper</a> feature.</li>
  267. <li>It's safe to throw C++&nbsp;exceptions across non-protected Lua frames
  268. on the C&nbsp;stack. The contents of the C++&nbsp;exception object
  269. pass through unmodified.</li>
  270. <li>Lua errors can be caught on the C++ side with <tt>catch(...)</tt>.
  271. The corresponding Lua error message can be retrieved from the Lua stack.</li>
  272. <li>Throwing Lua errors across C++ frames is safe. C++ destructors
  273. will be called.</li>
  274. </ul>
  275. <p>
  276. <b style="color: #c06000;">Limited interoperability</b> means:
  277. </p>
  278. <ul>
  279. <li>C++&nbsp;exceptions can be caught on the Lua side with <tt>pcall()</tt>,
  280. <tt>lua_pcall()</tt> etc.</li>
  281. <li>C++&nbsp;exceptions will be converted to the generic Lua error
  282. <tt>"C++&nbsp;exception"</tt>, unless you use the
  283. <a href="ext_c_api.html#mode_wrapcfunc">C&nbsp;call wrapper</a> feature.</li>
  284. <li>C++&nbsp;exceptions will be caught by non-protected Lua frames and
  285. are rethrown as a generic Lua error. The C++&nbsp;exception object will
  286. be destroyed.</li>
  287. <li>Lua errors <b>cannot</b> be caught on the C++ side.</li>
  288. <li>Throwing Lua errors across C++ frames will <b>not</b> call
  289. C++ destructors.</li>
  290. </ul>
  291. <p>
  292. <b style="color: #a00000;">No interoperability</b> means:
  293. </p>
  294. <ul>
  295. <li>It's <b>not</b> safe to throw C++&nbsp;exceptions across Lua frames.</li>
  296. <li>C++&nbsp;exceptions <b>cannot</b> be caught on the Lua side.</li>
  297. <li>Lua errors <b>cannot</b> be caught on the C++ side.</li>
  298. <li>Throwing Lua errors across C++ frames will <b>not</b> call
  299. C++ destructors.</li>
  300. <li>Additionally, on Windows/x86 with SEH-based C++&nbsp;exceptions:
  301. it's <b>not</b> safe to throw a Lua error across any frames containing
  302. a C++ function with any try/catch construct or using variables with
  303. (implicit) destructors. This also applies to any functions which may be
  304. inlined in such a function. It doesn't matter whether <tt>lua_error()</tt>
  305. is called inside or outside of a try/catch or whether any object actually
  306. needs to be destroyed: the SEH chain is corrupted and this will eventually
  307. lead to the termination of the process.</li>
  308. </ul>
  309. <br class="flush">
  310. </div>
  311. <div id="foot">
  312. <hr class="hide">
  313. Copyright &copy; 2005-2011 Mike Pall
  314. <span class="noprint">
  315. &middot;
  316. <a href="contact.html">Contact</a>
  317. </span>
  318. </div>
  319. </body>
  320. </html>