Searched refs:K42 (Results 1 – 2 of 2) sorted by relevance
19 with short-lived threads, such as the K42 research operating system.97 In 1999, the Tornado and K42 groups described their "generations"135 In 2003, the K42 group described how RCU could be used to create566 Use of RCU-like facility in K42/Tornado. Another independent867 Use of RCU to enable hot-swapping for autonomic behavior in K42.1682 Uses K42's RCU-like functionality to manage clustered-object1689 ,title = {K42: an infrastructure for operating system research}1700 Describes relationship of K42 generations to RCU.1790 Role of RCU in K42.
75 #define K42 511060458 /* 0x1e7629ea */ macro