海词手机词典
  • In this paper, we first analyzed states of shared\|variable, then put forth a dynamic detective algorithm based on lockset to find shared\|variable data race in multithreaded programming environment.

    播放读音 播放读音