Terlambat tindak lanjut ...
Saya telah menemukan solusi saya. Monitor saya (dan kebanyakan monitor saya pikir) dilengkapi dengan beberapa port input, satu dvi dan satu vga dalam kasus saya. Dan monitor saya (juga sebagian besar monitor saya pikir) memiliki kemampuan switching bawaan, yaitu ketika monitor tidak mendeteksi input apa pun, ia memeriksa semua port untuk melihat apakah monitor terhubung ke apa pun.
Karena kedua windows dan linux memiliki kemampuan untuk mematikan tampilan untuk menghemat daya (pada dasarnya layar kosong) jika saya mengosongkan satu dan memastikan yang lain tidak kosong, layar akan selalu menunjukkan kepada saya sistem mana saja yang tidak kosong.
Pada dasarnya yang saya lakukan adalah menggunakan sinergi untuk beralih di antara monitor (saya menggunakan sakelar USB perangkat keras sekarang, tapi saya menggunakan sinergi sebelumnya, dan jujur saya pikir itu lebih baik dari ini ..., tapi karena saya punya keyboard gaming ini memungkinkan saya untuk memiliki konfigurasi keyboard per-sistem, dan juga memungkinkan saya untuk mengganti tutup seperti tablet gambar jika diperlukan) dan saya telah mengikat kunci pada host sinergi saya (biasanya ini adalah Linux) untuk mengganti keyboard dan mouse sinergi ke mesin windows, lalu kosongkan layar, lalu lepaskan yang di windows.
Kemudian untuk kembali saya melakukan sebaliknya, butuh sedikit scripting (xdotool dan xbindkeys ... dan pada windows saya menggunakan autohotkey) tetapi bekerja cukup baik.
Masalah utama yang saya temui adalah suara, jawaban ini cukup baik karena saya tidak secara khusus meminta suara, hanya solusi bagus yang saya temukan adalah menghubungkan garis keluar dari satu mesin ke garis masuk yang menggunakan speaker dan kemudian mencampur suara untuk output itu, tetapi kekurangannya adalah bahwa akan ada beberapa kebisingan tambahan dan volume akan berkurang secara nyata. Satu-satunya cara lain yang saya temukan adalah mengatur Mumble sebagai server suara, itu benar-benar berkualitas tinggi dan benar-benar bagus, latensi rendah yang stabil ... tetapi jika ada, hanya mendukung suara mono sebagai input.
Streaming suara dari linux ke linux itu mudah, windows ke windows itu mudah, tapi linux ke windows atau sebaliknya, hal-hal itu agak sulit ...
Namun ada solusi untuk masalah streaming video, sebagian besar monitor akan memiliki kemampuan switching video jika Anda hanya melalui perangkat lunak kosong layar secara selektif untuk beralih :)
Kami tahu mungkin melakukan ini dengan baik melalui perangkat lunak (Steam In-Home Streaming membuktikan ini) tetapi saya tidak melihat ada perangkat lunak yang siap dan bersedia di luar sana untuk tujuan khusus ini, yang membuat saya agak sedih. Semua solusi lain yang saya lihat adalah latensi terlalu tinggi atau kualitas terlalu rendah (biasanya keduanya).