%0 Conference Paper %1 MTAL %A Vasconcelos, Vasco T. %A Martins, Francisco %B Multithreading in Hardware and Software: Formal Approaches to Design and Verification %D 2006 %K TAL concurrency parallel-programming typed-assembly-language %T A Multithreaded Typed Assembly Language %U rap.dsi.unifi.it/sensoria/files/multithreaded-tal.pdf %X We present an assembly language targeted at shared memory multiprocessors, where CPU cores synchronize via locks,acquired with a traditional test and set lock instruction. We show programming examples taken from the literature on Operating Systems, and discuss a typing system that enforces a strict protocol on lock usage and that prevents race conditions.

@inproceedings{MTAL, abstract = {We present an assembly language targeted at shared memory multiprocessors, where CPU cores synchronize via locks,acquired with a traditional test and set lock instruction. We show programming examples taken from the literature on Operating Systems, and discuss a typing system that enforces a strict protocol on lock usage and that prevents race conditions.}, added-at = {2009-02-01T19:32:17.000+0100}, author = {Vasconcelos, Vasco T. and Martins, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2e24ac22a25fb4676391a2ebbe5a5a523/gron}, booktitle = {Multithreading in Hardware and Software: Formal Approaches to Design and Verification}, interhash = {953d42e059df0ac562fcfdc8dfd76b58}, intrahash = {e24ac22a25fb4676391a2ebbe5a5a523}, keywords = {TAL concurrency parallel-programming typed-assembly-language}, month = {August}, timestamp = {2009-02-01T19:32:17.000+0100}, title = {A Multithreaded Typed Assembly Language}, url = {rap.dsi.unifi.it/sensoria/files/multithreaded-tal.pdf}, year = 2006 }