Editing Limbo (programming language) (section)

==Virtual machine==
The Dis virtual machine that executes Limbo code is a CISC-like VM, with instructions for arithmetic, [[control flow]], [[data motion]], [[process (computing)|process]] creation, synchronizing and communicating between processes, loading modules of code, and support for higher-level data-types: strings, arrays, lists, and communication channels.<ref>{{Cite web |date=2000 | url=https://web.archive.org/web/20250220003220/https://www.vitanuova.com/inferno/papers/dis.html |title=Dis Virtual Machine Specification |access-date=2 February 2015 |publisher=Vita Nuova}}</ref> It uses a hybrid of [[reference counting]] and a [[real-time computing|real-time]] [[garbage collection (computer science)|garbage-collector]] for cyclic data.<ref name="gc">{{cite journal | url = http://doc.cat-v.org/inferno/concurrent_gc/concurrent_gc.pdf | title = Very Concurrent Mark and Sweep Garbage Collection without Fine-Grain Synchronization | author = Lorenz Huelsbergen and Phil Winterbottom | year= 1998 | journal=1998 International Symposium on Memory Management}}</ref>

Aspects of the design of Dis were inspired by the [[AT&T Hobbit]] microprocessor, as used in the original [[BeBox]].