タバコ喫煙者の問題は、元々1971年にSuhas Patilによって記述されたコンピュータサイエンスの同時性問題である。