()
| 219 | // get() returns a machine to use for matching |this|. It uses |this|'s |
| 220 | // machine cache if possible, to avoid unnecessary allocation. |
| 221 | Machine get() { |
| 222 | // Pop a machine off the stack if available. |
| 223 | Machine head; |
| 224 | do { |
| 225 | head = pooled.get(); |
| 226 | } while (head != null && !pooled.compareAndSet(head, head.next)); |
| 227 | return head; |
| 228 | } |
| 229 | |
| 230 | // Clears the memory associated with this machine. |
| 231 | void reset() { |
no outgoing calls