Инструменты OCaml странные и обычно не следуют рекомендациям POSIX по использованию двойных черточек для параметров командной строки. На данный момент, вероятно, по историческим причинам и потому, что стандартный модуль Arg
анализирует аргументы командной строки таким образом. В любом случае это поможет:
ocaml -version
Никогда не играл с ним самостоятельно, но тем, который всегда упоминается для использования с C/C++, является Hans Boehm.
время выполнения.NET и Среда выполнения Java являются теперь открытым исходным кодом, таким образом, можно экспериментировать со временем выполнения он сам, если Вы хотите играть вокруг с текущим языком программирования поддержки. Однако, если бы Вы хотели сделать это сами, то необходимо было бы, вероятно, создать собственное время выполнения, которое имеет свой собственный язык.
Реализуйте свою собственную JVM. Ничто не полагает, просто основы. Существуют партии и много программ/компиляторов/языков, которые генерируют код JVM, таким образом, у Вас есть много материала для тестирования с.
Slava Pestov, который разрабатывает Факторный язык программирования, записал много сообщений о своей реализации сборщика "мусора". Можно найти сообщения на нем с этой ссылкой:
http://factor-language.blogspot.com/search?q=garbage+collection
в особенности запустите с сообщения в воскресенье, 24 сентября 2006.
Забава играть с, но сборка "мусора" является темным искусством. Не заставить его работать, но заставить его работать с эффективностью, которую делают новейшие VMs.
Мы говорим многоступенчатые и волшебные, который делает скорость выделений более сопоставимой для укладки выделений, чем malloc.
Целые скалы понятия рая.
Вы могли бы хотеть прочитать некоторые технические описания на используемых методах.
Вот статья, которая, кажется, имеет хороший обзор (только от быстрого Google/сканирования)
MMTk содержит большой набор высокопроизводительных сборщиков "мусора". Это включает:
Это также имеет:
Так как это - платформа исследования, это имеет некоторые коллекторы усовершенствования, такие как коллектор подсчета ссылок поколения.