id sid tid token lemma pos 3484zg66q2s 1 1 the the DET 3484zg66q2s 1 2 partitioned partitioned ADJ 3484zg66q2s 1 3 global global ADJ 3484zg66q2s 1 4 address address NOUN 3484zg66q2s 1 5 space space NOUN 3484zg66q2s 1 6 ( ( PUNCT 3484zg66q2s 1 7 pgas pgas PROPN 3484zg66q2s 1 8 ) ) PUNCT 3484zg66q2s 1 9 model model NOUN 3484zg66q2s 1 10 has have AUX 3484zg66q2s 1 11 emerged emerge VERB 3484zg66q2s 1 12 as as ADP 3484zg66q2s 1 13 a a DET 3484zg66q2s 1 14 promising promise VERB 3484zg66q2s 1 15 abstraction abstraction NOUN 3484zg66q2s 1 16 for for ADP 3484zg66q2s 1 17 programming program VERB 3484zg66q2s 1 18 large large ADJ 3484zg66q2s 1 19 - - PUNCT 3484zg66q2s 1 20 scale scale NOUN 3484zg66q2s 1 21 systems system NOUN 3484zg66q2s 1 22 . . PUNCT 3484zg66q2s 2 1 in in ADP 3484zg66q2s 2 2 pgas pgas PROPN 3484zg66q2s 2 3 , , PUNCT 3484zg66q2s 2 4 threads thread NOUN 3484zg66q2s 2 5 share share VERB 3484zg66q2s 2 6 a a DET 3484zg66q2s 2 7 common common ADJ 3484zg66q2s 2 8 heap heap NOUN 3484zg66q2s 2 9 address address NOUN 3484zg66q2s 2 10 space space NOUN 3484zg66q2s 2 11 , , PUNCT 3484zg66q2s 2 12 which which PRON 3484zg66q2s 2 13 may may AUX 3484zg66q2s 2 14 in in ADP 3484zg66q2s 2 15 reality reality NOUN 3484zg66q2s 2 16 be be AUX 3484zg66q2s 2 17 partitioned partition VERB 3484zg66q2s 2 18 and and CCONJ 3484zg66q2s 2 19 distributed distribute VERB 3484zg66q2s 2 20 across across ADP 3484zg66q2s 2 21 independent independent ADJ 3484zg66q2s 2 22 memories memory NOUN 3484zg66q2s 2 23 . . PUNCT 3484zg66q2s 3 1 concurrency concurrency NOUN 3484zg66q2s 3 2 control control NOUN 3484zg66q2s 3 3 mechanisms mechanism NOUN 3484zg66q2s 3 4 are be AUX 3484zg66q2s 3 5 thus thus ADV 3484zg66q2s 3 6 required require VERB 3484zg66q2s 3 7 to to PART 3484zg66q2s 3 8 ensure ensure VERB 3484zg66q2s 3 9 threads thread NOUN 3484zg66q2s 3 10 see see VERB 3484zg66q2s 3 11 each each DET 3484zg66q2s 3 12 other other ADJ 3484zg66q2s 3 13 's 's PART 3484zg66q2s 3 14 updates update NOUN 3484zg66q2s 3 15 in in ADP 3484zg66q2s 3 16 a a DET 3484zg66q2s 3 17 consistent consistent ADJ 3484zg66q2s 3 18 manner manner NOUN 3484zg66q2s 3 19 . . PUNCT 3484zg66q2s 4 1 the the DET 3484zg66q2s 4 2 real real ADJ 3484zg66q2s 4 3 challenge challenge NOUN 3484zg66q2s 4 4 in in ADP 3484zg66q2s 4 5 building build VERB 3484zg66q2s 4 6 such such ADJ 3484zg66q2s 4 7 mechanisms mechanism NOUN 3484zg66q2s 4 8 is be AUX 3484zg66q2s 4 9 that that SCONJ 3484zg66q2s 4 10 the the DET 3484zg66q2s 4 11 memory memory NOUN 3484zg66q2s 4 12 locations location NOUN 3484zg66q2s 4 13 that that PRON 3484zg66q2s 4 14 need need VERB 3484zg66q2s 4 15 to to PART 3484zg66q2s 4 16 be be AUX 3484zg66q2s 4 17 updated update VERB 3484zg66q2s 4 18 in in ADP 3484zg66q2s 4 19 an an DET 3484zg66q2s 4 20 atomic atomic ADJ 3484zg66q2s 4 21 fashion fashion NOUN 3484zg66q2s 4 22 may may AUX 3484zg66q2s 4 23 reside reside VERB 3484zg66q2s 4 24 in in ADP 3484zg66q2s 4 25 different different ADJ 3484zg66q2s 4 26 memory memory NOUN 3484zg66q2s 4 27 partitions partition NOUN 3484zg66q2s 4 28 . . PUNCT 3484zg66q2s 5 1 in in ADP 3484zg66q2s 5 2 this this DET 3484zg66q2s 5 3 dissertation dissertation NOUN 3484zg66q2s 5 4 , , PUNCT 3484zg66q2s 5 5 we we PRON 3484zg66q2s 5 6 develop develop VERB 3484zg66q2s 5 7 solutions solution NOUN 3484zg66q2s 5 8 based base VERB 3484zg66q2s 5 9 on on ADP 3484zg66q2s 5 10 software software NOUN 3484zg66q2s 5 11 - - PUNCT 3484zg66q2s 5 12 based base VERB 3484zg66q2s 5 13 transactional transactional NOUN 3484zg66q2s 5 14 memory memory NOUN 3484zg66q2s 5 15 ( ( PUNCT 3484zg66q2s 5 16 stm stm NOUN 3484zg66q2s 5 17 ) ) PUNCT 3484zg66q2s 5 18 mechanisms mechanism NOUN 3484zg66q2s 5 19 to to PART 3484zg66q2s 5 20 address address VERB 3484zg66q2s 5 21 the the DET 3484zg66q2s 5 22 programmability programmability NOUN 3484zg66q2s 5 23 and and CCONJ 3484zg66q2s 5 24 performance performance NOUN 3484zg66q2s 5 25 aspects aspect NOUN 3484zg66q2s 5 26 of of ADP 3484zg66q2s 5 27 this this DET 3484zg66q2s 5 28 challenging challenging ADJ 3484zg66q2s 5 29 problem problem NOUN 3484zg66q2s 5 30 . . PUNCT 3484zg66q2s 6 1 stm stm NOUN 3484zg66q2s 6 2 mechanisms mechanism NOUN 3484zg66q2s 6 3 primarily primarily ADV 3484zg66q2s 6 4 guarantee guarantee VERB 3484zg66q2s 6 5 that that SCONJ 3484zg66q2s 6 6 transactions transaction NOUN 3484zg66q2s 6 7 , , PUNCT 3484zg66q2s 6 8 i.e. i.e. X 3484zg66q2s 6 9 code code NOUN 3484zg66q2s 6 10 sequences sequence NOUN 3484zg66q2s 6 11 that that PRON 3484zg66q2s 6 12 access access VERB 3484zg66q2s 6 13 shared share VERB 3484zg66q2s 6 14 state state NOUN 3484zg66q2s 6 15 , , PUNCT 3484zg66q2s 6 16 either either CCONJ 3484zg66q2s 6 17 execute execute VERB 3484zg66q2s 6 18 as as ADP 3484zg66q2s 6 19 a a DET 3484zg66q2s 6 20 single single ADJ 3484zg66q2s 6 21 atomic atomic ADJ 3484zg66q2s 6 22 operation operation NOUN 3484zg66q2s 6 23 or or CCONJ 3484zg66q2s 6 24 retry retry VERB 3484zg66q2s 6 25 their their PRON 3484zg66q2s 6 26 operation operation NOUN 3484zg66q2s 6 27 in in ADP 3484zg66q2s 6 28 case case NOUN 3484zg66q2s 6 29 such such ADJ 3484zg66q2s 6 30 guarantees guarantee NOUN 3484zg66q2s 6 31 can can AUX 3484zg66q2s 6 32 not not PART 3484zg66q2s 6 33 be be AUX 3484zg66q2s 6 34 provided provide VERB 3484zg66q2s 6 35 . . PUNCT 3484zg66q2s 7 1 this this DET 3484zg66q2s 7 2 dissertation dissertation NOUN 3484zg66q2s 7 3 makes make VERB 3484zg66q2s 7 4 the the DET 3484zg66q2s 7 5 following following ADJ 3484zg66q2s 7 6 contributions contribution NOUN 3484zg66q2s 7 7 : : PUNCT 3484zg66q2s 7 8 first first ADV 3484zg66q2s 7 9 , , PUNCT 3484zg66q2s 7 10 we we PRON 3484zg66q2s 7 11 showcase showcase VERB 3484zg66q2s 7 12 the the DET 3484zg66q2s 7 13 programmability programmability NOUN 3484zg66q2s 7 14 benefits benefit NOUN 3484zg66q2s 7 15 of of ADP 3484zg66q2s 7 16 providing provide VERB 3484zg66q2s 7 17 language language NOUN 3484zg66q2s 7 18 support support NOUN 3484zg66q2s 7 19 for for ADP 3484zg66q2s 7 20 atomic atomic ADJ 3484zg66q2s 7 21 transactions transaction NOUN 3484zg66q2s 7 22 over over ADP 3484zg66q2s 7 23 lock lock NOUN 3484zg66q2s 7 24 - - PUNCT 3484zg66q2s 7 25 based base VERB 3484zg66q2s 7 26 approaches approach NOUN 3484zg66q2s 7 27 . . PUNCT 3484zg66q2s 8 1 second second ADV 3484zg66q2s 8 2 , , PUNCT 3484zg66q2s 8 3 we we PRON 3484zg66q2s 8 4 develop develop VERB 3484zg66q2s 8 5 first first ADJ 3484zg66q2s 8 6 - - PUNCT 3484zg66q2s 8 7 of of ADP 3484zg66q2s 8 8 - - PUNCT 3484zg66q2s 8 9 its its PRON 3484zg66q2s 8 10 - - PUNCT 3484zg66q2s 8 11 kind kind NOUN 3484zg66q2s 8 12 compiler compiler NOUN 3484zg66q2s 8 13 techniques technique NOUN 3484zg66q2s 8 14 for for ADP 3484zg66q2s 8 15 mapping map VERB 3484zg66q2s 8 16 these these DET 3484zg66q2s 8 17 high high ADJ 3484zg66q2s 8 18 - - PUNCT 3484zg66q2s 8 19 level level NOUN 3484zg66q2s 8 20 language language NOUN 3484zg66q2s 8 21 constructs construct VERB 3484zg66q2s 8 22 to to ADP 3484zg66q2s 8 23 low low ADJ 3484zg66q2s 8 24 - - PUNCT 3484zg66q2s 8 25 level level NOUN 3484zg66q2s 8 26 stm stm NOUN 3484zg66q2s 8 27 designs design NOUN 3484zg66q2s 8 28 . . PUNCT 3484zg66q2s 9 1 third third ADJ 3484zg66q2s 9 2 , , PUNCT 3484zg66q2s 9 3 we we PRON 3484zg66q2s 9 4 develop develop VERB 3484zg66q2s 9 5 stm stm NOUN 3484zg66q2s 9 6 runtime runtime NOUN 3484zg66q2s 9 7 implementations implementation NOUN 3484zg66q2s 9 8 that that PRON 3484zg66q2s 9 9 not not PART 3484zg66q2s 9 10 only only ADV 3484zg66q2s 9 11 guarantee guarantee VERB 3484zg66q2s 9 12 correctness correctness NOUN 3484zg66q2s 9 13 for for ADP 3484zg66q2s 9 14 concurrently concurrently ADV 3484zg66q2s 9 15 executing execute VERB 3484zg66q2s 9 16 transactions transaction NOUN 3484zg66q2s 9 17 , , PUNCT 3484zg66q2s 9 18 but but CCONJ 3484zg66q2s 9 19 does do VERB 3484zg66q2s 9 20 so so ADV 3484zg66q2s 9 21 in in ADP 3484zg66q2s 9 22 an an DET 3484zg66q2s 9 23 efficient efficient ADJ 3484zg66q2s 9 24 manner manner NOUN 3484zg66q2s 9 25 . . PUNCT 3484zg66q2s 10 1 for for ADP 3484zg66q2s 10 2 instance instance NOUN 3484zg66q2s 10 3 , , PUNCT 3484zg66q2s 10 4 we we PRON 3484zg66q2s 10 5 demonstrate demonstrate VERB 3484zg66q2s 10 6 for for ADP 3484zg66q2s 10 7 the the DET 3484zg66q2s 10 8 first first ADJ 3484zg66q2s 10 9 time time NOUN 3484zg66q2s 10 10 how how SCONJ 3484zg66q2s 10 11 stm stm NOUN 3484zg66q2s 10 12 procedures procedure NOUN 3484zg66q2s 10 13 can can AUX 3484zg66q2s 10 14 be be AUX 3484zg66q2s 10 15 implemented implement VERB 3484zg66q2s 10 16 in in ADP 3484zg66q2s 10 17 a a DET 3484zg66q2s 10 18 non non ADJ 3484zg66q2s 10 19 - - ADJ 3484zg66q2s 10 20 blocking blocking ADJ 3484zg66q2s 10 21 manner manner NOUN 3484zg66q2s 10 22 , , PUNCT 3484zg66q2s 10 23 and and CCONJ 3484zg66q2s 10 24 use use VERB 3484zg66q2s 10 25 them they PRON 3484zg66q2s 10 26 to to PART 3484zg66q2s 10 27 overlap overlap VERB 3484zg66q2s 10 28 computation computation NOUN 3484zg66q2s 10 29 and and CCONJ 3484zg66q2s 10 30 communication communication NOUN 3484zg66q2s 10 31 within within ADP 3484zg66q2s 10 32 a a DET 3484zg66q2s 10 33 transaction transaction NOUN 3484zg66q2s 10 34 . . PUNCT 3484zg66q2s 11 1 in in ADP 3484zg66q2s 11 2 general general ADJ 3484zg66q2s 11 3 , , PUNCT 3484zg66q2s 11 4 we we PRON 3484zg66q2s 11 5 demonstrate demonstrate VERB 3484zg66q2s 11 6 the the DET 3484zg66q2s 11 7 feasibility feasibility NOUN 3484zg66q2s 11 8 of of ADP 3484zg66q2s 11 9 these these DET 3484zg66q2s 11 10 techniques technique NOUN 3484zg66q2s 11 11 by by ADP 3484zg66q2s 11 12 implementing implement VERB 3484zg66q2s 11 13 them they PRON 3484zg66q2s 11 14 in in ADP 3484zg66q2s 11 15 chapel chapel NOUN 3484zg66q2s 11 16 , , PUNCT 3484zg66q2s 11 17 a a DET 3484zg66q2s 11 18 parallel parallel ADJ 3484zg66q2s 11 19 programming programming NOUN 3484zg66q2s 11 20 language language NOUN 3484zg66q2s 11 21 being be AUX 3484zg66q2s 11 22 developed develop VERB 3484zg66q2s 11 23 by by ADP 3484zg66q2s 11 24 cray cray PROPN 3484zg66q2s 11 25 inc inc PROPN 3484zg66q2s 11 26 . . PROPN 3484zg66q2s 11 27 as as ADP 3484zg66q2s 11 28 part part NOUN 3484zg66q2s 11 29 of of ADP 3484zg66q2s 11 30 darpa darpa NOUN 3484zg66q2s 11 31 's 's PART 3484zg66q2s 11 32 hpcs hpcs PROPN 3484zg66q2s 11 33 program program NOUN 3484zg66q2s 11 34 , , PUNCT 3484zg66q2s 11 35 and and CCONJ 3484zg66q2s 11 36 gasnet gasnet NOUN 3484zg66q2s 11 37 , , PUNCT 3484zg66q2s 11 38 a a DET 3484zg66q2s 11 39 runtime runtime NOUN 3484zg66q2s 11 40 library library NOUN 3484zg66q2s 11 41 that that PRON 3484zg66q2s 11 42 implements implement VERB 3484zg66q2s 11 43 the the DET 3484zg66q2s 11 44 pgas pgas PROPN 3484zg66q2s 11 45 abstraction abstraction PROPN 3484zg66q2s 11 46 . . PUNCT 3484zg66q2s 12 1 overall overall ADV 3484zg66q2s 12 2 , , PUNCT 3484zg66q2s 12 3 we we PRON 3484zg66q2s 12 4 show show VERB 3484zg66q2s 12 5 that that SCONJ 3484zg66q2s 12 6 stm stm NOUN 3484zg66q2s 12 7 implementations implementation NOUN 3484zg66q2s 12 8 can can AUX 3484zg66q2s 12 9 be be AUX 3484zg66q2s 12 10 scaled scale VERB 3484zg66q2s 12 11 to to ADP 3484zg66q2s 12 12 hundreds hundred NOUN 3484zg66q2s 12 13 ( ( PUNCT 3484zg66q2s 12 14 if if SCONJ 3484zg66q2s 12 15 not not PART 3484zg66q2s 12 16 thousands thousand NOUN 3484zg66q2s 12 17 ) ) PUNCT 3484zg66q2s 12 18 of of ADP 3484zg66q2s 12 19 nodes node NOUN 3484zg66q2s 12 20 executing execute VERB 3484zg66q2s 12 21 tens ten NOUN 3484zg66q2s 12 22 of of ADP 3484zg66q2s 12 23 thousands thousand NOUN 3484zg66q2s 12 24 of of ADP 3484zg66q2s 12 25 threads thread NOUN 3484zg66q2s 12 26 , , PUNCT 3484zg66q2s 12 27 while while SCONJ 3484zg66q2s 12 28 exhibiting exhibit VERB 3484zg66q2s 12 29 performance performance NOUN 3484zg66q2s 12 30 that that PRON 3484zg66q2s 12 31 exceeds exceed VERB 3484zg66q2s 12 32 , , PUNCT 3484zg66q2s 12 33 if if SCONJ 3484zg66q2s 12 34 not not PART 3484zg66q2s 12 35 just just ADV 3484zg66q2s 12 36 matches match NOUN 3484zg66q2s 12 37 , , PUNCT 3484zg66q2s 12 38 the the DET 3484zg66q2s 12 39 performance performance NOUN 3484zg66q2s 12 40 of of ADP 3484zg66q2s 12 41 lock lock NOUN 3484zg66q2s 12 42 - - PUNCT 3484zg66q2s 12 43 based base VERB 3484zg66q2s 12 44 approaches approach NOUN 3484zg66q2s 12 45 . . PUNCT