La correction de bogues de concurrence dans le plugin AWS SSM permet le SSH distant de VS Code

Un jeune diplômé de Stanford chez Formal, en résolvant un problème client concernant la connexion SSH distante de Visual Studio Code à des instances AWS EC2 pour l'apprentissage automatique, a découvert et corrigé plusieurs bogues de concurrence dans la bibliothèque de référence AWS SSM. Le problème provenait d'un support insuffisant du transfert de port TCP/IP dans le connecteur Formal, empêchant VS Code d'initialiser correctement l'environnement de développement distant. La correction a nécessité des analyses approfondies des protocoles SSH et SSM, résolvant finalement les problèmes de concurrence de données et de numérotation séquentielle en modifiant le plugin AWS Session Manager. Cela permet désormais des connexions SSH distantes sécurisées de VS Code via le connecteur Formal.