+ pthread_mutex_lock(&lock);
+ texture_freelist.push_front(texture_num);
+ assert(texture_formats.count(texture_num) != 0);
+ texture_freelist_bytes += estimate_texture_size(texture_formats[texture_num]);
+
+ while (texture_freelist_bytes > texture_freelist_max_bytes) {
+ GLuint free_texture_num = texture_freelist.front();
+ texture_freelist.pop_front();
+ assert(texture_formats.count(free_texture_num) != 0);
+ texture_freelist_bytes -= estimate_texture_size(texture_formats[free_texture_num]);
+ texture_formats.erase(free_texture_num);
+ glDeleteTextures(1, &free_texture_num);
+ check_error();
+ }
+ pthread_mutex_unlock(&lock);
+}
+
+size_t ResourcePool::estimate_texture_size(const Texture2D &texture_format)
+{
+ size_t bytes_per_pixel;
+
+ switch (texture_format.internal_format) {
+ case GL_RGBA32F_ARB:
+ bytes_per_pixel = 16;
+ break;
+ case GL_RGBA16F_ARB:
+ bytes_per_pixel = 8;
+ break;
+ case GL_RGBA8:
+ case GL_SRGB8_ALPHA8:
+ bytes_per_pixel = 4;
+ break;
+ case GL_RG32F:
+ bytes_per_pixel = 8;
+ break;
+ case GL_RG16F:
+ bytes_per_pixel = 4;
+ break;
+ case GL_R8:
+ bytes_per_pixel = 1;
+ break;
+ default:
+ // TODO: Add more here as needed.
+ assert(false);
+ }
+
+ return texture_format.width * texture_format.height * bytes_per_pixel;