Extending Theano

This advanced tutorial is for users who want to extend Theano with new Types,new Operations (Ops), and new graph optimizations. This first page of thetutorial mainly focuses on the Python implementation of an Op and thenproposes an overview of the most important methods that define an op.The second page of the tutorial (Extending Theano with a C Op) provides theninformation on the C implementation of an Op. The rest of the tutorialgoes more in depth on advanced topics related to Ops, such as how to writeefficient code for an Op and how to write an optimization to speed up theexecution of an Op.

Along the way, this tutorial also introduces many aspects of how Theano works,so it is also good for you if you are interested in getting more under the hoodwith Theano itself.

Note

Before tackling this more advanced presentation, it is highly recommendedto read the introductory Tutorial, especially the sectionsthat introduce the Theano Graphs, as providing a novel Theano op requires abasic understanting of the Theano Graphs.

See also the Developer Start Guide for information regarding theversioning framework, namely about git and GitHub, regarding thedevelopment workflow and how to make a quality contribution.

• Creating a new Op: Python implementation
  • Theano Graphs refresher
  • Op’s basic methods
  • Op’s auxiliary methods
  • Example: Op definition
  • Example: props definition
  • How To Test it
    • Basic Tests
    • Testing the infer_shape
    • Testing the gradient
    • Testing the Rop
    • Testing GPU Ops
    • Running Your Tests
      • theano-nose
      • nosetests
      • In-file
      • Exercise
      • Random numbers in tests
  • as_op
    • as_op Example
    • Exercise
  • Documentation and Coding Style
  • NanGuardMode and AllocEmpty
  • Final Note
• Extending Theano with a C Op
  • Python C-API
    • Reference counting
  • NumPy C-API
    • NumPy data types
    • NumPy ndarrays
    • Accessing NumPy ndarrays’ data and properties
    • Creating NumPy ndarrays
  • Methods the C Op needs to define
  • Important restrictions when implementing an Op
  • Simple C Op example
  • More complex C Op example
  • Alternate way of defining C Ops
    • Main function
    • Macros
    • Support code
  • Using GDB to debug Op’s C code
  • Final Note
• Writing an Op to work on an ndarray in C
  • Writing an Optimization
  • Test the optimization
• Overview of the compilation pipeline
  • Definition of the computation graph
  • Compilation of the computation graph
    • Step 1 - Create a FunctionGraph
    • Step 2 - Execute main Optimizer
    • Step 3 - Execute linker to obtain a thunk
    • Step 4 - Wrap the thunk in a pretty package
• Theano vs. C
• Graph Structures
  • Traversing the graph
  • Graph Structures
    • Apply
    • Op
    • Type
    • Variable
      • Constant
  • Graph Structures Extension
  • Automatic Differentiation
  • Optimizations
• Making the double type
  • Type’s contract
    • Additional definitions
      • transfer()
  • Defining double
  • Untangling some concepts
  • Final version
• Making arithmetic Ops on double
  • Op’s contract
  • Optional methods or attributes
  • Gradient
  • Defining an Op: mul
  • Trying out our new Op
    • Automatic Constant Wrapping
  • Final version
• Views and inplace operations
  • Views
  • Inplace operations
  • Destructive Operations
  • Inplace optimization and DebugMode
• Implementing some specific Ops
  • Scalar/Elemwise/Reduction Ops
  • SciPy Ops
  • Sparse Ops
    • Sparse Gradient
    • Sparse C code
    • Sparse Tests
  • Random distribution
  • OpenMP Ops
  • Numba Ops
  • Alternate Theano Types
• Implementing double in C
  • How does it work?
  • What needs to be defined
  • Defining the methods
  • What the generated C will look like
  • Final version
  • DeepCopyOp
  • ViewOp
  • Shape and Shape_i
• Implementing the arithmetic Ops in C
  • How does it work?
  • What needs to be defined
  • Defining the methods
  • Final version
• Using Op params
  • The params type
    • Defining a params type
  • Registering the params with your Op
  • Signature changes from having params
  • A simple example
  • A more complex example
• Graph optimization
  • Global and local optimizations
    • Global optimization
    • Local optimization
  • One simplification rule
    • Global optimization
    • Local optimization
      • OpSub, OpRemove, PatternSub
  • The optimization database (optdb)
    • Definition of optdb
    • Query
    • Examples
    • Registering an Optimizer
    • Registering a LocalOptimizer
    • optdb structure
    • Navigator
  • Profiling Theano function compilation
    • Detailed profiling of Theano optimizer
• Tips
  • Reusing outputs
  • Don’t define new Ops unless you have to
  • Use Theano’s high order Ops when applicable
  • Op Checklist
• Unit Testing
  • Unittest Primer
    • How to Run Unit Tests ?
      • theano-nose
      • Using unittest module
    • Folder Layout
  • How to Write a Unittest
    • Test Cases and Methods
    • Checking for correctness
    • Checking for errors
    • Test Cases and Theano Modes
    • Using Random Values in Test Cases
  • Creating an Op UnitTest
    • Validating the Gradient
  • makeTester and makeBroadcastTester
• Extending Theano: FAQ and Troubleshooting
  • I wrote a new Op/Type, and weird stuff is happening…
  • I wrote a new optimization, but it’s not getting used…
  • I wrote a new optimization, and it changed my results even though I’m pretty sure it is correct.