package org.signal.core.util.concurrent

import android.os.Handler
import org.signal.core.util.ExceptionUtil
import org.signal.core.util.logging.Log
import java.util.concurrent.ExecutorService

/**
 * A class that polls active threads at a set interval and logs when multiple threads are BLOCKED.
 */
class DeadlockDetector(private val handler: Handler, private val pollingInterval: Long) {

  private var running = false
  private val previouslyBlocked: MutableSet<Long> = mutableSetOf()
  private val waitingStates: Set<Thread.State> = setOf(Thread.State.WAITING, Thread.State.TIMED_WAITING)

  @Volatile
  var lastThreadDump: Map<Thread, Array<StackTraceElement>>? = null

  @Volatile
  var lastThreadDumpTime: Long = -1

  fun start() {
    Log.d(TAG, "Beginning deadlock monitoring.")
    running = true
    handler.postDelayed(this::poll, pollingInterval)
  }

  fun stop() {
    Log.d(TAG, "Ending deadlock monitoring.")
    running = false
    handler.removeCallbacksAndMessages(null)
  }

  private fun poll() {
    val time: Long = System.currentTimeMillis()
    val threads: Map<Thread, Array<StackTraceElement>> = Thread.getAllStackTraces()
    val blocked: Map<Thread, Array<StackTraceElement>> = threads
      .filter { entry ->
        val thread: Thread = entry.key
        val stack: Array<StackTraceElement> = entry.value

        thread.state == Thread.State.BLOCKED || (thread.state.isWaiting() && stack.hasPotentialLock())
      }
      .filter { entry -> !BLOCK_BLOCKLIST.contains(entry.key.name) }

    val blockedIds: Set<Long> = blocked.keys.map(Thread::getId).toSet()
    val stillBlocked: Set<Long> = blockedIds.intersect(previouslyBlocked)

    if (blocked.size > 1) {
      Log.w(TAG, buildLogString("Found multiple blocked threads! Possible deadlock.", blocked))
      lastThreadDump = threads
      lastThreadDumpTime = time
    } else if (stillBlocked.isNotEmpty()) {
      val stillBlockedMap: Map<Thread, Array<StackTraceElement>> = stillBlocked
        .map { blockedId ->
          val key: Thread = blocked.keys.first { it.id == blockedId }
          val value: Array<StackTraceElement> = blocked[key]!!
          Pair(key, value)
        }
        .toMap()

      Log.w(TAG, buildLogString("Found a long block! Blocked for at least $pollingInterval ms.", stillBlockedMap))
      lastThreadDump = threads
      lastThreadDumpTime = time
    }

    val fullExecutors: List<ExecutorInfo> = CHECK_FULLNESS_EXECUTORS.filter { isExecutorFull(it.executor) }

    if (fullExecutors.isNotEmpty()) {
      fullExecutors.forEach { executorInfo ->
        val fullMap: Map<Thread, Array<StackTraceElement>> = threads
          .filter { it.key.name.startsWith(executorInfo.namePrefix) }
          .toMap()

        val executor: TracingExecutorService = executorInfo.executor as TracingExecutorService
        Log.w(TAG, buildLogString("Found a full executor! ${executor.activeCount}/${executor.maximumPoolSize} threads active with ${executor.queue.size} tasks queued.", fullMap))
      }
      lastThreadDump = threads
      lastThreadDumpTime = time
    }

    previouslyBlocked.clear()
    previouslyBlocked.addAll(blockedIds)

    if (running) {
      handler.postDelayed(this::poll, pollingInterval)
    }
  }

  private data class ExecutorInfo(
    val executor: ExecutorService,
    val namePrefix: String
  )

  private fun Thread.State.isWaiting(): Boolean {
    return waitingStates.contains(this)
  }

  private fun Array<StackTraceElement>.hasPotentialLock(): Boolean {
    return any {
      it.methodName.startsWith("lock") || (it.methodName.startsWith("waitForConnection") && !it.className.contains("IncomingMessageObserver"))
    }
  }

  companion object {
    private val TAG = Log.tag(DeadlockDetector::class.java)

    private val CHECK_FULLNESS_EXECUTORS: Set<ExecutorInfo> = setOf(
      ExecutorInfo(SignalExecutors.BOUNDED, "signal-bounded-"),
      ExecutorInfo(SignalExecutors.BOUNDED_IO, "signal-io-bounded")
    )

    private const val CONCERNING_QUEUE_THRESHOLD = 4

    private val BLOCK_BLOCKLIST = setOf("HeapTaskDaemon")

    private fun buildLogString(description: String, blocked: Map<Thread, Array<StackTraceElement>>): String {
      val stringBuilder = StringBuilder()
      stringBuilder.append(description).append("\n")

      for (entry in blocked) {
        stringBuilder.append("-- [${entry.key.id}] ${entry.key.name} | ${entry.key.state}\n")

        val callerThrowable: Throwable? = TracedThreads.callerStackTraces[entry.key.id]
        val stackTrace: Array<StackTraceElement> = if (callerThrowable != null) {
          ExceptionUtil.joinStackTrace(entry.value, callerThrowable.stackTrace)
        } else {
          entry.value
        }

        for (element in stackTrace) {
          stringBuilder.append("$element\n")
        }

        stringBuilder.append("\n")
      }

      return stringBuilder.toString()
    }

    private fun isExecutorFull(executor: ExecutorService): Boolean {
      return if (executor is TracingExecutorService) {
        executor.queue.size > CONCERNING_QUEUE_THRESHOLD
      } else {
        false
      }
    }
  }
}