Ну, в доках сказано, что один из потоков может быть прерван посередине вычисления IO-действия и никакого исключения по этому поводу порождено не будет

(хорошо ещё никто на STG писать не стал)

а какой механизм прерывания-то?

а расскажите в каких ситуациях вы используете fixed-vector-hetero?

Ну я его написал просто как естественное обобщение fixed-vector, так что мне тоже интересно.

да, но второе могло делать несколько действий (bracket?), которые второй тред _частично_ выполнил и сдох

@nightblues ну я не знаю, где - но вывод перевернутый

пофиксил - md5 совпадает eb8d32c8d260d240b351dfadd42cb5e5 let read_line () = try Some (read_line ()) with End_of_file -> None let read_lines () = let rec loop acc = match read_line () with | None -> List.rev acc | Some line -> loop (line::acc) in loop [] let cut_r s = let stop = try String.index s '\r' with Not_found -> try String.index s '\n' with Not_found -> String.length s in (String.sub s 0 stop) ^ "\n" let get_pair line = match String.split_on_char ' ' line with | [prefix; suffix] -> (prefix, cut_r suffix) | _ -> failwith "Invalid input" let unzip pairs = let p, s = List.fold_left (fun (ltl, rtl) (left, right) -> (left::ltl, right::rtl)) ([], []) pairs in (List.rev p, List.rev s) let () = let lines = read_lines () in let lines = List.map get_pair lines in let prefixes, suffixes = unzip lines in let buf_size = 160000 in let buf = Buffer.create buf_size in let show prefix suffix = if Buffer.length buf > buf_size - 10 then (Buffer.output_buffer stdout buf; Buffer.clear buf); Buffer.add_string buf prefix; Buffer.add_string buf suffix in List.iter (fun p -> List.iter (show p) suffixes) prefixes; Buffer.output_buffer stdout buf время у меня: real 0m1.805s user 0m1.796s sys 0m0.004s

https://paste.pound-python.org/show/WGv8D0Srwn4K2n9M5pJW/ qnikst@qwork ~ $ ./1 (0,0)

хотя второй тред должен был словить исключение

@nightblues 0m3.798s

grey holes в продакшен запилили?

@A64m_qb0 ^

@nightblues 0m3.798s

я подредактировал немного - попробуй новую. \n один раз для каждого суфикса добавляю)

не знаю

проидее с ними второй тред может быть остановлен на середине

@nightblues где? я отсюда последнюю скопипастил выше по треду

не знаю как это протестировать

но думаю, что принципиальной разницы не будет (различимой)

в этих пейперах никогда не знаешь, что в конце концов в компиляторе оказалось и что по умолчанию включили

@qnikst greyholes чем от обычных blackholes отличаются?

@nightblues где? я отсюда последнюю скопипастил выше по треду

я ее изменил после отправки) давай так: https://gist.github.com/NightBlues/ff0eb61480e5deed83db902fcdf42f0a

blackholes грубо говоря лок, другой тред попадает туда и ждет пока первый выполнит

grey - тред может начать выполнение, но переодически может проверять не выполняет ли другой и вываливается если так

@nightblues 2.8

@qnikst почему это работает? if (len>8) { memcpy(current,word,len); } else { memcpy(current,word,8); }

фишка в том, что если вычисление дешевое, то быстрее если оба выполнят

@yellow_apple нет причин не работать

@yellow_apple а почему ему не работать?

@nightblues 2.8

а хаскель сколько? у меня для окамла результаты такие real 0m1.803s user 0m1.800s sys 0m0.000s

@nightblues v-stream - 1.6

1.6

@yellow_apple нет причин не работать

но ведь входной размер слова == 5

там в буфере запас сделан, что бы мимо не писать

ну скопировали немного мусора, что с того

зато запись выровненная

угу

интересно, а волгринд что скажет?

и сдвиг на правильный размер

а чего он сказать может, там все честно

у меня последовательный вектор, и я копирую не выходя за границы

там, по идее, можно скопировать откуда-то, которое меньше, чем эти +8 байт

или невозможно?

у меня - нет

у меня - да, но это можно подкорректировать чанки

там проверяется что buffer_size>real_size+8

ну скопировали немного мусора, что с того

о точно

@voidlizard у тебя кстати ещё круче (задаче где большие слова могут быть) можно у тебя же мелкие строки inline хранятся, то можно 3 специлизации 8,16,24

ну что там разумно

ну в нашем случае чанк 5

столько написали, что и не перечитать. "вашу бы энергию, да в мирных целях" (с)

ну да

а не в нашем случае - ДАНУНАХЕР

сколько ж можно

=)

у меня зато крутое хранение размера чанков

но никто не оценил

я ктати подробно не вглядывался

надо посмотреть

там в ext - "генерация" чанка. 0 - живут на стеке и их нельзя realloc

1 - указатель на чанк на хипе

все, что выше - уже реаллоцированные чанки

размер вычисляется как сдвиг на размер поколения

таким образом не храню отдельно тип чанка и размер чанка

экономия

да мы с @A64m_qb0 вроде это обсуждали

я бы ужаснее запилил

как?

битовое поле?

с тегами/размерами и анпаком?

гиморно, много движений делать

union (указатель, размер, оффсет) (char[31] + последнем бите тег, последний байт под размер inline строки (кроме бита, там свиг), )

как-то так

т.е. примерно что у тебя но кривее, ещё бы и с синтаксиом union запутался бы, я его всегда заново гуглю

причем я-то это на хаскеле хотел писать

ага

и фибоначчи-реаллок. правда все равно не помогло ничего )

ну и ладно, не совсем фибоначчи

я думаю так строки в хештаблице хранить, там должно помоч

но почти.

кстати по совету Kirill я заглянул в hackage://memory там есть что надо

но!