PREVENTING GARBAGE OBJECT ACCUMULATION ON MINIMAL RUNTIMES

Computer-implemented techniques for preventing garbage object accumulation on minimal runtimes. The techniques include checking whether source code written in a source programming language that does not require the programmer to explicitly program when deallocation happens can run within a runtime that provides little or no support for implicit deallocation. At the same time, the techniques ensure that objects in minimal runtimes are deallocated in a timely manner. In one aspect, the techniques encompass generating a compile-time alert to a programmer of source code or halting compilation of the source code upon detecting a data type definition in the source code with the potential for reference cycles. With the techniques, the programmer is provided with an implicit deallocation experience while producing program fragments that interoperate with minimal runtimes that provide no or only minimal support for implicit deallocation (e.g., provide only reference counting). L'invention porte sur des techniques mises en œuvre par ordinateur pour empêcher l'accumulation d'objets inutiles sur des temps d'exécution minimaux. Les techniques consistent à vérifier si un code source écrit dans un langage de programmation source qui ne nécessite pas que le programmateur programme explicitement le moment où une désattribution se produit peut s'exécuter dans un temps d'exécution qui fournit peu ou pas de prise en charge pour une désattribution implicite. En même temps, les techniques garantissent que des objets dans des temps d'exécution minimaux soient désattribués de manière opportune. Selon un aspect de l'invention, les techniques comprennent la génération d'une alerte de temps de compilation à un programmateur de code source ou l'arrêt de compilation du code source lors de la détection d'une définition de type de données dans le code source avec le potentiel pour des cycles de référence. Au moyen de ces techniques, le programmateur est doté d'une expérience de désattribution implicite tout en produisant des fragments de programme qui interagissent avec des temps d'exécution minimaux qui ne fournissent aucune prise en charge ou une prise en charge seulement minimale pour une désattribution implicite (par exemple, ne fournissent qu'un comptage de références).